Home
EIP-8025
1.
Overview Deck
2.
ACDC Proposal
3.
Feb 11 Progress
4.
Mar 11 Progress
5.
Apr 8 Progress
6.
May 13 Progress
7.
Jun 10 Progress
8.
Lighthouse Architecture
9.
Re-signing note
10.
Proof gossip
11.
Checkpoint execution proof sync
Post Quantum Data Availability
12.
PQ RS Proofs with LeanVM
13.
PQ RS Proofs with LeanAIR
14.
Pipelined PQ blob dissemination
Formal Verification
15.
Proving the EL State Machine — EL-IR
16.
evm-sail — A formal specification of the EVM
Light
Rust
Coal
Navy
Ayu
Tau Lepton
Optional Proofs Progress Update — June 10, 2026
Open full screen