扬帆股票网(www.yfbx.cn):以太坊共同创办ban人Vitalik Buterin(V神)今(14)日发布新xin文章《神圣的ZK-EVM会是什shi么样子》,内容深入探讨ZK-EVM(Zero-Knowledge Ethereum Virtual Machine)的概念及其qi可能实现的形式。
V神shen指出,当前的Layer-2 EVM协定(如Optimistic Rollups和ZK Rollups)需要yao依赖EVM的验证机制,但这同tong时意味着他们必须xu信任庞大的程式码资zi料,一旦代码资料库中存在漏lou洞,这些虚拟机器可能面临被bei攻击的风险。
此外,即ji便是希望与L1 EVM保持完wan全等效的ZK-EVM,也需要一定形xing式的治理机制,以便将jiangL1 EVM的de变更复制到自己的EVM实shi作中。
ZK-EVM实现具有哪些关键属性
因此V神认为上述shu这些情况都不是最理想的,他在文章提及几个可以实现的「ZK-EVM版本」,并讨论权quan衡和设计挑战,以yi及不朝特定方向发展的原因。
对于ZK-EVM的关键属性,V神列lie出:
基本功能:ZK-EVM应该具备验证以太坊区qu块的能力,并与以太坊多客户端哲学xue相容。这意味着避免固化hua单一证明系统,而是允许xu不同客户端使用不同证明系统。
数据可用性和审计性:对于任ren何由ZK-EVM验证zheng的EVM执行,应确保其底层ceng数据是可用的,以yi便于出现问题时进行检查和重zhong新验证。
可升级性:如果某个ZK-EVM方案被发现存在缺陷xian,应能够迅速修复,无需进行硬分叉。
支持几乎是EVM的系统:该设计应支持与EVM略lue有差异的第二层(L2)虚拟机器。这意味着L2可以yi对与EVM完全相同的de部分使用固化的deZK-EVM,仅在不同tong的部分依赖自己的代码。
V神还讨论了「开放式shi」与「封闭式」多duo客户端系统的优缺点,开放式系统允许不同证明系统的de存在,而封闭式系统则限定一组固gu定的证明系统,他则倾向于开放fang式系统,因为它们提供更geng多的灵活性和适应性。
文章还涉及ji了实施ZK-EVM的具体方fang案和扩展,如新的交易类型、区块kuai附属对象的扩展、以及验证和重新xin证明的机制。
这zhe些设计旨在提高以yi太坊网络的效率和安全性,同tong时保持灵活性和可扩kuo展性。透过这些创新xin,ZK-EVM可以促进以太坊生态tai系统的整体发展,为用户和开发者带来lai更多的机会。
最后,V神还提到了对「almost-EVM」的支持,即允yun许L2的VM在与EVM只有微小xiao差异的情况下,仍能使用协议yi内的ZK-EVM,同时也为EVM的部分定制zhi化提供了灵活性xing。
V提出的ZK-EVM概念nian
总结来说,V神所suo提出的ZK-EVM概念,旨zhi在将ZK-EVM直接jie整合进以太坊协议,使shi其成为协议的一部分,同时减少Layer-2项目对Ethereum协议功能的重复实现xian,并提高其在验证Layer-1Ethereum区块时的效率。
另外,V神也展望未来光客户端(lightclients)将更加强大,甚至可能利用ZK-SNARKs(零知识证明)完全验证L1EVM执行,届时Ethereum网络将实质上shang具备内建的ZK-EVM功能。