Blockswap Formal Verification Contest with Certora

A permissionless 3 pool liquid staking solution for Ethereum.

  • Start Date19 January 2023
  • End Date2 February 2023
  • Total Awards$30,000 USDC
  • Duration14 days
  • #
  • Competitor
  • USD
  • Total
  • High
  • (Solo)
  • Med
  • (Solo)
  • Gas
  • Fetching results...