Ethereum researchers are racing to close a zkEVM security gap before December

An important story is making waves across the blockchain ecosystem. codes contest now measures a cryptographic proof gap that researchers can attack from both sides. At 15:44:47 UTC on Aug. 21, the live leaderboard showed a 63.

99-bit lower certificate and a 116. 13-bit upper certificate for koalaIRS12. The two results left 52.

Market Dynamics

14 bits unresolved after nine promoted submissions from seven solvers. KoalaIRS12 is a fixed parameter profile for an interleaved Reed–Solomon reduction used in proof-system research. The challenge repository defines its score as a spot-check quantity and expressly excludes interpreting it as minus-log2 of whole-system soundness or as full-protocol security.

Researchers now have a public, reproducible measure of the distance between what the challenge has proved safe and what its upper certificate still rules unsafe. What the leaderboard proves The contest uses two tracks to close the interval. The soundness track raises 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. The attack track lowers the upper certificate. Its theorem certifies an unsafe suffix under the benchmark’s winning-set-density condition.

Market Impact

The repository covers that suffix directly because the formalization assumes no monotonicity theorem for winning-set density. Soundness lower certificate 63. 99 bits Conservative safe point for koalaIRS12 Attack upper certificate 116.

13 bits Unsafe suffix for the same parameter profile Open interval 52. 14 bits Distance between the promoted certificates Ethereum M3 requirement 128 bits Full zkEVM provable-security target A fixed Ethereum M3 theorem produced a 52. 14-bit unresolved interval between soundness and attack certificates, short of the system’s 128-bit target.

The upper-certificate track's score describes the formal boundary for koalaIRS12, while an Ethereum attack cost would require a separate whole-system analysis. The Ethereum Foundation launch announcement says the theorem statement, parameter point, and verification harness are pinned. Each submission exports the required theorem, a comparator checks that statement against the target, and the Lean kernel verifies the proof before promotion.

Crypto markets are watching this development closely as investors weigh its potential impact on prices.