Arbitrum是把原本在以太坊上进行的计算工程转移到Layer2进行，然后不需要进行任何验证就假设这些计算结果是正确的，并将数据发布回以太坊。但是为了避免有人作恶，设置了7天的挑战期来缓冲。Arbitrum在去年8月31日推出了升级版的Nitro，它的费用更低、以太坊兼容性更好以及zk证明更简洁，总之是一次全面的升级。不过由于它没有重新发新链，而是从ArbitrumOne无缝升级，所以还是叫ArbitrumOne。支撑Nitro的关键创新可以概括为四点：证明程序、以Geth为核心、实现执行与证明分开、交互式欺诈证明的OptimisticRollup。
FTX债权人委员会聘请Jefferies和FTI为财务顾问:金色财经报道，据知情人士透露，被选中代表所有交易所用户利益的FTX债权人委员会已聘请杰弗瑞(Jefferies)和FTI Consulting Inc.担任财务顾问。上周，该官方委员会请来了律师事务所Paul Hastings LLP。[2022/12/31 22:17:23]
不需要共识机制的证明程序
Nitro使用两阶段执行交易。第一阶段：在Layer2自行处理用户创建了一笔交易，经过钱包签名确认后，会发送给Nitro的Sequencer。Sequencer收到信息，通过「状态转移函数」过滤掉无效交易，并把剩下的交易公平地进行排队。然后不需要任何额外的链上确认，就直接无条件地让节点在本地执行，并向客户提供交易收据，这个过程通常只需要一两秒钟。但此时的交易还没有向L1以太坊提交，有更改的余地，所以称作「软确认」，不过对用户来说，到这一步就已经完事儿，其实后面还有很多步骤来确保安全性。第二阶段Sequencer向以太坊发布排队序列，并最终确认，也就是「硬终结」。一种发送方式是在给每笔交易排序时，都向所有订阅者发布即时通知。另一种方式是汇总起来在L1以太坊上按批次发布。需要强调的是，Sequencer在第一阶段的「状态转移函数」操作是公开的，任何人都可以根据自己已知的交易顺序去计算状态转移函数，所有诚实方得到的是相同的结果。因此，Nitro的节点不需要共识机制，只需要获取交易序列，并自行在本地运行就可以了，所以会显著降低成本。用Go语言重写的节点软件Geth
Kevin O'Leary：币安故意导致了FTX的崩溃，主张加强监管:12月15日消息，在昨晚进行的美国参议院FTX听证会上，加拿大企业家、明星投资者Kevin O'Leary猛烈抨击了加密交易所Binance，并声称它是故意造成FTX崩溃的。大量投资于 FTX 的 O'Leary称，币安现在是一个“大规模、不受监管的垄断企业”。
O'Leary还主张加强监管，并指出FTX拥有的衍生品交易平台LedgerX是崩盘后“唯一没有归零的实体”，因为它受到商品期货交易委员会的监管。[2022/12/15 21:46:05]
Geth即go-ethereum，顾名思义，是用Go语言编写的以太坊节点软件，让矿工去执行交易，这是Nitro最核心的部分。Arbitrum的旧方案方案是通过定制的Arbitrum虚拟机来模拟EVM，它的一些内部逻辑在EVM不一致，所以仅限于低级指令。而Geth则基本完全支持以太坊的数据结构、格式和虚拟机，所以可以实现以太坊高度兼容。值得一提的是，Geth是抛弃了旧方案积累的堆栈，直接另起炉灶用Go语言编写的，大部分开发工作都是借鉴了现有的开箱即用的代码，而且整体上也更精简。执行与证明分别两套代码
安全团队：FTX交易所遭到gas窃取攻击事件技术分析:10月13日消息，据Beosin EagleEye Web3安全预警与监控平台的舆情消息，FTX交易所遭到gas窃取攻击，黑客利用FTX支付的gas费用铸造了大量XEN TOKEN。Beosin安全团队第一时间对事件进行了分析，结果如下：
1.以其中一笔攻击交易为例
(0x8eb73bd5c08318a4cfd233940c3a58744830cda999e59ecbc56f094618a91d69)，攻击者先在链上部署攻击合约(0xCba9b1Fd69626932c704DAc4CB58c29244A47FD3)
2.FTX热钱包地址会向攻击合约地址转入小额的资金，利用攻击合约(0xCba9...7FD3)进行批量创建子合约。由于整个攻击中创建了大量合约，并且每次执行完子合约之后，子合约都会自毁。
3.接下来子合约fallback()函数去向Xen合约发起铸币请求，如下函数，claimRank()函数传入一个时间期限（最小1天）进行铸币，铸币条件是只用支付调用gas费，并无其他成本，并且claimMintReward()函数为提取函数，该函数只判断是否达到时间期限（本次黑客设置的时间期限为最小值1天），便可无条件提取。但在此次调用过程中，交易发起者为FTX热钱包地址，所以整个调用过程的gas都是由FTX热钱包地址所支付，而Xen铸币地址为攻击者地址。
4. 1-3中的步骤，重复多次，并且每次重复过程中都会将已到期的代币提取出来，并且同时发起新的铸币请求。
截止发文时，通过Beosin Trace追踪发现，FTX交易所损失81ETH，黑客通过DODO，Uniswap将XEN Token换成ETH转移。[2022/10/13 14:26:15]
Layer2的任务有两个——执行和证明，这是两个侧重点，无法兼顾，因此Nitro用不同的代码来实现。不过都是同一套源代码，刚才提到的让矿工去执行交易的节点软件Geth用的是源代码，执行速度更快。但是关于欺诈证明的代码，则编译为二进制的wasm格式，特点是可移植、体积小、加载快并且兼容Web。而且Nitro又对wasm格式进行了微调，让它更适合与链交互，称之为WAVM代码。在WASM代码上进行Arbitrum的交互式欺诈证明，就取代了Arbitrum虚拟机的架构，直接以标准的语言和工具来构建和编译。互相检举的交互式欺诈证明
Nitro采用的证明系统是他们首创的「交互式欺诈证明」。简单来说，所有的交易完成后还要预留7天时间接受验证者的检查，如果确实有问题那就重新执行。验证者相当于以检举为生的赏金猎人，但是为了避免有人通过诬告来扰乱秩序，还允许赏金猎人之间相互检举揭发，这样双方不断举证，直到一方不再跟进为止。最后把检举的这笔交易提交到以太坊上执行并验证到底谁是错误的，并把诬告者的保证金分给挑战诬告者的赏金猎人。这就是交互式欺诈证明，相当于用市场化的手段引入了外部监管者，是一种治理机制上的创新，可以极大地提高验证效率和准确性。总结
作为Arbitrum的迭代版本，Nitro目前已协助启动数百个项目，积累数十万的独立用户，数百万笔的交易和数十亿美元的桥接资产，目前占市场优势地位。除了使用Nitro这套技术升级了ArbitrumOne，Arbitrum团队还希望用它创建特定应用的Rollups，他们未来还想吸纳Solana和Cosmos生态的资源。Arbitrum在生态孵化运营上的能力有目共睹，与此同时也攻克了大量技术上的瓶颈，充分展示了团队的创造力。相信从Layer2一路走来的他们，会走向更大的生态。原地址
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。