零知识EVM:什么是ZK-EVM? ZK-EVM的类型及其优缺点

参考文章：

https://vitalik.eth.limo/general/2022/08/04/zkevm.html

What is a zkEVM?

编译：Tokenview

零知识以太坊虚拟机（ZK-EVM）是一种生成零知识证明来验证程序正确性的虚拟机。ZK-EVM 旨在以支持零知识技术的方式执行智能合约。

ZK-EVM 是零知识汇总（zero-knowledge (ZK) rollups）的一部分，这是以太坊2 层扩展解决方案，通过将计算和状态存储转移到链外来提高吞吐量。ZK-rollup 向以太坊提交交易数据以及验证链外交易批次有效性的零知识证明。

早期的 ZK-rollup 缺乏执行智能合约的能力，并且受限于简单的代币交换和支付。但是，随着与 EVM（以太坊虚拟机） 兼容的零知识虚拟机的引入，ZK-rollup 开始支持以太坊 dApp。

什么是 ZK-EVM？

ZK-EVM 是一个支持零知识证明计算的 EVM 兼容的虚拟机。与普通虚拟机不同，ZK-EVM 可以证明程序执行的正确性，包括操作中使用的输入和输出的有效性。 我们将进一步分解此定义以使其更易于理解：

EVM 兼容性

EVM是执行部署在以太坊网络上的智能合约的运行时环境。E