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 ํฌ
Proud to support @veda_labs' commitment to rigorous security ๐ค
Weโre partnering with @Certora as part of our continued commitment to security.
This means:
โ formal verification
โ bug testing
โ fuzzing
โ and more
