CLO:Scroll研究:zkEVM的设计挑战和解决方案_CloudChat

来源:ScrollTech??

编译:饼干,链捕手

安全的以太坊二层扩展解决方案。然而,现有的zk-Rollup只限于特定应用程序使用,这使得开发人员在zk-Rollup中构建通用的可组合DApp和迁移现有应用程序变得困难。我们通过引入zkEVM生成zk证明用于EVM验证来构建完全兼容EVM的zk-Rollup,任何以太坊应用程序都可以轻松迁移到该zk-Rollup。

本文介绍zkEVM的设计挑战以及可行性,并提出了从零开始构建zkEVM的详细方案。

VitalikButerin

zk-Rollup的基本理念是将大量交易聚合到一个Rollup块中,并为链下的块生成简洁的证明。然后Layer1上的智能合约只需要验证zk-Rollup的证明并直接更新状态,无需重新执行那些交易。证明验证状态比重新执行计算的gas费用便宜很多,另外数据压缩利于降低gas费用,这样的交易流程节省一个数量级的gas费用。

尽管zk-Rollup安全高效,但很难构建通用DApp,其应用仍仅限于支付和互换,主要是以下两个原因:

首先,在zk-Rollup中开发DApp需要使用特殊的编程语言来编写智能合约的逻辑。该编程语言的语法复杂,而且要求开发者精通零知识证明。

其次,当前的zk-Rollup不支持可组合性。这意味着多个的zk-Rollup应用程序不能在Layer2内相互交互,极大地降低了DeFi应用程序的可组合性。

简而言之,目前zk-Rollup对开发人员不友好并且功能有限。我们希望解决这些问题,通过直接支持原生EVM验证,为开发人员提供快速开发体验,支持Layer2内应用程序的可组合性,以便现有的以太坊应用程序可以轻松迁移到zk-Rollup上。

为不同的DApp构建专用电路

为智能合约执行构建一个通用的“EVM”编码

“电路”是指零知识证明中使用的程序表示方法。例如,如果要证明hash(x)=y,则需要使用ASIC电路重新编写散列函数。电路只支持非常有限的计算表达式和乘法)。因此,开发人员使用电路语言编写程序的过程非常困难,必须使用add和mul构建所有程序逻辑。

第一种方法要求开发人员为不同的DApp设计专门的“ASIC”电路,这需要使用零知识证明最原始的方式。通过设计定制电路减少每个DApp的成本。然而,由于电路是“静态的”,不能为应用提供可组合性,并且需要专业的电路设计知识,因此开发体验很糟糕。

第二种方法不需要任何特殊的设计或电路专业知识。这种基于机器证明的高级思想让任何程序可以在CPU上运行,因此开发者只需要构建一个通用的CPU电路来验证底层步骤。然后使用这个CPU电路来验证程序的执行。在此场景中,程序指的是智能合约,CPU则是EVM。但是,由于成本过高,过去几年并没有普遍采用这种方法。例如,即使开发者只想增加一个验证步骤,就需要承担整个EVM电路的成本。如果执行跟踪中有数千个步骤,那么EVM电路成本将是1000倍。

最近,有很多研究在按照这两种方法优化zk证明,包括:

提议新的零知识证明友好型语言Poseidonhash,其在电路中的效率是SHA256的100倍

通用可验证虚拟机,如TinyRAM

)越来越多的通用优化技巧,如Plookup,以及运行速度更快的密码学库。

我们之前建议为每个DApp设计“ASIC”电路,通过验证密码进行通信。但是,根据社区的反馈,我们改变了优先级,将重点关注在第二种方法,优先构建通用EVM电路。zkEVM将支持与Layer1完全相同的开发体验。我们不会将底层设计的复杂性留给开发人员,而是通过定制的EVM电路设计来解决效率问题。

zkEVM的设计挑战

zkEVM很难构建,与TinyRAM不同,zkEVM的设计和实现更具挑战性,原因如下:

首先,EVM对椭圆曲线的支持有限。目前,EVM仅支持BN254配对,不直接支持循环椭圆曲线,因此很难进行递归证明。其他专用协议在此限制下也很难使用,除非是EVM兼容的验证算法。

其次,EVM字长为256位。EVM在256位整数上运行,而zk证明在素数字段上工作。在电路内部进行“不匹配场算术”需要范围证明,这将在每个EVM步骤中增加大概100个约束,导致EVM电路尺寸扩大两个数量级。

第三,EVM有很多特殊的操作码。EVM与传统VM不同的是有许多特殊的操作码,例如CALL,还有执行上下文和gas相关的错误类型。这将给电路设计带来新的挑战。

