House of ZK Radio #95: Stephen Duan, CTO da ZKM, & Ben Sepanski, CSO da Veridise - já disponível no Spotify e YouTube 🔳 Neste episódio, sentamos com @ProjectZKM CTO @sd_eigen e @VeridiseInc @bensepanski CSO para analisar a auditoria completa da Ziren, a zkVM de produção da ZKM. A conversa aborda por que os zkVMs apresentam riscos de segurança únicos, por que a maioria dos bugs críticos decorre de circuitos subrestritos e como a Veridise construiu um pipeline de verificação personalizado para verificar formalmente as restrições da Ziren – apesar da Ziren usar uma ISA incomum (MIPS32r2) e arquitetura de circuitos baseada em Plonky3. Stephen discute por que o ZKM trata a verificação formal como um requisito central para 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 essa auditoria desbloqueia para futuras iterações. Spotify: YouTube: