イーサリアム財団とベリティがEIP-8282を正式に検証、研究者らに矛盾が表面化

この提案では、建設業者の入金と退出を管理するための専用契約を設定します。

Verity は、2026 年 9 月に検証作業を終了しました。同社の成果は、実際にオンチェーンで実行される低レベルのコードである EIP のランタイムバイトコードの正確さに重点を置いていました。

Verity は 3 つの保証を証明しました。彼らは、バイトコードがユーザーの送信に関連付けられたシナリオ、つまり有料通話や SYSTEM 呼び出しを正しく処理していることを確認します。 SYSTEM 呼び出しは、通常のユーザーではなくプロトコル自体によって行われる呼び出しです。

証拠、突然変異、そして矛盾

Verity は、その特性を確認するために 6 つのバイトコードの突然変異を使用しました。この種の変更作業は通常、コードを意図的に変更して、指定されたプロパティが変更をキャッチするかどうかを確認することを意味します。

その後、矛盾が生じました。 Verity のレビューでは、イーサリアム研究者が解決すべき問題が指摘されました。

EIP-8282 の最終呼び出し期限は 2026 年 11 月 1 日でした。Verity の作業はその期限に先駆けて 9 月に終了しました。

このタイミングが検証に実際的な重みを与えます。 Last Call が終了する前に到着した調査結果によっても、仕様が形成される可能性があります。

開発者やプロトコル研究者にとって、当面の課題は明らかです。 Verity が明らかにした矛盾は、コードを変更するか、仕様を変更するか、意図した動作を明確にするかによって、仕様と調整する必要があります。

3 つの保証により、研究者はその研究のためのより強固な基盤を得ることができます。彼らは、有料通話と SYSTEM 通話パスが Verity が証明した領域で指定されたとおりに動作することを知っています。

次に注目すべきは、研究者たちがVerityの調査結果にどう反応するかだ。これらの矛盾が解決され、その結果として最終仕様が変更されるかどうかは、イーサリアムのコアコードの形成において形式的検証が現在どの程度の影響を及ぼしているかを示すことになるでしょう。