The better.codes contest displays a 63.99-bit lower certificate and a 116.13-bit upper certificate for the koalaIRS12 profile, leaving an open interval of 52.14 bits. Ethereum’s production zkEVM target requires 128-bit system-level security. Researchers must narrow this gap and connect component results to recursion, implementation, and proof-size evidence before December 2026. The M3 deadline has been pushed to early December 2026, and the roadmap requires teams to publish full system accounting, proof sizes, recursion arguments, and implementation evidence.
Source: Read the original article
