12.15 note

完成打卡✅

StarryDesert.md

@@ -176,13 +176,58 @@ Arbitrum团队推出了Arbitrum Orbit，一个开发框架，允许用户使用
 
 1. **排序和确定性执行**：
    - Nitro采用两阶段策略处理交易：首先对交易进行排序，然后通过确定性状态转换函数执行这些交易。这样的设计确保了交易结果的可预测性，任何节点都可以独立验证交易的结果。
-2. **与Geth的集成：
+2. **与Geth的集成**：
    - Nitro的核心代码基于go-ethereum（Geth），确保了与以太坊的高度兼容性。通过直接使用Geth的库，Nitro能够利用以太坊的现有数据结构和格式，从而简化开发和提高效率。
-3. **执行与证明的分离：
+3. **执行与证明的分离**：
    - Nitro使用相同的源代码进行交易执行和证明，但针对这两种情况分别编译为本地代码和WebAssembly（WASM）。这种设计优化了性能，使得在执行时可以获得更高的速度，而在证明时则可以确保安全性和可移植性。
 4. **乐观Rollup与交互式欺诈证明**：
    - Nitro采用乐观Rollup协议，允许任何验证者在Layer 1上发布其声称正确的Rollup块，并为其他人提供挑战的机会。通过交互式欺诈证明机制，Nitro能够高效地解决交易结果的争议，确保系统的安全性和可靠性。
 
+### 2024.12.15
 
+笔记内容
+
+### Arbitrum One
+
+- **架构**: Arbitrum 结合了 L1 和 L2 的组件，其中 L1 的 EthBridge 负责仲裁和维护 Arbitrum Rollup 协议。用户通过以太坊链上的收件箱和发件箱与 Arbitrum 进行交互。
+- **存款流程**: 用户向以太坊主网的 `Arbitrum L1GatewayRouter` 合约发送交易，存入 ERC-20 代币，随后在 L2 铸造代币。
+- **提款流程**: 用户通过 `L2GatewayRouter` 合约发起提款，经过 Retryable Tickets 的处理后，将代币发送回以太坊。
+
+### 交互型 Rollup
+
+- **类型**: 包括非交互型（如 ZK-Rollup）、单轮交互型（如 Optimistic Rollup）和多轮交互型（如 Arbitrum Rollup）。
+
+- 断言机制
+
+  : 断言者需缴纳保证金并开放挑战窗口，若断言错误则会失去保证金。
+
+  - **单轮交互型**: 挑战者指出错误调用，链上合约验证。
+  - **多轮交互型**: 通过交互协议解决争议，降低链上工作量。
+
+### 三、状态更新与押注
+
+- **争议断言**: 参与者提出争议断言，声称将执行特定计算生成新状态哈希。
+- **押注机制**: 任何人可在状态后下注，若下注错误则会失去押金。
+
+交互式纠纷解决协议
+
+- **多轮欺诈证明**: 采用二分查找找到争议操作码，最终由链上合约裁决。
+- **挑战机制**: 挑战者与被挑战者之间的交互，直到找到争议指令。
+
+### Nitro 升级
+
+- **技术栈升级**: Nitro 降低费用，提高以太坊兼容性，采用 Geth 作为核心。
+- **执行与证明分开**: 通过不同代码实现执行和证明，提高效率。
+
+### AnyTrust 拆解
+
+- **数据可用性委员会**: 将 calldata 数据存储在链下，降低交易成本。
+- **最小信任假设**: 只需确保至少两名委员会成员诚实。
+
+### Arbitrum L3 战略
+
+- **Arbitrum Orbit**: 允许用户基于 Arbitrum Rollup 创建 L3 网络，提供定制化的链。
+- **XAI**: 专为游戏和高性能计算设计的 L3，利用 Nitro 技术栈。
+- **BOLD 和 Stylus**: 提高结算状态的效率，支持多语言构建应用程序。
 
 <!-- Content_END -->