Arbitrum 的 Nitro 项目 Rollup 细节深入

关于 rollup 向一层提交交易的我们上面文章已经由提到，此处主要主要剖析 rollup 合约，rollup watcher 和欺诈证明之间的交互和细节的逻辑整理。

一. validator 各子模块代码解析

• block_challenge_backend 和 challenge_manager 区块挑战相关的代码
• block_validator：区块验证逻辑，这里是衔接 arbnode 和 geth 的区块验证模块
• rollup_watcher：rollup 合约交易事件的观察者

二. 2. Rollup 细节

汇总协议跟踪汇总块链——为了清楚起见，我们将这些称为“RBlocks”。它们与第 1 层以太坊区块不同，也与第 2 层 Nitro 区块不同。您可以将 RBlocks 视为形成一个单独的链，由 Arbitrum 汇总协议管理和监督。

关于汇总块链相关的解释请参考：nitro/inside-arbitrum-nitro.md at master · OffchainLabs/nitro

rollup_watcher 会去监听 rollup 相关的事件，监听的事件如下：

var rollupInitializedID common.Hash
var nodeCreatedID common.Hash
var challengeCreatedID common.Hash

这些事件分别由 LookupCreation LookupNode LookupNodeChildren 和 LookupChallengedNode 等方法处理，L1Validator 将这些调用这里面的方法获取相关的合约事件信息验证。

RollupNode 定义

 struct Node {
    // Hash of the state of the chain as of this node
    bytes32 stateHash;
    // Hash of the data that can be challenged
    bytes32 challengeHash;
    // Hash of the data that will be committed if this node is confirmed
    bytes32 confirmData;
    // Index of the node previous to this one
    uint64 prevNum;
    // Deadline at which this node can be confirmed
    uint64 deadlineBlock;
    // Deadline at which a child of this node can be confirmed
    uint64 noChildConfirmedBeforeBlock;
    // Number of stakers staked on this node. This includes real stakers and zombies
    uint64 stakerCount;
    // Number of stakers staked on a child node. This includes real stakers and zombies
    uint64 childStakerCount;
    // This value starts at zero and is set to a value when the first child is created. After that it is constant until the node is destroyed or the owner destroys pending nodes
    uint64 firstChildBlock;
    // The number of the latest child of this node to be created
    uint64 latestChildNumber;
    // The block number when this node was created
    uint64 createdAtBlock;
    // A hash of all the data needed to determine this node's validity, to protect against reorgs
    bytes32 nodeHash;
}

参加 rollup 的角色：分别由 WatchtowerStrategy，DefensiveStrategy， StakeLatestStrategy 和 MakeNodesStrategy
代码定义如下，该代码位于 staker.go 里面：

const (