„Ziren jest skomplikowany. Ręczne audyty mają znaczenie, ale ciągła automatyczna weryfikacja jest równie istotna.” - @sd_eigen, CTO @ProjectZKM W odcinku #95 (nagranym na @EFDevcon), CTO ZKM Stephen Duan wyjaśnia, dlaczego zabezpieczenie zkVM wymaga więcej niż okresowych audytów - wymaga formalnego procesu weryfikacji, który może wykrywać logiczne ograniczenia i pojawiające się błędy w miarę rozwoju systemu. Odcinek omawia, jak ZKM i @VeridiseInc podchodzą do pierwszego audytu formalnej weryfikacji Ziren, dlaczego zkVM stawia unikalne wyzwania w zakresie weryfikacji oraz jak automatyczna weryfikacja stanie się częścią ciągłego procesu zabezpieczeń Ziren: