内容
Ethereum財団の「better.codes」コンテストで、zkEVMの暗号学的証明に残る安全性の未解決区間を公開測定。
8月21日時点の「koalaIRS12」では、下限が63.99ビット、上限が116.13ビット。
両者の差は52.14ビットで、7人・9件の採択済み提出後も未解決のまま。
健全性トラックは下限を引き上げ、攻撃トラックは上限を引き下げることで、研究者が両側から差を縮める仕組み。
反応・補足
提出物は比較器による確認後、Leanカーネルで形式検証されてから採択される
ただし、この数値はスポットチェックであり、システム全体の健全性や実運用での安全性を直接保証するものではない
Ethereum財団はzkEVMで128ビットの証明可能安全性などを目標に掲げ、M3の成果物期限を2026年12月1日に設定
現状ではzkEVM証明はメインネット検証の補助的位置づけで、52.14ビットの差は今後の研究課題として残っている
これからのEthereum財団の動向には注目ですね
ソースはこちら
NFTに興味がある方は、1度チェック↓
仮想通貨を始める方
仮想通貨を始める方は、まずコインチェック公式サイトで口座開設からスタート！
口座開設で分からない事があれば、この記事↓をチェック！
免責事項
LIGHTEQは、Web3に関する信頼できるニュースを提供しています。当サイトに掲載されている見解は投資助言を構成するものではありません。暗号資産またはデジタル資産へのハイリスク投資を行う前に、ご自身で十分な調査を実施してください。すべての送金および取引は自己責任で行われ、その結果生じた損失はすべて自己責任となります。LIGHTEQは暗号資産またはデジタル資産の売買を推奨するものではなく、認可された投資顧問でもありません。また、LIGHTEQはアフィリエイトマーケティングプログラムに参加する場合がありますのでご注意ください。