Như một phần của chương trình đánh giá mã nguồn mở của chúng tôi, chúng tôi đã hoàn thành một đánh giá bảo mật cho @ziskvm ZisK là một zkVM mã nguồn mở cho phép thực thi có thể xác minh các chương trình được viết bằng các ngôn ngữ cấp cao như Rust.