Formal Verification
Mathematically proving a contract behaves as specified, rather than testing that it usually does.
179 talks
- Clear: a Formal Verification framework for smart contracts in Lean by Julian Sutherland | Devcon SEA
- Can we formally verify implementations of cryptographic libraries like the c-kzg lib... | Devcon SEA
- Proving liquidity of an AMM by Jochen Hoenicke | Devcon SEA
- VLSMs—analyzing faulty distributed systems
- hevm or: How I Learned to Stop Worrying and Love the Symbolic Execution
- A Playbook of Secure Smart Contract Development by Palina Tolmach | Devcon SEA
- Formal Verification of the INTMAX2 Protocol
- DeFi Security Summit 2024: Day 2, 9 November
- Specification and Model-checking of the ZKsync Governance Protocol
- Enhancing Test Coverage: A Framework for Effective Protocol Security
- Intro to the Lean Theorem Prover
- Secure development of smart contract systems
- Foundry-based Formal Verification
- ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa
- Ethereum's ZK & Formal Verification Endgame with Alexander Hicks
- Episode 335 - Groth16, IVC and Formal Verification with Nexus
- Zafny, framework for writing formally verified zero-knowledge circuit | Dohoon Kim | ETHTaipei 2024
- Solidity Debugging meets Formal Methods
- Solidity Debugging meets Formal Methods - Raoul Schaffranek | Runtime Verification, Inc.
- DAPPCON 2024: Scaling SecurelyThe Need To Prove Everything Everywhere All At Once- Georgios Gontikas
- How To Get Security Under Kontrol by Palina Tolmach
- Modular vs. Monolithic Short Debate with Aptos Co-Founder Avery Ching
- Fireside Chat with Juan Benet & Illia Polosukhin - Bangkok 2024
- Les Amis d’Ethereum France #17 — Sécurité et audit de smart contracts