以太坊:zkEVM:以太坊扩容的未来

zkEVM的背景和意义

以太坊是一个去中心化的计算机平台,允许开发人员构建分布式应用程序和智能合约。然而,由于以太坊网络的限制,包括吞吐量限制和高费用,这些应用程序的规模和性能受到了限制。

为了解决这些问题,以太坊社区开发了许多二层解决方案,其中包括zkEVM。zkEVM是一种基于零知识证明的以太坊虚拟机,它可以在不牺牲去中心化和安全性的前提下提高以太坊网络的吞吐量和降低交易费用。

zkEVM的核心思想是利用零知识证明来验证和执行智能合约,而不需要每个节点都执行所有的计算。相反,只有证明验证者需要进行计算,然后将验证结果广播到网络中的其他节点。这样,可以大大减少网络负载和执行成本,并提高网络的吞吐量和性能。

零知识证明(ZKP)在节省冗余计算、压缩链上空间和保护用户隐私方面体现了重要的应用价值。几种常见的零知识证明实现方法,包括zk-SNARK、zk-STARK、PLONK和Bulletproofs。

其中,zk-SNARK是一种简洁非交互零知识证明,它通过将生成的证明数据量压缩到比实际证明数据量小的程度,并且证明者只需发送一条简单的信息给验证者来完成验证,从而实现了在节省计算开销和交互次数的同时保护用户隐私的目的。而zk-STARK则是一种可扩展透明零知识证明,相比于zk-SNARK,它允许开发人员将计算和存储转移到链下来提高可扩展性,在计算速度和大小方面更具可扩展性,同时还能够抵御量子计算机的攻击。

zkEVM作为一种新的解决方案

zkEVM可以在保护交易隐私和完整性的同时,不需要牺牲性能和去中心化。它利用零知识证明来验证和执行智能合约,证明验证者只需要进行计算,而不需要每个节点都执行所有计算,从而大大降低了网络负载和执行成本。此外,zkEVM的实现可以充分利用以太坊网络的现有基础设施和生态系统,可以很容易地集成到现有的以太坊应用程序中。

zkEVM的基本原理和设计

ZkEVM是zkRoll-up的一部分,这是以太坊第2层扩展解决方案,通过将计算和状态存储转移到链下来提高吞吐量。ZK-rollup向以太坊提交交易数据以及验证链下交易批次有效性的零知识证明。

美图公司:加密货币确认减值亏损约2.85亿元:金色财经报道,美图公司在港交所公告,自从加密货币购买后,集团并无根据加密货币投资计划购买或出售任何加密货币。根据国际财务报告准则,集团预期就已购买加密货币于集团即将公布的截至2022年12月31日止年度业绩内确认减值亏损约2.85亿元。已购买加密货币的减值亏损对冲了部分集团以公允价值计量且其变动计入当期损益的金融资产的公允价值收益对集团净利润的影响。[2023/2/21 12:18:23]

早期的?ZK-rollup缺乏执行智能合约的能力,并且受限于简单的Token交换和支付。但是,随着与EVM兼容的零知识虚拟机的引入,ZK-rollups开始支持以太坊dApp。

zkEVM的基本原理是使用零知识证明来验证智能合约执行的结果,从而保证交易的隐私和完整性。与传统的以太坊网络不同,zkEVM的验证和执行智能合约的过程是分离的,即验证者只需要验证零知识证明,而不需要真正执行智能合约。以下是zkEVM的基本设计:

1、零知识证明生成器:zkEVM的用户需要使用一个零知识证明生成器来生成零知识证明。这个生成器的目的是证明交易的正确性和合法性,包括交易的签名、输入和输出等。

2、零知识证明验证器:zkEVM的验证者需要使用一个零知识证明验证器来验证用户生成的零知识证明。验证器需要验证证明的正确性,包括证明的格式、证明的数据完整性和证明的逻辑正确性等。

3、智能合约执行器:zkEVM的智能合约执行器是一个离线计算的过程,即计算可以在离线状态下完成。执行器使用输入和智能合约的字节码来计算输出,并将输出作为计算结果返回给零知识证明生成器。

4、隐私保护:zkEVM使用零知识证明来保护交易的隐私和完整性,证明只需要证明计算的正确性,而不需要暴露输入和输出的详细信息。

