{"id":12210,"date":"2026-08-22T00:56:13","date_gmt":"2026-08-22T00:56:13","guid":{"rendered":"https:\/\/cryptonews.uk.com\/?p=12210"},"modified":"2026-08-22T00:56:13","modified_gmt":"2026-08-22T00:56:13","slug":"ethereum-researchers-are-racing-to-close-a-zkevm-security-gap-before-december","status":"publish","type":"post","link":"https:\/\/cryptonews.uk.com\/?p=12210","title":{"rendered":"Ethereum researchers are racing to close a zkEVM security gap before December"},"content":{"rendered":"

<\/p>\n

\n

Ethereum\u2019s better.codes contest now measures a cryptographic proof gap that researchers can attack from both sides.<\/p>\n

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.14 bits unresolved after nine promoted submissions from seven solvers.<\/p>\n

KoalaIRS12 is a fixed parameter profile for an interleaved Reed\u2013Solomon 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.<\/p>\n

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.<\/p>\n

What the leaderboard proves<\/h2>\n

The contest uses two tracks to close the interval.<\/p>\n

The soundness track raises the lower certificate. At a certified radius, a successful submission proves that the benchmark\u2019s executable reduction-error bound meets the encoded target, then maps that radius to the score displayed on the board.<\/p>\n

The attack track lowers the upper certificate. Its theorem certifies an unsafe suffix under the benchmark\u2019s winning-set-density condition. The repository covers that suffix directly because the formalization assumes no monotonicity theorem for winning-set density.<\/p>\n\n\n\n\n\n\n\n\n
Machine-checked result<\/th>\nLive score<\/th>\nCertified scope<\/th>\n<\/tr>\n<\/thead>\n
Soundness lower certificate<\/td>\n63.99 bits<\/td>\nConservative safe point for koalaIRS12<\/td>\n<\/tr>\n
Attack upper certificate<\/td>\n116.13 bits<\/td>\nUnsafe suffix for the same parameter profile<\/td>\n<\/tr>\n
Open interval<\/td>\n52.14 bits<\/td>\nDistance between the promoted certificates<\/td>\n<\/tr>\n
Ethereum M3 requirement<\/td>\n128 bits<\/td>\nFull zkEVM provable-security target<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\"Infographic\"Infographic
A fixed Ethereum M3 theorem produced a 52.14-bit unresolved interval between soundness and attack certificates, short of the system\u2019s 128-bit target.<\/figcaption><\/figure>\n

The upper-certificate track’s score describes the formal boundary for koalaIRS12, while an Ethereum attack cost would require a separate whole-system analysis.<\/p>\n

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.<\/p>\n

An accepted result proves the submitted theorem inside that pinned environment. Production assurance must also cover the model\u2019s completeness, the assumptions embedded in its definitions, implementation fidelity, and the composition of separately analyzed components.<\/p>\n