V神最担心的“zkEVM多客户端问题”，终于有解决方案了

Odaily星球日报译者|Moni

3月31日，以太坊联合创始人“V神”VitalikButerin在其官方博客上发布文章《以太坊的多客户端理念将如何与ZK-EVM交互？》，分享了他对以太坊生态系统“未被充分讨论但非常重要”的方面的思考，其中深入探讨了为ZK-EVM创建多客户端生态系统的技术挑战、生态系统权衡和潜在解决方案。接下来，让我们来解读这篇文章的关键要点。Zk-EVM的多客户端问题

VitalikButerin相信ZK-EVM将在未来发展成为以太坊Layer1安全和验证过程的重要组成部分，零知识(ZK)技术也能让开发人员在不透露任何额外信息的情况下证明交易或消息的真实性。这意味着，交易一方可以说服另一方其发出的消息是真实有效的，而无需透露消息有效性以外的任何知识。然而，根据VitalikButerin的分析，零知识证明技术的隐私保护性质可能会破坏更广泛的EVM格局，因为以太坊客户端在实施协议规则方面存在细微差别。现阶段，ZKRollups中的二层协议已成功使用零知识证明技术，并通过将多个交易捆绑到一个证明中来帮助扩展以太坊区块链。然而，随着ZK-EVM发展到验证主网上的交易执行，VitalikButerin认为“ZK-EVM实际上成为了第三种以太坊客户端，与当前其他执行客户端和共识客户端一样，对以太坊网络的安全至关重要。”不过，一旦将ZK-EVM视为第三种类型的以太坊客户端，VitalikButerin提出了以下这样一个问题：“实际上，我们该如何为基于零知识证明以太坊区块的正确性创建一个“多客户端”生态系统？”随着以太坊生态系统的不断扩展，VitalikButerin希望保持“多客户端理念”的优势，同时利用ZK-EVM的功能来提高以太坊网络的可扩展性、安全性和去中心化性。根据VitalikButerin的说法，将零知识证明技术用于多个客户端的主要技术挑战与延迟和数据效率低下有关。此外，由于对协议规则或ZK-EVM实现的特定解释，各个不同以太坊客户端处理零知识证明的方式也不一样。那么，这些问题该如何解决呢？VitalikButerin给出了解决方案——ZK-EVM多客户端解决方案

V神：“元宇宙”会发生，但不认为现有公司打造的元宇宙有前景:7月31日消息，V神在其社交平台讨论元宇宙话题时表示，“元宇宙”会发生，但他不认为现有公司刻意打造的元宇宙有前景。[2022/7/31 2:49:22]

尽管以太坊生态存在上述这些挑战，但VitalikButerin认为创建一个开放的多客户端ZK-EVM生态系统是完全可行的，并且有利于以太坊的安全性和去中心化，下图是以太坊生态系统的共识层和执行层中使用各种不同客户端的可视化表示。

资料来源：vitalik.eth.limoVitalikButerin相信，拥有多个客户端可以降低一次实施中出现单个灾难性错误的风险，从而提高网络的安全性和去中心化程度，而这种错误可能会导致整个以太坊网络崩溃。此外，多客户理念也有助于防止权力集中在一个开发团队或组织内，继而更好地实现网络去中心化。针对上述提及的ZK-EVm多客户端问题，VitalikButerin提出了三种可能的解决方案：1、单一的ZK-EVM：放弃多客户端范式，选择用来验证区块的单一ZK-EVM。2、封闭的多个ZK-EVM：就一组特定的多个ZK-EVM达成一致并达成共识，并有一个共识层协议规则，即一个区块需要来自该集合中超过一半的ZK-EVM的证明才能被认为是有效的.3、开放的多个ZK-EVM：不同的客户端有不同的ZK-EVM实现，每个客户端在接受一个区块为有效之前等待与自己的实现兼容的证明。”在ZK-EVM的背景下，VitalikButerin支持第三种，也就是开放的多个客户端ZK-EVM生态系统的解决方案，他认为不同的客户端有不同的ZK-EVM实现，每个客户端在接受一个区块为有效之前等待与自己兼容的证明。“对我来说，第三种解决方案似乎是理想的，至少直到并且除非我们的技术改进到可以正式证明所有ZK-EVM实现彼此等效的程度......”不仅如此，一旦技术改进到ZK-EVM实现有些标准化的程度，VitalikButerin认为解决方案将是选择最有效的选项，而他还觉得“第三种解决方案的挑战似乎小于其他两个选项的挑战，至少目前如此。”不过，VitalikButerin提出开放的多个ZK-EVM可能会面临两大挑战：延迟挑战：恶意攻击者可能会延迟发布一个区块，以及对一个客户端有效的证明。生成对其他客户端有效的证明实际上需要很长时间。这段时间足够长，可能会创建一个临时分叉并中断几个插槽的链。数据效率低下：ZK-SNARKs的一个好处是可以从区块中删除仅与验证相关的数据。例如，一旦你验证了一个签名，就不需要将签名保存在一个区块中，你可以只存储一个表示签名有效的位，以及区块中确认所有签名的单个证明。但是，如果希望能够为一个区块生成多种类型的证明，则需要实际发布原始签名。未来ZK-EVM将如何进入Layer1？

