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 ํฌ
April 2026 was one of the worst months on record for protocol exploits.
@LewellenMichael, Head of Solutions Engineering at @turnkeyhq, breaks down what the Drift, KelpDAO, and SUI hacks had in common, and why smart contract audits alone are no longer enough.
Full conversation with Seth Hallem ๐๐งต
๋ ๋ณด๊ธฐ
