零知识证明(Zero-Knowledge Proof,ZKP)在保护用户隐私、提高区块链性能和扩展应用场景方面展现出了巨大潜力,越来越多 ZK 驱动的应用和生态开始出现。然而如何快速便捷地构建零知识证明就成了一个关键性的问题。
在 zkEVM 发展火热的当下,RISC Zero 则正在把 zkVM 的场景叙事推向行业主流视野,给出了系列构建零知识证明的独特解决方案。这极大的推动了零知识证明在 Web3 的大规模采用。那么,zkVM 与 zkEVM 有何关系?zkVM 是否正在成为新的风向?它的出现又有何意义?带着上述诸多疑问,本份研报将对 RISC Zero 的核心技术原理和生态系统进行深入拆解,并通过分析其潜在优势和挑战,以帮助你更为全面理解 ZK、zkVM、zkEVM 和 RISC Zero 之间的关联,以及它们背后的价值体现与未来发展趋势。
作者:ShirleyLi,Web3Caff Research 研究员
封面:Logo by RISC Zero,Typography by Web3Caff Research
字数:本份研报超 11000 字,预计阅读时长 23 分钟
目录
- RISC Zero 简介
- 理解 RISC Zero
- 理解 “ZK”
- 理解以太坊虚拟机(EVM)
- ZK + EVM = zkEVM
- zkVM 与 zkEVM 差了一个 “E”
- Stellar 的 zkVM
- Polygon Miden VM
- RISC Zero 的 zkVM
- 除了 zkEVM,RISC Zero 的工具箱还有什么?
- 去中心化证明引擎 Bonsai
- 开源 ZK 区块验证器 Zeth
- RISC Zero 的生态
- Layer N
- Eclipse
- FuelProver
- RISC Zero 与 zkWASM
- RISC Zero 的优缺点
- 总结
- 参考文献
最近一直在关注 RISC Zero,真的及时!
@0xrobot: RISC Zero 实现零知识证明的方式确实很有意思
感谢 ShirleyLi 老师的辛苦撰写,这份报告非常全面的介绍了 zk VM、zkEVM 核心区别,以及 RISC Zero 三个产品线 zkVM、ZK-STARK 和 Bonsai 的发展路径,同时也解构到了最受关注的 RISC Zero 与模块化架构 Layer2 项目 Layer N 共同推出 ZK 欺诈证明(ZK Fraud Proof)系统,推荐阅读 💪
ShirleyLi 老师,ZK 欺诈证明目前在实际落地阶段进展如何啦
@0x17: Layer N 是 ZK 欺诈证明的最佳应用实例,https://research.web3caff.com/zh/archives/11542?ref=W34 这篇里面有关于 ZK 欺诈证明的点评。
另外 Layer N 刚刚推出的 Rollup 解决方案,里面就采用了 ZK 欺诈证明来解决安全和信任问题。可以看看它们上周的融资点评做个参考:https://research.web3caff.com/zh/archives/12711?ref=W34