alexzoid
Providing Certora Formal Verification
@alexzoid
51
Biography
Top competitions
View allContest | Position | Date | Payout |
|---|---|---|---|
Euler-v2 | 9 / 598 | May 2024 | $18,176 |
uniswap-v4 | 11 / 500 | September 2024 | $10,674 |
silo-contracts-v2 | 20 / 414 | January 2025 | $190 |
Providing Certora Formal Verification
51
Contest | Position | Date | Payout |
|---|---|---|---|
Euler-v2 | 9 / 598 | May 2024 | $18,176 |
uniswap-v4 | 11 / 500 | September 2024 | $10,674 |
silo-contracts-v2 | 20 / 414 | January 2025 | $190 |