House of ZK Radio #95: Stephen Duan, CTO i ZKM, & Ben Sepanski, CSO i Veridise - ute nå på Spotify og YouTube 🔳 I denne episoden setter vi oss ned med @ProjectZKM CTO @sd_eigen og @VeridiseInc CSO @bensepanski for å pakke ut hele revisjonen av Ziren, ZKMs produksjonskvalitets zkVM. Samtalen går gjennom hvorfor zkVM-er introduserer unike sikkerhetsrisikoer, hvorfor de fleste kritiske feil stammer fra underbegrensede kretser, og hvordan Veridise bygde en tilpasset verifiseringspipeline for formelt å sjekke Zirens begrensninger – til tross for at Ziren bruker en uvanlig ISA (MIPS32r2) og Plonky3-basert kretsarkitektur. Stephen diskuterer hvorfor ZKM behandler formell verifisering som et kjernekrav for bærekraftig sikkerhet, hvordan Zirens kompleksitet (emuleringslag, begrensningssystem, prekompileringer) former verifiseringsstrategien, og hva denne revisjonen frigjør for fremtidige iterasjoner. Spotify: YouTube: