深潮 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 的形式化驗證工作已經展開。