Report in progress

Blend V2 Audit + Certora Formal Verification

A liquidity protocol primitive built on Stellar.

  • Start date24 Feb 2025
  • End date17 Mar 2025
  • Total awards$125,000 in USDC
  • Duration21 days
  • #
  • Competitor
  • USD
  • Total
  • High
  • (Solo)
  • Med
  • (Solo)
  • Gas