This conversation between ZKM Education Lead @alicelingl and @VeridiseInc's Jon Stephens about the application of formal security methods is a must-listen for anyone building ZK infrastructure 🤝

House of ZK Radio #49: Jon Stephens, CEO of Veridise - out now on Spotify & YouTube 🔲🔳

In this episode, we sit down with @FormallyJon, Co-founder & CEO of @VeridiseInc, to explore the state of security in zero-knowledge systems.

From smart contract audits to formal verification of ZK circuits and ZKVMs, Jon breaks down where things go wrong, how Veridise builds internal tools like Vanguard and Picasso, and what developers should know when building verifiable applications.

Essential listening for anyone serious about ZK security 🤝

Spotify: https://t.co/PPUMHyf4sj

YouTube: https://t.co/FbkbRCLq7L