一场属于 “一键发链” 的疯狂即将到来!OP Stack是能够一键创建Layer2的 “超级链”,本篇内容以OP Stack架构、OP里的ZK元素、Rollup的安全性问题三部分进行全面解析。
前言
ETH的主体叙事方向已由Layer1 转向了Layer2,如果还将其理解为“一键发币”的ERC-20叙事,我们不妨放大格局展开想象,一场属于 “一键发链” 的疯狂即将到来!依托目前无人能及的生态和居高不下的TVL,Arbitrum 一直引领着 Layer2 之间的战争,但这暂时的胜利能持续很久吗?与 Arbitrum Orbit 再上一层的 Layer3 方案不同,OP Stack是能够一键创建Layer2的 “超级链”。本篇内容以OP Stack架构、OP里的ZK元素、Rollup的安全性问题三部分进行全面解析。
YBB Capital Researcher Ac-Core 自制下轮牛市的叙事从哪开始?是从高性能的Layer1,继续堆高的Layer3,ZK系的Layer2,还是OP Stack的超级链?这是一个非常有趣且值得深思的问题。以太杀手这个称号仍然是万众公链不可逾越的究极目标,而在这个庞大的巨人里还暗藏着很多不可忽视的超级内核,其中一个便是:OP Stack。
OP Stack 可理解为一组开源的软件组件,使任何人都可以使用Optimistic rollups 在以太坊之上构建自己的Layer2 区块链。它将大部分计算和存储移至链外,同时依赖以太坊来确保安全性和最终性,从技术层面来讲,Optimism 主要体现在它切实地为用户节省了大量链上费用。OP Stack由四个主要组件组成:
主网:OP Mainnet 是一个廉价且快速的以太坊 Layer2 网络,与以太坊虚拟机EVM相兼容;
合约:实现OP Stack核心逻辑和功能的智能合约。OP合约包括状态转换系统(STS)、欺诈证明者 (FP)、状态承诺链(SCC)以及规范交易链(CTC);
服务:提供 Layer1 和 Layer2 之间的数据可用性、数据同步和通信服务;
工具:促进基于 OP Stack 的区块链的开发、测试、部署、监控和调试。
OP Stack 将被打造为可分叉模块化扩展区块链的基础设施,为实现这一远景需将各类Layer2 整合成一个单一的超级链(Superchain),把原本相互孤立的Layer2 集成到一个具备互操作性和组合性的系统中,启动Layer2 就像今天将智能合约部署到以太坊一样简单,让叙事变化由“一键发币”走向“一键发链”。本质上而言,超级链是一个可横向扩展的区块链网络,与各链之间共享以太坊的安全性、通信层以及开发套件。
马斯克:过去几个月比特币能源使用趋势异常疯狂:5月13日消息,特斯拉CEO埃隆·马斯克(谈及比特币)表示:过去几个月能源使用趋势异常疯狂。[2021/5/13 21:59:07]
YBB Capital Researcher Ac-Core 自制OP Stack (Over Powered Stack)将成为超级链背后统一的模块化开发堆栈,且它们之间是无数可相互链接、可通信的区块链。OP Stack堆栈由专门的 Optimism Collective 负责整体的开发和维护,并支持用于部署新汇总网络的共享开源系统。与此同时它也是一套标准化的开源模块。这样一听它岂不是一个完全基于以太坊安全性的Cosmos!当初说好的ETH与ATOM两者互补,现在却让OP Stack成为了Cosmos杀手?接下来让我们把OP Stack的定义给拆解一下:
模块是任何开发人员可以插入 OP Stack 的数据位。而这套超级链的"标准化" 意味着对一个模块的标准有共识,并且它可以被所有人实现。同时完全开源意味着它可以免费提供给任何人进行开发迭代和消息请求。开发人员有能力在一个链的不同执行层、共识层、结算层和数据可用性层进行切换模块。
好比dYdX 选择离开以太坊转向 Cosmos 应用链,其根本原因是他们希望自己链上的共识层有更大的模块化,我认为这是一个很好的开始,让更多独立的Dapps选择更符合自身的公链进行开发,其中最具有代表性的是Luna,虽然出于一些原因它被毁灭了。值得庆幸的是OP Stack 解决了这个问题,它的设计可以用更容易的方式进行代码分叉,让开发人员可以很容易地抽象出区块链的不同组成部分,并通过插入不同的模块来修改它。
效能:可以使用OP Stack构建任何东西并一键发行区块链;
简洁:利用可复用的代码和现成开发套件,以增强安全性和降低维护的复杂性,达到整体降低门槛的作用;
可扩展:Optimism Collective 将会完整开源OP Stack的主要代码。
在架构上,OP Stack可自下而上分为六层,分别是DA Layer数据可用层、Sequencing Layer 排序层、Derivation Layer衍生层、Execution Layer执行层、Settlement Layer 结算层、Governance Layer治理层。OP Stack 的每一层都是模块化的API 组建,可以随意进行组合和解耦。其中最为关键的是DA数据可用层、执行层和结算层,三者构成了OP Stack的主要工作流程。
DA数据可用性层:是OP Stack的原始数据来源,可使用单个或多个数据可用性模块来获取输入数据,目前以太坊是最主要的DA层,但未来也会有更多的链加入进来;
执行层:OP Stack中的状态结构,可为EVM 或其他VM提供可能性,增加了在以太坊上发起的Layer2 交易的支持,同时为每笔交易增加额外的Layer1 数据费用,向以太坊发布交易的综合成本。
结算层:OP Stack上Layer2交易数据的去处,在Layer2确认后将信息发送到目标区块链,以此最终结算。未来也有望接入ZK等有效性证明机制,以打通不同链之间的隔阂,甚至可以链接OP系Layer2和ZK系Layer2之间的孤岛。
CoinShares首席战略官:与特斯拉这样的股票相比 比特币似乎并不那么疯狂:12月22日消息,CoinShares首席战略官Meltem Demirors表示,在过去的一年中,尽管经济受Covid-19大流行影响,全球主要市场指数仍突破了历史高位,但现在比特币的波动性相对较小。周一,特斯拉的股票被纳入标准普尔500指数中,到2020年迄今已飙升676%以上。而比特币上涨了约220%。对比股票市场的天价上涨,比特币的上涨实际上并不那么疯狂。Meltem Demirors表示,接触比特币曾经会带来职业风险,现在不接触比特币则会带来职业风险。过去九个月,世界发生了很大变化。(cnbc)[2020/12/22 16:06:49]
我们观察到近期OP生态发展出了一些带有ZK元素的项目,不妨大胆想象一下,如某个 Optimistic rollup 想把自己改造成 ZK rollup,没问题!只要把它的欺诈证明模块换成结算层的有效性证明模块即可。如果某条链想把 Celestia 用于其数据可用性层。没问题!把以太坊换成 Celestia 就行。想把执行层的 EVM 换成另一种虚拟机,可惜的是这只能是 OP Stack 的一个技术可能性。正如这种超级链局面的出现而诞生出一个热梗——“Polygon:我要做ZK Layer2的Cosmos!Optimism:我要做OP Layer2的Cosmos! Cosmos:那我是谁?”
YBB Capital Researcher Ac-Core 自制以太坊的无限区块空间是实现大规模应用的关键一步,但这种扩散也带来了分裂,无权限部署也迎来了新挑战,如今,每个新的 OP Stack 链都在自己的领域中独立生长,没有分享标准和改进的直接方法。用户和建设者也面临着巨大的挑战:根据安全性、质量和中立性对众多不同的链进行单独评估。为了实现超级链,需将 OP Stack 从独立、分散的区块空间转变为一个统一的链集体,共同致力于开放、去中心化的区块空间。“链法则”为乐观主义治理和超级链制定了指导原则。乐观主义治理从管理单个链转变为管理多个链共享的标准,从而定义了成为超级链一部分所需的属性,同时优先保护用户在超级链上进行交易。从根本上讲,“链法则”是一份社会契约(而非法律契约),因此积极的社区讨论至关重要。它的存在将使超级链能够保证以下特性:
确保区块空间保持同质、中立和开放: 对链法的承诺就是对保护链的用户、开发者和其他利益相关者的承诺。无论大小的链,如果是超级链的一部分,都可以在乐观主义治理的支持下,可信地证明其区块空间的同质性、中立性和开放性;
受益于不断改进: 共享升级意味着超级链可以始终获得最好的技术,而无需自己操心维护;
提供更好更可用的基础设施: 由于超级链中的所有链都可信地致力于一个标准,因此它们可以共同努力,确保索引和排序等关键服务的可用性和经济性。
OP Stack能否反哺OP?
OP Token到底有什么用途,如果以Basechain的方式,他们会把一部分收入反哺给到Optimism Collective,那么“国库”的收入来源会依托自身的“价值”,依靠创造更多的叙事来最终反馈到币价上,使得OP在二级市场的表现逻辑与ATOM类似,但这种方案或许是目前最优的,如有更多的链条效仿Basechain的方式进行反哺,Optimism Collective终将受益。这种感觉是否让我们想到UNI?两者项目本身都具有雄厚实力但Token自身除了投票和治理外并没有其他价值用途。与此不同的是,目前Layer2都面临着中心化排序器问题,即使 Layer2 代币仅用于某种形式的领导者选择(而非共识投票),但排序权的价值仍会累积到 Rullop 代币上。
V神:DeFi收益耕作就像央行疯狂印钞:以太坊联合创始人Vitalik Buterin认为,DeFi收益耕作就像中央银行为拯救经济疯狂印钞一样是不可持续的,而且他对目前DeFi市场热潮持怀疑态度。Vitalik Buterin还暗示说:到目前为止,我看到产生长期费用的唯一策略是某种怪异的金融攻击,抢夺流动性并从未掉期交易中窃取网络效应,我对这种策略感到悲观。有人认为Vitalik Buterin这种说辞可能在暗示Uniswap+收益耕作工具Sushiswap。Vitalik Buterin建议最好完全摆脱收益耕作,直到它逐渐发展为一个更具可持续性的行业。(decrypto)[2020/9/1]
与此同时OP团队在7月25日的时候发布了Law of Chain提案,所有采用OP Stack的链启动共享治理模型和排序器,希望将“利润反哺”这个模式进行规范化,从而为整个OP系带来更多收益(如上述OP Stack法则),这相比于Cosmos的共享安全模型,堪称异曲同工之妙。
OP Stack 和 ZK Stack的区别:
OP Stack:多链单选择
通过上文我们不难发现OP Stack采用的与Cosmos相似的多链模式,但选择方面只有一个,因为OP Stack 追求各个链都需验证其他链的交易,否则就需要在 Layer1 上等待数天才会有结果,所以单一且共享的排序器,集中式的MEV分配以及受法约与管理的保护是唯一让Optimistic rollups 在不同链之间实现无缝互操作性的可能。
ZK Stack:多链多选择
与OP Stack不同的是,ZK Stack同样可以多个链,但它可有多种选择,可选自己的排序器,按自己方式去处理MEV,且受数学和代码的保护(注意:OP Stack是受法约与管理的保护)。这是因为如果ZK采用指定共享或极少量的线程集,那它们彼此之间单依数学即可盲目的信任,使零知识证明失去价值。
YBB Capital Researcher Ac-Core 自制OP Stack 是一套完全开放的架构,会让生态里出现zkvm、zkmips、zkwasm、zkevm成为可能,但相比于 “ 正统的ZK ” ,OP Stack 里也产生了一些不一样的ZK元素。这让我们情不自禁地联想到,也许在不久的将来能出现一次OP rollup 与ZK rollup 的梦幻联动。
根据最新的进展,Mina的背后团队计划采用他们自己的plonk系统 + kzg承诺 + folding 算法 nova 来实现 OP Stack 上的 zkmips vm 。虽然这仅是一个最新提案会存在较多不成熟的地方,但这也是非常值得我们去探索的。该项目团队的使命是让Layer2与Layer1及OP各个链之间通过零知识证明来实现安全低延迟的跨链通信。这是一个针对良好支持的指令集架构(ISA)的零知识证明(ZKP),它可以证明Optimism容错程序的行为,为能够证明任何基于OP Stack的区块链系统奠定了基础。
声音 | V神:在没有考虑大型反DoS安全因素的情况下 任何人建立公链都是疯狂的:V神在推特中称,在没有考虑大型反DoS安全因素的情况下,任何人建立公链都是疯狂的。 推特用户John Galt/img/202386162917/6.jpg">
图源:官方推文截图中心化的排序器问题:Layer2的全节点可以通过两种方式获得交易序列:一是直接从排序器获取,二是读取排序器发送到Layer1的交易批次(Batch)但后者拥有更强的不可修改属性。由于交易执行会改变区块链账本的状态,为确保一致性,Layer2全节点除了需要获得交易次序,还必须与排序器同步账本状态。因此,排序器的任务不仅是将交易批次发送到Layer1的Rollup合约,还要将交易执行后的状态更新结果StateRoot/StateDiff传送至Layer1,通俗来讲排序器的工作是将交易处理和排序为添加到区块链中的块,负责批量处理交易并将其发布到 Layer1 智能合约。
对于Layer2的全节点来说,只要获取了Layer1上Rollup的交易序列和最初的StateRoot,就能够还原出Layer2的区块链账本,并计算得出最新的StateRoot。反之,Layer2全节点自己计算得到的StateRoot与排序器发布到Layer1的StateRoot不一致,就意味着排序器存在欺诈行为。综上相比Layer2自身的网络,Layer1会更加去中心化、去信任(Trustless)和更安全。
YBB Capital Researcher Ac-Core 自制OP Stack:那么问题来了,Layer2 可不可以伪造一些不存在或是一些错误的交易,好比将Layer2的Token资产转移到排序器的运行者地址,再将这些Token资产转移到Layer1上,从而盗取用户资产?答案是:如果想这样做完全是可以的。所以在面对排序器可能存在的欺诈风险时,不同类型的Rollup采用了不同方式的应对措施。
我们拿Optimistic Rollup举例,它允许Layer2全节点提供欺诈证明(Fraud Proof),证明排序器在Layer1发布的数据是错误的。但对于没有欺诈证明的Optimism来说,如果它真想通过排序器来盗走Layer2的用户资产,只需让排序器运行者伪造交易指令,并将其他人在Layer2的资产转移至自己的地址,最后通过Rollup自带的Bridge合约,来把盗来的币转移至Layer1。
为解决这种可能存在的问题,目前解决方案一是靠社区成员和社交媒体等舆论监督达成所谓的“共识”,二是依靠OP做为官方的信用背书。所以综上理论,OP Rollup的安全性至少依靠要有一个能发布欺诈证明的诚实Layer2全节点来保证,既上文“OP Stack 和 ZK Stack的区别”小节中提到的:OP Stack是多链单选择。
YBB Capital Researcher Ac-Core 自制ZK Stack:下面我们来探讨一下ZK Stack,在ZK rollup网络中,存在着Prover节点,它专门负责为排序器发布交易批次,同时生成有效性证明。这些有效性证明在Layer1上有专门的验证合约。只要交易批次及其对应的StateRoot/StateDiff的证明通过Verifier合约验证,交易便得到最终确认。它与OP Stack有所不同的是,ZK rollup在解决排序器欺诈问题时除了依赖Layer2全节点外,还利用了Validity Proof(有效性证明)。ZK rollup的官方桥梁也只会允许通过有效性证明验证的提款交易执行,从安全性方面来看,这显然比Optimism要可靠得多,即上文中“OP Stack 和 ZK Stack的区别”小节中提出的:ZK Stack是多链多选择。
从理论来考虑,ZK rollup的安全由Layer1上的Verifier合约保证或可以说是由Layer1节点完成交易最终确认。与OP rollup的安全性靠最少单个能发布欺诈证明的诚实Layer2全节点相对比,他们都是继承了Layer1(ETH)的安全性,但事实或许严格意义来讲并非如此,不过这已是目前最优解决方案,相比于其他公链,以太坊经历这么多年的发展历程,安全性毋庸置疑是最值得信赖的。
如同区块链三角问题,一个“产品”的综合用户体验似乎也存在着一个三角问题:安全,简单,高效。ZK Stack相比OP Stack,它更加相信依靠数学和代码来提升整体的安全性质,因此大幅提升了整体的复杂性。所以关于ZK也存在几点老生常谈的话题:
YBB Capital Researcher Ac-Core 自制延迟问题:ZK rollup还需要解决Layer2节点向Layer1发布数据的延迟问题。类似于快递运输需要准备包装盒一样,所以每次排序器或Prover向Layer1发送数据都会产生固定的成本;
速度问题:ZK rollup面临着一个挑战,即生成有效性证明的速度较慢。尽管排序器可以在1秒内执行数千笔交易,但为这些交易生成有效性证明可能需要几个小时的时间;
成本问题:为了降低整体成本,很多ZK rollup方案采取了“聚合多个Proof,再一次性发到Layer1上”的策略。这意味着Prover不会立即在生成一个Proof后就发送到Layer1,而是等待多个Proof都生成完毕后,将它们聚合在一起,并一次性发给Layer1上的Verifier合约;
数量问题:如果发起的交易笔数不够多,排序器可能会延迟向Layer1发布数据。举个例子,在市场不活跃的时期,某些Rollup网络可能每半小时才向Layer1发送一次交易批次。
关于更适合的去中心化的排序器解决方案问题,模块化或许是最优的解决方式,因为模块化等同于更大的可定制化,在目前的去中心化工具中主要以以下五种为主:
-Single Sequencer & POA -Based rollup
-DVT x Sequencer -Shared Sequencer
-Bootstrap a New Sequencer Set
我们相信在不仅的将来,以上诸多问题可以通过技术来进一步解决。好比降低有效性证明的生成时间,Optimism承诺近期会发布欺诈证明系统,以及以太坊的Danksharding方案也将大幅降低Rollup的数据成本,去中心化排序器难题也在会攻克,共同为上述问题提供出有效的解决方案。
YBB Capital Researcher Ac-Core 自制超链和超扩展一直是被大家所重点关注的扩展方向,虽目前而言,各个项目仍处于早期发展阶段,但整体都为以太坊带来了更为强大的故事叙事。我们现在可以看到,OP Stack已经获得了较多的采用,众多明星公链也加入其中,比如Coinbase、opBNB、Zora、Worldcoin等众多公链都给予了OP Stack很好的品牌背书。包括近期在6月26日晚,zkSync 宣布推出用于构建定制 ZK rollup 的模块化开源框架 ZK Stack ,这也被许多人认为是 zkSync 团队用来对付 OP Stack 头号的杀手锏。一边是具有先发优势的 OP Stack,一边是具有数学优势的 ZK Stack,总而言之Layer2的任何价值都可以积累到Rollup的代币中来,Layer2 扩容之战才刚刚开始,关于Layer2这场没有硝烟的战争你是如何看待呢?
解释文献:
https://github.com/ethereum-optimism/optimism/blob/develop/specs/fault-proof.md#fault-proof-program
https://github.com/ethereum-optimism/ecosystem-contributions/issues/61
https://github.com/ethereum-optimism/optimism/blob/develop/specs/fault-proof.md#pre-image-oracle
https://en.wikipedia.org/wiki/System_call
https://github.com/ethereum-optimism/optimism/blob/develop/specs/fault-proof.md#fault-proof-vm
https://github.com/ethereum-optimism/ecosystem-contributions/issues/63
YBB Capital
个人专栏
阅读更多
Foresight News
金色财经 Jason.
白话区块链
金色早8点
LD Capital
-R3PO
MarsBit
深潮TechFlow
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。