Get paid to
secure the ecosystem
Join a community of hackers putting their formal verification skills to the test and earning rewards from leading protocols.
$250k+ Rewards Distributed
ContestGMX Part 2
ContestAave GHO Token
ContestGMX Part 1
ContestAAVE token V3
ContestLIDO Finance AStETH
What makes our community audits different?
Access to Prover
Each participant receives a Prover key to use during the competition. Put your skills to the test with access to all of the powerful features that Prover has to offer.
High Participant/Reward Ratio
The formal verification community is still relatively small within the wider smart contract security space, so you have a higher chance of winning rewards.
Join our discord to get help and support from our team of smart contract security experts. We're here to help you succeed!
Engage our community
Work with our community to crowdsource custom formal specifications to find vulnerabilities in your code. We run frequent community audit contests together with leading platforms like Code4rena.