RISC Zero v0.20升级：Proof Composition——为ZK开发者解锁递归和模块化

1. 引言

RISC Zero团队，在其zkVM的最新v0.20版本中，引入了新的feature：

• Proof Composition：为ZK开发者解锁递归和模块化。

所谓proof composition，是指：

• RISC Zero zkVM v0.20版本中，支持在RISC Zero guest中，验证，RISC Zero receipts。
• 这样，多个zkVM programs可组合，并生成单个receipt——该receipt可验证所获最终结果的所有计算。

proof composition的应用场景有：

• 1）隐私保护：将某program切分为多个部分，分别由不同的parties证明，以保留隐私和各方的数据所有权。
  • 如，证明，某密文，是某有效公钥相关值的正确加密。
  • 如，证明，分别对每个私有shard查询，然后合并receipts，的数据库查询。
• 2）证明聚合：聚合很多proofs为一个proof，以高效进行batch verification。
  • 如，证明，某区块内的所有交易，其中每笔交易自身可通过一个receipt进行验证。
• 3）模块化guest programs：为，可切分为许多不同操作的工作流，创建单个receipt。
  • 如，为，某图像处理pipeline的结果生成单个receipt。其中在图像处理pipeline中，其自身guests内会使用不同的filters。

参考资料

[1] RISC Zero 2024年2月8日博客 Proof Composition: Unlocking Recursion and Modularity for ZK Developers
[2] RISC Zero 2024年2月13日twitter RISC Zero v0.20发布
[3] RISC Zero composition doc

RISC Zero系列博客

• RISC0：Towards a Unified Compilation Framework for Zero Knowledge
• Risc Zero ZKVM：zk-STARKs + RISC-V
• 2023年 ZK Hack以及ZK Summit 9 亮点记
• RISC Zero zkVM 白皮书
• Risc0：使用Continunations来证明任意EVM交易
• Zeth：首个Type 0 zkEVM
• RISC Zero项目简介
• RISC Zero zkVM性能指标
• Continuations：扩展RISC Zero zkVM支持（无限）大计算
• A summary on the FRI low degree test前2页导读
• Reed-Solomon Codes及其与RISC Zero zkVM的关系
• RISC Zero zkVM架构
• RISC-V与RISC Zero zkVM的关系
• 有限域的Fast Multiplication和Modular Reduction算法实现
• RISC Zero的Bonsai证明服务
• RISC Zero ZKP协议中的商多项式
• FRI的Commit、Query以及FRI Batching内部机制
• RISC Zero的手撕STARK
• RISC Zero zkVM guest程序优化技巧 及其 与物理CPU的关键差异
• ZK*FM：RISC Zero zkVM的形式化验证
• Zirgen MLIR：RISC-Zero的ZK-circuits形式化验证
• 以RISC Zero ZK Fraud Proof赋能Optimistic Rollups
• zkSummit10 亮点记
• 技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1）
• 技术探秘：在RISC Zero中验证FHE——RISC Zero应用的DevOps（2）
• RISC Zero STARK证明系统时序图及规范
• RISC Zero zkVM Host & Guest 101
• RISC Zero zk-STARK证明系统代码解析
• RISC Zero的Babybear域 及其 扩域
• RISC Zero各功能模块代码解析
• RISC Zero 的 cargo-risczero相关模块代码解析