Formal Verification & Symbolic Execution | W/ Trail Of Bits

What is Formal Verification?
What is Symbolic Execution?
Troy Interview: • Solidity Fuzzing & Web...
Josselin Interview: • Symbolic Execution & F...
✍️ Article: / formal-verification-sy...
🗻 Code Examples: github.com/Pat...
🟩 Comparing Symbolic Execution tools: hackmd.io/@Saf...
📚 Invariant vs Fuzz: ethereum.stack...
🛠️ Foundry Invariant: book.getfoundr...
🦔 Echidna: github.com/cry...
⛨ Looking for a smart contract audit?
Hit us up!
www.cyfrin.io/
✅✅ Donate ✅✅
I use donated funds to spend money on making fun & informational videos.
ETH/Polygon/Avalanche/EVM Chains Wallet address:
0x9680201d9c93d65a3603d2088d125e955c73BD65
Or, optionally:
patrickalphac.eth (ETH Only)
😸😸Follow Patrick!😸😸
Cyfrin: www.cyfrin.io/
KZbin: www.youtube.co...
Twitter: / patrickalphac
Medium: / patrickalphac
TikTok: / patrickalphac
Twitch Stream Uploads & Shorts: / @patrickalphac-alt
All thoughts and opinions are my own.

[@sdsgfhgthjj]

Thank you Patrick ❤ शरीरं सुरूपं तथा वा कलत्रं यशश्र्चारु चित्रं धनं मेरुतुल्यं गुरोरङ्घ्रिपद्मे मनश्र्चेन लग्नं ततः किं ततः किं ततः किं ततः किं ||

[@PatrickAlphaC]

Wow thank you!!

[@davidcrary1807]

Great stuff man! I don't think there are many people out there smart enough to explain these concepts so well and in such an entertaining way.

[@PatrickAlphaC]

Glad you enjoyed!

[@lawniczakjohn]

💯

[@theblockchainer]

This is such a valuable video! Thank you, Patrick! And yes, now that you have opened this door, I need to learn more about symbolic execution, please! :)

[@PatrickAlphaC]

Make sure you can fuzz first!!

[@sebastianarango1483]

Hey master!!! Loved this video, I would ABSOLUTELY LOVE more videos like this one! Always tuned! 💯💯

[@PatrickAlphaC]

Glad to hear you enjoyed :) What part specifically did you most enjoy?

[@Ali_Murtaza_Memon]

Well Explained! ❤

[@PatrickAlphaC]

🫡🫡

[@codeWithBala]

Fantastic finishing

[@kareemehabkassab231]

Lets goo 🐸💙

[@AnthonyHarvey-tf7sp]

you are awesome as always

[@shikharagarwale7]

Hello fren!, I got a problem with my computer. I have 2 system. In one system when I copy the public address from metamask or from anywhere its copied correctly. But the other system is messing it up. I tried copying different address from that system, but each time the same address is on the clipboard. I don't know from where it is coming from. Please help.😢

[@PatrickAlphaC]

You might have an issue with your laptop fren. Could you ask on stack exchange?

[@ImranPollob]

Informative. Thanks

[@b3rhunter]

🙏🤯🙏

[@lawniczakjohn]

Hey Patrick, Manticore seems to no longer be maintained. Any other suggestions, or is the older version still good to work with?

[@PatrickAlphaC]

smtChecker built into solidity IMO is great for 85% of use cases.

[@SimeonUdoh]

First to comment!

[@TXs-y6v]

I really appreciate what are you providing to the industry and the way you explain complex stuff that even me as not native English speaker could understand it.. thank you Patrick 🙏🙏🤍 .. Waiting for auditing course

[@PatrickAlphaC]

Glad to hear the concepts are easy to understand!