Formal Verification
Mathematically proving a contract behaves as specified, rather than testing that it usually does.
179 talks
- Verifying LLM powered Code Transformations with Equivalence Checking - John Toman
- Formally Verifying YUL Level Static Analyses and Optimization with Coq
- Episode 382 - Kevin Lacker on AI-Assisted Theorem Proving and Acorn
- e2e Formal Verification
- Walkthrough of ArkLib
- zk(E)VM Formal Verification
- ArkLib: Verified Proof Systems in Lean
- ZKVM Determinism That Lasts: From Audits to Continuous Verification
- Securing your protocol with the Certora Prover
- Securing AI-Assisted DeFi Development with Formal Verification
- Best of both fuzzing and formal verification: introducing Bounded Model Checking
- Shedding Light on Noir with Lampe
- ZK13: Formally Verifying a zkVM - Howard Wu & Alessandro Coglio
- ZK13: Shedding light on Noir with Lampe - Matej Penciak (Reilabs)
- Empowering Everyone: Taking Specialization Out Of Formal Methods | Daniel Cumming | ETHTaipei 2025
- Demystifying Smart Contract Security: Facts & Fallacies
- Push Button Verification for BitVM Implementations | Hanzhi Liu - Nubit
- Formal Verification: Finding Hope in the Impossible | Jonan Scheffler - Certora
- Squash All the Bugs with Omniscience & Formal Verification
- Securing Liquid Staking: Lido’s Dual Governance Revolution | Tomer Ganor - Certora
- Architecting Resilient Futures – San Francisco 2025
- Formal Verification in the Ethereum Protocol: Current Status and Future Directions | Devcon SEA
- Formal methods for zero knowledge circuits with Isil Dillig | a16z crypto research talks
- How model checking can help build trust in the design of distributed protocols