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
337 ํ๋ก์ ์ค 12.1K ํฌ
We audited and formally verified some of the biggest protocols on @SuiNetwork. But security shouldn't only show up at the audit stage.
That's why we put together a collection of resources for @suidevelopers. ๐ซก
๋ ๋ณด๊ธฐ
