Formal Verification
Mathematically proving a contract behaves as specified, rather than testing that it usually does.
179 talks
- Formal Verification in Lean
- Towards Formally Verified zkEVMs
- From Production Rust to Lean 4 Proofs: A Verification Pipeline
- Formally Verifying a Shielded Pool in Lean 4
- Bug-Free Solidity Coding Agents
- Don't Review the Code: Formal Specs First Smart Contract Development
- Formal Verification of Consensus Protocols in Lean
- evm-asm: Experiences Writing the EVM, Directly in Risc-V Assembly
- A Yellow Paper you can run: an independent executable EVM spec in Lean 4
- Etheorem: Lean 4 Consensus-Spec Proofs
- Training for Constraining: How to Prevent Circuit-Level Bugs
- Securing Ethereum in the age of AI: Challenges & Opportunities
- Reducing the Trust Surface
- DeFi Security Summit 2026: Amber Room, Day 1
- zkGolf: AI, Clean and Optimising ZK Circuits
- AI, Cryptography and Network School
- 다음 ZK 혁신은 어디서 오는가 | 이더리움 코리아 원 : 제네시스
- Mert Mumtaz & Dev: Private Money Is The Final Frontier (Massive Upside)
- Episode 406 - Alex Ozdemir on where Theorem Provers and ZK meet
- Lean 4 語言體驗心得與軟體的未來
- Mert Mumtaz & Illia Polosukhin: What Happened to Zcash (Full Explanation)
- Using LLM Generated Formal Specs to Prevent the Next DeFi Hack
- Proving Ethereum in Real Time with OpenVM 2.0
- Trusting Agents With Capital: The Gearbox Playbook