第四,EVM是基于堆栈的虚拟机。SyncVM(zksync)和Cario(starkware)架构在基于寄存器的模型,并定义了特定的IR/AIR。需要专门的编译器将智能合约代码编译成新的zk友好的IR。这种方法是语言兼容而不是原生EVM兼容,基于堆栈的模型和直接支持原生工具链更难实现。

第五,以太坊存储布局的成本太大。以太坊存储布局高度依赖Keccak和MPT,它们都不是zk友好类型,并且会产生高昂的成本。例如,Keccak哈希的电路大小是Poseidonhash的1000倍。但是,如果将Keccak替换为另一个哈希,则会对现有的以太坊基础设施造成一些兼容性问题。

第六,基于机器的证明有高昂的成本。即使能够妥善处理上述所有问题,仍然需要找到一种有效的方法将它们组合在一起以获得完整的EVM电路。正如我在上一节中提到的,简单的操作码add可能会导致整个EVM电路的成本。

合成资产协议Synthetix已升级至Algol版本:6月24日消息,合成资产协议Synthetix已于北京时间2022年6月23日15:00升级至Algol版本,该版本添加了SIP-251,分别将抵押贷款清算罚款比例和SNX质押强制清算罚款比例定为10%和30%。[2022/6/24 1:28:33]

为什么zkEVM有可能实现?

感谢研究人员在这方面取得的巨大进步,近两年来解决的效率问题越来越多,证明了zkEVM的可行性!主要的技术进步来自以下几个方面:

多项式承诺的使用。在过去的几年里,大多数零知识证明协议都在使用R1CS,PCP查询被编码到了特定于应用的受信任起步设置中。。这种情况通常会使电路会超出负载,并且无法进行自定义优化,因为每个约束的程度需要为2仅允许指数中的一次乘法)。开发者使用多项式承诺方案可以通过通用设置或者透明设置将约束提升到任何程度,大幅提高后端的选择的灵活性。

数据表查询参数和自定义小工具。优化数据表查询参数首先由Arya中提出,然后在Plookup中进行优化。这可以为zk不友好的编程语句省略很多按位运算。定制小工具可以让开发者高效地进行高度约束。TurboPlonk和UltraPlonk定义了优雅的语法,以便开发者更轻松地使用查询数据表和自定义小工具。这对于减少EVM电路的成本非常有帮助。

递归证明的可行性越来越高。在过去递归证明依赖于特殊的循环椭圆曲线,需要大量的成本。目前更多的技术在不牺牲效率的前提下改变这种依赖情况。例如,Halo可以配对友好椭圆曲线,并使用特殊的内积参数来分摊递归成本。Aztec表明可以直接对现有协议进行聚合证明。这种方法可以极大地提高电路负载量的可扩展性。

硬件加速更加高效。我们制造了GPU和ASIC/FPGA加速器,并且关于ASIC证明者的论文已经被最大的计算机会议接受。GPU证明器比Filecoin的实现快大约5到10倍。这将大幅提高证明器的计算效率。

除了强大的直觉和技术改进之外,我们还需要更清楚地知道我们需要证明什么,并制定出更具体的架构。我们将在后续文章中介绍更多技术细节和比较。在这里,我们描述了总体工作流程和一些关键思想。zkEVM的工作流程

即使Layer1和Layer2表面上的工作流程没有太多差别,但二者的底层处理过程完全不同:Layer1依赖于智能合约的重新执行;Layer2依赖于zkEVM电路的有效性证明。

让我们更详细地解释Layer1和Layer2交易的情况有何不同。

在Layer1,智能合约的字节码存储在以太坊存储中,交易将在P2P网络中广播。对于每个事务,每个全节点都需要加载相应的字节码并在EVM上执行以达到相同的状态。

Layer2的智能合约字节码也以相同的方式进行操作,但后续步骤是交易将在链下发送到一个集中的zkEVM节点。然后,zkEVM执行字节码并生成一个简洁的证明,以证明在应用交易后状态已正确更新。最后,Layer1合约将验证证明并更新状态,而无需重新执行交易。

让我们深入了解一下执行过程,看看zkEVM最终需要证明什么。在原生执行中,EVM首先加载字节码,然后从头开始逐个执行字节码中的操作码,对每个操作码执行以下三个子步骤:

从堆栈、内存或存储中读取元素

对这些元素执行一些计算

将结果写回堆栈、内存或存储。例如,add操作码需要从堆栈中读取两个元素,将它们相加并将结果写回堆栈。

所以zkEVM的证明需要包含与执行过程相对应的以下几个方面:

字节码从存储中正确加载

字节码中的操作码逐个执行

每个操作码都正确执行

zkEVM设计亮点

在设计zkEVM的架构时,我们需要处理/解决上述三个问题。

第一,为密码验证器设计一个电路。这部分就像一个“可验证的存储”,我们通过使用密码验证器这种技术手段来保证验证结果的正确性。以默克尔树为例,部署的字节码将作为叶节点存储在Merkle树中。然后验证者可以使用简洁的证明来验证从给定地址加载的字节码。对于以太坊存储,则需要电路兼容MerklePatriciaTrie和Keccak哈希函数。

第二,设计一个电路来将字节码与真实的执行产生关联。将字节码转移到静态电路中会带来一个问题:像jump这样的条件式操作码可能会跳转到任何地方。在某个人使用特定输入运行该字节码之前,跳转目的地都是不确定的。这就是为什么我们需要验证实际的执行踪迹。执行踪迹可以被认为是“展开的字节码”,包含按实际执行顺序排列的操作码。

证明者将直接提供执行踪迹作为电路的见证数据。我们需要证明该执行追踪是通过特定字节码使用特定的输入“展开”的工作,目的是强制让程序计数器的值保持一致。针对目的地不确定的问题,解决思路是让证明者提供一切数据。然后通过查找参数高效地检查一致性。

第三,为每个操作码设计电路。这是最重要的部分,证明执行跟踪中的每个操作码都是正确且一致的。如果将所有东西直接放在一起,将会带来高昂的成本。这里的优化方案是:

1)我们将读写和计算分成两个证明。一个证明会将所有操作码用到的元素都放到“总线”中,另一个证明会证明对“总线”上元素的计算是正确执行的。这会大幅降低每个部分的成本。前者被称为“状态证明”,后者被称为“EVM证明”。另一个发现是,查找声明可以有效处理“总线映射”。

2)我们可以为每个操作码设计度数更高的定制化约束。我们可以选择是否根据需求通过一个选择符多项式来“打开”一个约束。这样可以避免每个操作都要消耗整个EVM电路的成本。

这个架构最初由以太坊基金会提出,依然处于早期阶段,正在积极开发中。我们正在与以太坊基金会进行密切合作,旨在找到最佳方式实现该EVM电路。迄今为止,我们已经定义了EVM电路最重要的特点,并实现了一些操作码。更详细的内容将在后续文章中介绍。我们推荐感兴趣的读者阅读这篇文档。开发流程将是透明化的。这将是集整个社区之力的完全开源的设计。希望会有更多人加入进来,贡献出一份力量。

zkEVM还能带来什么?

zkEVM远不仅仅是Layer2扩容。我们可以将它理解为通过Layer1有效性证明扩展以太坊Layer1的直接方式。这意味着不需要任何特殊的Layer2就可以扩展现有的Layer1。

例如开发者可以将zkEVM当作全节点来使用,该证明可以用来直接证明现有状态之间的转换。所有Layer1交易无需将任何东西迁移到Layer2上,你可以直接证明!更宽泛地来说,你可以使用zkEVM为整个以太坊生成简洁证明,就像Mina那样。唯一需要增加的东西是证明递归。

结论

zkEVM可以为开发者和用户提供相同的体验。在不牺牲安全性的情况下,它的价格要便宜几个数量级。已经提出了以模块化方式构建它的架构。它利用最近在零知识证明方面的突破来减少成本。我们期待看到更多的人加入zkEVM社区,与我们一起集思广益!

备注:

:?Starkware于2021年9月1日的公告中声明已实现可组合性。

:电路是固定且静态的。例如,在将一个程序实现为电路时,你无法使用可变上限循环。上限必须固定为最大值。电路无法处理动态逻辑。

:为便于读者理解,我们在这里详细说明EVM电路的成本。正如前文所言,电路是固定且静态的。因此,EVM电路需要包含所有可能的逻辑。这就意味着,即使你只想证明add,你依然需要负担该EVM电路中可能包含的所有逻辑的成本。也就是说,成本被放大了10000倍。在执行追踪中,你需要证明一连串操作码,而且每个操作码都会带来高昂的成本。

:EVM本身并没有与默克尔-帕特里夏树紧密绑定。目前,MPT仅用于存储以太坊状态。要换一个很容易。

:这是经过高度简化的抽象概念。从技术上来说,“EVM状态”的名单更长,包括程序计数器、gas余量、调用栈、一组日志和交易范围变量。我们可以另外引入针对不同调用环境的标识符来直接支持可组合性。:由于存储量很大,我们使用累加器进行存储。内存和堆栈可以使用可编辑的Plookup。

:将一个完整的递归证明添加进zkEVM电路并非易事。实现递归的最好方式还是使用循环椭圆曲线。我们需要引入某种“包装”过程让递归在以太坊Layer1上可验证。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:15ms0-3:845ms