作為我們開源審查計劃的一部分，我們已經完成了對 @ziskvm 的安全審查。 ZisK 是一個開源的 zkVM，能夠驗證用高級語言（如 Rust）編寫的程序的執行。