Formal Verification & Symbolic Execution | W/ Trail Of Bits

[@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 🐸💙

[@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?

[@AnthonyHarvey-tf7sp]

you are awesome as always

[@ImranPollob]

Informative. Thanks

[@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.

[@b3rhunter]

🙏🤯🙏

[@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!