1/ Following Certora's announcement, worth going a bit deeper: no critical or high severity findings, and formal verification is a bigger deal than it sounds.

Security is a top priority for @Aptos and builders can now access a security subsidy through @areta_io We're here to help secure your protocol 🫡

We've been auditing @ether_fi's contracts extensively since 2024. This thread is why. 🫡

Security as foundation. This is exactly the kind of ecosystem we want to be part of. Congrats @SuiNetwork on the launch of the Security Hub 👏

We've been securing @aave since 2022, covering protocol upgrades and new deployments. This new proposal on the DAO builds on that: Certora Concord, an open-source framework that proves smart contract upgrades are behaviorally equivalent at the bytecode level. If you have voting power or delegation, please vote 👇 app.aave.com/governance/v3/p…

There’s been a lot of speculation around Certora recently, so let me be clear: @Certora is not moving away from Web3 🛡️ We’re expanding our technology to Web2 codebases in C, C++, and Rust, but that’s an addition, not a shift. Web3 security, audits, and Formal Verification remain core to what we do 💪 We’re investing heavily across all blockchains, ZK, offchain code, and mobile code, while building agentic Formal Verification technology to help teams move faster and be better prepared for audits 🤖 Something big is coming! Stay tuned. July will be hot 🔥

Glad to be part of the Hashi coalition, helping secure it ahead of mainnet 🫡

Some important updates from Certora.

Spectra's security audit with @Certora has concluded. The audit covered custom cross-chain infrastructure for Principal Tokens, built on a messaging-layer agnostic architecture, with @StellarOrg as the first non-EVM environment the infrastructure supports. The direction follows where institutional liquidity is heading: → DTCC selected Stellar for its tokenization service, with DTC-custodied assets expected on the network in 2027 → Circle's CCTP went live on Stellar, enabling native USDC transfers → Mastercard expanded stablecoin settlement flows within the Stellar ecosystem → Institutional RWA issuance on the network continues to grow Tokenized institutional assets need a yield layer. The infrastructure for that is being built, and its cross-chain foundation has now been audited. The bridge to Stellar will soon be available in the flagship Spectra app, marking the first step in the Spectra protocol's broader expansion to the network. Full audit report ↓

Our audit with @certora is out, and I can finally talk about what we've been building. In parallel to MetaVault V2's work, the team's focus has also been on the infrastructure that enables the Spectra protocol to expand beyond EVM. The audit with Certora covers one of the key components ahead of the full expansion. Stellar's onchain ecosystem has grown by over 500% in TVL since the start of last year. The Stellar Foundation is moving fast, and we've seen it firsthand through the level of support they've brought to Spectra. The trajectory is hard to overstate. Institutional assets and interest are arriving there, and fixed-term markets are very much the natural evolution of that landscape. One thing worth pulling out of this audit: the new Router contract includes the supporting layer for order books on Spectra, scheduled for release this summer. With an order book, traders can place limit orders on PTs and YTs, market makers can rest liquidity, and larger-sized orders become far easier to execute. The router routes optimally between the book and the pool, which deepens trading activity and fee generation across the protocol. Excited for Spectra to expand into the Stellar ecosystem and bring its yield tokenization and trading suite to its participants.