"Ziren on monimutkainen. Manuaalisilla auditoinneilla on merkitystä, mutta jatkuva automaattinen varmennus on yhtä tärkeää." - @sd_eigen, @ProjectZKM CTO Jaksossa #95 (tallennettu @EFDevcon) ZKM:n teknologiajohtaja Stephen Duan selittää, miksi zkVM:n turvaaminen vaatii muutakin kuin säännöllisiä auditointeja – se vaatii muodollisen varmennustyönkulun, joka pystyy havaitsemaan alirajoitetut logiikan ja esiin nousevat bugit järjestelmän kehittyessä. Jaksossa käydään läpi, miten ZKM ja @VeridiseInc lähestyvät Zirenin ensimmäistä virallista verifiointitarkastusta, miksi zkVM:t aiheuttavat ainutlaatuisia varmennushaasteita ja miten automatisoitu varmennus tulee osaksi Zirenin jatkuvaa tietoturvaputkea: