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 팬
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 ⬇️
더 보기
