3月31日，以太坊联合创始人“V神”?Vitalik?Buterin在其官方博客上发布文章《以太坊的多客户端理念将如何与ZK-EVM交互？》，分享了他对以太坊生态系统“未被充分讨论但非常重要”的方面的思考，其中深入探讨了为ZK-EVM创建多客户端生态系统的技术挑战、生态系统权衡和潜在解决方案。
接下来，让我们来解读这篇文章的关键要点。
Zk-EVM的多客户端问题
VitalikButerin相信ZK-EVM将在未来发展成为以太坊?Layer1??安全和验证过程的重要组成部分，零知识(ZK)技术也能让开发人员在不透露任何额外信息的情况下证明交易或消息的真实性。
这意味着，交易一方可以说服另一方其发出的消息是真实有效的，而无需透露消息有效性以外的任何知识。然而，根据VitalikButerin的分析，零知识证明技术的隐私保护性质可能会破坏更广泛的EVM格局，因为以太坊客户端在实施协议规则方面存在细微差别。
V神向狗狗币基金会捐赠2000万枚DOGE:11月14日消息，据链上数据显示，以太坊联合创始人Vitalik Buterin再次向狗狗币基金会提供捐赠，本次捐赠规模为2000万枚DOGE，按照0.085美元价格计算约合170万美元，此前Vitalik Buterin曾在五月份向狗狗币基金会捐赠了500枚ETH。2021年8月，Vitalik Buterin和Neuralink首席执行官Jared Birchall一起加入了该基金会的顾问委员会，截至目前狗狗币基金会尚未公布将如何使用这笔捐赠。[2022/11/14 13:01:21]
现阶段，ZKRollups中的二层协议已成功使用零知识证明技术，并通过将多个交易捆绑到一个证明中来帮助扩展以太坊区块链。然而，随着ZK-EVM发展到验证主网上的交易执行，VitalikButerin认为“ZK-EVM实际上成为了第三种以太坊客户端，与当前其他执行客户端和共识客户端一样，对以太坊网络的安全至关重要。”
V神更新以太坊路线图 以rollup构建为中心:V神于推特发布“以rollup为中心的以太坊路线图”文件。内容显示：
1.短期内，主要推进Eth1 Rollups方案。此举是由于，以太坊基础层扩展将主要集中在扩展可容纳多少数据块的扩展上，而不是链上计算或IO操作的效率上。在该阶段，EIP 2929和EIP 1559等将继续发挥作用。EIP 2929将确保链在当前gas水平下可以安全地抵御DoS攻击；EIP 1559则主要针对ETH销毁和发送区块事务确认。与此同时，Eth1客户端可以重新用作Optimistic Rollup客户端。
2.以rollup为中心将对eth2长期未来进行重新设想，即作为每个人都可以处理的单个高安全性执行碎片，以及可扩展的数据可用性层。V神提到，从长远来看，eth2应该关注4个当面：a.不同分片上区块时间错开；b.改进和巩固共识算法；c.调整EVM以使其更适于防欺诈验证；d.ZK-SNARKing。[2020/10/2]
不过，一旦将ZK-EVM视为第三种类型的以太坊客户端，VitalikButerin提出了以下这样一个问题：
声音 | V神：2019年以太坊发展速度已变快 经过磨练团队已达到最高生产力水平:据区块链大本营6月15日消息，近日，V神在接受其采访时表示，2018年以太坊开发速度很慢，针对2018年以太坊生态发展，社区受到批评肯定有一定道理，但最近以太坊开发速度已变快，许多开发人员都在研究以太坊2.0技术规范以及 Plasma、状态通道（State Channels）和 SNARKs/STARKs 等 Layer 2 扩容解决方案。2018年，以太坊基金会采取了许多措施来提高整体发展速度，在经历了漫长的磨练后，如今各团队都达到了最高的生产力水平。
同时V神表示，以太坊目前最大的挑战在可扩展性和共识算法这两个层面。目前可通过 PoS 共识算法和 Sharding（分片）重新设计平台的安全性和可扩展性。针对PoW向PoS 迁移能否如期上线并避免分叉的问题，V神称，正在采取一种缓慢过渡到PoS的方法，即最开始作为一个独立的系统，一段时间后（阶段2期间）再逐渐从PoW转向PoS，但完全过渡到PoS仍需要一个硬分叉。当然希望PoS链的安全性风险会降低，但随时间的推移，相信它会逐渐证明自己。[2019/6/15]
“实际上，我们该如何为基于零知识证明以太坊区块的正确性创建一个“多客户端”生态系统？”随着以太坊生态系统的不断扩展，VitalikButerin希望保持“多客户端理念”的优势，同时利用ZK-EVM的功能来提高以太坊网络的可扩展性、安全性和去中心化性。
声音 | V神：自我主权身份更加切合实际的市场战略:推特网友Texture今日表示，所有与以太坊相关的网站应该使用基于以太坊的通用登陆账号。以太坊创始人Vitalik Buterin（V神）今日在推特上转发推文时评论称，老实说，与其他许多想法相比，自我主权身份更加切合实际的市场战略，因为它利用了现有的网络效应。 它仍然需要的是帐户抽象化（将数据与程序，以它的语义来呈现出它的外观，但是隐藏起它的实现细节），从而允许用户更改密钥，在账户丢失和黑客攻击后进行恢复。[2019/4/17]
根据VitalikButerin的说法，将零知识证明技术用于多个客户端的主要技术挑战与延迟和数据效率低下有关。此外，由于对协议规则或ZK-EVM实现的特定解释，各个不同以太坊客户端处理零知识证明的方式也不一样。
那么，这些问题该如何解决呢？VitalikButerin给出了解决方案——
动态 | V神向三家区块链初创公司捐赠3000枚ETH:据coindesk报道，V神向三家区块链初创公司捐赠了30万美元的ETH，每个公司收到1千枚ETH（约10万美元）。三个项目分别是Prysmatic Labs、ChainSafe Systems和Sigma Prime。都在致力于构建以太坊2.0客户端。[2018/12/20]
ZK-EVM多客户端解决方案
尽管以太坊生态存在上述这些挑战，但VitalikButerin认为创建一个开放的多客户端ZK-EVM生态系统是完全可行的，并且有利于以太坊的安全性和去中心化，下图是以太坊生态系统的共识层和执行层中使用各种不同客户端的可视化表示。
资料来源：vitalik.eth.limo
VitalikButerin相信，拥有多个客户端可以降低一次实施中出现单个灾难性错误的风险，从而提高网络的安全性和去中心化程度，而这种错误可能会导致整个以太坊网络崩溃。此外，多客户理念也有助于防止权力集中在一个开发团队或组织内，继而更好地实现网络去中心化。
针对上述提及的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?？
选项1?：限制Layer1?，强制几乎所有活动移动到?Layer2??
随着时间的推移，VitalikButerin建议可以将第1层每个区块的gas目标从1500万减少到100万，足以让一个区块包含一个SNARK和一些存款和取款操作，但其他的不多，从而强制几乎所有用户活动移动到Layer2?协议。
选项2?：SNARK-验证Layer1?
VitalikButerin表示可以编写更多的SNARK代码来验证区块共识，但这将是一个具有挑战性的工程问题：现阶段，ZK-EVM需要几分钟到几小时来验证以太坊区块，如果采用该方案则需要：改进以太坊本身以删除对SNARK不友好的组件通过专门的硬件获得巨大的效率提升么(iii)通过更多的并行化改进架构。
总结
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实现等效并识别导致彼此之间差异的所有错误。”
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。