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.
328 Following 11.7K Followers
Certora is hiring!
We're expanding into Web2 & Mobile security research.
If you have a strong background in application security or vulnerability research, this opportunity might be for you ⬇️
Show more
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
