TechFlowより、5月12日、公式発表によると、ZKスマート検証計算プラットフォーム「Brevis」は、「Pico Prism 2.0」のリリースを発表しました。本バージョンは、現在イーサリアム・メインネット上で実行されている6,000万Gas制限のブロックで稼働中です。
ベンチマークテストの結果、イーサリアム・メインネットにおける現行の6,000万Gas制限下において、Pico Prism 2.0の平均ブロックごとの証明時間は6.1秒であり、99.9%のブロックが12秒以内に最終的な証明を完了しています。また、システム全体は2台のマシン上で動作しており、合計16個のRTX 5090 GPUを搭載、総ハードウェアコストは約10万米ドルとなっています。Pico Prism 1.0と比較して、Pico Prism 2.0はハードウェア構成をわずか4分の1に削減したにもかかわらず、ブロックごとの証明効率が約5.3倍向上しており、イーサリアム財団が掲げるリアルタイム証明に関する2つの主要目標——「平均証明遅延を10秒未満に抑える」と「ローカルハードウェアコストを10万米ドル未満に抑える」——をさらに確実に達成しています。
これまでにBrevisは、イーサリアム財団の「On-Prem Proving Initiative（オンプレミス証明イニシアチブ）」プログラムに選出されています。このプログラムは2026年5月に開始予定であり、ZK証明を少数のクラウドサービスプロバイダーへの依存なしに、分散型インフラストラクチャーとしてスケーリング可能かどうかを検証することを目的としています。これは、現時点でL1 zkEVMとの実際的な統合に最も近い実証実験となります。
今後、Brevisは引き続きシステムの堅牢性（ロバストネス）向上に取り組むとともに、イーサリアム財団のセキュリティロードマップに積極的に協力し、Pico PrismがL1 zkEVM統合に求められる128ビットの証明可能なセキュリティ目標を達成できるよう確保していきます。その一環として、新たなRISC-V 64IM ISAに対する形式的検証作業がすでに開始されています。
