以太坊扩展的圣杯：zkEVMs。虽然很多人都在尝试构建，但有一个协议是最有机会成功的。以下是我推断最有可能成为赢家的协议： 在这个主题中，我将介绍： - zkEVMs - Polygon ZK - 团队 - 投资 - 个人理念 1.zkEVMs，这只是Zk-Rollups技术的升级。 与假设交易正确的Optimistic rollups不同，它们将交易分批捆绑发送到主网，在主网提交欺诈证明以验证Txns的正确性。 Zkrollups和zkEVMs依赖于数据平衡的最终性，在这种情况下，他们在链下运行计算以减少主网的负载，并将带有有效性证明的 Txns 的最终性提交给主网。 Zk-Rollups技术有几个限制，因为与Optimistic Rollups相比，Zk-Rollups技术不完全兼容EVM和以太坊等价。这导致了为什么使用zkEVMs。 这点对这项令人惊叹的技术来说是一个重大的影响，因为 Zkrollups 往往会取得比 Optimistic Rollups 更大的成就，尤其是在隐私方面，并且它在返回主网时不需要取款等待时间（提供更快的 Txn 终结性）。 2.我研究了各种zkEVM构建器，这就是为什么我能坚定的选择：Polygon zkEVM "条条大路通罗马"，是的，但你会选择一条没有人走过的路，而不是一条很多人都轻松走过并取得胜利的路吗？ 这便是我对选择下注Polygon zkEVM的回答 Polygon zkEVM和Scroll正在建立完全EVM等效的2类zkEVM方法。这才是真正的zkEVM所在。 为什么不是1类？ 类型1是完全等同于以太坊的，它有它的优点和缺点， 如完美的兼容性，因为它是完全的以太坊，在内部和外部的行为都与以太坊本身的行为一样。 构建像以太坊一样的EVM是一个非常好的方法，但看看以太坊本身的表现，在我们有L2这样的扩展解决方案来扩展以太坊之前，要为了去中心化和安全而牺牲可扩展性。Taiko正在建立这种类型。 这类似于我们即将看到的类型 1 的缺点，这导致它的缺点是证明的时间较慢。所以，你已经知道为什么Polygon zkEVM和Scroll没有采取这种方法。 为什么不是3类？ 3类几乎与EVM等同，是的......几乎是，但仍然不是。他们试图模仿与EVM兼容，但没有完全复制，以解决EVM兼容的问题，但这不是最好的方法。 我认为这是在逃避巨大的责任，并寻找一种更容易的方法来完成它，同时还抛下了需要解决的主要问题。所以，这种方法反而更容易建立，并且有更快的验证时间，但有更多的不相容性。 为什么不是4类？ 第4类，这是一种高级语言的等效物，与第3类相似，因为它们是近亲。这就像 "告诉我你的朋友，我会告诉你你是谁" 从名字上看，它的工作原理是用EVM高级语言（如Solidity和Vyper）编写的智能合约代码，然后将其编译为ZK-SNARK友好的语言，从而使其看起来与EVM兼容。zkSync和StarkNet正在建立这种类型。 所以，这种方法反过来有非常快的证明者时间，但像类型3那样有更多的不相容性。 那么为什么Polygon zkEVM选择2型？ 是的，那些见证它即将到来的人有福了。类型2完全等同于EVM，但不等同于Ethereum，因为在试图使zkRollups与EVM兼容的过程中，它仍然完全像以太坊是不可扩展的，与类型1的行为不同，以太坊的验证器时间较慢，这对zkEVM来说并不容易实现更高的吞吐量并与optimistic rollups展开激烈竞争。 所以，这种方法在虚拟机层面又是完全等价的，较慢的验证器时间得到了改善，但仍然很慢。这里Polygon zkEVM选择了这种倾向于实现EVM-Compatibility的方法，现在正在努力实现更低的验证器时间。 3.说到这里，让我们看看Polygon zkEVM目前做了什么 主网之前的最后一个测试网还在运行，从那时起polygon zkEVM已经取得了： - 由于使用了并行的多重证明器，产生一批Txn的证明所需的时间从10分钟减少到4分钟。 - 递归的zk证明系统（一个有效性证明来证明其他有效性证明的正确性），就像zkSNARK中简洁的意思。 - 通过使用STARK和SNARK方法的分批和汇总，每个Txn的成本 - 支持EIP-155（包括Txn内的链ID以避免重放攻击）。 - 适应一批Txn的Gas吞吐量从4M-10M增加。这将有助于减少费用和增加吞吐量。 在最近看关于polygon zkEVM在主网的进展的AMA之后。我对polygonzkEVM的最终结果做了一个概述。 在这，我总结并分解了polygon zkEVM如何采取关键的3步方法来达到交易的最终结果： 1. 受信状态： 这个阶段涉及到用户从钱包中发送交易，PolygonzkEVM在节点中接收交易，排序器（是节点的一部分）将Txn以有序的形式放在一个特定的区块中。在这个阶段，交易已经在L2上完成，但在L1上没有完成。 2. 虚拟状态: 这是一种状态，积累了一批Txn的排序器将Txn分批发送给L1智能合约。 它的目的是把Txn的数据可用性放到以太坊上，所以任何节点都可以读取ETH 智能合约并建立一个状态，意味着不需要信任任何人，从而实现 "无信任"。 3. 合并状态：在这个阶段，聚合器/验证器使用zkprover建立一个有效性证明，以便对交易进行验证并在L1上达到最终结果。