Create an account to use AI

Create a free account to unlock all features:

Ask questions about videos with AI
Use smart search (AI)
Save your favorite videos
Bookmark your favorite categories
Organize your favorite subcategories
Access your personalized favorites page
Access your conversation history
Personalize your homepage with your favorites

Create an account

Already have an account? Log in

Guide To Formal Verification | Take Security To The Next Level

Owen Thurm

$1,000,000 in Smart Contract Security audit grant funding is live now, sponsored by Guardian. Apply for up to a full audit cost grant here: https://audit.guardianaudits.com/guardian-security-fund Are you a security researcher looking to join a world-class team? Apply to open positions at Guardian here: https://guardianaudits.com

Interested in getting hands-on training to become an expert security researcher in a matter of months?

Get the guide to becoming a senior auditor in 6 months here: https://www.intogateway.com/guide

Looking for a Smart Contract Audit? Apply to work with the Guardian team on our website: https://guardianaudits.com

Join our community aimed at building and sharing a wealth of blockchain and solidity knowledge to help developers/auditors of all levels transform the web3 ecosystem: https://lab.guardianaudits.com/

If you're still not 100% confident in your web3 auditing skills, I collaborated with several other top security professionals in the space to bring you the most comprehensive & effective web3 security course ever! You can take $50 off using my link here: https://smartcontractshacking.com/?referral=owen

00:00 - Intro

02:25 - The Boolean formula

04:11 - How this translates to a smart contract

06:14 - The SMT checker

09:51 - What to do to make this invariant hold

13:22 - Other flags that can be used

17:17 - Get a free quote

18:12 - Join the Solidity lab

Guide To Formal Verification | Take Security To The Next Level | Knoovi