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.
Joined February 2019
341 Following 12.1K Followers
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. 🫡
Show more
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 ⤵️
Show more
