Nhà của ZK Radio #95: Stephen Duan, CTO của ZKM, & Ben Sepanski, CSO của Veridise - đã có trên Spotify & YouTube 🔳 Trong tập này, chúng tôi ngồi xuống với @ProjectZKM CTO @sd_eigen và @VeridiseInc CSO @bensepanski để phân tích toàn bộ kiểm toán của Ziren, zkVM sản xuất của ZKM. Cuộc trò chuyện đi qua lý do tại sao zkVMs giới thiệu những rủi ro bảo mật độc đáo, tại sao hầu hết các lỗi nghiêm trọng xuất phát từ các mạch không được ràng buộc đầy đủ, và cách Veridise xây dựng một quy trình xác minh tùy chỉnh để kiểm tra chính thức các ràng buộc của Ziren - mặc dù Ziren sử dụng một ISA không bình thường (MIPS32r2) và kiến trúc mạch dựa trên Plonky3. Stephen thảo luận về lý do tại sao ZKM coi xác minh chính thức là một yêu cầu cốt lõi cho bảo mật bền vững, cách mà độ phức tạp của Ziren (lớp mô phỏng, hệ thống ràng buộc, precompiles) hình thành chiến lược xác minh, và điều gì mà cuộc kiểm toán này mở ra cho các phiên bản tương lai. Spotify: YouTube: