月亮链 月亮链
Ctrl+D收藏月亮链

以太坊:Vitalik:不同类型ZK-EVM的未来_roll币是什么意思

作者:

时间:1900/1/1 0:00:00

原文标题:《ThedifferenttypesofZK-EVMs》

原文作者:Vitalik

原文编译:Blockunicorn

最近有许多「ZK-EVM」项目高调发布公告。Polygon开放了他们的ZK-EVM项目,ZKSync发布了他们的ZKSync2.0计划,相对较新的Scroll最近也发布了他们的ZK-EVM。还有来自隐私和拓展探索的团队、NicolasLiochon等人的团队的持续努力,从EVM到Starkware的zk友好语言Cairo的alpha编译器,当然有一些项目我会错过。

所有这些项目的核心目标都是相同的:使用ZK-SNARK技术来对类似以太坊的交易执行进行加密证明,要么让验证以太坊链本身变得更容易,要么构建与以太坊提供的内容相同但可扩展性更强的zkrollup。但这些项目之间存在着微妙的差异,以及它们在实用性和速度之间的权衡。这篇文章将尝试描述EVM等价性的不同「类型」的分类,以及尝试实现每种类型的好处和成本。

概述(图表形式)

类型1

第一类ZK-EVM力求完全和毫不妥协的等效于以太坊。它们不改变以太坊系统的任何部分,以使生成证明更容易。它们不会取代哈希、状态树、事务树、预编译或任何其他共识逻辑,无论它有多么外围。

优势:完美的兼容性

我们的目标是能够像现在一样验证以太坊区块,或者至少验证执行层(因此,信标链共识逻辑不包括在内,但包括所有的交易执行和智能合约和账户逻辑)。

Skale Network发布Levitation Protocol:金色财经报道,Skale Network 发布了 Levitation Protocol,一个零知识 (ZK) Rollup,旨在为以太坊开发人员提供新的扩展解决方案。[2023/6/2 11:53:37]

类型1:ZK-EVM是我们最终需要的,使以太网第1层本身更具可扩展性。从长远来看,在类型2或类型3ZK-EVM中测试出的对以太的修改可能会被引入到以太本身,但这样的重新设计伴随着它自己的复杂性。

类型1:ZK-EVM也是汇总的理想选择,因为它们允许汇总重复使用大量基础设施。例如,EtherumExecution客户端可以按原样使用来生成和处理ROLLUP块(或者至少,一旦实现提取,它们就可以被重新使用,并且该功能可以被重用以支持存放到ROLLUP中的ETH),因此块资源管理器、块生产等工具非常容易重用。

劣势:验证时间

以太坊最初并不是围绕zk友好性设计的,所以以太坊协议的许多部分需要进行大量的计算来验证zk。类型1的目标是完全复制以太坊,所以它没有办法缓解这些低效率。目前,以太坊区块的证明需要许多小时来产生。这种情况可以通过巧妙的工程来大规模并行化验证器,或者从长远来看,可以通过ZK-SNARK专用集成电路来缓解。

构建者是谁?

隐私和扩展探索团队ZK-EVM正在构建类型1?ZK-EVM。

类型2?(完全等效EVM)

Vitalik Buterin:区块链和加密货币间存在“紧密联系”,以至于“缺一不可”:11月21日消息,以太坊联合创始人Vitalik Buterin在接受海峡时报采访时表示,考虑到新加坡对加密资产类别持怀疑态度,新加坡在加密货币监管方面的善意尝试可能不会奏效。V神说他很欣赏新加坡对加密行业的支持愿意,但这一切可能都是徒劳的。V神表示:“世界各地的监管机构都希望支持新兴技术,但同时也觉得加密货币‘奇怪和可怕’。由于对加密货币缺乏理解和恐惧,监管机构试图将区块链作为一种独立于加密货币的技术来对待。新加坡的情况就是如此。”V神表示,区块链和加密货币之间存在“紧密联系”,以至于“缺一不可”。

V神称加密社区通常喜欢支持有权势的人,这是愚蠢的。他重申了他对萨尔瓦多去年“自上而下”采用比特币的批评,称这是加密社区做错的一个例子。他说,比特币社区对这一消息感到高兴,却忽视了该国的严峻现实。尽管萨尔瓦多总统Nayib Bukele的政府“不太民主”,不善于“尊重人民的自由”,但该社区还是支持萨尔瓦多。此外,V神设为监管机构可以设置护栏,社区可以“教育用户”。但“可以阻止多少不良活动终究是有限度的”,因为区块链系统的性质要求它对所有人开放。[2022/11/21 22:12:29]

