@ianjali_th Thank you!
We’re excited about the talent and challenges we’re bringing together at Certora
English
Certora
2.7K posts
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.
Katılım Şubat 2019
328 Takip Edilen11.7K Takipçiler
Proud to support @veda_labs' commitment to rigorous security 🤝
Veda@veda_labs
We’re partnering with @Certora as part of our continued commitment to security. This means: → formal verification → bug testing → fuzzing → and more
English
Certora retweetledi
Veda set a strong bar, making Vaults available to everyone and investing heavily in auditing, fuzzing, and formal verification.
Veda@veda_labs
We’re partnering with @Certora as part of our continued commitment to security. This means: → formal verification → bug testing → fuzzing → and more
English
Certora retweetledi
Certora has been an incredible security partner and one of the best auditing firms I've ever worked with.
Excited to continue deepening our partnership to secure the future of vaults.
Veda@veda_labs
We’re partnering with @Certora as part of our continued commitment to security. This means: → formal verification → bug testing → fuzzing → and more
English
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 👇🧵
English
Security before shipping.
Excited to be part of @spectra_finance's process ahead of what's next 🫡
Spectra@spectra_finance
Spectra is kicking off a security audit with @Certora Scope covers core infrastructure ahead of upcoming releases. Full details to be shared upon conclusion.
English
The wait is over.
ArbitrumDAO’s March 2026 Security Council Member Election results are here!
Meet your 6 newly elected members 👇
alt.gov.arbitrum.foundation/elections
English
The work of securing @arbitrum continues, and we're proud to be part of it 🫡
Thanks for trusting us.
Arbitrum Governance@arbitrumdao_gov
The wait is over. ArbitrumDAO’s March 2026 Security Council Member Election results are here! Meet your 6 newly elected members 👇 alt.gov.arbitrum.foundation/elections
English
Certora retweetledi
🎉Certora Prover v8.13.0 released - enhancements for EVM, Solana, and Stellar/Soroban
The @Certora Prover is an open-source formal verification engine that proves smart contracts can only behave as intended ... & finds real bugs, otherwise.
And it keeps getting better 👇
English
Rounding errors in Solidity cost protocols millions.
Help us fix that.
Mooly Sagiv@SagivMooly
Rounding errors have drained millions from DeFi protocols. Certora is building an open source static analysis tool for Solidity to prevent them, and we're participating in the @ethereum Security QF Round from @thedaofund. Your donation helps us go further ↓
English
Happy 3rd anniversary, @SuiNetwork 💙
To many more, and to keeping it secure along the way.
Sui@SuiNetwork
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.
English
