alexzoid
#1 @ certora.com/leaderboard
@alexzoid
53
Biography
Top competitions
View allContest | Position | Date | Payout |
|---|---|---|---|
Euler-v2 | 9 / 70 | May 2024 | $18,176 |
uniswap-v4 | 10 / 60 | September 2024 | $10,674 |
Aquarius | 10 / 55 | May 2025 | $3,364 |
silo-contracts-v2 | 12 / 35 | January 2025 | $190 |
Security portfolio
Title | Description |
|---|---|
| Silo v2 x Certora Formal Verification Competition | Jan 2025, #5 place |
| Uniswap v4 x Certora Formal Verification Competition | Sept 2024, #2 place |
| Euler v2 x Certora Formal Verification Competition | June 2024, #3 place |