Dive into Formal Verification - Prepare for Uniswap V4's $100K Competition!

Join us for an exciting 90-minute webinar on the Certora Prover, designed to help you prepare for Uniswap V4's massive $2.35 million security contest starting September 6th, including a dedicated $100K pool for formal verification. This session is perfect for math enthusiasts, security aficionados, and anyone looking to break into DeFi security.
Register to the competition at www.certora.co...
Why Should You Watch?
- Get ready for the $100K Uniswap V4 contest.
- Kickstart your formal verification journey.
- Learn how to secure blockchain protocols and monetize your skills.
What You'll Need:
- Basic Solidity knowledge (learn at github.com/Cer....
- Install the relevant tools and follow the setup instructions at github.com/Cer....
- Clone and test runs from our GitHub repository: github.com/Cer...
Don't miss this chance to level up your skills in DeFi security! Register for the competition now and start preparing for an exciting opportunity in the blockchain world:
www.certora.co...
P.S. Want to learn more about DeFi and smart contract security? Check out our introductory article www.certora.co...

[@ajaychoudhary7666]

How to test EVM bytecode directly from certora

[@danial_hamedi]

Hi, where can I access the documentation that contains the results and … (I mean the documentation used in the video; it looks like you are presenting it using localhost)?

[@certora2268]

The lecture notes are available in this link: certora-presentations.readthedocs-hosted.com/en/latest/ there you will find also a link to the relevant GitHub repo.

[@danial_hamedi]

@@certora2268 Thanks, I really appreciate it.