Optional Proofs — Progress Update

Breakout Call, May 13, 2026

Francesco Risitano

Updates

  • EIP-8025 rewrite — PR #11604
  • General CL-specs refactor merged (proof node API, dynamic proof-type advertisement) — PR #5055
  • MAX_PROOF_SIZE bumped to 400 KiB — PR #5162
  • Validator proof re-signing deprecated — design captured in HackMD
  • Optional execution & proof engines via optimistic sync specs — PR #5161
  • Beacon-APIs endpoints updated for EIP-8025 — PR #569
  • Opt-in witness retrieval flag on existing engine methods — execution-apis proposal
  • Proof-type encoding discussion — eth-act/execution-proofs-api#1
  • Network proof gossip writeup for EIP-8025 — HackMD
  • GPU ere prover support landed in ethereum-package (GPU driver / config spec, shm-size + ulimits) — PR #1353
  • Lighthouse ↔ Prysm interop devnet ran successfully
  • Lighthouse: maintainer-facing architecture writeup for the EIP-8025 implementation — HackMD
  • Lighthouse: validator re-signing deprecated to align with the spec change

Slide 1: Title

Slide 2: Updates