zkTree: a zk recursion tree with ZKP membership proofs

Posted mutourend

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了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的主要内容,如果未能解决你的问题,请参考以下文章

Darlin: Recursive proofs using Marlin

lintcode-medium-Print Numbers by Recursion

git merge的recursive策略和merge-base

Divison and Recursion-MergeSort

hausaufgabe--python 22- Recurse

python_factorial_tail recursion