House of ZK Radio #95: Stephen Duan, CTO da ZKM, & Ben Sepanski, CSO da Veridise - já disponível no Spotify & YouTube 🔳 Neste episódio, conversamos com @ProjectZKM CTO @sd_eigen e @VeridiseInc CSO @bensepanski para analisar a auditoria completa do Ziren, o zkVM de produção da ZKM. A conversa aborda por que os zkVMs introduzem riscos de segurança únicos, por que a maioria dos bugs críticos decorre de circuitos sub-constrangidos e como a Veridise construiu um pipeline de verificação personalizado para verificar formalmente as restrições do Ziren - apesar de Ziren usar uma ISA incomum (MIPS32r2) e uma arquitetura de circuito baseada em Plonky3. Stephen discute por que a ZKM considera a verificação formal como um requisito central para a segurança sustentável, como a complexidade do Ziren (camada de emulação, sistema de restrições, pré-compilações) molda a estratégia de verificação e o que esta auditoria desbloqueia para iterações futuras. Spotify: YouTube: