House of ZK Radio #95: Stephen Duan, CTO van ZKM, & Ben Sepanski, CSO van Veridise - nu beschikbaar op Spotify & YouTube 🔳 In deze aflevering zitten we samen met @ProjectZKM CTO @sd_eigen en @VeridiseInc CSO @bensepanski om de volledige audit van Ziren, ZKM’s productieklare zkVM, te bespreken. Het gesprek gaat in op waarom zkVM's unieke beveiligingsrisico's introduceren, waarom de meeste kritieke bugs voortkomen uit onder-beperkte circuits, en hoe Veridise een aangepaste verificatiepijplijn heeft gebouwd om de beperkingen van Ziren formeel te controleren - ondanks dat Ziren een ongebruikelijke ISA (MIPS32r2) en Plonky3-gebaseerde circuitarchitectuur gebruikt. Stephen bespreekt waarom ZKM formele verificatie beschouwt als een kernvereiste voor duurzame beveiliging, hoe de complexiteit van Ziren (emulatie-laag, beperkingssysteem, precompiles) de verificatiestrategie vormgeeft, en wat deze audit ontgrendelt voor toekomstige iteraties. Spotify: YouTube: