Ethereum’s better.codes contest has narrowed the unresolved cryptographic proof interval for koalaIRS12 to 52.14 bits. At 15:44:47 UTC on Aug. 21, the live leaderboard showed a 63.99-bit lower certificate from the soundness track and a 116.13-bit upper certificate from the attack track, following nine promoted submissions by seven solvers. KoalaIRS12 is a fixed parameter profile for an interleaved Reed–Solomon reduction used in proof-system research. The challenge measures a spot-check quantity and does not treat the score as minus-log2 of whole-system soundness or as a full-protocol security result. The certificates remain below Ethereum’s 128-bit zkEVM provable-security target: the lower track seeks to raise the certified safe point, while the attack track seeks to lower the certified unsafe boundary. The Foundation says the theorem statement, parameter point and verification harness are pinned, with submissions checked by a comparator and verified by the Lean kernel before promotion. The results therefore establish checkable claims within the benchmark, not production-level security for the full system. Additional work must address model completeness, formal assumptions, implementation fidelity and composition across components. The Foundation’s December 2025 roadmap called for 128-bit security, a final proof size of 300 KiB or less and a formal recursion soundness argument; a February security-sprint update moved the M3 deadline to early December 2026, with the architecture-security argument aligned to a Dec. 1 deliverable. The current leaderboard’s immediate impact is in research, while Ethereum’s production case depends on integrating this component evidence into a broader, auditable proof-system package.