Certora(@Certora):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. 🫡

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 粉絲

Certora@Certora

2026.07.03 15:00

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. 🫡