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