Lightspeed cover image

Powering Solana's Onchain Economy | Garrett Harper & Stepan Simkin

Lightspeed

00:00

Formal Verification and Security in the Crypto Space on Solana

Exploring the process of formal verification for on-chain code and its importance for security audits on the Solana blockchain. Emphasizing the balance between immutability and upgradability for protocols while highlighting the significance of self-custody in Solana's on-chain economy.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app