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.
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!
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.
Project
UniswapContest
Uniswap V4Ended
October 1
Total Reward
$100,000View Contest
Project
EulerContest
Euler v2Ended
June 17
Total Reward
$100,000View Contest
Project
TokemakContest
TokemakEnded
March 11
Total Reward
$18,000View Contest
Project
IonContest
Ion ProtocolEnded
February 5
Total Reward
$40,000View Contest
Project
BadgerContest
Badger eBTCEnded
November 15
Total Reward
$30000View 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