撰文：LINDABELL
在最近的 Devcon 会议上，以太坊基金会核心成员 Justin Drake 提出了 Beam Chain 提案，计划通过 zkSNARK 和 zkVM 技术升级以太坊共识层，以提升网络的可扩展性、安全性和效率。这一愿景也让 zkVM 的重要性再次被关注。作为一种通用零知识虚拟机，zkVM 能以更灵活及高效的方式处理复杂计算，同时摆脱了对传统智能合约逻辑的依赖。
在这一趋势的推动下，RISC Zero、Succinct 和 Cysic 等项目则被视为推动该领域创新的重要参与者。其中，RISC Zero 凭借基于 RISC-V 架构的 zkVM，开发了 Zeth、Kailua 和 Bonsai 等一系列开源工具，不仅提升了区块验证和 Rollup 的性能，还为以太坊 ZK 化升级提供了技术支持。
RISC Zero 是基于 RISC-V 指令集架构的 zkVM 实现，作为一个通用零知识计算平台，它支持多种主流编程语言，如 Rust 和 C++，几乎可以运行任意计算任务。相比其他零知识技术平台，RISC Zero 的证明者和验证者是完全开源的，开发者可以在本地生成和验证证明。此外，RISC Zero 的验证器兼容多种平台，能够适配不同区块链生态，简化了去中心化应用的开发流程。
今年 6 月 ，RISC Zero 发布了 zkVM 1.0。zkVM 1.0 不仅支持多种语言和复杂计算任务，还利用 Continuations 技术将大规模计算分割成多个小段，实现高效并行计算和验证。根据路线图，RISC Zero 计划在 2024 年底前实现 zkVM 性能和成本的 20 倍提升，优化内容包括将证明流程完全迁移至 GPU（已完成 80%）、引入新型 RISC-V v2 电路设计，以及针对递归电路进行的专项优化等。同时，RISC Zero 正在集成一系列针对 RSA、Keccak、ECDSA 等算法的加速模块，用于提升以太坊相关任务和加密操作的性能。
围绕 zkVM 的核心能力，RISC Zero 还开发了一系列开源工具和产品。例如，通过 Bonsai 网络将证明服务，开发者无需专用硬件即可生成零知识证明；通过 Steel 工具可以将复杂的 EVM 计算转移至链下环境运行，同时保持结果可验证，降低了链上执行成本；而 Blobstream Zero 则通过桥接 Celestia 数据可用性层，为模块化区块链生态中的数据共享和验证提供了更多可能性。
Zeth：证明整个以太坊区块被正确构造Zeth 是由 RISC Zero 基于其 zkVM 技术开发的开源以太坊零知识区块证明器，可以通过零知识证明验证以太坊区块的有效性，而无需依赖传统验证者或同步委员会。RISC Zero 将 Zeth 定义为 Type-0 zkEVM，既完全兼容以太坊协议，又通过代码的重复利用，实现了开发效率的提升。
以太坊联合创始人 Vitalik Buterin 在文章「Different types of zk-EVMs」将 zkEVM 分为了四类，其中 Type-1 力求完全和毫不妥协的等效于以太坊；Type-2 致力于完全等价于 EVM，但不完全等价于以太坊；Type-3 几乎同等于 EVM；Type-4 则完全不兼容以太坊。