OpportunitiesLeaderboardAbout Cantina
Peteris

Peteris

@Peteris
Get a quote

Public earnings

$256

554th

Public findings

0

OverviewPublic reviews

Top competitions

View all
Contest
Position
Date
Payout
Euler-v2

Euler-v2

54

/ 600

May 2024$256

Security portfolio

Title
Description
Aave - Reward Distributtor Formal Verification ContestFormal verification contest; the goal of the contest is not just finding bugs, we are looking for implementations of properties in CVL (Certora Verification Language) which can either uncover bugs or prove properties of the contract always hold. https://github.com/Certora/aave-v3-periphery_contest/blob/certora/README.md