宇宙链 宇宙链
Ctrl+D收藏宇宙链

ZK/Optimistic 混合 Rollup 探讨

作者:

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

作者:kelvinfichter;编译:MarsBit,MK

我最近深信,以太坊 Rollup 的未来实际上是两种主要方法(ZK 和 Optimistic)的混合体。在这篇文章中,我会尝试解释我所想象的基本架构,并解释为什么我认为这是最好的前进道路。

我不打算花太多时间讨论 ZK 或 Optimistic Rollups 的本质。这篇文章假设你已经对这些东西的工作原理有了不错的理解。你不需要是专家,但你至少应该知道它们是什么,以及它们在高层次上是如何工作的。如果我试图向你解释 Rollups,这篇文章将会非常、非常长。总之,请享受阅读吧!

从 Optimistic Rollup 开始

混合 ZK/Optimistic Rollup 以 Optimistic Rollup 的形式开始,这种 Rollup 与 Optimism 的 Bedrock 架构非常相似。Bedrock 旨在与以太坊(“EVM Equivalent”)达到最大程度的兼容,并通过运行几乎与普通以太坊客户端相同的执行客户端来实现这一目标。Bedrock 使用以太坊即将出现的共识/执行客户端分离模型,显著降低了对 EVM 的差异(总是需要进行一些改变,但我们可以管理这一点)。在我写这篇文章时,Bedrock Geth 的差异是一个+388 -30的提交。

Polyhedra建立在LayerZero的zk轻客户端新增支持Fantom:6月1日消息,ZK基础设施初创公司Polyhedra Network发推宣布其建立在LayerZero的zk轻客户端新增支持Fantom,Polyhedra为Fantom上零知识证明的大量采用提供支持。[2023/6/2 11:53:21]

像任何优秀的 Rollup 一样,Optimism 从以太坊获取区块/交易数据,在共识客户端内以某种确定的方式对这些数据进行排序,然后将这些数据输入到 L2 执行客户端以供执行。这种架构解决了“理想 Rollup”谜题的前半部分,为我们提供了一个 EVM Equivalent 的 L2。

当然,我们现在也需要解决如何以可证明的方式告诉以太坊 Optimism 内部正在发生什么的问题。如果没有这个特性,合约就无法根据 Optimism 的状态做出决策。这将意味着,用户可以存入 Optimism,但永远无法取出他们的资产。虽然在某些情况下,单向 Rollup 可能实际上是有用的,但在一般情况下,双向 Rollup 更有用。

我们可以通过给出对该状态的承诺以及证明该承诺正确生成的证据,告诉以太坊任何 Rollup 的状态。另一种说法是,我们正在证明“Rollup程序”被正确执行。ZK 和 Optimistic Rollups 之间的唯一真正的区别是这个证明的形式。在 ZK Rollup 中,你需要给出明确的 ZK 证明,证明程序被正确执行。在 Optimistic Rollup 中,你对承诺提出声明,但没有明确的证明。其他用户可以挑战你的声明,并迫使你进行一场反复的游戏,最终你会弄清楚谁是正确的。

安全消息:zk.money疑似出现Bug,同一个地址收款两次以上后可发送余额显示有误:8月22日消息,据Aztec官方Discord消息显示,隐私DeFi服务zk.money疑似出现Bug,同一个地址收款两次以上,用户将需要分开多次转账来增加显示可用余额,在未来的几周时间会在新系统修复这个问题,自动合并用户的余额,让用户的可发送余额显示正常。[2022/8/22 12:39:44]

我不会过多地详述 Optimistic Rollup 挑战游戏的细节。值得注意的是,这个游戏的最新技术是将你的程序(在 Optimism 的情况下是 Geth EVM +一些边缘部分)编译成一些简单的机器架构,比如 MIPS。我们这样做是因为我们需要在链上为我们的程序构建一个解释器,构建 MIPS 解释器比构建 EVM 解释器要容易得多。EVM 也是一个不断变化的目标(我们有定期的升级分叉),并且并未完全包含我们想要证明的程序(里面也有一些非 EVM 的东西)。

