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