Certora
@Certora
Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
参加 February 2019
341 フォロー中 12.1K ファン
Bringing Bitcoin into onchain financial markets requires strong security foundations, especially at this scale.
Proud to have formally verified Hashi’s smart contracts ahead of its mainnet launch. 🫡
もっと見る
Just in from the main stage at Sui Basecamp:
👉 Hashi mainnet starts rolling out this month, with $500M+ in capital already committed.
👉 @Anchorage joins as a launch partner, bringing qualified custody and stablecoin liquidity.
Learn more ⤵️
もっと見る
