作为我们开源审查计划的一部分，我们已完成对 @ziskvm 的安全审查。 ZisK 是一个开源的 zkVM，能够对用 Rust 等高级语言编写的程序进行可验证的执行。