Certora (@Certora) / X

Certora

2,815 posts

Certora

@Certora

Your End-To-End Security Partner. Manual Audits, Formal Verification, and Protocol Design Review. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.

Joined February 2019

Certora reposted
Spectra
@spectra_finance
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
16K
Certora reposted
Gaspard Peduzzi | Spectra
@GaspardPeduzzi
Jun 12
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
Spectra
@spectra_finance
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
7.4K
Certora
@Certora
Jun 12
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.8K
Certora
@Certora
Jun 12
certora.com
Security Assessment - Spectra Bridge
This document describes Certora's security assessment of the Spectra Bridge.
576
Certora
@Certora
Jun 12
AI-assisted spec writing + Certora Prover = formal verification that's actually accessible.
crashout
@0xCRASHOUT
Jun 11
mythos has genuinely solved formal verification @Certora
1.3K
Certora
@Certora
Jun 10
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
00:00
2.8K
Certora
@Certora
Jun 10
youtu.be/8ERmpIIzKZo?si…
604
Certora reposted
ETHConf
@ethconf
Jun 9
"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.
1.1K
Certora reposted
ETHConf
@ethconf
Jun 9
"Using LLM-Generated Formal Specs to Prevent the Next DeFi Hack" @SagivMooly, Chief Scientist at @Certora. ⏰ Breakout Stage, 2:40pm
842
Certora reposted
Mooly Sagiv
@SagivMooly
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.
6.3K
Certora
@Certora
Jun 8
Excellent first day at @ethconf! Find us at our booth and get early access to Certora AutoProver. 🛡️
1.8K
Certora reposted
Solana
@solana
Jun 5
Replying to @solana
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
@Certora
Jun 4
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 🧵
21K
Certora reposted
Mooly Sagiv
@SagivMooly
Jun 5
Article
AI is coming for DeFi. We're using it to fight back.
Many people in the web3 space are starting to think DeFi security is a lost cause. The argument goes like this: AI agents are now too good at finding vulnerabilities, and the gap between attackers and...
3.7K
Certora
@Certora
Jun 5
Proud to contribute to @solana’s decentralization, resilience, and long-term operational security 🫡
Validator Info
@ValidatorInfo
Jun 4
Replying to @ValidatorInfo
We're happy to highlight the top 5 #Solana validators with the best leader slot performance in May. 1. FBbqKv...BkSe89 2. @Certora 3. @Tangem 4. AiDoL 5. HTeRsa...u2u3Jo 7/10
742
Certora reposted
Solana Developers
@solana_devs
Jun 4
The p-token upgrade has been formally verified by @Certora 🙌
Certora
@Certora
Jun 4
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 🧵
12K