我认为，“EVM兼容 ”一词实际上不足以描述这里的网络效应——我们实际上描述的是 “以太坊兼容”，并远远超出智能合约执行环境，延伸到整个以太坊生态系统和工具集。

　　为了应对这一点，Solana等非EVM区块链不得不创建完全平行的生态系统，这将降低它们的速度，并使其更难吸引现有的开发者。然而，不需要遵守这些标准确实让非EVM区块链有能力对以太坊工具集进行更根本的改变，从而更积极地将自己与以太坊区分开。创建一个EVM区块链非常简单——但为什么有人会使用你的区块链而不是其他数百个 “速度快的EVM区块链 ”中的一个。如果你能克服需要建立一个成功的平行链和生态系统的困难，Solana已经表明，a）你可以吸引优秀的原生应用程序（如MagicEden，Phantom），b）如果商业激励足够，EVM起源项目仍然会支持你（如Opensea增加Solana支持）。

　　ZK-EVM

　　公共通用rollup都有一个共同的目标：开发者和用户尽可能快地生成网络效果。这需要创造最高性能的rollup技术，拥有最好的BD团队，并进行最早或最有效的营销。然而，所有rollup团队（出于上述原因）都对以下问题感到非常担忧：

　　将现有以太坊合约（和开发者）迁移到其rollup中

　　由现有EVM工具支持（如钱包、市场等）

　　实现这两个目标的最简单方法是创建一个“zkEVM”：一个通用rollup，将EVM作为其智能合约引擎运行，并保持与上述以太坊生态系统的通用接口的兼容性。

　　然而，这并不像我们从头开始创建新的L1区块链时那样容易。我们的目标是运行EVM字节码——但ZK证明需要将它们证明的所有计算语句转换为非常特定的格式——一个“代数线路（algebraic circuit）”，然后可以编译成STARK或SNARK。为了快速了解“线路”，这里有一个例子（使用更直观的布尔电路（boolean circuit）作为代数线路的特例）。在基于这个简单电路的zkSNARK系统中，我们的证明者希望说服验证者他们了解产生真输出的输入(????1 = 1, ????2 = 1, ????3＝0）。这是一个非常简单的电路，具有有限数量的逻辑门（logic gates）——我相信你可以想象编码一个电路需要多少逻辑门，证明复杂的智能合约交互，特别是涉及密码学的交互！

　　为了理解这个编译过程的每一步，我推荐阅读Vitalik的从零到英雄的SNARK指南，以及Eli Ben-Sasson关于不同证明系统的讨论。然而，这种更深层次的理解对于我们的目的来说并不是必要的——只需记住，为了支持EVM计算，我们必须将所有EVM程序转换为这些电路，以便以后能够证明它们。 (责任编辑：admin)