Free Formal Verification Webinar
Interested in formal verification but haven't had the chance to dive in? Here's your opportunity!
Uniswap's $2.35 million security contest will go live on September 4th - the biggest audit contest ever with a dedicated $100K pool for formal verification. This is your chance to apply your math skills in the exciting world of blockchain security.
To help you prepare, we're offering a FREE 90-minute beginner-friendly webinar on the Certora Prover on September 2nd at 16:00 UTC.
This webinar is perfect for:
Math enthusiasts looking to monetize their skills
Security aficionados new to formal verification
Anyone who started with the Prover but found it challenging
Why attend?
Prepare for the $100K Uniswap contest starting September 6th
Jump-start your formal verification journey
Acquire the skills to earn income by securing blockchain protocols
Prerequisites:
Basic knowledge of solidity, if new, learn here
Install all relevant tools explained here
Clone and test runs on https://github.com/Certora/basic-presentation/
Don't miss this opportunity to enter the exciting world of DeFi security!
P.S. Want to learn more about DeFi and smart contract security? Check out our introductory article here: https://www.certora.com/blog/harness-your-math-skills