通过这种设计,zkEVM可以有效地保护交易的隐私和完整性,同时具有高效性和可扩展性。它可以在不降低去中心化和性能的情况下,为以太坊网络带来更高的吞吐量、更低的交易费用和更快的确认时间。

zkEVM的技术实现

zkEVM在以太坊二层网络中的技术实现,包括交易验证和数据验证

OnChainMonkey在比特币开启铸造后其以太坊链上NFT地板价已增长至1.75 ETH:金色财经报道,据nftpricefloor数据显示,在比特币网络开启铸造后,NFT项目 OnChainMonkey 在以太坊链上的 NFT 地板价已较昨日增长了 3 倍,目前已升至1.75 ETH,创下自 2022 年 5 月以来的新高,此外该 NFT 项目过去 24 小时交易额超过 108 万美元,增长了约 1005.31%。OnChain Monkey 项目背后的 NFT 公司 Metagood 联合创始人 Danny Yang 今天表示,该公司计划在以太坊和比特币之间搭建一个跨链桥,让 NFT 持有者在两个版本之间切换。[2023/2/10 11:59:45]

????交易验证

????交易验证是指验证交易的正确性和合法性,包括验证交易的签名、输入和输出等。在zkEVM中,交易验证采用零知识证明技术实现,具体实现过程如下:

????生成证明:zkEVM用户使用zk-SNARKs算法生成交易的零知识证明,证明交易的正确性和合法性,证明通常包括交易的签名、输入、输出等。

????验证证明:zkEVM的验证者使用验证器验证用户生成的零知识证明,验证证明的正确性。在验证证明的过程中,验证者只需验证证明的正确性,而不需要暴露交易的具体信息,保护了交易的隐私。同时,由于zkEVM使用了零知识证明技术,验证者也无法获取交易的输入和输出信息。

?数据验证

数据验证是指验证以太坊二层网络中存储的数据的正确性和完整性,包括验证区块头、交易状态树、存储状态树等。在zkEVM中,数据验证采用merkle树结构实现,具体实现过程如下:

????Merkle树的构建:zkEVM在以太坊二层网络中采用了一种基于Merkle树的数据存储结构,通过将交易和状态信息编码为叶子节点,然后在树中生成和存储Merkle树,实现交易和状态信息的快速查询和验证。

????Merkle树的验证:在验证Merkle树的过程中,zkEVM需要验证Merkle树的根哈希和叶子节点哈希的正确性。由于Merkle树具有高效的验证性能,zkEVM可以快速验证以太坊二层网络中存储的数据的正确性和完整性。

通过交易验证和数据验证,zkEVM保证了以太坊二层网络中交易的正确性、隐私和数据的完整性,实现了高效、去中心化和可扩展的以太坊二层网络。

zkEVM的等效性

行业人士:由于很难再次申请牌照且用户信任受损,FTX重启困难重重:1月20日消息,针对FTX新任CEO考虑重启加密货币交易所一事,Binance Australia首席执行官Leigh Travers评论称,FTX将很难再次获得许可证,特别是在该行业进入新的一年,监管机构加强监管和监督的情况下。Travers还指出,自关闭以来,FTX用户已经迁移到“其他平台,比如Binance。他质疑这些用户是否会放心地回去。

澳大利亚律师事务所Gadens合伙人、数字资产律师Liam Hennessy认为,鉴于FTX的声誉受损和缺乏信任,任何客户或投资者“都很难再接近他们。Hennessy还对FTX是否会再次获得许可表示怀疑,称这将打上一个很大的问号,完全取决于司法管辖区。该律师认为,在一些离岸司法管辖区,交易所获得牌照审批会更容易,但如果用户不打算回归,那就毫无意义了。

与此同时,RMIT大学区块链创新中心的高级法律讲师Aaron Lane表示, FTX考虑恢复交易所业务“并不奇怪”,他指出这是第11章破产程序的目的,让公司能够提出一个计划来运营业务,并在法院批准的情况下“随着时间的推移”偿还债权人。[2023/1/20 11:23:08]

zkEVM可以模仿与以太坊主网相同的交易执行环境,但它的EVM等效级别与传统EVM有所不同,主要分为语言水平等效、字节码级等效、共识水平等效和完全等效四个级别。

语言水平等效的zkEVM可以将EVM友好编程语言翻译成为生成零知识证明而优化的定制语言,因此可以实现与EVM的语言级兼容性。但这种类型的zkEVM在为用户和智能合约开发人员提供与EVM交互相同的体验方面最受限制。

