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

GMX

Contest

GMX Part 2

Platform

Certora

Start

TBD

Total Reward

$35,000

Register

Completed Contests

Project

Badger

Contest

Badger eBTC

Ended

November 15

Total Reward

$149,725

View Contest

Project

Aave

Contest

Aave GHO Token

Ended

October 15

Total Reward

$40,000

View Contest

Project

GMX

Contest

GMX Part 1

Ended

July 20

Total Reward

$35,000

View Contest

Project

Aave

Contest

AAVE staticAToken

Ended

June 7

Total Reward

$40,000

View Contest

Project

Blockswap

Contest

Blockswap syndicate

Ended

February 2

Total Reward

$30,000

View Contest

Project

Aave

Contest

AAVE-Starknet bridge

Ended

August 29

Total Reward

$57,500

View Contest

Project

Aave

Contest

AAVE token V3

Ended

August 5

Total Reward

$125,500

View Contest

Project

Lido

Contest

LIDO Finance AStETH

Ended

June 26

Total Reward

$19500

View 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.

Contact Us
Certora Logo
logologo
Terms of UsePrivacy Policy