462 Photos and videos
Certora retweeted
Jun 12
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 ↓
We completed the audit of @spectra_finance's bridge, which extends Spectra's protocol capabilities beyond EVM, with @StellarOrg as the non-EVM environment in scope.
Proud to support the team ahead of upcoming releases 🫡
Full report 👇
9
23
78
12,368
Certora retweeted
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.
Jun 12
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 ↓
3
10
39
6,368
We completed the audit of @spectra_finance's bridge, which extends Spectra's protocol capabilities beyond EVM, with @StellarOrg as the non-EVM environment in scope.
Proud to support the team ahead of upcoming releases 🫡
Full report 👇
2
3
25
7,666
AI-assisted spec writing Certora Prover = formal verification that's actually accessible.
2
14
1,043
Hot take from @tomer_ganor, the security researcher behind @aave, @LidoFinance, among other major protocols:
Protocol design determines security before code exists. "There are a lot of bugs that exist before the code is written. I was able to find a lot of 'bugs' in the protocol without even seeing the code”.
Full interview on @CCNCitizens 👇
4
6
26
2,577
"AI makes formal verification necessary. It also makes formal verification better and accessible."
@sagivmooly Chief Scientist at @Certora on using LLMs to protect devs against LLM-powered attacks.
Live on the Breakout Stage.
2
4
25
1,031
"Using LLM-Generated Formal Specs to Prevent the Next DeFi Hack"
@sagivmooly, Chief Scientist at @Certora.
⏰ Breakout Stage, 2:40pm
4
7
757
Certora retweeted
Jun 9
Today I'll be at @ethconf introducing Certora AutoProver, the new agentic formal verification tool we're launching soon.
Join us at 2:40 pm at Breakout Stage to get early access.
8
5
75
6,020
Under the Hood: P-Token
Solana saw a 95% drop in token compute costs from Anza's P-Token, plus it freed 12-13% in extra block space for the network
Certora formally verified the equivalence between SPL Token and P-Token, @solana's 95% more compute-efficient reimplementation of its token program.
What equivalence actually means here 🧵
13
9
56
20,792
Certora retweeted
Jun 4
News: @Certora Formally Verifies @Solana’s P-Token Upgrade as Equivalent to SPL Token
✍️ @ideyquickvex
solanafloor.com/news/certora…
4
2
21
2,051
What equivalence actually means here?
✓ No new panics
✓ If SPL Token accepts an input, P-Token must too
✓ If P-Token rejects an input, SPL Token rejects it with the same error
✓ Byte-for-byte identical account state on success
Verified across all shared instructions, covering all possible inputs simultaneously.
1
10
429
Thanks to @SolanaFndn for the great collaboration. This is what rigorous security looks like.
Full breakdown → certora.com/blog/proving-p-t…
5
352