House of ZK Radio #95: Stephen Duan, CTO ZKM, & Ben Sepanski, CSO Veridise - keluar sekarang di Spotify & YouTube 🔳 Dalam episode ini kami duduk bersama @ProjectZKM CTO @sd_eigen dan @VeridiseInc CSO @bensepanski untuk membongkar audit lengkap Ziren, zkVM tingkat produksi ZKM. Percakapan membahas mengapa zkVM memperkenalkan risiko keamanan yang unik, mengapa sebagian besar bug kritis berasal dari sirkuit yang kurang dibatasi, dan bagaimana Veridise membangun alur verifikasi khusus untuk memeriksa kendala Ziren secara resmi - meskipun Ziren menggunakan ISA (MIPS32r2) yang tidak biasa dan arsitektur sirkuit berbasis Plonky3. Stephen membahas mengapa ZKM memperlakukan verifikasi formal sebagai persyaratan inti untuk keamanan berkelanjutan, bagaimana kompleksitas Ziren (lapisan emulasi, sistem kendala, prakompilasi) membentuk strategi verifikasi, dan apa yang dibuka oleh audit ini untuk iterasi di masa mendatang. Spotify: YouTube: