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來進行鍊上驗證。