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 ํฌ
C4 made a huge contribution to this industry.
They helped secure top protocols, and some of the best security researchers in the ecosystem got their start with their contests.
We're grateful for all the shared contests through the years, and everything they built.
Respect ๐ซก
๋ ๋ณด๊ธฐ
