ziskvm

ZisK 是一個開源的零知識證明工具包，其特點是配備了一個 zkVM，可驗證以 Rust 等高級語言編寫的程序的執行。