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.
Joined February 2019
337 Following 12.1K Followers
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 ๐๐งต
Show more
