On Formal Verification and a Bug in SP1 Hypercube (opens in a new tab)
A practical study in establishing and validating formal correctness guaranteeszkEVM
8 items match, 0 of them low signal.
A practical study in establishing and validating formal correctness guaranteeszkEVM
The non-headliner proposal window for Hegotá - the fork planned to follow Glamsterdam - is open, and the L1-zkEVM workstream is putting EIP-8025 (Optional Execution Proofs) forward for inclusion.zkEVM
The first release of zkVM-standards establishes three initial standards for zkVM development: RV64IM target architecture, C interfaces for precompiles, and standardized IO handling.zkEVM
zkEVM Security Sprint: Whitepaper guidelines, lookups in soundcalc, and an updated deadline.zkEVM
In this second part of the series, we dive into the tooling we created for measuring proving times and the process for interpreting the measurements.zkEVM
A comprehensive overview of security considerations for zkEVMs, covering diversity, guest programs, proving systems, and the engineering stack.zkEVM
This is a two-part article series exploring gas repricing driven by block proof generation in the Ethereum protocol.zkEVM
Everything here already leads the page above.