Formal Verification
Mathematically proving a contract behaves as specified, rather than testing that it usually does.
179 talks
- ZK14 - lambda-vm: minimalistic and performant zkvm - Diego Kingston (Aligned)
- ZK14 - Securing a $500B Computer: The EF zkEVM Security Sprint - George Kadianakis
- Your guide to formal verification when machines write Lean proofs
- Safely Snarkifying Ethereum: Formal Verification and Protocol Snarkification
- Designing Defi Resilience: Inside Aave V4 Security Blueprint
- Designing Solidity Contracts That Don’t Fight Verification
- Formal Verification and the Holy Grail of Software Correctness
- Episode 396 - lean Ethereum Part 6: Formal Verification with Alex Hicks
- Formal Verification for Ethereum’s Next Scalability Era / FV and LLMs Together
- Illia Polosukhin: The Next Era of AI is Onchain (Things Are About To Change Forever)
- Proving Correctness of LLM-Generated Smart Contracts | John Toman - Certora
- Formalising FRI: A Lean Blueprint of Security | Petar Maksimovic - Nevermind
- Safe Smart Contract Vibe Coding | Mooly - Certora
- Lido V3: Security by Design | Tomer Ganor - Certora
- Audited. Formally Verified. Totally Compromised | Diogo Pereira - Hedera
- Panel Discussion: Formal Verification & Fuzzing moderated by Alexander Hicks, Ethereum Foundation
- Prompts Aren’t (Good) Specs: Correctness in the LLM Era
- Concord: Automatically Checking EVM Bytecode Equivalence - DeFi Security Summit 2025
- Shipping AI-Generated Code That Won't Hurt You (Much)
- DeFi Security 101 2025 - From Fuzzing to Formal Verification | Kevin Lotz, Certora
- Designing DeFi Resilience: Inside Aave V4’s Security Blueprint
- Formal Verification of Uniswap v4 Hooks - DeFi Security Summit 2025
- Bounding Rounding Errors in Integer Maths
- Harnessing LLMs to generate secure code