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... |