https://chainslab.io/the-complete-guide-to-zero-knowledge-evms
我们都知道，以太坊区块链需要一个规模化的解决方案，而最有可能扩大网络规模的方法，目前我们应该相信的是零知识技术，是最有希望达到的途径。然而，技术和算法的复杂程度仍然是以太坊项目的一大障碍。传统观点认为，以太坊网络需要很多年才能开发出第二层的扩展解决方案，既能给我们带来zk证明的扩展性优势，又能与以太坊虚拟机（EVM）兼容。
具有完全EVM等效性的zk-EVM的愿景很简单，这将促进开发者使用zk证明将任何Etehreum智能合约无缝部署到第2层。用户和开发者都将获得zk证明的未来利益，同时受益于Ethereum的去中心化、安全性和熟悉性。以太坊上的任何工具或dApp在zk-EVM上的使用方式完全相同。我们越来越多地看到，zk-EVM已经成为扩展以太坊的关键。
Polygon（MATIC）是以太坊网络上最受欢迎的智能合约开发商的扩展解决方案之一。此外，为了加速个人主权的加密货币的大规模采用，zkSync将在2022年秋初推出第一批兼容EVM的zk-rollups，并投入生产。因此，有许多区块链项目正准备整合zk技术。这表明，zk-EVM可以在2022年末成为一种现象。
What Is A ZK-EVM? 什么是zk-evm
在比较Optimistic和zk-rollups这两种扩展解决方案时，Vitalik Buterin认为，Optimistic Rollups可能会在短期内赢得通用EVM计算。但从长远来看，随着zk-SNARK技术的改进，zk-rollups将在所有情况下获胜。所谓 "zk-SNARK技术的改进 "主要是指zk-EVM的成功。
zk-EVM是零知识以太坊虚拟机的意思，它是指集成了零知识证明技术的EVM兼容虚拟机。与普通的虚拟机不同，zk-EVM证明了程序执行的正确性，包括操作中使用的输入和输出的有效性。为了充分理解zk-EVM，我们首先需要知道什么是EVM，什么是零知识证明。
Zero-Knowledge Proofs Technology零知识证明技术
对于ZKP，我们已经有一篇文章以非常清晰的语言详细分享。不同的zk-EVM项目采用不同的方法来结合EVM执行和ZKP计算。每种类型都有独特的特征和权衡，我们将在接下来的几节中探讨这个问题
