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 @Certora]

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 ❤️‍🔥 @OnChainDen]

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.

[Certora @Certora]

@Helius huge 🔥

[Certora @Certora]

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 @Helius]

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.

[Certora @Certora]

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 ⬇️
https://t.co/0XwVwfx4cv

[Certora @Certora]

Full presentation: https://t.co/ZtCOaecN8a

[Certora @Certora]

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.

[Certora @Certora]

@mezzanine_fi @HastraFi @AccountableData Congrats! 🙌

[Certora @Certora]

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]

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.

https://t.co/HdkOs5Gt5y

Every vault tracked live by @AccountableData https://t.co/DHTSBfeRJS

[Certora @Certora]

What does it take to build and integrate applications on @CantonNetwork?

Join @Jpandya26 from @CantonFdn, alongside @ChandrakanaNaN and @iamandreiski from Certora, to discuss wallet integrations, Daml development, and what it takes to ship on Canton.

Plus, a live demo of Canton Package Analyzer ⬇️

https://t.co/FtdFv8lI9c

[Certora @Certora]

@vladtenev or less 🫡

[Certora @Certora]

At @EFDevcon tomorrow, Certora co-founder @SagivMooly will discuss how AI agents can make formal verification more accessible to Solidity developers.

📍 Lotus Stage 2 | 12:30 PM IST
If you're at Devcon, come join us!

[Mooly Sagiv @SagivMooly]

If you are at @Devcon, I am talking tomorrow at the Lotus stage at 12 on democratizing formal verification for Solidity. My talk should be accessible. Please come

[Certora @Certora]

Full video: https://t.co/L6q2Js0504

[Certora @Certora]

At @EFDevcon India, @SagivMooly @VitalikButerin, @0xfredrik, @Montyly and @0xRajeev to discuss Ethereum security in the age of AI.

His argument: write the formal spec before the code, and use LLMs to get there earlier.

Recap from the panel ↓
https://t.co/cbYfZ51Sld

[Certora @Certora]

In August, an attacker bypassed Moonwell’s MAMO supply cap in an $8.7M exploit.

After the attack, we ran AutoProver on the pre-attack code. The Certora Prover found a violation of the generated property.

In our latest blog, @AliceAndB0b breaks down the attack, the rule that catches it, and a proposed fix the Prover verifies. ⬇️

https://t.co/3cecDXOmL2

[Certora @Certora]

@dhsorens 🤝

[Certora @Certora]

Thanks to the @summit_defi and everyone who came to our sessions.
Recordings coming soon!

[Certora @Certora]

We had a blast at @summit_defi in Mumbai 🙌

Certora shared insights on formal verification, security monitoring, non-EVM auditing and risk management.

Here’s a recap 🧵

[Certora @Certora]

@rajkumar and @Sabanaku77 traced a monitoring system from raw chain data all the way to incident response.