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.
Jul 8 Progress
9.
Lighthouse Architecture
10.
Re-signing note
11.
Proof gossip
12.
Checkpoint execution proof sync
Post Quantum Data Availability
13.
PQ RS Proofs with LeanVM
14.
PQ RS Proofs with LeanAIR
15.
Pipelined PQ blob dissemination
Formal Verification
16.
Proving the EL State Machine — EL-IR
17.
evm-sail — A formal specification of the EVM
Light
Rust
Coal
Navy
Ayu
Tau Lepton
Optional Proofs Progress Update — May 13, 2026
Open full screen