zkEVM 是与EVM 兼容的虚拟机，支持零知识证明计算。与普通虚拟机不同，zkEVM 可以证明程序执行的正确性，包括操作中使用的输入和输出的有效性。 阅读本专题，了解zkEVM原理及技术实现，