Woofun AI reports that a cryptographic proof gap in koalaIRS12 is being actively measured by the better.codes contest, serving as a central mechanism for Ethereum zkEVM research. This initiative allows researchers to attack the security boundary from both sides, creating a public and reproducible metric for the distance between proven safety and ruled-out unsafety.

The live leaderboard status at 15:44:47 UTC on Aug. 21 revealed a 63.99-bit lower certificate and a 116.13-bit upper certificate. These two results left 52.14 bits unresolved after nine promoted submissions from seven solvers. This specific interval represents the current state of the challenge, where the community has yet to bridge the gap between the established lower bound and the theoretical upper limit.

Structurally, the contest employs two distinct tracks to close this interval. The soundness track functions by raising the lower certificate; at a certified radius, a successful submission proves that the benchmark's executable reduction-error bound meets the encoded target, then maps that radius to the score displayed on the board. Conversely, the attack track lowers the upper certificate. Its theorem certifies an unsafe suffix under the benchmark's winning-set-density condition. The repository covers that suffix directly because the formalization assumes no monotonicity theorem for winning-set density. An accepted result proves the submitted theorem inside that pinned environment, ensuring rigorous validation of each step.

Per Woofun AI, production assurance requirements extend beyond simple certificate improvements to cover the model's completeness, the assumptions embedded in its definitions, implementation fidelity, and the composition of separately analyzed components. The Foundation frames better.codes as a machine-checked research path for hash-based SNARK security. Improving the koalaIRS12 certificates would sharpen one reduction within that agenda, but the broader framework demands comprehensive verification of all underlying components to ensure robustness against potential exploits.

The 116.13-bit certificate has the same reach: it applies to the parameter point encoded in the challenge. Other parameter choices, constructions, and system components remain separate research questions. For koalaIRS12, a lower certificate reaching the encoded 128-bit target would settle the soundness side of this benchmark at its fixed parameter point. A production zkEVM claim would additionally need soundness accounting across every relevant component, proof-size compliance, a documented recursion topology, an argument for how its parts compose, and evidence that specifications match implementations. That optional role keeps the leaderboard's immediate consequence in the research domain, separating theoretical progress from production readiness.

Movement in the certificates changes the evidence available for future security arguments without changing Ethereum's current consensus-critical validation path. Across the zkEVM roadmap, teams must publish the system-level accounting, proof sizes, recursion arguments, and implementation evidence required for the early-December review. At present, the 52.14-bit interval is a live measure of unfinished work on koalaIRS12. Ethereum's 128-bit production case will depend on how that component evidence fits into the larger proof, marking a critical juncture for the network's security architecture.