House of ZK Radio #95: Stephen Duan, CTO på ZKM, & Ben Sepanski, CSO på Veridise – ute nu på Spotify och YouTube 🔳 I det här avsnittet sätter vi oss ner med @ProjectZKM CTO @sd_eigen och @VeridiseInc CSO @bensepanski för att gå igenom den fullständiga revisionen av Ziren, ZKM:s produktionsklassade zkVM. Samtalet går igenom varför zkVM:er introducerar unika säkerhetsrisker, varför de flesta kritiska buggar härrör från underbegränsade kretsar, och hur Veridise byggde en anpassad verifieringspipeline för att formellt kontrollera Zirens begränsningar – trots att Ziren använder en ovanlig ISA (MIPS32r2) och Plonky3-baserad kretsarkitektur. Stephen diskuterar varför ZKM behandlar formell verifiering som ett kärnkrav för hållbar säkerhet, hur Zirens komplexitet (emuleringslager, begränsningssystem, förkompiler) formar verifieringsstrategin, och vad denna revision öppnar för framtida iterationer. Spotify: YouTube: