Vitalik Buterin 发文探讨 ZK-EVM 的未来展望与挑战

VitalikButerin发文探讨ZK-EVM的未来展望与挑战12月13日消息,以太坊联合创始人VitalikButerin发文深入探讨了ZK-EVM(Zero-KnowledgeEthereumVirtualMachine)的概念及其可能实现形式。文章指出,当前的Layer-2EVM协议(如OptimisticRollups和ZKRollups)需要依赖于EVM的验证机制,但这同时意味着他们必须信任庞大的代码库。一旦代码库中存在漏洞,这些虚拟机可能面临被攻击的风险。此外,即便是希望与L1EVM保持完全等效的ZK-EVM,也需要一定形式的治理机制,以便将L1EVM的变更复制到自己的EVM实现中。Buterin提出的ZK-EVM概念,旨在减少Layer-2项目对Ethereum协议功能的重复实现,并提高其在验证Layer-1Ethereum区块时的效率。他还展望了未来光客户端(lightclients)将更加强大,甚至可能利用ZK-SNARKs(零知识证明)完全验证L1EVM执行,届时Ethereum网络将实质上具备内置的ZK-EVM功能。文章还讨论了实现ZK-EVM的不同版本,包括它们的设计挑战、权衡利弊,以及为何某些方向可能不被采纳。强调了在实现协议功能时,应权衡其优势与保持基础协议简洁性的好处。对于ZK-EVM的关键属性,Buterin强调了其基本功能性、与Ethereum多客户端哲学的兼容性、数据可用性要求、可审计性和可升级性。此外,他还提到了对almost-EVM的支持,即允许L2的VM在与EVM只有微小差异的情况下,仍能使用协议内的ZK-EVM,同时也为EVM的部分定制化提供了灵活性。

相关推荐

封面图片

Vitalik发文探讨ZK-EVM的未来展望与挑战

封面图片

【V神:ZK-EVM是以太坊Layer 1安全和验证过程的重要组成部分】

【V神:ZK-EVM是以太坊Layer1安全和验证过程的重要组成部分】2023年04月02日12点56分老不正经报道,以太坊联合创始人“V神”VitalikButerin在其官方博客上发布文章《以太坊的多客户端理念将如何与ZK-EVM交互?》(HowwillEthereum'smulti-clientphilosophyinteractwithZK-EVMs?),其中指出ZK-EVM将在未来发展成为以太坊Layer1安全和验证过程的重要组成部分,但关键在于如何为零知识证明以太坊区块的正确性创建一个“多客户端”生态系统。V神建议采取开放的多个ZK-EVM,因为不同的客户端有不同的ZK-EVM实现,每个客户端可以在接受一个区块为有效之前等待与自己兼容的证明。此外,VitalikButerin还对人工智能最近的快速发展大加赞扬,他觉得人工智能的进步可以“加速”证明ZK-EVM实现的发展。“从长远来看,当然任何事情都有可能发生。也许AI会加强形式验证,使其可以轻松证明ZK-EVM实现等效并识别导致彼此之间差异的所有错误。”

封面图片

【V神:以太坊不需要为Layer 1使用单一的ZK-EVM实现进行标准化】

【V神:以太坊不需要为Layer1使用单一的ZK-EVM实现进行标准化】以太坊创始人VitalikButerin发文解释了“不同类型的ZK-EVM和类似ZK-EVM的项目,以及它们之间的权衡”。V神例举了描述了多个EVM等价的不同“类型”的分类,以及尝试实现每种类型的好处和成本。V神总结称,就我个人而言,我希望随着时间的推移,通过ZK-EVM的改进和以太坊本身的改进相结合,使其对ZK-SNARK更加友好,一切都将成为Type1。在这样的未来,我们将有多个ZK-EVM实现,它们既可以用于ZK汇总,也可以用于验证以太坊链本身。从理论上讲,以太坊不需要为Layer1使用单一的ZK-EVM实现进行标准化;不同的客户可以使用不同的证明,因此我们继续从代码冗余中受益。但是,要实现这样的未来,还需要相当长的时间。与此同时,我们将在扩展以太坊和基于以太坊的ZK-rollup的不同路径中看到许多创新。

封面图片

【V神:使用开放的多个ZK-EVM将面临延迟和数据效率低下两大挑战】

【V神:使用开放的多个ZK-EVM将面临延迟和数据效率低下两大挑战】V神在其最新博客文章中建议采取开放的多个ZK-EVM创建一个“多客户端”生态系统,但同时他指出这种解决方案将面临延迟和数据效率低下两大挑战,恶意攻击者可能会延迟发布一个区块,以及对一个客户端有效的证明,如果时间足够长可能会创建一个临时分叉并中断几个插槽的链。此外,如果希望能够为一个区块生成多种类型的证明,则需要实际发布原始签名,继而造成数据效率低下。

封面图片

【Scroll在Goerli测试网推出以太坊L2网络zk-EVM的测试网版本】

【Scroll在Goerli测试网推出以太坊L2网络zk-EVM的测试网版本】2023年02月28日03点37分老不正经报道,Scroll在Goerli测试网上发布了其以太坊L2网络的测试网版本,这是将zk-EVM从pre-alpha转移到alpha的测试阶段。到目前为止,Scroll可以在基于该项目的以太坊克隆的测试网上进行试用。测试网的代码将是开源的,这意味着该网络可以开始建立弹性。此外,Goerli测试网和Scroll之间已经建立了一个桥梁来转移资产。据悉,Zk-EVM是建立在以太坊上的第2层网络,它使用零知识证明来实现可扩展性。

封面图片

【Manta Network推出EVM原生模块化执行层Manta Pacific】

【MantaNetwork推出EVM原生模块化执行层MantaPacific】2023年07月12日10点28分7月12日消息,零知识证明ZK协议MantaNetwork基于OPStack推出专为零知识证明(ZK)应用设计的EVM原生模块化执行层MantaPacific。MantaPacific使用Celestia数据可用层提供安全性,降低Gas费用,通过Caldera改进的OPStack,实现可扩展性。MantaNetwork联合创始人VictorJi称,Manta网络的Layer1已重命名为MantaAtlantic,未来Manta生态系统将由MantaAtlantic和MantaPacific两部分组成。

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人