Devcon 8

Mumbai, India · 3-6 Nov 2026

Hosted by Ethereum Foundation.

238 talks

• Post-Quantum Accounts Today: Benchmarking Falcon-512 Verification Inside Starknet's `__validate__`
• Decolonise Decentralisation: Co-building Human Rights Tech
• Goodbye YOLO Signing
• Everyone is thinking about VPNs wrong
• Bug-Free Solidity Coding Agents
• Hiding Network Metadata: Introduction to Mixnets
• See You in (Robot) Court: Justice in the Agent Economy
• AI Can Write the Patch — Can You Get It Merged?
• PQC: Post-Quantum Collaboration?
• Who Can Turn Off Your Ethereum App? A Full-Stack Walk-Away Test
• From Production Rust to Lean 4 Proofs: A Verification Pipeline
• Formally Verifying a Shielded Pool in Lean 4