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 ํฌ
The Certora team will be in Mumbai this week for @summit_defi and @EFDevcon.
Come talk smart contract security, formal verification, and safer AI-generated code with our researchers and team.
See you there ๐ฎ๐ณ
๋ ๋ณด๊ธฐ