一旦你为你的简单机器架构构建了一个链上的解释器,并且创建了一些链下的工具,你应该就拥有了一个功能完全的 Optimistic Rollup。

转化为 ZK Rollup

总的来说,我认为至少在接下来的几年里,Optimistic Rollups 将占据主导地位。有些人认为 ZK Rollups 最终会超越 Optimistic Rollups,但我认为这可能是错误的。我认为 Optimistic Rollups 今天的相对简单性和灵活性意味着它们可以随着时间的推移转变为 ZK Rollups。如果我们能够找出一个使之实现的模型,那么当你可以简单地部署到现有的 Optimistic 系统并称之为一天的工作时,真的没有强烈的动力去部署一个不太灵活、更脆弱的 ZK 系统。

zkSNACKs:设置黑名单是为了让比特币隐私技术生存下来:3月29日消息,zkSNACKs官方博客今日发文称,两周前,赞助Wasabi Wallet开发的公司zkSNACKs宣布将拒绝某些UTXO注册到由公司协调的coinjoins,设施黑名单是为了实现更大的目标,即让最好的比特币隐私技术得以生存。随设置黑名单并不可取,但对于比特币隐私的未来而言,这是一个很小的代价。zkSNACKs强调,黑名单不是为了要禁止俄罗斯人,为了确保项目的生存,该公司选择按照社会要求的方式行事,即使其在哲学上并不与之保持一致。Wasabi Wallet的匿名技术导致了法律挑战,这迫使该公司在停止运营或引入黑名单之间做出选择。如果没有zkSNACKs公司,继续资助开发Wasabi 2.0的开发人员将更加困难。因此,为了项目不中断,该公司选择引入黑名单。此前消息,Wasabi钱包的混币服务CoinJoin将与非法活动相关的比特币列入黑名单。[2022/3/29 14:24:30]

因此,我的目标是创建一个架构和迁移路径,使现有的现代 Optimistic 系统(比如 Bedrock)可以无缝地转变为 ZK 系统。以下是我认为这不仅可以实现,而且可以以一种超越当前 zkEVM 方法的方式实现的方法。

