木星链 木星链
Ctrl+D收藏木星链
首页 > USDC > 正文

LAYER:疯狂的多链宇宙 疯狂的OP Stack

作者:

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

一场属于 “一键发链” 的疯狂即将到来!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 就像今天将智能合约部署到以太坊一样简单,让叙事变化由“一键发币”走向“一键发链”。本质上而言,超级链是一个可横向扩展的区块链网络,与各链之间共享以太坊的安全性、通信层以及开发套件。

特斯拉创始人对“比特币是修复储备银行疯狂通胀的补丁”的观点表示赞同:近日,SpaceX和特斯拉创始人Elon Musk与一名推特用户探讨“货币只是在时空上转移价值的工具”。推特用户/img/202386162917/3.jpg" />

YBB Capital Researcher Ac-Core 自制以太坊的无限区块空间是实现大规模应用的关键一步,但这种扩散也带来了分裂,无权限部署也迎来了新挑战,如今,每个新的 OP Stack 链都在自己的领域中独立生长,没有分享标准和改进的直接方法。用户和建设者也面临着巨大的挑战:根据安全性、质量和中立性对众多不同的链进行单独评估。为了实现超级链,需将 OP Stack 从独立、分散的区块空间转变为一个统一的链集体,共同致力于开放、去中心化的区块空间。“链法则”为乐观主义治理和超级链制定了指导原则。乐观主义治理从管理单个链转变为管理多个链共享的标准,从而定义了成为超级链一部分所需的属性,同时优先保护用户在超级链上进行交易。从根本上讲,“链法则”是一份社会契约(而非法律契约),因此积极的社区讨论至关重要。它的存在将使超级链能够保证以下特性:

确保区块空间保持同质、中立和开放: 对链法的承诺就是对保护链的用户、开发者和其他利益相关者的承诺。无论大小的链,如果是超级链的一部分,都可以在乐观主义治理的支持下,可信地证明其区块空间的同质性、中立性和开放性;

受益于不断改进: 共享升级意味着超级链可以始终获得最好的技术,而无需自己操心维护;

提供更好更可用的基础设施: 由于超级链中的所有链都可信地致力于一个标准,因此它们可以共同努力,确保索引和排序等关键服务的可用性和经济性。

声音 | V神:在没有考虑大型反DoS安全因素的情况下 任何人建立公链都是疯狂的:V神在推特中称,在没有考虑大型反DoS安全因素的情况下,任何人建立公链都是疯狂的。 推特用户John Galt/img/202386162917/4.jpg" />

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的区块链系统奠定了基础。

韩国比特币交易所疯狂从传统银行挖人才:韩国比特币交易所开始“招聘狂欢”,疯狂从传统银行挖人才。已有450名员工的Bithumb表示将再扩招400名全职员工,其中300人进入客服中心,100人在总部;Korbit也要增员60-100人。工作岗位主要涉及IT、海外营销和法律事务,员工可以获得加班补贴,股票期权和奖励金以及交通费,食品津贴,无限购书积分,健身俱乐部会员资格,甚至还有口腔医疗和按摩服务。[2018/1/7]

YBB Capital Researcher Ac-Core 自制完成这项任务意味着需要实现一个零知识证明(ZKP)系统,该系统可以使用 golang 编译器(如 MIPS、RISC-V 或 WASM)支持的指令集架构(ISA)来证明 OP 防错程序 。此外,该证明系统还必须证明标准配置 OP Stack 链的两个区块之间状态转换,从而证明其在实践中是可行的。除了证明 ISA 的标准执行轨迹外,对防错程序的支持还引入了额外的要求 。

具体来说,防错程序引入了Pre-image Oracle 的概念,它使用特殊的System call 将外部数据加载到程序中。每个Fault Proof VM 都负责实现某种机制,通过这种机制,某些数据的哈希值被放置在内存中的特定位置,且被系统调用被执行,然后该哈希值的预映像被加载到内存中供程序使用。Pre-image Oracle也用于引导程序的初始输入。

Espresso Systems于2023年7月21日发推文官宣关于构建 OP Stack 领导选举的去中心化排序验证的提案已被接受,并成为 OP Stack 和 Superchain 的贡献者。其中该项目的主要协议HotShot是一种高速的共识协议,可使用重新抵押来使以太坊验证者能够参与该协议,旨在达到与以太坊验证器集相同的规模。同时该项目还开发了 Espresso Sequencer ,这与功能齐全的 Zk-rollup 实现了集成,特别是 Polygon zkEVM 的分支。

什么是领导选举?

领导选举是指在分布式系统中使用不同的领导者负责创建下一个规范状态转换的能力。在区块链中,领袖选举可以让不同的区块生产者在不同的时间产生区块,同时领导选举算法可以是竞争性的也可以是无竞争性的。

在工作量证明情况下,竞争性领导选举算法是指在同一时间内有许多潜在的单位争相成为领导者。无竞争领导者选举算法是指在某一特定时间点只有一个已知的领导者,在以太坊Gasper的情况下,无竞争性领导选举算法是指在特定时间点只有一个已知的单位,并没有其他方式让另一个潜在单位在那个时间成为领导者。

在将提议者网络和构建者网络分离的情况下(即区块构建者网络只负责选择交易排序,提议者网络只负责签署区块),会将原本负责在某一时刻产生区块的单一实体转变为许多可能存在的实体,且让它们在竞争这某一时刻内构建者网络中最具盈利的潜力区块,与此同时由于MEV的存在,会导致这种竞争性再次回归。

我们在理解不同的 OP Stack 链之间领导选举机制的各种二阶效应是非常困难的。就目前而言,把领导选举作为一种机制是最受欢迎的,因为它可以让排序更加的去中心化。需注意的是这种方案也无法保障排序器是绝对去中心化,所以在考虑去中心化排序器问题时要额外的小心谨慎。

比特币”挖矿”木马疯狂敛财 有僵尸网络获利超300万:广州日报报道用户电脑突然出现计卡顿或者运行慢,甚至死机等情况,严重影响用户计算机的正常使用,除了网速之外,或可能是遇到了目前最隐秘的网络僵尸攻击——网页“挖矿”,这种攻击会导致用户计算机资源被严重占用,而“挖矿”木马则乘机利用用户电脑疯狂敛财,一个僵尸网络从被攻击的用户的电脑中获利可超300万元人民币。信息安全专家表示,随着包括比特币等数字货币交易价格的火爆,加上自身不易被察觉的特点,“挖矿”木马今年急剧增加,成为威胁网络安全的另一大隐患。[2017/12/22]

以太坊的原理是,每个节点都存储且执行用户提交给它的每笔交易,这种高级别的安全方式也导致整个网络十分昂贵,所以需要为整个网络扩容而采取了Rollup解决方案。简单来说Rollup = Layer1的一组合约 + Layer2的自身网络节点,即链上智能合约 + 链下聚合器,将结算,共识,数据可用性均依赖以太坊,自己仅负责执行 Rollup。

链上智能合约,表示了它的信任模型就是以太坊上的一个智能合约,借用了以太坊的安全性;

链下聚合器,表示它会链下执行并聚合交易,将大批量的交易进行压缩,并最终放上以太坊主网,达成更快且更便宜的目的。

Layer2网络节点又有很多部分组成,其中排序器(Sequencer)组件最为重要。它负责接收Layer2上的交易请求,以此决定他们的执行次序并将交易序列进行打包批次(Batch),最终传送给Rollup项目在Layer1上的合约。需要注意的是在开始下文前需明确一个事实:如下图参考,目前以太坊所有Layer2 Rollups的排序器都是中心化的。

图源:官方推文截图中心化的排序器问题: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

标签:LAYERSTASTACSTACKlayer币和uniswap的关系STARCstacks币价格Cardstack

USDC热门资讯
Cloud:a16z最新揭秘:成功的初创公司是如何将顶尖人才收入麾下的

作者:深思SenseAI1))基于大量创始人的观察,擅长从 0 到 1,和擅长 1 到 100 的人,在能力模型、思考方式、管理方法和半径上,都有很大不同;在一个稳定流程化驱动的组织里.

1900/1/1 0:00:00
BASE:金色观察丨Q2财报曝光Coinbase存在三大隐患

金色财经 区块链8月5日讯 美国头部加密交易所Coinbase昨日公布2023年二季度财报,其7.08 亿美元的营收超出分析师预期,其股价也在盘后交易中上涨1.6%至92.23美元.

1900/1/1 0:00:00
NBS:知微见著:速览1inch二季度生态进展报告关键点

原文作者:Ryan Celaj 原文来源:Messari 翻译:星球日报1inch DAO 投票决定停止收集 Swap 盈余(Swap Surplus).

1900/1/1 0:00:00
ASP:编译器漏洞无解?Runtime Protection实现DeFi链上风控保护

重入攻击仍然是一个挑战,现有的防御手段主要集中在协议源代码层面,仅在合约进入 runtime 状态前生效「运行时保护」是 DeFi 安全的重要补充,它以「保护执行结果」为目的.

1900/1/1 0:00:00
OSMO:告别萧条 速览 Cosmos 生态近期值得关注的 10 个理由

作者:Curious J, 加密 KOL 编译:Felix, PANews永续合约崛起、新链上线、代币经济学升级,不温不火的 Cosmos 在熊市不断深耕下.

1900/1/1 0:00:00
稳定币:律师:MiCA法案的稳定币交易上限阻碍了加密货币的采用

作者:TOM MITCHELHILL,COINTELEGRAPH;编译:松雪,金色财经欧盟加密资产市场(MiCA)立法中的每日交易上限可能会“抑制”稳定币的使用,一些人呼吁修改该框架.

1900/1/1 0:00:00