第二类ZK-EVM力求完全等价于EVM,但不完全等价于以太坊。也就是说,它们“从内部”看起来完全像以太坊,但它们在外部有一些不同,特别是在数据结构上,如块结构和状态树。

其目标是与现有应用程序完全兼容,但对以太坊进行一些小的修改,以使开发更容易,并更快地生成证明。

Gravity Bridge在Osmosis为流动池提供外部激励:7月5日消息,Cosmos生态的资产跨链桥Gravity Bridge在Osmosis为gUSDC/OSMO和ATOM/gUSDC提供外部激励。 gUSDC/OSMO的激励为50万GRAV,周期45天; ATOM/gUSDC的激励为100万GRAV,周期45天.[2022/7/5 1:51:36]

优势:在虚拟机级实现完全对等

类型2ZK-EVM对保存以太状态等内容的数据结构进行更改。幸运的是,这些结构是EVM本身不能直接访问的,因此在Etherum上工作的应用程序几乎总是在类型2ZK-EVM汇总上工作。您将不能按原样使用EtherumExecution客户端,但您可以通过一些修改使用它们,并且您仍然可以使用EVM调试工具和大多数其他开发人员基础设施。

但也有少数例外。对于验证历史以太块的Merkle证明以验证关于历史交易、收据或状态的声明的应用程序,出现了一种不兼容性(例如,桥梁有时会这样做)。用不同的散列函数取代Keccak的ZK-EVM将打破这些证明。然而,我通常建议不要以这种方式构建应用程序,因为未来的以太更改(例如VerkleTrees)甚至在以太本身上也会破坏这样的应用。对以太坊本身来说,一个更好的替代方案是添加未来可靠的历史访问预编译。

缺点:改进了验证时间,但仍然很慢

类型2ZK-EVM提供比类型1更快的验证时间,主要是通过移除依赖于不必要的复杂和不友好的ZK加密的以太堆栈的部分。特别是,它们可能会改变Etherum的Keccak和基于RLP的MerklePatricia树,可能还会改变区块和接收结构。类型2ZK-EVM可能会使用不同的哈希函数,例如,Poseidon。另一个自然的修改是修改状态树以存储代码散列和keccak,从而不再需要验证散列来处理EXTCODEHASH和EXTCODECOPY操作码。

Vitalik Buterin通过Archer Swap抛售超4000万美元meme代币:5月14日消息,昨日以太坊创始人VitalikButerin大量抛售meme代币中,超4000万美元通过ArcherSwap抛售。起初,V神通过Uniswap将meme代币换成ETH,然而由于抢跑导致交易失败耗费很多ETH,后V神转用ArcherSwap进行交易。

注:ArcherSwap可倚靠Uniswap和Sushiswap流动性,而不公开向mempool广播交易,由匿名团队开发的以太坊矿工可提取价值(MEV)套利产品Archer于三周前推出。[2021/5/14 22:02:16]

这些修改显著提高了验证时间,但它们不能解决所有问题。由于EVM固有的低效性和对zk的不友好性,证明EVM原样的过程仍然很缓慢。一个简单的例子是内存:因为MLOAD可以读取任何32字节,包括「未对齐」的块(其中开始和结束不是32的倍数),MLOAD不能简单地解释为读取一个块;相反,它可能需要读取两个连续的块,并执行位操作来合并结果。

构建者是谁?

Scroll的ZK-EVM项目正朝着2型ZK-EVM的方向发展,正如PolygonHermez一样。也就是说,这两个项目都还没有完成;特别是,许多更复杂的预编译还没有实现。因此,目前两个项目都最好考虑类型3。

类型2.5(与EVM相当,不包括gas费用)

显著改善最坏情况验证时间的一种方法是大幅增加EVM中很难证明的特定操作的费用成本。这可能涉及预编译、KECCAK操作码,还可能涉及调用约定或访问内存、存储或恢复的特定模式。

