Devcon 8
Mumbai, India · 3-6 Nov 2026
Hosted by Ethereum Foundation.
238 talks
- Project Hummingbird - Minimal Images, Maximum Trust
- Aratu: What Happens When a 20-Year-Old Social Currency Moves On-Chain
- From Production Rust to Lean 4 Proofs: A Verification Pipeline
- Stop Re-Investigating the Same Wallet: A Shared Evidence Layer for On-Chain Crime
- Ream: A new consensus client's journey to Fusaka mainnet
- AI-enabled, chain-validated, one-click visualisation of fund flows
- Towards Formally Verified zkEVMs
- Bug-Free Solidity Coding Agents
- Grandine Lean Client Development
- AI security vulnerability scanning in Lighthouse
- Is this binary actually built from that public source code?
- Post-Quantum Accounts Today: Benchmarking Falcon-512 Verification Inside Starknet's `__validate__`