PROGRESS.md

EIP-8025 readiness for Hegotá

This document is a single-page document that summarizes the current state of readiness for EIP-8025.

Summary

Readiness work is organized into four technical workstreams:

Workstream	Status
Execution layer	Implemented and tested; maintenance and improvements in progress; upstreaming once considered for inclusion
Consensus layer	Specifications merged upstream; clients implemented and interoperability tested; maintenance and improvements in progress; client upstreaming once considered for inclusion
zkVMs	Rubric and standards implementation in progress
Infrastructure and tooling	Implemented; maintenance and improvements in progress; upstreaming once considered for inclusion

ACD progress

EIP-8025 was PFIed in ACD #178 (May 14, 2026). The next step is proposing to CFI it.

The case for that, and the open questions around it, live in ACD.md. This document is the readiness register.

Execution layer

• Specifications: Defined in execution-specs@projects/zkevm, open upstream as execution-specs#2268 against forks/amsterdam.

  • Stateful execution layer (EL) specifications for guest program input generation.

  • End-to-end guest program specifications.

  • zkEVM test releases have been published and maintained since April 2025, initially in execution-spec-tests and now in execution-specs (newest first):

    • Current ethereum/execution-specs tests-zkevm@ series:

      Release	Based on
      tests-zkevm@v0.8.0	glamsterdam-devnet-8
      tests-zkevm@v0.6.2	glamsterdam-devnet-7
      tests-zkevm@v0.6.1	glamsterdam-devnet-7
      tests-zkevm@v0.6.0	glamsterdam-devnet-7
      tests-zkevm@v0.5.0	glamsterdam-devnet-6
      tests-zkevm@v0.4.1	bal-devnet-7

    • Original ethereum/execution-spec-tests zkevm@ series:

      Release	Based on
      zkevm@v0.4.0	bal-devnet-7
      zkevm@v0.3.4	bal-devnet-3
      zkevm@v0.3.3	bal-devnet-3
      zkevm@v0.3.2	bal-devnet-3
      zkevm@v0.3.1	bal-devnet-3
      zkevm@v0.3.0	bal-devnet-3
      zkevm@v0.2.0	—
      zkevm@v0.1.0	—
      zkevm@v0.0.2	—
      zkevm@v0.0.1	—

  • Formal verification (Planned!).

• Testing:

  • Integrated into the Ethereum Execution Spec Tests (EEST) framework (e.g. t8n changes, testing framework capabilities, and fixture format adjustments).
  • Hive dashboard for stateful ELs and guest program compliance against EEST tests.

• Documentation: Guest program handbook.

Consensus layer

• Specifications: Merged in consensus-specs master, at ethereum/consensus-specs@master/specs/_features/eip8025.
  • Proof-generating mode requests proofs and broadcasts them on the execution_proof gossip topic.
  • Proof-verifying mode consumes gossiped proofs and verifies them statelessly.
  • Includes the ProofEngine interface, proof gossip, request/response synchronization, and eproof Ethereum Node Record (ENR) discovery.
• Client implementations: eth-act/lighthouse@optional-proofs and OffchainLabs/prysm@optional-proofs (Fulu-based).
• Testing: Kurtosis devnet with mocked and real proofs working (Fulu-based).

zkVMs

• zkVM handbook.
• eth-act/zkevm-standards.
• Testing: The RISC-V Compliance Test Monitor publishes ISA compliance results for supported zkVMs (source repository).
• Formal verification progress (Planned!).

Infrastructure and tooling

• Proving:
  • eth-act/ere — Provides a unified interface and toolkit for compiling, executing, proving, and verifying programs across multiple zkVMs.
  • eth-act/ere-guests — Maintains reusable libraries and compilation tooling for Ethereum guest programs across zkVMs with Ere.
  • eth-act/zkevm-benchmark-workload — Benchmarks Ethereum guest programs execution, proving, and verification across multiple zkVMs using EEST test and benchmark releases, and real mainnet/devnet blocks.
  • eth-act/zkboost — Implements an EIP-8025 proof node that serves consensus-client requests for execution-proof generation and verification through Ere-backed zkVMs.
  • ethpandaops/proofessoor — Requests proofs of Ethereum execution blocks from zkboost and tracks each request through completion.
• Devnets:
  • Mocked and real proving support in the Kurtosis ethereum-package.
  • Stateless-input artifacts allowing EIP-8025 proving on Glamsterdam devnets:
    • R2 bucket for glamsterdam-devnet-5 stateless inputs
    • R2 bucket for glamsterdam-devnet-7 stateless inputs

Coordination: zkEVM breakout calls

Call	Date	Resources
7	August 12, 2026	Recording & notes · Slides
6	July 8, 2026	Recording & notes · Slides
5	June 10, 2026	Recording & notes · Slides
4	May 13, 2026	Recording & notes · Slides
3	April 8, 2026	Recording & notes · Slides
2	March 11, 2026	Recording & notes · Slides
1	February 11, 2026	Recording & notes · Slides

Further reading

For technical deep dives on EIP-8025, zkVM performance, interoperability standards, and security, see the zkEVM Team blog.

Appendix

Hive-dashboard screenshot: