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来进行链上验证。

zkTree: a zk recursion tree with ZKP membership proofs_第1张图片
zkTree: a zk recursion tree with ZKP membership proofs_第2张图片
zkTree: a zk recursion tree with ZKP membership proofs_第3张图片
zkTree: a zk recursion tree with ZKP membership proofs_第4张图片
zkTree: a zk recursion tree with ZKP membership proofs_第5张图片
zkTree: a zk recursion tree with ZKP membership proofs_第6张图片
zkTree: a zk recursion tree with ZKP membership proofs_第7张图片

参考资料

[1] Polymer Labs 2023年4月博客 Introducing zkTree: a zk recursion tree with ZKP membership proofs

你可能感兴趣的:(零知识证明,零知识证明)