Sofi Vissani
VP of Sales at Certora
Sofi Vissani is currently the VP of Sales at Certora.Previously he worked at OpenZeppelin.
Current Roles
Past Roles
News Mentions
📽️ We are LIVE on X with Solana Weekly News: 🛡️ @Certora CEO @SagivMooly on DeFi's security crisis. 🔥 JIP-38 to route JitoDAO's JTX revenue share to $JTO buybacks & burns? 📈 @solana hits 300K RWA holders & 96% of tokenized equity volume. & more 👇 https://x.com/i/broadcasts/1aKbddzrMOjJX
We’ve been quiet for the past month, but far from idle. We’ve been running a private beta on mainnet, testing, breaking, fixing, and improving the protocol alongside friends and partner companies. The result: more than $400K in total volume transacted. Now, launch is closer than ever. Once our au
Institutional capital moves onchain when the contracts behind it meet the security bar capital markets require. OpenAssets has formed a strategic partnership with @OpenZeppelin. Customers now gain streamlined access to OpenZeppelin's security validation in the same motion as deployment.
Great to join the Open Standards for Programmable Finance panel at Onchain Finance 2026 in São Paulo and share the stage with @gaborgurbacs, @SophiaLopez, @SuiNetwork’s Henrique Teixeira and @danielabarbosa. Institutions in Brazil are moving onchain fast. The standards underneath it are still being
Institutional capital, tokenized credit, and onchain yield infrastructure A few ecosystem developments worth catching up on this week ↓ 🏦 RealFi / Capital Markets @R25Official and AXIL brought tokenized consumer credit onchain through the Consumer Credit Vault (rcPC), offering diversified private
Formal verification is indeed the way. A few years ago I reached out to @NotDeGhost asking him if he wanted to do the first formal verification for a Solana program. Luckily he said yes and got it done in 4 months. Since then all Squads programs have gone through that process multiple times. Fast
Formal verification is indeed the way. A few years ago I reached out to @NotDeGhost asking him if he wanted to do the first formal verification for a Solana program. Luckily he said yes and got it done in 4 months. Since then all Squads programs have gone through that process multiple times. Fast
RT @solana_devs: The p-token upgrade has been formally verified by @Certora 🙌
Prefer reading over watching? 📖 We've got you covered. Full breakdown of the interview is here 👇 https://www.ccn.com/education/crypto/defi-security-formal-verification-tomer-ganor-certora/ https://x.com/CCNCitizens/status/2059585435202949166
So far he was wrong. Was more like this: https://x.com/openzeppelin/status/2053928920156950673?s=46&t=0j2bh7DSt0-7r0TRlBbRwA https://x.com/maraoz/status/2059413451265441990