alexzoid
#1 @ certora.com/leaderboard
@alexzoid
51
Biography
Top competitions
View allContest | Position | Date | Payout |
|---|---|---|---|
Euler-v2 | 9 / 600 | May 2024 | $18,176 |
uniswap-v4 | 11 / 500 | September 2024 | $10,674 |
silo-contracts-v2 | 20 / 416 | 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 |