V神：扩容是区块链领域面临的最大挑战之一 Layer 2是以太坊扩展的未来:10月26日消息，由万向区块链实验室主办的第七届区块链全球峰会在上海举行。以太坊创始人Vitalik Buterin在主题演讲中表示，Rollup能够大幅度提升可扩展性，在目前为止至少可以提升100倍。数据分片是一个分片比较简单的形式，它并不是打造一个强大的能够处理交易的分片，相反我们只打造能够存储，并且对于数据进行验证的分片，这是一种简单的分片形式。通过这样的分片，我们是能够提高Rollup的可扩展性，可以再提高100倍。对于以太坊来说，Rollup是唯一可行的可扩容方案。[2021/10/26 20:57:40]

选项1：限制Layer1，强制几乎所有活动移动到Layer2随着时间的推移，VitalikButerin建议可以将第1层每个区块的gas目标从1500万减少到100万，足以让一个区块包含一个SNARK和一些存款和取款操作，但其他的不多，从而强制几乎所有用户活动移动到Layer2协议。选项2：SNARK-验证Layer1VitalikButerin表示可以编写更多的SNARK代码来验证区块共识，但这将是一个具有挑战性的工程问题：现阶段，ZK-EVM需要几分钟到几小时来验证以太坊区块，如果采用该方案则需要：改进以太坊本身以删除对SNARK不友好的组件通过专门的硬件获得巨大的效率提升么(iii)通过更多的并行化改进架构。总结

V神回应EIP-1559推迟传言：大部分Geth核心开发者没有参与EthCC:7月22日消息，以太坊社区成员JimmyRagosa在推特上调侃表示，以太坊EIP-1559将推迟至2022年上线，因为大部分以太坊核心开发者正在「Raavehangover」。部分观点将Jimmy的观点解读为，EIP-1559出现问题并将推迟上线。此前7月21日，以太坊客户端OpenEthereum团队在Ropsten测试网区块高度10679538发现节点暂停出块，使用不同客户端可能导致分叉。对此，V神在社群中表示，「大部分Geth核心开发者没有参与EthCC」，以回应社区质疑。而JimmyRagosa此后也在推文中表示，“EIP-1559重新被推迟至2022年”的推文是“垃圾帖子太糟糕了”，这是一个成熟的市场。[2021/7/22 1:09:26]

VitalikButerin总结称，推动一个开放的多客户端ZK-EVM生态系统运行良好需要大量的工作。但好消息是，实现这个目标的大部分工作正在发生、或是未来无论如何都会发生，因为：1、以太坊已经有多个强大的ZK-EVM实现。2、在Helios和Succinct等轻客户端上的工作最终可能会变成对以太坊链的PoS共识端进行更全面的SNARK验证。3、客户端可能会开始尝试使用ZK-EVM来证明自己的以太坊区块执行，特别是当无状态客户端并且没有技术需要直接重新执行每个区块来维护状态的时候，可能会从客户端通过重新执行它们来验证以太坊区块，再过渡到大多数客户端通过检查SNARK证明来验证以太坊区块。4、ERC-4337和PBS生态系统可能会很快开始使用BLS和证明聚合等技术，这样可以节省大量gas成本。值得一提的是，VitalikButerin还对最近人工智能技术的快速发展大加赞扬，他觉得人工智能的进步可以“加速”证明ZK-EVM实现的发展。“从长远来看，当然任何事情都有可能发生。也许AI会加强形式验证，使其可以轻松证明ZK-EVM实现等效并识别导致彼此之间差异的所有错误。”

V神帮助制定战略以对抗可能的51%攻击:Status 3月12日的一篇博文指出，针对ETH矿工计划的算力转移活动，以太坊社区已经迅速组织了针对这一可能的51%攻击的潜在解决方案，由V神领导。此外，文章称，V神描述了以太坊如何通过要求客户端进行有限更改，从工作量证明迅速过渡到权益证明来执行“快速合并”。此前消息，ETH矿工计划发起51小时算力转移示威活动以反对EIP-1559。（cointelegraph）[2021/3/13 18:41:24]

声音 | V神详述DAO黑客攻击事件细节：担心负面事件损害以太坊形象:以太坊创始人V神近期谈及Genesis DAO的黑客攻击事件时表示，当DAO获得的初始投资超过5000万美元时，V神担心负面事件会损害以太坊的形象，他并未第一时间意识到出现了黑客攻击。2016年6月17日，V神偶然间在Skype上看到了一条消息，促使他看了DAO一眼，从而发现了不对劲的地方，“所以我询问了核心开发者，‘嘿，这正常吗？一开始我在想，另一种结果（指黑客攻击）是不可想象的。对此一定有一个合理的解释……开发人员查看了问题，在接下来的半个小时里，越来越多的人开始议论这件事，很明显，不可想象的事情真的发生了。”作为一种补救策略，他开始向区块链进行“垃圾交易（spamming）”来减缓攻击者的活动。但在将近400万ETH被提走后决定停止操作。被盗取的ETH没有立即送达攻击者的钱包，而是被困在一份为期35天的“子智能合同”中。经过数次讨论后，团队最终决定进行硬分叉来解决问题。V神总结道：“当生态系统中如此大的一部分处于危险之中时，这是值得重新思考的事情……所以社区中出现了分裂，一部分人没有下载这些代码补丁并实现硬分叉，并继续运行旧链（即ETC）。”（AMBCrypto）[2019/11/24]

标签：以太坊ALITALVITA以太坊最新价格行情昭SALINAShrimp CapitalData Vital

聚币热门资讯