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
Post Quantum Proofs of Reed-Solomon Codes with leanVM
Open full screen