Blog

    Latest developments in zkEVM technology, community updates, and technical insights from our team.

    RSS Feed
    2026-05-20

    On Formal Verification and a Bug in SP1 Hypercube

    A practical study in establishing and validating formal correctness guarantees

    By Cody Gunton    2026-05-14

    EIP-8025: bringing optional execution proofs to Hegotá

    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.

    By Ladislaus von Daniels    2026-02-16

    Ethereum zkVM Interoperability: zkVM Standards v0

    The first release of zkVM-standards establishes three initial standards for zkVM development: RV64IM target architecture, C interfaces for precompiles, and standardized IO handling.

    By Kevaundray Wedderburn, Marcin Bugaj    2026-02-11

    zkEVM Security Sprint: February Update

    zkEVM Security Sprint: Whitepaper guidelines, lookups in soundcalc, and an updated deadline.

    By Dmitry Khovratovich, Arantxa Zapico, George Kadianakis    2026-01-19

    Repricings for block proving (Part 2: The tools and process)

    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.

    By Ignacio Hagopian    2026-01-14

    zkEVM Security Overview

    A comprehensive overview of security considerations for zkEVMs, covering diversity, guest programs, proving systems, and the engineering stack.

    By Cody Gunton    2025-12-17

    Repricings for block proving (Part 1: The motivation)

    This is a two-part article series exploring gas repricing driven by block proof generation in the Ethereum protocol.

    By Ignacio Hagopian    2025-10-22

    Benchmarking zkVMs for Ethereum

    A comprehensive overview of our Q2 achievements, upcoming milestones, and how the community can get involved in the zkEVM initiative.

    By Ignacio Hagopian