使用 Risc0 创建你的第一个 ZK 项目

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。

RISC Zero 在 zkVM 1.0 的性能提升方面取得了显著进展，自 Q1 以来已实现 10 倍的成本改进，并计划在 Q3 继续通过 GPU 优化、新电路设计和专用加速器电路实现性能提升，目标是到年底实现 20 倍的成本改进。重点领域包括加速器、GPU 证明和基准测试套件。

该文章是RISC Zero团队发布的zkVM 1.0的性能基准测试报告，通过与Succinct的SP1 zkVM进行对比，展示了RISC Zero在通用计算、成本和速度方面的优势。测试覆盖了多种硬件设备和云计算实例，以及不同的工作负载，例如sha2哈希、斐波那契数列计算、排序等，证明RISC Zero zkVM在多个方面优于SP1。

本篇文章介绍了Zeth，一个基于RISC Zero zkVM的开源ZK区块证明器，现已支持从以太坊主网构建和衍生Optimism主网的区块，并在链上验证这些证明。Zeth旨在优化与Optimism基础设施的集成，改善L2交易的争议解决过程，并展示通用zkVM在OP生态系统中的应用潜力。

本文介绍了选择zkVM的关键特性以及如何评估不同的ZK工具包。作者讨论了为何zkVM能加快开发速度，列举了必要特性，包括支持导入包、链上验证、无限制计算以及证明组合。此外，文章还详细描述了RISC Zero在实现这些特性方面所采用的方法和技术挑战。

RISC Zero 宣布其 zkVM 能够运行 DOOM 游戏，通过在 zkVM 中运行 DOOM 端口，并使用 demo 文件作为输入，利用 ZK 证明来验证游戏帧的真实性，实现了在零知识证明下运行 DOOM。他们还提到这为速通游戏（speedrunning）开辟了新的可能性，例如使用工具辅助的速通，并用ZK证明来验证记录。

RISC Zero 发布了 zkVM 的 v0.20 版本，引入了 "proof composition" 新特性，允许在 zkVM 程序中验证 proofs，实现递归证明，从而扩展了 ZK 的应用范围，比如隐私保护、证明聚合、模块化 guest 程序等。开发者可以通过调用 env::verify() 函数在应用中使用该特性。

本文介绍了Zeth，一个基于RISC Zero zkVM的开源ZK块证明器，使得以太坊区块的验证过程在数分钟内完成，而不依赖于验证者或同步委员会。文章详述了Zeth的工作原理、性能、实现细节以及它对ZK技术和以太坊生态的影响，展现了其在ZK-rollup和zkEVM领域的应用潜力。

本文介绍了如何使用 RISC Zero 零知识证明来证明你知道Where's Waldo拼图中的 Waldo 的位置，而无需泄露其坐标。文章解释了如何使用 Merkle 树来处理大型图像数据，以及如何在 RISC Zero zkVM 中使用外部库（如 image crate）进行图像操作。