Talks

Browse Ethereum conference talks and podcast episodes, newest first.

• GrapheneOS Workshop: Secure by Design, Private by Default
• Gateway-Free by Design: Building a Browser for Permissionless Networks
• Weeks instead of Years: Creating the Loungemesh Hallway Video Platform
• What You Sign Is What You Get: Ending Blind Signing with ERC-8009
• Defending Multisigs from Offensive AI: Introducing onchain security markets
• Formal Verification in Lean
• Encrypted, Not Anonymous: A Hands-On Introduction to Confidential Solidity
• One API, All of AI: Building on 0G Private Computer
• Everyone is thinking about VPNs wrong
• Rage-Coding the Mother of All VPNs: Notes from Iran's Internet Blackouts
• Building an x402 AI Agent: Autonomous payments with Cloudflare Workers
• PQC: Post-Quantum Collaboration?
• How to Navigate the Uniswap Stack
• Enshrined Payment Channels: A Stateless, Post-Quantum, Confidential Rollup Design
• leanSPHINCS: Signing for the long run
• Who Can Turn Off Your Ethereum App? A Full-Stack Walk-Away Test
• Paying Nodes That Actually Execute: Proofs a Free-Rider Cannot Copy From a Peer
• Towards Formally Verified zkEVMs
• Eventyay: How we are building eventyay with the power of community and AI
• From Production Rust to Lean 4 Proofs: A Verification Pipeline
• Post-Quantum Accounts Today: Benchmarking Falcon-512 Verification Inside Starknet's `__validate__`
• The State Arrives as a Scan: Building Syria's Open Record, and Making It Forkable
• Build Apps Powered by Smart Contracts with Arc Studio
• Formally Verifying a Shielded Pool in Lean 4