zkTree: a zk recursion tree with ZKP membership proofs

1. 引言

Polymer Labs团队Sai Deng 和 Bo Du 2023年2月论文《zkTree: a zk recursion tree with ZKP membership proofs》。

zkTree：在父节点的ZK证明中可递归验证子节点的ZK证明，同时可为用户所的ZK证明 提供membership proof。

zkTree的实现为：

• Plonky2：PLONK+FRI
• Groth16：链上验证的递归root proof

本文将zkTree用于验证Tendermint共识中默认的ed25519签名机制，并在EVM中提供一个proof来进行链上验证。