Certora

2.5K posts

Certora banner
Certora

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.

Katılım Şubat 2019
322 Takip Edilen11.3K Takipçiler
Stellar
Stellar@StellarOrg·
2025 was massive for DeFi on Stellar, with TVL increasing 284% 🚀 Shout out to the builders at @blend_capital, @AquariusDeFi, and more for driving the growth.
Stellar tweet media
English
29
71
417
13.4K
Certora retweetledi
SolanaFloor
SolanaFloor@SolanaFloor·
New: @ranger_finance says it has completed a second audit of its core vault program by top Web3 security firm @Certora.
SolanaFloor tweet mediaSolanaFloor tweet media
English
1
3
15
1.5K
Sui Community Official
Sui Community Official@SuiCommunity·
Hashi partners ready to take Bitcoin Finance on Sui to the next level
English
5
5
63
2.3K
Certora
Certora@Certora·
As institutional Bitcoin finance evolves, secure wallet and custody infrastructure will be critical for bringing more capital onchain in a transparent way. Certora is proud to support this with a security framework for Hashi on @SuiNetwork 🫡
Sui@SuiNetwork

Introducing Hashi: a new era of Bitcoin finance on Sui. Bitcoin's market cap exceeds $1 trillion. < 0.5% of it is used in DeFi. Hashi is here to change that, with commitments from industry leaders including BitGo, Bullish, Erebor Bank, FalconX, Fordefi, Ledger, and more.

English
10
5
20
4.5K
Ranger
Ranger@ranger_finance·
Ranger’s core vault program has now been audited twice. Our second audit is complete, this time with @Certora. This is the core program that secures all Ranger vaults, and continuing to harden it is non-negotiable as we build.
Ranger tweet media
English
5
4
33
3.2K
Certora
Certora@Certora·
@shaynshin pleasure was ours, @Ranger_Finance is exactly the kind of team that makes this work easy: responsive, collaborative, and serious about security 🤝
English
0
0
0
26
Certora retweetledi
Greed
Greed@0xGreed_·
Superheroes when they go fight evil Batman: *wears mask* Superman: *wears cape* Green Lantern: *wears ring* @Certora Security Researcher:
Greed tweet media
English
2
1
31
753
Certora
Certora@Certora·
The big question: Will programmable digital cash reshape the banking system and pull depositors away from traditional banks? We’re discussing this on our next livestream 👇
English
1
0
2
202
Certora
Certora@Certora·
Stablecoins are starting to compete with banks. Regulatory clarity in the U.S. and Europe has opened the floodgates for adoption. The stablecoin market cap now exceeds $313B, up more than 50% since early 2025. Here’s what’s happening 🧵
English
2
1
10
1.1K