zkEVM Security Gap Narrowed on Ethereum

Ethereum researchers are making progress in closing a cryptographic security gap within zero-knowledge Ethereum Virtual Machines (zkEVMs). A contest hosted on better.codes allows participants to attack the system from two sides, effectively narrowing the interval between a proven "safe" state and an "unsafe" state.

The challenge involves two tracks: the soundness track, which raises the lower bound of security, and the attack track, which lowers the upper bound. Current results show an open interval of 52.14 bits, meaning there's still a gap between the demonstrated security and the theoretical maximum. This is a reduction from previous states, indicating forward momentum.

The ultimate goal for a fully secure zkEVM is a 128-bit target. While the current gap is significant, the ongoing efforts and public tracking of these security metrics are crucial for building trust and robustness in zkEVM technology, which is vital for scaling Ethereum. The contest ensures transparency and reproducibility of security proofs.