Testing & Fuzzing

Finding bugs automatically through fuzzing, invariant testing, coverage, and simulation against live state.

160 talks

• Differential Fuzzing of the Vyper Compiler
• Common DeFi Invariants Every Protocol Must Respect
• Hardhat 3 is here: what's new and why you should use it - John Kane
• Build Verifiable Offchain Apps Powered by Stake and Symbiotic
• Virtual Blockchains in 60 Seconds: Experts & Vibecoders
• Parithosh Jayanthi and Barnabas Busa - EthPandaOps Fusaka Testing Deep Dive
• How to Vibe Code a Mini App on Celo
• How Do We Secure One Trillion Dollars Onchain? | ETHSofia 2025
• Adversarial AI Agents for Web3 Security
• Uncovering Hidden Risks in DeFi Lending with Agent Based Modeling
• Developer Joy: The Only Metric That Matters
• Consensus Protocol Testing [EN] [Ethereum Protocol Day]
• Hunting Blockchain Clients' Bugs with Concolic Execution
• Challenges of Replicating Historical Exploits
• Best of both fuzzing and formal verification: introducing Bounded Model Checking
• Stress-Testing zkEVM: A Deep Dive into zkEVM Prover Testing Best Practices
• Web3 Security in Argentina
• Fuzzing Liquity — Alex The Entreprenerd | Recon
• Wonderland | Security Still Sucks - Lumi & Gorilla | ETHDam III - 2025
• Enigma Dark | Invariant Testing - Fuzzing Defi Protocols - Victor Martinez | ETHDam III - 2025
• Wake Framework: Modern Tooling for Smart Contract Development - Michal Převrátil
• Fuzzing and Punching by Clément Lakhal
• Empowering Everyone: Taking Specialization Out Of Formal Methods | Daniel Cumming | ETHTaipei 2025
• Automated Security Testing for Web3