The Ethereum Foundation has made significant progress on zkEVM, with latency for real-time proving decreasing from 16 minutes to 16 seconds, and costs dropping 45-fold. zkVMs now verify 99% of Ethereum blocks in under 10 seconds on target hardware. The foundation is shifting focus to security and formal verification, targeting 128-bit provable security by the end of 2026.
Key milestones include:
February 2026*: Integrate SoundCalc for security estimation
May 2026*: Achieve 100-bit provable security with proof sizes under 600 KiB
End of 2026*: Reach 128-bit provable security with proof sizes under 300 KiB
The Ethereum Foundation plans to publish a post formalizing these milestones in January, followed by a technical update detailing proof system techniques