金色财经现场报道 以太坊创始人Vitalik Buterin:验证节点的位置越多要的算力也越多 :金色财经6月3日现场报道,在今天的以太坊技术及应用大会上,以太坊创始人Vitalik Buterin做了题为“Casper与分片技术最新进展”的主题演讲。V神说,验证节点的责任为:验证主链;验证2个分片(为了生成区块,为了确认区块/交联);生成分片区块;生成主链的区块;确认分片区块并进行交联。V神指出:你拥有的以太币越多,你的验证节点的位置越多,那么需要的算力也越多,这个机制支持协议的多中心化,对拥有较少以太币的人会公平一些。[2018/6/3]

不断变化的gas费用成本可能会降低开发人员工具的兼容性,并破坏了一些应用程序,但通常认为这比「更深层次的」EVM更改风险更小。开发人员应该注意,在交易中需要的gas费用不要超过区块的容量,不要使用硬编码的gas费用数量进行调用(这已经是很长时间以来对开发人员的标准建议)。

类型3(几乎等同于EVM)

第3型ZK-EVM几乎同等于EVM,但为了实现完全相同,需要做出一些牺牲,以进一步提高验证时间并使EVM更容易开发。

优点:更容易构建,验证时间更快

类型3ZK-EVM可能会删除一些在ZK-EVM实现中特别难实现的功能。在这里,预编译通常位于列表的顶部;此外,类型3ZK-EVM在处理合约代码、内存或堆栈的方式上有时也有细微的差异。

缺点:更多的不兼容

类型3ZK-EVM的目标是与大多数应用程序兼容,其余部分只需要最少的重写。也就是说,有些应用程序需要重写,要么是因为它们使用了类型3ZK-EVM删除的预编译,要么是因为对边缘情况的微妙依赖,而这些边缘情况是由EVM以不同的方式处理的。

构建者是谁?

Scroll和Polygon目前形式都是类型3,尽管随着时间的推移,他们有望改善兼容性。Polygon有一个独特的设计,他们用ZK验证自己的内部语言zkASM,并使用zkASM实现解释ZK-EVM代码。尽管有这样的实现细节,我仍然将其称为真正的Type3ZK-EVM;它仍然可以验证EVM代码,只是使用了一些不同的内部逻辑来完成。

今天,没有ZK-EVM团队想要成为类型3;类型3只是一个过渡阶段,直到添加预编译的复杂工作完成,项目可以转移到类型2.5。然而,在未来,类型1或类型2ZK-EVM可能会自愿成为类型3ZK-EVM,方法是添加新的ZK-SNARK友好预编译器,为开发人员提供低验证时间和gas费用成本的功能。

类型4(相当于高级语言)

类型4系统的工作方式是采用用高级语言编写的智能合同源代码(例如,SOLIDITY、VYPER或某种两者都编译为的中间语言),并将其编译成某种明确设计为ZK-snark友好的语言。

优点:验证时间非常快

通过不使用ZK来证明每个EVM执行步骤的所有不同部分,并直接从更高级别的代码开始,可以避免很多开销。

我在这篇文章中只用一句话描述了这一优点(与下面与兼容性相关的缺点的大项目符号列表相比),但这不应被解释为价值判断!直接从高级语言编译确实可以极大地降低成本,并通过使其更容易成为证明者来帮助分散。

缺点:更多的不兼容

一个用Vyper或Solidity编写的“正常”应用程序可以被编译下来,它会「正常工作」,但有一些重要的方面,很多应用程序不是「正常工作」的:

合约在类型4系统中的地址可能不同于它们在EVM中的地址,因为CREATE2协定地址取决于确切的字节码。这打破了依赖于尚未部署的“反事实合同”、ERC-4337钱包、EIP-2470单例和许多其他应用程序的应用程序。

手写的EVM字节码更难使用。为了提高效率,许多应用程序在某些部分使用手写EVM字节码。类型4系统可能不支持它,尽管有一些方法可以实现有限的EVM字节码支持来满足这些用例,而不需要努力成为一个完整的Type3ZK-EVM。

许多调试基础设施不能继续,因为这些基础设施运行在EVM字节码上。也就是说,通过更多地从“传统”高级或中间语言访问调试基础设施,这一缺点得到了缓解(例如,LLVM)。

开发人员应该注意这些问题。

构建者是谁?

ZKSync是一个类型4的系统,尽管随着时间的推移,它可能会增加对EVM字节码的兼容性。NetherMind的Warp项目正在构建一个从Solidity到Starkware的Cairo编译器,这将把StarkNet变成事实上的类型4系统。

几类ZK-EVM的未来

