Devcon 8 · EIP Hub · Day 2
Ethereum in the Age of Proofs
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
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