Post by @13939 • Hey

ZK-VM是基于零知识证明的虚拟机，它将零知识证明ZK和虚拟机VM（Virtual Machine）结合起来。ZK-VM一般包含2个重要组成部分：一个是编译器（Compiler），它可以将C++、Rust等高级语言编译生成中间表达(IR)，以供ZK系统证明；一个是指令集框架ISA（Instruction Se