Devcon 8
Mumbai, India · 3-6 Nov 2026
Hosted by Ethereum Foundation.
238 talks
- Decentralized video streaming: architecture, performance, and trade-offs
- Formal Verification of Consensus Protocols in Lean
- A Yellow Paper you can run: an independent executable EVM spec in Lean 4
- Fast Confirmation Rule: 13 second cofirmations
- Defending Multisigs from Offensive AI: Introducing onchain security markets
- AI Can Write the Patch — Can You Get It Merged?
- What the Block Explorer Misses: Using Laundering Intel to Contain Exploits
- Rage-Coding the Mother of All VPNs: Notes from Iran's Internet Blackouts
- Building an x402 AI Agent: Autonomous payments with Cloudflare Workers
- Formally Verifying a Shielded Pool in Lean 4
- Prisoners of Work: Can Proof-of-Work Detect Quantum Computers?
- leanSPHINCS for developers: how to build on Post-Quantum Ethereum