Ethereumのbetter.codesコンテストでは、koalaIRS12の未解決の暗号学的証明区間が52.14ビットまで縮小した。UTCの8月21日15:44:47時点で、公開中のリーダーボードには、健全性トラックによる63.99ビットの下限証明書と、攻撃トラックによる116.13ビットの上限証明書が示されており、7人のソルバーによる9件の昇格投稿を受けた結果である。koalaIRS12は、証明システムの研究で用いられるインターリーブド・リード・ソロモン削減の固定パラメータ・プロファイルである。このチャレンジはスポットチェック量を測定するものであり、スコアをシステム全体の健全性のマイナスlog2値、またはプロトコル全体のセキュリティ結果として扱うものではない。証明書は依然として、Ethereumの128ビットzkEVM証明可能安全性目標を下回っている。下限トラックは認証済みの安全点を引き上げることを目指し、攻撃トラックは認証済みの安全でない境界を引き下げることを目指している。Foundationによると、定理の記述、パラメータ点、検証ハーネスは固定されており、投稿はコンパレーターによるチェックと、昇格前のLeanカーネルによる検証を受ける。したがって、これらの結果が確立するのはベンチマーク内で検証可能な主張であり、システム全体の本番水準のセキュリティではない。今後は、モデルの完全性、形式的仮定、実装の忠実性、コンポーネント間の合成に取り組む必要がある。Foundationの2025年12月のロードマップは、128ビットのセキュリティ、300KiB以下の最終証明サイズ、正式な再帰健全性論証を掲げていた。2月のセキュリティスプリント更新では、M3の期限が2026年12月上旬に変更され、アーキテクチャのセキュリティ論証は12月1日の成果物に合わせられた。現在のリーダーボードが直ちに与える影響は研究分野に及ぶものであり、Ethereumの本番利用に向けた根拠は、このコンポーネントの証拠を、より広範で監査可能な証明システムのパッケージに統合できるかどうかにかかっている。