Ilya Leybovich

📽️ 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

Phase one of crypto neobanks included Outlet Finance, Donut, Linus and a few others. The yield came from a mix of defi lending, centralized crypto lenders, token incentives and subsidized protocols like Anchor on Terra. Terra did not directly power all of them, but its collapse exposed how fragil

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

I think you are being provided misleading information. These “crypto entrepreneurs” you refer to were threat actors involved in high profile social engineering crypto fraud and data extortion. $18.9M of stolen funds was seized by law enforcement. 1) Danish Zulfiqar Khan (Danny) - UK -$243M Ge

I think you are being provided misleading information. These “crypto entrepreneurs” you refer to were threat actors involved in high profile social engineering crypto fraud and data extortion. $18.9M of stolen funds was seized by law enforcement. 1) Danish Zulfiqar Khan (Danny) - UK -$243M Ge

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