Are you a security researcher looking to join a world-class team? Apply to open positions at Guardian here: [ Ссылка ]

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: [ Ссылка ]

Looking for a Smart Contract Audit? Apply to work with the Guardian team on our website: [ Ссылка ]

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: [ Ссылка ]

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: [ Ссылка ]

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

свернуть