Optional Proofs — Progress Update

Breakout Call, June 10, 2026

Francesco Risitano

Updates

  • Weak-subjectivity proof syncPR #5332 / Writeup
  • Lighthouse unstable rebasebranch
  • EL-IR specification — proposed EL-IR as an IR-based EL protocol specification.
  • Block-in-Blobs — Peter started specs + PoC implementation in Ethrex + Lighthouse, building on EIP-8025.

Slide 1: Title

Slide 2: Updates