House of ZK Radio #95: Stephen Duan, CTO von ZKM, & Ben Sepanski, CSO von Veridise - jetzt auf Spotify & YouTube 🔳 In dieser Episode setzen wir uns mit @ProjectZKM CTO @sd_eigen und @VeridiseInc CSO @bensepanski zusammen, um das vollständige Audit von Ziren, ZKMs produktionsreifem zkVM, zu besprechen. Das Gespräch behandelt, warum zkVMs einzigartige Sicherheitsrisiken einführen, warum die meisten kritischen Fehler aus unterbeschränkten Schaltungen resultieren und wie Veridise eine maßgeschneiderte Verifizierungspipeline aufgebaut hat, um die Einschränkungen von Ziren formal zu überprüfen - trotz der Verwendung einer ungewöhnlichen ISA (MIPS32r2) und einer auf Plonky3 basierenden Schaltungsarchitektur. Stephen erläutert, warum ZKM formale Verifizierung als eine Kernanforderung für nachhaltige Sicherheit betrachtet, wie die Komplexität von Ziren (Emulationsschicht, Einschränkungssystem, Precompiles) die Verifizierungsstrategie prägt und was dieses Audit für zukünftige Iterationen freischaltet. Spotify: YouTube: