深潮 TechFlow 消息，5 月 12 日，根据官方消息，ZK 智能可验证计算平台 Brevis 宣布推出 Pico Prism 2.0，现已在以太坊主网当前运行的 6000 万 Gas 区块上线。

经过基准测试，在以太坊主网当前 6000 万 Gas 限制下，Pico Prism 2.0 平均每个区块的证明时间为 6.1 秒，99.9% 的区块都能在 12 秒内完成最终证明，且整套系统运行在两台机器上，共配备 16 个 RTX 5090 GPU，总硬件成本约为 10 万美元。相比 Pico Prism 1.0，Pico Prism 2.0 仅在四分之一的硬件配置下，每个区块的证明效率提升了约 5.3 倍，进一步满足以太坊基金会对于实时证明「平均证明延迟低于 10 秒」、「本地硬件成本低于 10 万美元」的两个主要目标。

此前，Brevis 入选以太坊基金会「On-Prem Proving Initiative」计划，该计划于 2026 年 5 月启动，旨在测试 ZK 证明能否作为去中心化基础设施进行扩展而无需依赖少数云服务提供商，是迄今为止最接近 L1 zkEVM 实际集成的一次演练。

未来，Brevis 将继续围绕稳健性展开工作，并积极配合以太坊基金会的安全路线图，确保 Pico Prism 达到 L1 zkEVM 集成设定的 128 位可证明安全性目标。作为这项工作的一部分，对新的 RISC-V 64IM ISA 的形式化验证工作已经展开。