ziskvm

ZisK是一个开源的零知识证明工具包，其特色是包含一个zkVM（零知识虚拟机），能够验证用Rust等高级语言编写的程序执行过程。