我们从我上面描述的 Bedrock 风格的架构开始。注意,我(简单地)解释了 Bedrock 如何有一个挑战游戏,可以断言 L2 程序(运行 EVM +一些额外东将其转化为 ZK Rollup

Layer2网络zkSync总锁仓量达到1.41亿美元,创历史新高:金色财经消息,据L2BEAT数据,基于零知识证明的Layer2网络zkSync总锁仓量突破1.4亿美元,创历史新高,7日增幅85.53%。此外,最近一周内zkSync网络资金净流入接近2500万美元。[2022/3/21 14:09:00]

总的来说,我认为在未来几年内,Optimistic Rollup将会占主导地位。有一种观点认为ZK Rollup最终会超越Optimistic Rollup,但我认为这可能是错误的。我认为Optimistic Rollup的相对简单性和灵活性意味着它们可以随着时间的推移转变为ZK Rollup。如果我们能找出一种让这种转变发生的模型,那么在你可以简单地部署到现有的Optimistic系统并结束一天的工作时,就真的没有强烈的动力去部署到一个较不灵活且更易出问题的ZK系统了。

因此,我的目标是创建一种架构和迁移路径,允许现有的现代Optimistic系统(如Bedrock)无缝转变为ZK系统。我相信,以下是一种不仅可以使这种转变发生,而且可以以一种超越当今的zkEVM方法的方式进行转变的方法。

我们从我之前描述的Bedrock风格的架构开始。注意,我(简要地)解释了Bedrock是如何拥有一个可以断言L2程序(运行EVM+一些额外内容的MIPS程序)执行的有效性的挑战游戏的。这种方法的主要缺点之一是,我们需要预留一段时间让用户能够检测到并成功挑战一个错误的程序结果提议。这使得资产提现过程增加了相当多的时间(当前Optimism主网上为7天)。

zkTube Labs发布关于zkTube测试网络更新公告:据zkTube Labs官方消息,zkTube测试网络已于7月13日6:00(UTC)完成初步更新,所有参与测试网络节点部署用户须更新至该版本或重新下载才可正常运行。该版本包含一些细节的修复与优化,具体更新内容包括:

1、网络数据迭代;

2、增加了对协议数据的检查;

3、针对网络节点不稳定出现掉线情况进行了优化;

4、任务调度机制优化(符合在线时长及官方配置要求的节点将共同参与竞选任务份额)。

zkTube官方表示:“以上更新对于稳健和可扩展的节点网络部署非常关键,在当前Layer2赛道竞争日益激烈的环境中,zkTube测试网的每一次迭代更新都承载了全球所有用户的期望,更是满足现阶段区块链网络发展需求,获得更高价值认可,迈向zkTube全球化的重要路径。”[2021/7/13 0:48:07]

然而,我们的L2只是在一个简单的机器(MIPS)上运行的一个程序。完全有可能为这种简单的机器构建一个ZK电路。然后我们可以使用这个电路来明确地证明L2程序的正确执行。而无需对当前的Bedrock代码库做任何改动,你就可以开始为Optimism发布有效性证明。这真的就是这么简单。

为什么这种方法如此好

快速说明:在本节中,我提到了"zkMIPS",但实际上我是用它来代指任何通用的"简单"zkVM。

zkMIPS比zkEVM更简单

构建一个zkMIPS(或者zk[插入其他机器名])而不是zkEVM的一个巨大的好处是,目标机器的架构是简单且静态的。EVM的变化频繁。Gas价格会改变,操作码会被调整,有些东西会被添加或删除。而MIPS-V自1996年以来一直没有改变。通过目标zkMIPS,你在一个固定的问题空间上工作。每次EVM更新,你不需要改变并可能重新审核你的电路。

zkMIPS比zkEVM更灵活

另一个关键的争论点是,zkMIPS比zkEVM更灵活。使用zkMIPS,你有更多的灵活性来随意修改客户端代码,以实现各种优化或用户体验改进。客户端更新不再需要随着电路更新而来。你还可以创建一个核心组件,可以用来将任何区块链转变为ZK Rollup,而不仅仅是以太坊。

你的问题转变为证明时间

ZK证明时间沿着两个轴进行扩展:约束数量和电路大小。通过关注像MIPS这样的简单机器的电路(而不是像EVM这样的更复杂的机器),我们能够显著减少电路的大小和复杂性。然而,约束的数量取决于执行的机器指令的数量。每个EVM操作码都被分解为多个MIPS操作码,这意味着约束的数量显著增加,总体的证明时间也显著增加。

但减少证明时间是一个坚固地根植于Web2空间的问题。鉴于MIPS机器架构在不久的将来不会有任何改变,我们可以高度优化我们的电路和证明程序,而不必担心EVM在后期的变化。我非常确信,能够优化一个明确定义的程序的硬件工程师的招聘池至少是构建和审计一个不断变化的zkEVM目标的招聘池的10倍(如果不是100倍)。像Netflix这样的公司可能有很多硬件工程师在优化转码芯片上工作,他们很乐意接受一堆风险投资的钱,来应对一个有趣的ZK挑战。

这种电路的最初证明时间可能超过7天的Optimistic Rollup提款期。随着时间的推移,这个证明时间只会减少。通过引入ASIC和FPGA,我们可以大大加快证明时间。有了一个静态目标,我们可以构建更优化的证明器。

最终,这个电路的证明时间将低于当前的7天Optimistic Rollup提款期,我们可以开始考虑取消Optimistic的挑战过程。运行一个证明程序7天可能仍然过于昂贵,因此我们可能还想再等一段时间,但是这个观点依然成立。你甚至可以同时运行两个证明系统,这样我们就可以立即开始使用ZK证明,并且如果出于某种原因证明程序失败,我们可以回到Optimistic证明。当准备好的时候,很容易以对应用完全透明的方式转向ZK证明。没有其他的系统可以提供这种灵活性和平滑的迁移路径。

你可以关注其他重要的问题

运行一个区块链是一项困难的任务,它不仅涉及编写大量的后端代码。我们在Optimism所做的大部分工作都集中在通过有用的客户端工具改善用户和开发者体验上。我们也花费了大量的时间和精力处理"软"性方面的事情:与项目对话,理解痛点,设计激励。你在链软件上花费的时间越多,就越少时间去考虑这些其他的事情。你总是可以尝试雇佣更多的人,但是组织并不是线性扩展的,每增加一个新的雇员都会增加内部通信的负担。

由于ZK电路工作可以被添加到现有的运行链上,你可以并行地开展核心平台和证明软件的构建工作。而且,由于客户端可以在不更改电路的情况下被修改,你就可以分离你的客户端和证明团队。采取这种方法的Optimistic Rollup可能会在实际的链上活动方面领先ZK竞争者很多年。

一些结论

完全坦率地说,我无法看到这种方法在假设zkMIPS证明者可以随着时间大幅度优化的情况下有任何显著的缺点。我认为对应用的唯一实际影响是,可能需要调整不同操作码的气体费用,以反映这些操作码添加的证明时间。如果真的无法将这个证明者优化到一个合理的水平,那么我就承认失败。如果实际上可能优化这个证明者,那么zkMIPS/zkVM的方法似乎比当前的zkEVM的方法要好得多,以至于可能完全使后者过时。这可能看起来像是一个激进的声明,但是不久前,单步的Optimistic故障证明被多步证明完全取代。

MarsBit

媒体专栏

阅读更多

金色财经

金色荐读

Block unicorn

金色财经 善欧巴

区块链骑士

Foresight News

深潮TechFlow

标签:PTIOPTITIMROLLPTI币OPTIG价格ShowTime PotocolTROLLBNB

比特币行情热门资讯
全球首届元宇宙时装周有些拉垮,“下一个金矿”会是虚拟时尚?

来源:澎湃新闻 作者:茅雯婷 从虚拟偶像到数字藏品,许多奢侈及时尚品牌希望抓住围绕元宇宙所采用的新兴技术带来的机遇。尽管适应过程比较慢.

1900/1/1 0:00:00
大厂打工人的新出路,All in Web3

来源:深潮撰文&采访:0x5willows面对三月上旬中概股史无前例的一泻千里,纵是财大气粗的互联网大厂也坐不住了,Web2大厂频繁传出裁员消息.

1900/1/1 0:00:00
Solana Q2报告:DEX平均交易量同比增长3倍 日活跃地址30万

原文来源:Step Finance  编译: Odaily 星球日报 近日.

1900/1/1 0:00:00
XRP判决中谁是赢家谁是输家?

作者:Jack Inabinet,Bankless作者;翻译:金色财经xiaozou2023年虽然刚刚过半.

1900/1/1 0:00:00
无聊猿 + Punk 可以生一个 Rich Baby,NFT 富二代?

文/Jasur 就在上个月,BAYC(BoredApeYachtClub)正式推出了属于无聊猿的“猿宇宙”代币ApeCoin,链茶馆也对其进行了介绍.

1900/1/1 0:00:00
FTX 前高管因向女友竞选活动非法捐款而接受调查

作者:Rodney Holmes,CRYPTOSAURUS;编译:松雪,金色财经 总论 FTX 前高管 Ryan Salame 因涉嫌向女友的竞选活动非法捐款而接受调查.

1900/1/1 0:00:00