イーサリアムの安全性はどこまで？財団が「未解決の幅」を公開測定

イーサリアム財団が進めるbetter.codesのコンテストで、暗号学的な証明の安全性をめぐる「未解決の幅」が公開の形で測定されています。

8月21日15時44分47秒（UTC）時点のリーダーボードでは、koalaIRS12という固定パラメータに対して下限証明書63.99ビット、上限証明書116.13ビットが表示されました。研究者は両側から差を詰めることができる構図です。

両者の差である52.14ビットが未解決の区間で、7名の解答者による9件の採択済み提出を経てもなお残っています。koalaIRS12は証明システム研究で用いられるインターリーブ型リード・ソロモン簡約の固定パラメータ設定です。課題のリポジトリはこのスコアをスポットチェック的な量と定義し、システム全体の健全性や完全なプロトコル安全性と解釈しないよう明記しています。

健全性トラックは下限証明書を引き上げ、攻撃トラックは上限証明書を引き下げます。定理文、パラメータ点、検証ハーネスは固定されており、各提出は所定の定理を出力し、比較器が目標との一致を確認したうえでLeanカーネルが証明を検証してから採択される仕組みです。ただし採択はあくまで固定環境内での証明であり、実運用の保証にはモデルの完全性、定義に埋め込まれた前提、実装との整合、個別に分析された構成要素の合成まで扱う必要があります。

財団が2025年12月に示したzkEVMセキュリティ・ロードマップは、128ビットの証明可能安全性、最終証明サイズ300KiB以下、再帰アーキテクチャの形式的な健全性論証を求めていました。2月の更新でM3の期限は2026年12月初旬へ移り、12月1日が成果物の期日とされています。

現時点でzkEVM証明はメインネット検証における任意の補助的位置づけにとどまるため、52.14ビットの区間は当面、研究上の未完了作業を示す指標となりそうです。

【PR】最大6%還元のTriaカード｜今なら無料プランあり！

最大6%還元の仮想通貨カード「Tria」を今なら無料プランから始められます。

Triaは仮想通貨をコンビニやレストラン、オンラインショッピングなどのVisa加盟店で使えるクレジットカード。BTCやETH、JPYCなど1,000種類以上の暗号資産に対応し、対象のカード利用では最大6%のキャッシュバックを受けられます。

さらに現在、Triaカードの購入＋3つの必須タスク完了で総額1,500 USDC（約25万円相当）が26名に当たるキャンペーンを開催中。バーチャルカードなら無料で始められます。

Triaカードとは？

① 仮想通貨をVisa加盟店で使えるクレジットカード

② カード利用で最大6%キャッシュバック

③ 累計決済額3,000万ドル、ユーザー数30万人以上の実績

無料でTriaを始める

※キャンペーンは2026年8月31日23:59まで。カードの料金・還元率・当選倍率などには条件があります。

記事ソース：資料