字节码级等效的zkEVM需要ZKRollups来解释从更高级语言编译下来的EVM字节码,并模仿与EVM相同的高级编程语言和低级字节码,从而实现更深层次的兼容性。这些类型的zkEVM构建起来更复杂,需要更高级的工程设计,但它们与基于EVM的应用程序和工具相互兼容。

共识水平等效的zkEVM可以实现对EVM的最高原生兼容性,它的想法是由zkEVM生成的加密证明不需要以任何身份验证,就能被EVM接受。

完全等效的zkEVM需要与EVM在所有方面都完全兼容,这通常会导致创建低效且昂贵的ZK系统,因此,通常需要在成本和效率之间进行权衡。目前,已有两种字节码兼容的zkEVM,分别是PolygonzkEVM和ScrollzkEVM,它们在不同程度上实现了字节码级等效,但随着时间的推移,这些实现正朝着完全兼容的方向努力。

0xScope:另一地址也曾在币安宣布上线RPL之时买入5353 RPL:金色财经报道,链上数据分析平台0xScope发推称,除了此前提到的以0x5f2c开头的地址外,另一个以0xac5ca开头的地址也在币安宣布上线RPL的数秒之后买入了5353枚RPL,此后该地址将3000枚RPL转入了币安,又在1inch将剩下的2353枚RPL卖出。

稍早之前,0xScope发推称一个以0x5f2c开头的地址在币安官宣上线RPL前10分钟买入近6200枚RPL,并在币安发布公告后10分钟卖出,在20分钟内盈利5.54万美元。[2023/1/18 11:19:07]

zkEVM的结构

zkEVM是一种基于零知识证明的可扩展性解决方案,它将智能合约的执行和验证迁移到了L2链上,从而实现了更高的交易吞吐量和更低的交易成本。zkEVM由三个部分组成:执行环境、证明电路和验证者合约。

执行环境类似于以太坊虚拟机,它负责在zkEVM中执行智能合约,并根据初始状态和当前交易计算出新的最终状态。

证明电路用于生成零知识证明,验证在执行环境中计算交易的有效性。证明生成过程是通过使用前状态、交易输入和后状态信息来作为输入完成的。之后,证明者获得该特定状态转换的有效性简洁证明。

验证者合约用于接收提交的有效性证明,并确认输入和输出是正确计算的。它在L1链上部署,并与zk-rollups集成,确保zkEVM的安全性和可靠性。

zkEVM操作码是一种低级机器指令,用于在EVM兼容的zk-rollups中执行程序。与EVM一样,用高级语言编写的合约必须被编译成虚拟机可以解释的低级语言,当在虚拟机中部署程序的时候,该字节码指定了执行程序时所需使用的操作码。

为了使操作码更适合在零知识证明电路中使用,有两种常见的方法。第一种方法是为原生EVM操作码建立零知识电路,这需要在算术电路中实现所有的EVM指令集,是一项复杂而费时的任务。第二种方法是为零知识证明计算创建新语言和自定义操作码,开发人员直接用新语言编写合约,或者将Solidity源代码编译为自定义的zkEVM操作代码。尽管第二种方法通常更容易实现,但可能会导致开发人员无法访问现有的以太坊基础设施和资源。

Masa Finance推出基于以太坊的灵魂绑定Web3身份协议:金色财经报道,DeFi 借贷协议 Masa Finance 宣布推出基于以太坊的灵魂绑定 Web3 身份协议,旨在链上铸造标准化灵魂绑定 Token,用于 KYC 验证、信用评分和其他用例,扩大 DeFi 用户建立信用和获得贷款的机会。此外,Masa Finance 还将在未来几周推出用于身份验证的 Masa Green Token,以确认用户是“真人”而非机器人。据称,Masa Finance 是第一个在以太坊上推出可用灵魂绑定 Token 的加密协议。[2023/1/18 11:17:43]

zkEVM的优势

zkEVM是一种基于零知识证明技术的以太坊二层网络隐私保护技术,具有以下优点和优势:

1、高度的隐私保护:zkEVM采用零知识证明技术,可以实现高度的隐私保护。具体来说,zkEVM通过零知识证明技术实现了以下两个方面的隐私保护:

2、交易隐私保护:zkEVM将交易信息放到链外处理,只将交易的验证结果存储在链上,从而保护了交易的隐私。

