イーサリアム研究者、12月を前に52.14ビットのzkEVMセキュリティーギャップに直面

重要ポイント

イーサリアムのbetter.codesコンテストでは、koalaIRS12の下限の証明書が63.99ビット、上限の証明書が116.13ビットであることが示された。7人のソルバーによる9件の昇格提出を経ても、両証明書の間には52.14ビットの未解決のギャップが残っている。このチャレンジのスコアは、システム全体の健全性やzkEVM全体のセキュリティーを測定するものではない。イーサリアムが12月初めに予定するレビューでは、システムレベルの健全性の算定、証明サイズ要件への適合、再帰に関する論証、実装上の証拠も求められる。

市場センチメント

中立, テック主導。

理由: イーサリアムの研究者は未解決の証明システムのセキュリティーギャップを測定しているが、イーサリアムのコンセンサスクリティカルな検証経路は変更していない。

類似の過去事例

この種の形式的なセキュリティー研究は通常、再現可能な証明を通じて信頼性を徐々に高めるものであり、直ちに市場の再評価を引き起こすものではない。現在のベンチマークには固定された定理と検証環境があるため、その後の証明書の変化を直接比較できる。

波及効果

通常の実行クライアントによる再実行が引き続きイーサリアムのアテステーションを支えているため、当面の直接的な影響はzkEVMのセキュリティー研究にとどまる。証明書の区間が狭まれば、その結果は後続のシステムレベルのセキュリティー研究を強化する可能性があるが、それだけで本番環境のzkEVMセキュリティーを証明するものではない。

機会とリスク

機会: 読者は、下限の証明書がエンコードされた128ビットの目標に近づくかどうかを注視できる。区間が狭まれば、将来のzkEVMセキュリティーに関する論証に向けた、より強いコンポーネントレベルの証拠となる。

リスク: 読者は、イーサリアムが12月初めのレビューに必要なシステムレベルの算定と実装上の証拠を公表するかどうかを注視すべきだ。ベンチマーク結果だけでは、本番環境のzkEVM全体のセキュリティーは確立されない。