据 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。
