House of ZK Radio #95: ZKM CTO'su Stephen Duan ve Veridise CSO'su Ben Sepanski - şimdi Spotify ve YouTube'da 🔳 Bu bölümde, @ProjectZKM CTO @sd_eigen ve @VeridiseInc CSO @bensepanski ile oturup ZKM'nin üretim kalitesinde zkVM Ziren'in tam denetimini çözüyoruz. Konuşma, zkVM'lerin neden benzersiz güvenlik riskleri getirdiğini, çoğu kritik hatanın neden kısıtlanamamış devrelerden kaynaklandığını ve Ziren'in alışılmadık bir ISA (MIPS32r2) ve Plonky3 tabanlı devre mimarisi kullanmasına rağmen Veridise'in Ziren'in kısıtlamalarını resmen kontrol etmek için nasıl özel bir doğrulama boru hattı oluşturduğunu anlatıyor. Stephen, ZKM'nin resmi doğrulamayı sürdürülebilir güvenlik için temel bir gereklilik olarak neden ele aldığını, Ziren'in karmaşıklığının (emülasyon katmanı, kısıtlama sistemi, ön derlemeler) doğrulama stratejisini nasıl şekillendirdiğini ve bu denetimin gelecekteki yinelemeler için neleri açtığını anlatıyor. Spotify: YouTube: