zkTree

Polymer Labs致力于ZK-IBC研究，实现轻客户端证明验证，用于实现互操作性架构。

Polymer 主要基于Plonky2实现，是目前最快的实现递归的ZK 库。

Polymer 提出zkTree 结构减少证明者时间和验证费用。

zkTree主要有三种证明：

1. 用户证明： 用户证明可以是用户根本不同zk系统基于不同电路生成的证明；
2. 叶子证明：通过wrapper，将用户证明封装成统一的zkTree叶子证明类型；
3. 节点证明： 根据叶子节点递归生成节点证明。

zkTree 可以实现membership proof 证明。

目前zkTree 大部分代码已开源，参考以下：

• https://github.com/polymerdao/plonky2-circom
• https://github.com/polymerdao/plonky2
• https://github.com/polymerdao/plonky2-ed25519
• https://github.com/polymerdao/plonky2-sha512

、

参考

https://www.polymerlabs.org/

https://polymerlabs.medium.com/introducing-zktree-a-zk-recursion-tree-with-zkp-membership-proofs-571a244e3169

https://eprint.iacr.org/2023/208