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.
337 Following 12.1K Followers
Coding agents are getting better every day. Hackers are using the same technology.
@SagivMooly on what that means for the future of software security at @ethconf.
Full talk 👇🧵
Show more
We audited and formally verified some of the biggest protocols on @SuiNetwork. But security shouldn't only show up at the audit stage.
That's why we put together a collection of resources for @suidevelopers. 🫡
Show more
Looking forward to speaking at the first edition of @ETHConf in NYC this June.
We've been cooking at Certora and will be sharing some exciting new things.
Ethereum security is not a solo mission 🤝
Huge respect to every team helping direct more support toward the projects protecting the ecosystem.
Final hours to join the push 👇
Show more
What if Solidity bugs could be caught before deployment with deeper program analysis, not just pattern matching?
Roundabout by @Certora uses abstract interpretation and static analysis to detect security issues like rounding errors with stronger guarantees and more precise Solidity analysis.
Learn more:
Support:
Show more
Across Web2 and Web3, a troubling trend is emerging: attackers are increasingly outpacing the teams building and securing these systems. With AI in the mix, that imbalance is only accelerating.
@SagivMooly shares an early analysis of why hackers have the upper hand, and why the gap is widening.
Show more
The Ethereum Security QF is one of the most important initiatives strengthening the ecosystem, and we're proud to be part of it as donors 🫡
Big news for the Ethereum Security QF round 🔥
@Certora is contributing $10K through their 4 ETHSecurity badgeholders, giving each one $2,500 to donate to projects in the round.
And because badgeholder donations count 4x in the QF calculation, this support goes even further in directing matching funds to Ethereum security projects.
Huge thank you to Certora 💙💚
Show more
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 🫡
Show more
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
Proud to support @veda_labs' commitment to rigorous security 🤝
We’re partnering with @Certora as part of our continued commitment to security.
This means:
→ formal verification
→ bug testing
→ fuzzing
→ and 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
Security before shipping.
Excited to be part of @spectra_finance's process ahead of what's next 🫡
The work of securing @arbitrum continues, and we're proud to be part of it 🫡
Thanks for trusting us.
Rounding errors in Solidity cost protocols millions.
Help us fix that.
Happy 3rd anniversary, @SuiNetwork 💙
To many more, and to keeping it secure along the way.
Sui turns 3.
3 years of Sui Mainnet.
3 years of building a full stack.
3 years of the best community.
To the builders and the believers: the journey is only 1% done.
Happy birthday, Sui.
Show more
Miami week has begun strong, covering the topics of the moment: consumer crypto, AI, and security.
