Certora

This account is verified because it's an official organization on X. Learn more

@Certora

Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.

Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.

certora.com Joined February 2019

343 Following 12K Followers 3.1K Posts

Latest posts 5

Certora @Certora 14h

The industry has learned the hard way that wallet security can't rely on a single layer of protection.

MLS Wallet by @OnChainDen addresses this with three independent layers of protection: signers, Den's Guardian, and onchain smart contracts.

Proud to have supported them through smart contract audits and security consulting 🫡

Den ❤️‍🔥 Verified account @OnChainDen 15h

Last month, Binance lost $6.4B in about 20 minutes. Before that, eight major attacks took $2.3B from crypto teams.

Today we're putting an end to it.

Introducing MLS Wallet by Den: North Korea's biggest nightmare.

View quoted post on X

Certora @Certora 2d

Privacy is essential to bringing more financial activity onchain.

Congrats to @Helius on the launch of Solana Privacy Rings! Proud to have contributed to its security 🫡

Helius Verified account @Helius 2d

Today, Solana changes forever

Introducing Solana Privacy Rings - encryption at the speed of Solana

Rings are programmable, onchain environments for encrypting money, markets, and finance - without ever leaving Solana

Now live on mainnet.

View quoted post on X

Certora @Certora 2d

When does AI-assisted formal verification make sense for smart contracts? And how much does it actually cost?

From catching bugs before an audit to checking properties as code changes, our latest blog explores practical use cases, costs, and where human expertise is still needed.

Learn more ⬇️
certora.com/blog/ai-formal…

www.certora.com AI Formal Verification for Smart Contracts: Costs and Use Cases | Certora How AI formal verification works for smart contracts, what it costs, where it falls short, and how AutoProver performed on Aave V4.

Certora @Certora 3d

You can't prove your code is correct without first defining what it's supposed to do.

At @EFDevcon, @SagivMooly discussed why writing the informal specifications remains one of the hardest challenges in formal verification.

1:39

Certora @Certora Nov 5

Congrats to @MezzanineFi on the launch!

Great to see the protocol go live after our formal verification work with the team.

Looking forward to what's next 🫡

Mezzanine @mezzanine_fi Nov 5

Mezzanine is finally live!

Our first vault is the @HastraFi Optimizer, with many more on the way.

Pick your side: higher yield or built-in buffer.

app.mezz.finance/vaults

Every vault tracked live by @AccountableData accountable.mezz.finance

View quoted post on X