ZKsyncは、シングルGPUによるメインネットブロックのリアルタイム証明を実証したイーサリアムプルーバー「Airbender Prime」を発表した。この節目を受けて、イーサリアム共同創設者のVitalik Buterin氏は、zkEVM開発全体でセキュリティへの注力を改めて呼びかけた。

テストでは、NVIDIA RTX PRO 6000 Blackwell GPU 1基が、ウィットネス準備——プルーバーが証明を生成するために必要なデータを組み立てる工程——を含め、連続するイーサリアムメインネットブロック7,200件の99%をそれぞれ10秒未満で証明した。すべてのブロックが12秒以内に完了した。イーサリアムは約12秒ごとに新しいブロックを生成するため、この時間枠内で各ブロックを証明することが、検証をブロック生成の歩調に合わせ続ける鍵となる。ZKsyncはXへの投稿でこの節目を発表した。

Airbender Prime、イーサリアムのリアルタイム証明を実証

zkEVMは、ブロックがイーサリアムのルールに従って実行されたことを示す暗号学的証明を生成し、誰でも自ら計算を再実行することなく結果を検証できるようにする。ZKsyncによると、Airbender Primeは耐量子セキュリティを提供するよう設計された証明構造であるハッシュベースのSTARKを使用している。その技術は、GKR sumcheck、WHIR多項式コミットメント、BLAKE2sハッシュを組み合わせている。

レイヤー1の証明では、BN254ペアリングの代わりにKeccak-256ベースのコミットメントを使用する予定である。また、オープンなRISC-V標準に準拠し、証明を独立して検証するためのスタンドアロン検証ツールを備えている。

ZKsyncによると、Airbender Primeは——zkEVMプルーバーをイーサリアムメインネットブロックに対して評価する——ETHproofsの公開リーダーボードにおいて、報告されている平均証明時間、GPU効率、コストで首位を維持している。このプロジェクトは、GPU2基および4基構成のライブ設定も運用している。

Vitalik Buterin氏、zkEVMのセキュリティ強化を呼びかけ

Buterin氏はZKsyncチームにこの節目の達成を祝福した。証明速度をめぐる競争はすでに決着したと述べ、zkEVM開発は今後セキュリティを優先すべきだと主張した。

Buterin氏は形式検証3つの要件を挙げた。すなわち、算術化がイーサリアムの仕様と一致していることを証明すること、証明コストとブロックガスの間に厳格な最大比率を設定すること、そして証明システム自体のセキュリティを検証することである。算術化とは、プルーバーがイーサリアムの実行ルールを証明システムが検証できる数学的命題へとエンコードする工程である。同氏の発言は、証明システムが正しい実行、予測可能な証明コスト、そして信頼できる暗号学的保護を実証できるかに注目を向けさせている。

ZKsync、独立して検証可能な金融インフラを目指す

ZKsyncは、人工知能の進展がソフトウェアの脆弱性の発見と悪用を加速させる可能性があると指摘した。そのうえで、機関には銀行や取引相手が独立して検証できるメカニズムが必要だと主張した。

同社によると、台帳更新にゼロ知識証明を必須とすることで、ルールに違反する更新を侵害された実行サーバーが承認することを防げる可能性があるという。Airbender Primeの低いハードウェア要件は、機関や独立系事業者が証明生成をより利用しやすくすることにもつながるという。

このプロジェクトは、金融インフラ全体における独立した検証を支援することを目指している。ZKsyncは、Airbender Primeに関する追加発表を予定しているが、発表では詳細を明らかにしていない。