House of ZK Radio #95: Stephen Duan, CTO ZKM, & Ben Sepanski, CSO Veridise – nyní k dispozici na Spotify a YouTube 🔳 V této epizodě si sedáme s @ProjectZKM CTO @sd_eigen a @VeridiseInc CSO @bensepanski, abychom rozebrali kompletní audit Ziren, produkčního zkVM od ZKM. Rozhovor vysvětluje, proč zkVM představují jedinečná bezpečnostní rizika, proč většina kritických chyb pochází z nedostatečných okruhů a jak Veridise vytvořil vlastní ověřovací pipeline pro formální kontrolu omezení Ziren – přestože Ziren používá neobvyklou ISA (MIPS32r2) a architekturu obvodů založenou na Plonky3. Stephen rozebírá, proč ZKM považuje formální ověřování za základní požadavek udržitelné bezpečnosti, jak složitost Ziren (emulační vrstva, systém omezení, předkompilace) formuje verifikační strategii a co tento audit odemkne pro budoucí iterace. Spotify: YouTube: