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.
Oct 14 Progress
12.
Lighthouse Architecture
13.
Re-signing note
14.
Proof gossip
15.
Checkpoint execution proof sync
Post Quantum Data Availability
16.
The Future of Blobs
17.
PQ RS Proofs with LeanVM
18.
PQ RS Proofs with LeanAIR
19.
Pipelined PQ blob dissemination
Formal Verification
20.
Proving the EL State Machine — EL-IR
21.
evm-sail — A formal specification of the EVM
22.
EVM Sail — From specification to verification
Light
Rust
Coal
Navy
Ayu
Tau Lepton
The Future of Blobs
Open full screen