据 Foresight News 报道，软件开发商 RISC Zero 已正式推出 zkVM 1.0，这是其通用 zkVM 的生产就绪版本。该系统可以为任何用 Rust 编写的程序生成证明，并与多条链兼容，允许在任何链上进行证明验证。RISC Zero 声称，zkVM 1.0 比 Plonky 3 等竞争证明系统更具成本效益。
在 zkVM 上线前，RISC Zero 举行了可信设置仪式，进行了安全审计，并在以太坊、Base、OP、Arbitrum、World Chain、Starknet 等多个平台上发布了验证器。开发者现在可以使用 zkVM 在任何链上创建 ZK 驱动的 DApp。
