Foresight News 消息,零知识证明软件开发商 RISC Zero 发布专为 EVM 设计的零知识证明协处理器(ZK-coprocessor) Steel 2.0,主要解决 EVM 在历史状态访问、跨区块计算和事件响应等方面的限制。该产品通过链下处理复杂计算并在链上提交验证证明,实现了历史状态查询、跨区块计算、直接事件响应三项核心功能,验证成本控制在 27 万 gas 以内。产品支持 Solidity 开发,并可通过 R0-Helios 轻客户端在以太坊主网和 OP Stack 上实现跨链计算。