3、数据隐私保护:zkEVM将所有数据都加密处理,并将其存储在链外的zkSNARK中,只将数据的哈希值存储在链上,从而保护了数据的隐私。

4、高度的安全性:zkEVM采用零知识证明技术,可以实现高度的安全性。具体来说,zkEVM采用zkSNARK来验证交易和数据,并使用托管模式来管理数据和私钥,从而保证了交易和数据的安全性。同时,zkEVM还使用了多方安全计算技术和密钥隔离技术来防止攻击者的攻击和数据泄露。

5、高效的交易速度和吞吐量:zkEVM将交易的计算和数据存储移动到链外,从而提高了交易的速度和吞吐量。具体来说,zkEVM采用了分布式计算和存储技术,使得交易的计算和数据存储可以在多个节点上进行,并使用zkSNARK技术实现高效的验证和认证,从而实现高效的交易处理。

6、高度的兼容性和可扩展性:根据协议规则,所有验证节点必须在以太坊虚拟机中重新执行所有计算,以确保以太坊节点可以独立验证程序的正确性。但这种方法限制了以太坊网络的可扩展性,因为它只能处理大约15-20个交易。

而与EVM兼容的ZK-rollup可以解决以太坊的吞吐量问题,而不会破坏网络安全。与其他扩容协议一样,ZK-rollups不受以太坊共识协议规则的负担,并且可以优化执行速度。一些估计表明,ZK-rollups每秒可以处理约2000笔交易,而不会产生以太坊高额的费用。

7、更快的确定性和资本效率:ZK-rollup相对于op-rollup还有另一个优势,即更快的最终确定性。在区块链上,确定性是指交易不可逆转所需的时间,只有当网络参与者有客观证据证明交易的有效性时,才能最终确定。

使用ZK-rollups,在zkEVM中执行的交易通常在发布到以太坊后立即完成。由于每个交易批次都带有即时可验证的有效性证明,因此以太坊主链可以快速应用状态更新。

与之相比,乐观汇总仅在没有证明的情况下发布VM事务,因此必须经过质询期才能使事务达到最终确定性。挑战期一般为1-2周,在此期间,任何人都可以在交易提交到以太坊后对其进行挑战。较慢的最终确定性会对用户体验产生不良影响。例如,在延迟期到期之前,用户不能从汇总中提取资产。虽然流动性提供者可能会解决这个问题,但如果提款涉及高价值资产甚至NFT,则可能无效。

相比之下,zkEVM没有上述问题。更快的最终确定性非常适合高级用户,例如需要无缝移动资产的NFT交易者、DeFi投资者或套利交易者。

zkEVM的难点

构建zkEVM面临的主要困难来自于EVM虚拟机设计的初衷并不包含零知识计算的考虑。由此带来的一些特性对于证明电路的设计来说不太友好,主要包括以下四个方面:

特殊操作码EVM在程序执行和错误处理等操作中使用了特殊的操作码,如CALL、DELEGATECALL、REVERT、INVALID,这些操作码使得证明电路设计变得更加复杂。基于堆栈的架构EVM使用的基于堆栈的结构虽然比基于寄存器的结构简单,但是增加了证明计算的难度。为此,一些知名的zkVM,如ZkSync和StarkWare的StarkNet,选择使用基于寄存器的模型来实现zkEVM。存储开销EVM的存储布局依赖于Keccak函数和MerklePatriciaTrie,这两者的证明开销都很高。为了避免这个问题,一些zkVM,如ZkSync,试图通过替换Keccak256函数来解决,但这可能会破坏与现有以太坊工具和基础设施的兼容性。证明成本即使解决了上述问题,构建zkEVM仍需要处理生成证明的过程,而生成零知识证明需要专门的硬件以及大量时间、金钱和精力成本。这些困难因素阻碍了建立与EVM兼容的zkEVM。不过,随着零知识技术的不断突破,在一定程度上可以缓解这些问题带来的影响,使人们对zkEVM解决方案重新产生兴趣。

zkEVM赛道项目

以下是不同类型的zkEVM协议及其工作原理的比较。

PolygonzkEVM

PolygonHermez是一个基于PolygonZK-rollup的零知识虚拟机,旨在支持EVM兼容性。它将EVM字节码编译为微操作码并在uVM中执行,使用SNARK和STARK证明来验证程序执行的正确性。PolygonHermezzkEVM使用STARK证明电路来生成状态转换的有效性证明,然后将其提交给以太坊进行验证。结合STARK和SNARK证明的使用,能够更快地生成STARK证明,而SNARK证明的验证成本更低。

