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
What does it take to audit @solana programs?
In our latest blog, we share insights from our security work with Solana protocols including @uselulo, @ManifestTrade, @kamino, and @fragmetric.
From account validation and cross-program calls to oracle integrations and protocol accounting, we explore common security risks, real audit findings, and what developers should watch out for.
Read more ⬇️
Show more
