Certora (@certorainc) 's Twitter Profile
Certora

@certorainc

Securing DeFi through smart contract audits, formal verification, and protocol design reviews. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.

ID: 1091391900089749504

linkhttps://www.certora.com calendar_today01-02-2019 17:44:40

1,1K Tweet

9,9K Takipçi

309 Takip Edilen

chrisdior.eth (@chrisdior777) 's Twitter Profile Photo

Don’t ignore this!! ⚠️ One bug class still thriving in 2025? - Rounding errors. Over $100M lost in DeFi from mistakes as small as 1 wei in just 2 years. Hard for humans to catch, easy for formal verification. Excellent article Certora 👏 certora.com/blog/when-one-…

Certora (@certorainc) 's Twitter Profile Photo

We're thrilled to support the SVM Summit, led by the incredible Solayer team 🫡 Join us in NYC on May 21st to connect, build, and scale.

Cantina 🪐 (@cantinaxyz) 's Twitter Profile Photo

The @Aqua_Token competition is live 🪐 Aquarius brings AMM functionality and liquidity management to @Stellarorg, powering the next wave of DeFi on the network. A dual-layer security approach: formal verification by Certora, paired with a high-signal Cantina competition.

Certora (@certorainc) 's Twitter Profile Photo

gm NYC! 🗽 We’re hosting our signature Run & Walk during Solana Accelerate 🇺🇸 NYC May 19-23, a relaxed way to start the day and connect with the community. 📅 May 20 🕗 8AM 🥐 Coffee and breakfast after Come move with us and let’s Accelerate Solana 😉 lu.ma/ossr69wx?v=1

Defi Security Summit (@summit_defi) 's Twitter Profile Photo

Next webinar on Multisig Security on May 19th @ 8PM CEST 🗓️ Featuring: • Mudit Gupta, CISO PolygonTay 💖, Security @Metamask Moderated by Fredrik Svantes, Protocol Security Lead at Ethereum Foundation What should we ask them? Mark your calendar and register below ⬇️

Next webinar on Multisig Security on May 19th @ 8PM CEST 🗓️

Featuring:
• <a href="/Mudit__Gupta/">Mudit Gupta</a>, CISO <a href="/Polygon/">Polygon</a> 
• <a href="/tayvano_/">Tay 💖</a>, Security @Metamask 
Moderated by <a href="/fredriksvantes/">Fredrik Svantes</a>, Protocol Security Lead at <a href="/ethereumfndn/">Ethereum Foundation</a> 

What should we ask them?

Mark your calendar and register below ⬇️
Certora (@certorainc) 's Twitter Profile Photo

gm Solana builders ☀️ Join us next week at Solana Accelerate 🇺🇸 NYC May 19-23 for a hands-on workshop on how leading protocols secure their code with formal verification. We’ll break down a real-world case study from Jito (Re)staking, presented by MEVAN 🥩🕸 See you there!