简介
Optimism,前身为 Plasma Group,是 Optimistic Rollup扩大技术背后的开发团队。Rollup 连接以太坊主链和以太坊的智能合同 L2。Rollup 从以太坊主链接收交易数据,发送到计算 L2,然后接收 L2 计算结果。需要注意的是,Rollup 有两种变体:Optimistic Rollup 和 ZK-Rollups。Optimism 仅使用 Optimistic Rollups。
在 Optimism 上,发送到 L2 负责准确执行收到的事务 Sequencer 接收。Sequencer因正确执行交易而获得奖励,但如果他们通过削减抵押贷款而恶意行事,他们将受到惩罚。
若有人怀疑 Sequencer 他们可能会在网上提醒以太坊主仲裁员合同。这可以验证 Sequencer 使用乐观的虚拟机 (OVM) 结果的有效性,OVM 是为 L2 以太坊虚拟机系统与以太坊虚拟机相结合 (EVM) 兼容执行环境。如果碰巧 Sequencer 结果无效,Optimistic Rollup 会执行欺诈证明和 Sequencer 资金将被罚没。一些被罚没的资金将奖励给举报人。举报人在挑战期期间挑战Sequencer的结果。这段时间通常持续一周左右,导致资产从 Optimism 以太坊的转移延迟了一周。
虽然提款延迟是 Optimism存在一个问题,但了 gas 成本可观。这是因为 Rollups 这些技术可以通过一系列的压缩技术尽可能多的计算来提高效率。这节省了链上的空间 100 倍。
Optimism 区块生产主要由单方管理,称为序列器
- 提供即时交易确认和状态更新。
- 构建和执行 L2 块。
- 向 L1 提交用户交易。
没有内存池的排序器,交易将立即被接受或拒绝。当用户将交易发送到定序器时,定序器会检查交易是否有效(即支付足够的费用),然后将交易作为待处理块应用到当地状态。这些待处理的块将定期大量提交给以太坊进行最终确定。通过将固定成本分散到给定批次的所有交易中,这种批处理过程显著降低了整体交易成本。为了减少发布到以太坊的数据量,定序器还采用了一些基本的压缩技术。
因为定序器是对的 L2 链的优先级写入访问权限,因此定序器可以提供强有力的保证。一旦它决定了一个新的待处理块,它最终将确定它的状态。换句话说,确切地知道交易的影响是什么。L状态可以快速可靠地更新。这样做的好处包括快速、即时的用户体验和几乎实时的 Uniswap 价格更新。
或者,用户可以完全跳过排序器并通过以太坊交易直接提交他们CanonicalTransactionChain
交易。这通常更贵,因为交易的固定成本完全由用户支付,而且不会分配到许多不同的交易中。然而,这种替代提交方法的优点是可以抵抗测序仪的审查。即使定序器正在积极审查用户,用户也可以继续使用 Optimism 并通过此机制收回任何资金。
将消息从以太坊发送到 Optimism,用户只需触发以太坊CanonicalTransactionChain
合约,在 Optimism 区块上创建一个新区块。有关其他上下文,请参阅上面关于**块生产部分。**用户创建的区块可以包括从生成区块的地址交易
Optimism 上述合同不可能像以太坊合同那样存在 Optimism 在以太坊上生成交易也很容易。因此,数据从 Optimism 送回以太坊的过程更为复杂。我们必须能够证明以太坊合同的乐观状态,而不是自动生成身份验证的交易。
需要证明乐观状态的陈述**密码学承诺(打开新窗口)树木乐观StateCommitmentChain
(https://etherscan.io/address/0xBe5dAb4A2e9cd0F27300dB4aB94BeE3A233AEB19)**.
用户可以使用这些承诺来生成**Merkle 树证明(打开新窗口)L1CrossDomainMessenger
(https://etherscan.io/address/0x25ace71c97B33Cc4729CF772ae268934F7ab5fA1)**,这些证书可以代表其他合同进行验证。
这些证明可用于正确的证明 Optimism 任何合同存储中的数据都可以在特定区块的高度进行验证。然后可以使用这个基本功能来使用它 Optimism 上述合同可以向以太坊的合同发送信息。L2ToL1MessagePasser
(https://optimistic.etherscan.io/address/0x4200000000000000000000000000000000000000)**Optimism 上的合约可以使用合约(预部署到 Optimism 网络)存储信息 Optimism 状态。然后,用户可以向以太坊证明合同 Optimism 给定合同实际上意味着哈希已经存储在显示这个消息的地方L2ToL1MessagePasser
在合同中发送一些给定信息。
故障证明
在 Optimistic Rollup 在没有任何直接证明这些承诺有效性的情况下,国家承诺将发布到以太坊。相反,这些承诺在一段时间内被视为未决(称为挑战窗口)。如果提议的州承诺是在挑战窗口期间(目前设置为 7 没有挑战的天)将其视为最终承诺。一旦承诺被认为是最终的,以太坊上的智能合就可以安全地接受基于承诺的乐观状态的证明。
当国家承诺受到质疑时,可以通过过错证明(StateCommitmentChain
最终被另一个提议的承诺取代。重要的是要注意,成功的挑战不会回滚 Optimism 只会回滚链状态的承诺。由于故障证明的挑战,交易顺序和乐观状态不会改变。
L1和L2使用过程中的差异:
- L1-L2 Deposit 大概5分钟
- L2-L1 withdraw需要7天(7天说明,可以查看
从Optimism转向以太坊 ) - L2-L2 tranfer 秒级别
总结:
Arbitrum 与 Optimism 同样,基础 Optimistic Rollup 扩展解决方案。两者之间几乎没有区别。两者的优点是容易与之相处 DApp 因为它们几乎不需要集成 DApp 变更底层智能合同。正因为如此,这两种解决方案已经成为许多开发人员的首选。
虽然这两种解决方案将直接争夺市场份额,但对于 DApp 同时使用两者只有好处。在多个平台上部署使社会共识问题更容易管理。相互采用并行解决方案 DApp 协议间交易可以保留 L2 上。Uniswap 采用 Optimism 和 Arbitrum 可以添加它 L2 到 L2 交易的 DApp 的数量。
理论上,DApp 应尽可能多地实施 L2 扩展解决方案实际上是不切实际的