House of ZK Radio #95: Stephen Duan, CTO ZKM, i Ben Sepanski, CSO Veridise - już dostępne na Spotify i YouTube 🔳 W tym odcinku rozmawiamy z @ProjectZKM CTO @sd_eigen i @VeridiseInc CSO @bensepanski, aby omówić pełny audyt Ziren, produkcyjnej wersji zkVM ZKM. Rozmowa dotyczy tego, dlaczego zkVM wprowadza unikalne ryzyka bezpieczeństwa, dlaczego większość krytycznych błędów wynika z niedostatecznie ograniczonych obwodów oraz jak Veridise zbudowało niestandardowy proces weryfikacji, aby formalnie sprawdzić ograniczenia Ziren - mimo że Ziren używa nietypowej ISA (MIPS32r2) i architektury obwodów opartej na Plonky3. Stephen omawia, dlaczego ZKM traktuje formalną weryfikację jako kluczowy wymóg dla zrównoważonego bezpieczeństwa, jak złożoność Ziren (warstwa emulacji, system ograniczeń, prekompilacje) kształtuje strategię weryfikacji oraz co ten audyt otwiera dla przyszłych iteracji. Spotify: YouTube: