
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
https://www.certora.com 01-02-2019 17:44:40
1,1K Tweet
9,9K Followers
309 Following


Last day of Solana Crossroads β¨ ISTANBUL April 25-26, 2025! Come say hello π to our team at the Certora booth π





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

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 β¬οΈ


Weβve had an incredible time in Istanbul for Solana Crossroads β¨ ISTANBUL April 25-26, 2025 Next stop: NYC for Solana Accelerate πΊπΈ NYC May 19-23 and the SVM Summit, by Solayer π Will you be there, anon? π


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!