...历史上看，zkEVM rollup 很难构建，需要深厚的密码学专业知识，这使得定制和维护变得复杂且耗时。在过去的一年中，零知识证明取得了巨大的进展，其中像 SP1 这样的 zkVM 处于领先地位。 SP1 使任何开发人员都可以使用标准 Rust ...
在本文中，我们讨论如何在StarkWare的新零知识证明系统Stwo中实现递归证明验证。通过添加递归证明验证，Stwo可以验证“无限”计算，并为开发人员提供了提供者和验证者效率之间灵活选择的机会。我们的最终目标是使验证者的...
...H(H(w1,w2),w3))…,wn)=r 以证明他们对元素 w1w\_1 的知识，w1 是 Merkle 树中的成员。我们在之前的文章 [“Tornado Cash 是如何工作的？”](https://learnblockchain.cn/article/13687) 中讨论了这种用法。 传统的哈希函数的使用也可以应用...