ziskvm

ZisK 是一个开源的零知识证明工具包，其特点是配备了一个 zkVM，可验证以 Rust 等高级语言编写的程序的执行。