
如何通俗理解Arbitrum的Nitro技术升级?4个关键机制
撰文:Chloe
Arbitrum 是把原本在以太坊上进行的计算工程转移到 Layer 2 进行,然后不需要进行任何验证就假设这些计算结果是正确的,并将数据发布回以太坊。但是为了避免有人作恶,设置了 7 天的挑战期来缓冲(如果发现有人欺诈就扣保证金)。
Arbitrum 在去年 8 月 31 日推出了升级版的 Nitro,它的费用更低、以太坊兼容性更好以及 zk 证明更简洁,总之是一次全面的升级(而不是针对特定的问题)。不过由于它没有重新发新链,而是从 Arbitrum One 无缝升级,所以还是叫 Arbitrum One。
支撑 Nitro 的关键创新可以概括为四点:证明程序、以 Geth 为核心、实现执行与证明分开、交互式欺诈证明的 Optimistic Rollup。
不需要共识机制的证明程序
Nitro 使用两阶段执行交易。
第一阶段:在 Layer2 自行处理
用户创建了一笔交易,经过钱包签名确认后,会发送给 Nitro 的 Sequencer(序列器)。
Sequencer 收到信息,通过「状态转移函数」过滤掉无效交易,并把剩下的交易公平地进行排队。
然后不需要任何额外的链上确认(如 L1 以太坊),就直接无条件地让节点在本地执行,并向客户提供交易收据(包括提交了恶意或者错误信息的用户),这个过程通常只需要一两秒钟。
但此时的交易还没有向 L1 以太坊提交,有更改的余地,所以称作「软确认」,不过对用户来说,到这一步就已经完事儿,其实后面还有很多步骤来确保安全性。
第二阶段
Sequencer 向以太坊发布排队序列,并最终确认,也就是「硬终结」。
一种发送方式是在给每笔交易排序时,都向所有订阅者发布即时通知。另一种方式是汇总起来在 L1 以太坊上按批次发布(间隔几分钟)。
需要强调的是,Sequencer 在第一阶段的「状态转移函数」操作是公开的,任何人都可以根据自己已知的交易顺序去计算状态转移函数,所有诚实方得到的是相同的结果。
因此,Nitro 的节点不需要共识机制,只需要获取交易序列(即时提取和在以太坊上批次提取),并自行在本地运行就可以了,所以会显著降低成本。
用 Go 语言重写的节点软件 Geth
Geth 即 go-ethereum,顾名思义,是用 Go 语言编写的以太坊节点软件,让矿工去执行交易,这是 Nitro 最核心的部分。
Arbitrum 的旧方案方案是通过定制的 Arbitrum 虚拟机(AVM)来模拟 EVM,它的一些内部逻辑在 EVM 不一致(例如 Gas 的计算),所以仅限于低级指令。
而 Geth 则基本完全支持以太坊的数据结构、格式和虚拟机,所以可以实现以太坊高度兼容。
值得一提的是,Geth 是抛弃了旧方案积累的堆栈(用自己定制的语言 mini 来实现自定义逻辑),直接另起炉灶用 Go 语言编写的,大部分开发工作都是借鉴了现有的开箱即用的代码,而且整体上也更精简。
执行与证明分别两套代码
Layer2 的任务有两个——执行和证明,这是两个侧重点,无法兼顾,因此 Nitro 用不同的代码来实现。
不过都是同一套源代码,刚才提到的让矿工去执行交易的节点软件 Geth 用的是源代码,执行速度更快。
但是关于欺诈证明的代码,则编译为二进制的 wasm 格式,特点是可移植、体积小、加载快并且兼容 Web。而且 Nitro 又对 wasm 格式进行了微调,让它更适合与链交互,称之为 WAVM 代码。
在 WASM 代码上进行 Arbitrum 的交互式欺诈证明,就取代了 Arbitrum 虚拟机(AVM)的架构,直接以标准的语言和工具来构建和编译。
互相检举的交互式欺诈证明
Nitro 采用的证明系统是他们首创的「交互式欺诈证明」。
简单来说,所有的交易完成后还要预留 7 天时间接受验证者的检查(是否为欺诈或无效),如果确实有问题那就重新执行。
验证者相当于以检举为生的赏金猎人,但是为了避免有人通过诬告来扰乱秩序,还允许赏金猎人之间相互检举揭发,这样双方不断举证,直到一方不再跟进为止。
最后把检举的这笔交易提交到以太坊上执行并验证到底谁是错误的,并把诬告者的保证金分给挑战诬告者的赏金猎人。
这就是交互式欺诈证明,相当于用市场化的手段引入了外部监管者,是一种治理机制上的创新,可以极大地提高验证效率和准确性。
总结
作为 Arbitrum 的迭代版本,Nitro 目前已协助启动数百个项目,积累数十万的独立用户,数百万笔的交易和数十亿美元的桥接资产,目前占市场优势地位。
除了使用 Nitro 这套技术升级了 Arbitrum One,Arbitrum 团队还希望用它创建特定应用的 Rollups,他们未来还想吸纳 Solana 和 Cosmos 生态的资源(尤其是开发者)。
Arbitrum 在生态孵化运营上的能力有目共睹,与此同时也攻克了大量技术上的瓶颈(尤其是以非区块链的方式来完美解决),充分展示了团队的创造力。相信从 Layer2 一路走来的他们,会走向更大的生态。
比推快讯
更多 >>- 路透/益普索民调:美国空袭伊朗后,特朗普支持率降至任内最低
- 特朗普不希望中东发生更多军事冲突
- 特朗普重申:在伊朗打击的目标已被彻底摧毁
- 分析师:袭击无碍原油供应,伊朗得以保全颜面
- MOVE 24 小时涨近 40%,市值升至 4.05 亿美元
- 美股走高,纳指现涨0.7%
- 美联储古尔斯比:如果关税影响消失了,我们应该继续降息
- 国际油价持续走低,美油日内下跌 5%
- 特朗普与美防长及参谋长联席会议成员在战情室会面
- 市场消息:美军飞机从沙特空军基地起飞
- 卡塔尔方面称美军基地遭袭未造成人员伤亡
- 中东地区所有美军基地响起警报
- 美国白宫:已获悉并密切关注针对卡塔尔乌代德基地的潜在威胁
- 伊朗确认袭击美国卡塔尔乌代德基地
- AXIOS网站记者Barak Ravid:以色列官员称,伊朗向美国卡塔尔基地发射了6枚导弹
- 外媒:伊朗准备在未来数分钟内向美国基地发射导弹
- 华尔街日报:伊朗正将其导弹发射器部署就位
- AXIOS:特朗普正准备应对伊朗袭击中东美军基地,回应取决于伊朗报复的规模
- 加密风投基金 Frachtis 已完成 2000 万美元募资
- 特朗普:美核潜艇发射 30 枚“战斧”导弹袭击伊核设施,全部命中目标
- CZ 回应 BNB 市场扩展,强调 BNB 与 Binance 无直接关联
- 外媒:伊朗对美国袭击的报复“极有可能”在几小时后发生
- 数据:今日美国比特币 ETF 净流入 131 枚 BTC,以太坊 ETF 净流出 7,049 枚 ETH
- 伊朗或数小时内袭击美军设施,比特币短线下跌 0.25%
- 某交易员清仓 ETH 多单获利 127 万美元,随后以 40 倍杠杆做空 BTC
- 伊朗希望美国付出“直接”代价,估计战争持续两年
- Newton Protocol 公布代币经济学:总供应量 10 亿枚,初始流通为占比 21.5%
- 以色列国防军发言人:以色列将在未来几天内攻击伊朗的军事基础设施
- 以太坊网络 Gas 费升至 25 gwei
- 特斯拉涨幅扩大至 8%,Circle 涨幅扩大至超 15%
- 美联储理事暗示:或将支持 7 月降息
- Newton Protocol(NEWT)已成为币安 HODLer 空投第 24 个项目
- 美元指数 DXY 短线下挫 20 点,报 98.92
- 美联储理事:是考虑调整政策利率的时候了
- 美股 Circle 涨超 9%,再创历史新高
- CZ:还有其他几家公司在准备储备 BNB 金库,他们均与币安无关
- Circle 总市值超越 USDC
- 工信部等九部门:到 2027 年黄金资源量增长 5%~10%,黄金、白银产量增长 5%以上
- 特朗普喊单,呼吁压低油价
- 多名前对冲基金高管计划募资 1 亿美元建仓 BNB,打造 BNB 财政策略公司
- 以太坊市值近三日蒸发超 350 亿美元,相当于三个洛杉矶湖人队
- 上市汽车设计公司 ECD 获得 5 亿美元股权融资,用于建立比特币储备
- 美股开盘,三大指数涨跌不一
- 美股 Fiserv 盘前涨 5.56%,市值升至 905.83 亿美元
- 欧洲央行行长拉加德:欧盟立法者应为数字欧元铺平道路
- Blueprint Finance 宣布完成 950 万美元融资,Polychain Capital 领投
- 消息人士:伊朗最快在一两天对美军进行报复
- 巴西上市公司 Méliuz 斥资 2861 万美元购入 275.43 枚比特币
- 美国确信伊朗核设施已彻底摧毁
- 美股盘前 Eyenovia 涨 4.51%,市值升至 1213.66 万美元