Certora

@ether_fi @CredoraNetwork 🤝

weETH earned the first independent A+ risk rating in liquid restaking from @credoranetwork The doctrine behind the rating is now compiled into the contracts, with our latest security upgrade. Read more at: ether.fi/blog/safe-stak…

Honored to work with @ether_fi to formally verify the protocol's core safety properties as part of its trust model redesign 🫡

@roycoprotocol 🫡

We didn't want to assume Royco Dawn's accounting was correct. We wanted it proven. So we brought in @Certora. Formal verification is math-backed proof that Dawn works in every possible state. Their writeup below 👇

certorAI 🔜

Read the full Royco Dawn report: certora.com/reports/royco-…

The @roycoprotocol team wanted confidence that Dawn's financial accounting would behave correctly in every possible state. That's why they used formal verification. Learn more about the work we did together and the edge cases we uncovered 🧵

@0x1lucas @HideoAsahi @mezzanine_fi 🫡

@HideoAsahi @mezzanine_fi @Certora audit

What's a small thing that makes you trust a new protocol before you've even used it?

@roycoprotocol 🤜🤛

Certora has formally verified Royco Dawn. The review covered Dawn's core contracts: the logic that splits any yield source into Senior and Junior, and the accounting that governs both.

Built with a security-first mindset from day one. Royco Dawn is now formally verified 🫡

Formal verification should be a central part of the development, not a simple audit to perform at the end. With V4 we started integrating invariants at the very beginning of the process, validating them continuously as the development progressed.

Aave V4 was designed for formal verification. This is the only way to secure code against future attacks. One needs to specify the required properties and then use Certora Prover or other tools to ensure the code satisfies them.

Aave V4, formally verified ✅

@aave 🫡

Certora has formally verified Aave V4. This process covered the Liquidity Hub and Spoke contracts, along with the underlying mathematical libraries. The verification confirmed that the Solidity implementations of V4's contracts are correct according to Certora's formal rules.

The future of formal verification it agentic and accesible.

Audits catch what's already built. These resources help you avoid the bugs before they exist. Explore them now: certora.com/ecosystem/sui

Everything you need to ship securely: free resources, docs, guidance, and best practices for building with a security mindset from day one.

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. 🫡

@cloak_ag 🫡

We’ve been quiet for the past month, but far from idle. We’ve been running a private beta on mainnet, testing, breaking, fixing, and improving the protocol alongside friends and partner companies. The result: more than $400K in total volume transacted. Now, launch is closer than ever. Once our audit with @Certora is complete, we’ll be ready to bring true onchain privacy to the community natively including through the @solanamobile store. Privacy is coming.

@tomer_ganor Thank you for four incredible years of dedication and impact, Tomer. Wishing you nothing but success in this next chapter!

After four incredible years at @Certora, I’ve decided it’s time to leave Certora and begin a new chapter. Looking back, I’m incredibly grateful for these four years and for the opportunity to spend them doing what I love. I had the privilege of helping design and secure some of the most important protocols in DeFi, solving fascinating challenges, and working alongside people I learned a tremendous amount from. Above all, I’m grateful to everyone who placed their trust in me along the way. Before I close this chapter, I’ll be making sure to finish all of my commitments with the same care and standards I’ve always held myself to. To everyone at Certora, thank you for the trust, the collaboration, and the opportunities. I’m proud of what we did together, and I wish all nothing but continued success. Every meaningful journey eventually reaches its final stage. I’m grateful for this one, and I’m excited to begin the next.