alexzoid
Providing Certora Formal Verification
@alexzoid
51
Public reviews
Contest | Date | Submissions | Payout |
|---|---|---|---|
Silo Finance | Jan 13, 2025 | 1 | $190 |
Uniswap Labs | Sep 6, 2024 | 1 | $10,674 |
Euler | May 20, 2024 | 1 | $18,176 |
Providing Certora Formal Verification
51
Contest | Date | Submissions | Payout |
|---|---|---|---|
Silo Finance | Jan 13, 2025 | 1 | $190 |
Uniswap Labs | Sep 6, 2024 | 1 | $10,674 |
Euler | May 20, 2024 | 1 | $18,176 |