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 ํฌ
The work of securing @arbitrum continues, and we're proud to be part of it ๐ซก
Thanks for trusting us.
