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 Followers

309 Following

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 Polygon β€’ Tay πŸ’–, 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!