Skip Navigation
Leaderboard
Competitions
Reports
Docs
Help
Connect
MetaMask
WalletConnect
Log in
Register
Connect MetaMask
Connect WalletConnect
Log in
Register
Blockswap Formal Verification Contest with Certora
A permissionless 3 pool liquid staking solution for Ethereum.
Start Date
19 January 2023
End Date
2 February 2023
Total Awards
$30,000 USDC
Duration
14 days
Results
Details
#
Competitor
USD
▼
Total
High
(Solo)
Med
(Solo)
Gas
Fetching results...