← privacyprophet.xyz

Devcon 8 · EIP Hub · Day 2

Ethereum in the Age of Proofs

Rachit Anand Srivastava · Sr. R&D Engineer, Avail · @privacy_prophet

▶ Watch the talk YouTube · recording ▤ View the slides Google Slides · full deck

resources

ethproofs.org · live L1 proving times and costs
EF: Real-time proving · targets for L1 provers
pq.ethereum.org · Ethereum's post-quantum roadmap
leanEthereum · leanSig and leanVM
verified-zkevm.org · EF Verified zkEVM project
lean-lang.org · the Lean theorem prover
arXiv:2603.28846 · Google Quantum AI, breaking elliptic-curve keys

eips

EIP-7594 · PeerDAS
EIP-8051 · ML-DSA precompile
EIP-8052 · Falcon-512 precompile
EIP-7885 · NTT precompile
EIP-8288 · PQ signature aggregation in the mempool
EIP-8141 · frame transactions
EIP-7732 · ePBS
EIP-7805 · FOCIL

what the ecosystem is saying

Vitalik Buterin · on x.com
Justin Drake · on x.com
Vitalik Buterin · on x.com
Justin Drake · on x.com
Justin Drake · on x.com
Vitalik Buterin · on x.com