zkSynczkEVM

zkSync是一个与EVM兼容的ZK-rollup,由MatterLabs开发并提供支持。它使用将Solidity编写的合约代码编译成中间语言Yul,并将其重新编译为专门为zkSync的zkEVM设计的自定义、电路兼容的字节码集。与PolygonHermez一样,zkSynczkEVM在语言级别而不是字节码级别实现EVM兼容性。例如,zkSync的zkEVM不支持传统的加法操作码。

ScrollzkEVM

Scroll是一个正在开发的新的零知识EVM实现。Scroll团队计划为每个EVM操作码设计零知识电路。这将允许开发人员在Scroll上部署以太坊原生智能合约EVM,而无需修改底层EVM字节码。此外,ScrollzkEVM将使用密码累加器来验证存储的正确性,并提供一个将字节码与执行跟踪链接起来的电路,以验证计算与原始字节码是否一致。

ZK硬件加速

尽管ZKP生产速度缓慢且昂贵,但随着特殊硬件如FPGA和ASIC的普及,其效率将得到大幅提升。随着隐私计算需求日益增长,ZKP的语句复杂性将进一步增加,只能通过使用专门的硬件来提高证明生成速度。这将促成一个完整的ZK挖矿和证明行业的出现,业余爱好者们可以在自己的CPU上生成证明或使用GPU和FPGA。

ZKPs的性能瓶颈主要集中在数字的向量乘积和FFT计算上。为了提高ZKPs的性能,可以采取以下措施:

1、优化数字向量的乘积计算。可以使用更高效的算法和并行计算来加速向量乘积的计算,从而减少生成证明所需的时间。此外,可以通过使用更小的域来减少数字向量的大小,进一步减少计算时间。

2、优化FFT计算。可以使用更高效的FFT算法来加速计算,并使用分布式计算来分担计算负担,从而减少生成证明所需的时间。此外,还可以使用更小的域和更短的FFT周期来减少计算时间。

3、优化证明系统的实现。可以使用更高效的编译器和优化器来生成更高效的代码,从而减少生成证明所需的时间。

4、优化硬件和软件环境。可以使用更快的计算机和更优化的操作系统、编译器和库来提高生成证明的性能。

在以太坊在合并前,约有2700万张显卡在其网络上工作,算力在5月中达到了高峰的1.13P。随着以太坊的合并,这些算力将会切换至ETC等分叉链。除了市场上存量庞大的Filecoin、AR等算力设备,ZK证明计算也许会为矿机硬件提供新的用武之地。

影响zkp证明速度的主要有三个维度:证明系统、待证明电路规模和算法软硬件优化。

对于证明系统,市面上主流的ZK-SNARK算法都使用椭圆曲线算法来产生多项式承诺,涉及大数点乘操作,这是证明过程中时间较长的瓶颈。相比之下,基于FRI的算法,如ZK-Stark,使用哈希函数生成多项式承诺,不涉及EC算法,因此不需要MSM运算。

证明系统是基础,待证明电路的规模也是硬件优化的核心需求之一。例如zkEVM由于与原生以太坊的兼容性不同,其电路的复杂程度也不同。例如,Zksync和Starkware构建了与原生以太坊不同的虚拟机,从而避免了一些以太坊原生的代码不适合使用zk进行处理的问题,缩小了电路的复杂度;而Scroll和Hermez等项目则以与底层zkevm兼容为目标,因此其电路设计更复杂。硬件加速对于设计更复杂的电路的需求更加迫切,但这也是一个具有一定变化程度的问题,对于ZK-EVM也同样如此。

总之,硬件加速是ZKP扩容方案实现的关键之一。在硬件加速领域,人们期望看到摩尔定律在zk硬件加速领域的应用,这将会大大提高证明速度,加快扩容方案的发展。此外,硬件zk加速领域也为新的硬件加速技术和业务模式提供了机会和挑战,这将在未来成为一个备受关注的领域。

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

地球链

PEPE币RIN:项目调研:Loopring研究报告

一、项目简介及愿景 Loopring协议是一个专为应用程序开发的zkRollup协议、一个中继器、一个L2非托管交易所、一个智能钱包。用户可以在其中使用、交易和存储资产,同时让资产获得增长.

[0:15ms0-1:300ms