House of ZK Radio #95: Stephen Duan, ZKM:n CTO, ja Ben Sepanski, Veridisen CSO – nyt saatavilla Spotifyssa ja YouTubessa 🔳 Tässä jaksossa istumme alas @ProjectZKM CTO @sd_eigen:n ja @VeridiseInc CSO @bensepanski kanssa purkaaksemme Zirenin, ZKM:n tuotantotason zkVM:n, koko auditoinnin. Keskustelu käy läpi, miksi zkVM:t tuovat mukanaan ainutlaatuisia tietoturvariskejä, miksi suurin osa kriittisistä bugeista johtuu alirajoitetuista piireistä, ja miten Veridise rakensi räätälöidyn varmennusputken Zirenin rajoitusten viralliseen tarkistamiseen – vaikka Ziren käyttää epätavallista ISA:ta (MIPS32r2) ja Plonky3-pohjaista piiriarkkitehtuuria. Stephen kertoo, miksi ZKM pitää muodollista varmennusta kestävän turvallisuuden keskeisenä vaatimuksena, miten Zirenin monimutkaisuus (emulointikerros, rajoitejärjestelmä, esikäännökset) muokkaa varmennusstrategiaa ja mitä tämä auditointi avaa tulevia iteraatioita varten. Spotify: YouTube: