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




Upcoming Contests

Project
GMXContest
GMX Part 2Platform
Certora
Start
TBD
Total Reward
$35,000Register
Completed Contests

Project
BadgerContest
Badger eBTCEnded
November 15
Total Reward
$149,725View Contest

Project
AaveContest
Aave GHO TokenEnded
October 15
Total Reward
$40,000View Contest

Project
GMXContest
GMX Part 1Ended
July 20
Total Reward
$35,000View Contest

Project
AaveContest
AAVE staticATokenEnded
June 7
Total Reward
$40,000View Contest

Project
BlockswapContest
Blockswap syndicateEnded
February 2
Total Reward
$30,000View Contest

Project
AaveContest
AAVE-Starknet bridgeEnded
August 29
Total Reward
$57,500View Contest

Project
AaveContest
AAVE token V3Ended
August 5
Total Reward
$125,500View Contest

Project
LidoContest
LIDO Finance AStETHEnded
June 26
Total Reward
$19500View Contest
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.
Active Feedback
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.