Proving Ethereum Full Nodes in ZK
summary
Claims a full-node consensus proof that verifies 20,000 validator signatures within a block time (12s) by using a Virgo (GKR) based prover that processes 3 million constraints/sec per core and recursive compression for on‑chain verification. A live demo runs on a single Steam Deck cluster node proving 256 signatures in ~3s; realistic production uses 64 inexpensive Steam Decks distributed to finish end-to-end proofs in 5–6s, with negligible per‑proof energy and lower hardware cost than traditional ZK miners.
AI-written summary · about
chapters (8)
- 0:00Intro
- 0:29Bridges
- 1:19Proof System
- 2:55Structure
- 3:54Proof Systems
- 5:58Decentralization
- 7:43Demo
- 13:53Theory Proof
