“Ziren là phức tạp. Kiểm toán thủ công là quan trọng, nhưng xác minh tự động liên tục cũng quan trọng không kém.” - @sd_eigen, CTO của @ProjectZKM Trong tập #95 (được ghi âm tại @EFDevcon), CTO của ZKM, Stephen Duan giải thích tại sao việc bảo mật một zkVM đòi hỏi nhiều hơn là các cuộc kiểm toán định kỳ - nó cần một quy trình xác minh chính thức có thể phát hiện logic bị hạn chế và các lỗi phát sinh khi hệ thống tiến triển. Tập này phân tích cách ZKM và @VeridiseInc đang tiếp cận cuộc kiểm toán xác minh chính thức đầu tiên của Ziren, tại sao zkVMs đặt ra những thách thức xác minh độc đáo, và cách xác minh tự động sẽ trở thành một phần của quy trình bảo mật liên tục của Ziren: