Devcon 8

Mumbai, India · 3-6 Nov 2026

Hosted by Ethereum Foundation.

238 talks

• What You Sign Is What You Get: Ending Blind Signing with ERC-8009
• ICANN is Not the Enemy: How to Befriend the Open Source Standards Bodies
• Formal Verification in Lean
• Towards Formally Verified zkEVMs
• The Open-Source Escape Hatch: Replacing DataDog Without Losing Your Sanity (or Your Budget)
• GrapheneOS Workshop: Secure by Design, Private by Default
• EEZ: Building Synchronous Ethereum with Real-Time ZK Proofs
• Proof of Work: Building Your Career Through Open Source in the Age of AI
• Oops, Your EOA Has Code Now: How EIP-7702 Broke Ethereum's Old Security Assumptions
• You can't withdraw your privacy: PQ analysis of Kohaku privacy protocols
• Your TEE Workload Is Attested, Now What? A Practical Threat Model for CVMs
• leanSPHINCS: Signing for the long run