Contest ran 19 January 2023—2 February 2023
14 day contest
Blockswap Formal Verification Contest with Certora
A permissionless 3 pool liquid staking solution for Ethereum.
$30,000 USDC
Total Awards
- Results
- Details
| High | Med | Gas | ||||||
|---|---|---|---|---|---|---|---|---|
| # | Competitor | ▼USD | Total | All | Solo | All | Solo | All |
Fetching results... | ||||||||