这些类型并不是明确地比其他类型「更好」或「更差」。相反,它们在权衡空间上是不同的点:编码难度较低的类型与现有基础设施更兼容,但速度较慢;编码难度较高的类型与现有基础设施不太兼容,但速度更快。总体而言,所有这些类型的人都在探索,这对这个领域是健康的。

ZK-EVM可以从类型3开始,决定不包括一些特别难ZK-证明的功能。稍后,他们可以随着时间的推移添加这些功能,并转移到类型2。

ZK-EVM可以从类型2开始,然后通过提供在全以太兼容模式下运行或使用可以更快证明的经修改的状态树的可能性而变成混合型2/类型1ZK-EVM。Sroll正在考虑朝这个方向发展。

从类型4开始的系统可能会随着时间的推移而变成类型3,因为后来添加了处理EVM代码的能力(尽管仍鼓励开发人员直接从高级语言编译,以减少费用和验证时间)。

如果Etherum本身采用其修改以努力变得对ZK更友好,则类型2或类型3ZK-EVM可以成为类型1ZK-EVM。

类型1或类型2的ZK-EVM可以通过添加预编译器来验证ZK-SNARK友好语言中的代码,从而成为类型3?ZK-EVM。这将让开发人员在以太兼容性和速度之间做出选择,这将是类型3,因为它打破了完美EVM的同等性,但从实际目的和目的来看,它将具有类型1和类型2的许多好处。主要缺点可能是一些开发人员工具不理解ZK-EVM的定制预编译,尽管这是可以修复的:开发人员工具可以通过支持包括预编译的EVM代码等价实现的配置格式来添加通用预编译支持。

就我个人而言,我希望随着时间的推移,所有的东西都会变成类型1,通过改进ZK-EVM和改进以太坊本身来使其更适合ZK-Snark。在这样的未来,我们将有多个ZK-EVM实现,既可以用于ZKrollups,也可以用于验证以太坊本身。从理论上讲,以太坊没有必要为L1使用的单个ZK-EVM实现进行标准化;不同的客户端可以使用不同的证明,因此我们继续受益于代码冗余。

然而,我们需要相当长的时间才能达到这样的未来。与此同时,我们将在扩展以太坊和基于以太坊的ZK-汇总的不同途径上看到许多创新。

原文链接

标签:以太坊HERVITROLL以太坊硬币ETHDCryptoHeroesVITESroll币是什么意思

以太坊交易热门资讯
OIN:Coinweb正式上线OnRamp平台,提供完整法币轨道权限_ramp币与lever

OnRamp是基于Coinweb区块链技术支持的新型支付解决方案Coinweb自豪地宣布其法币出、入匝解决方案服务平台OnRamp的正式上线.

1900/1/1 0:00:00
COI:關於KuCoin槓桿新增最大持倉量限額的公告_kucointop

親愛的KuCoin用戶:為了降低KuCoin槓桿市場風險,保護槓桿交易者的權益,KuCoin槓桿將於2022年8月10日新增最大持倉量限額功能.

1900/1/1 0:00:00
SOL:Solana VS EGLD 竞争成Web3 区块链生态系统_MSOL

SolanaVSEgld两个流行的加密货币区块链竞争成为未来主要的Web3区块链商业生态系统。本文将对每个项目进行比较概述,为潜在投资者、质押者和验证者提供有用的数据,并对每个项目提出次的正面评.

1900/1/1 0:00:00
ETH:ETH分叉对币圈真的是利好吗?我们普通人应该如何把握风口?_WETA VR

一、分叉币散户绝不要购买,任何投机下场都是死。二、分叉不是利好,而是必将出现的暴跌和利空。三、和此前相同点:仍是利益之争。四、和此前不同点:后详.

1900/1/1 0:00:00
TPS:關於API更新的公告_WWW

為給用戶提供更好的交易體驗,AAX計劃於2022年8月7日對現貨與合約查詢歷史訂單接口進行優化,其中已撤銷且無任何成交的訂單將只會保留最近12小時的數據.

1900/1/1 0:00:00
ETF:ETF交易0门槛获空投,收益比拼奖池您来定_COI

CoinW即将开启新一期ETF交易空投活动,活动期间每日参与ETF交易活动均可获得活动奖励,活动详情如下:活动时间:2022/8/1012:00–2022/8/1524:00一、参与ETF交易即.

1900/1/1 0:00:00