ZisK(前 Polygon zkEVM)

Zisk是一种开源零知识证明的工具集，其具有ZKVM，该ZKVM可以可验证地执行使用Rust等高级语言编写的程序。