时间:2022-12-13 16:17 / 来源:未知
详解Layer2网络Optimism：技术特性、发展历程和未来方向原文：《WAGMi Ventures以太坊生态专题（二）5分钟领会Optimism进展史籍与他日目标》
以太坊动作单片区块链正在用户与利用进展到必定体量后，受区块链「不或者三角」的限制，短处日渐凸显。为管理逆境衍生出链上扩容与链下扩容两个目标。Optimism 是一种链下扩容管理计划，畴昔往数据放正在链上，正在链下运转计划，增添以太坊 TPS 的同时下降 gas 用度。固然来往产生正在 Optimism 上，但数据会发送至以太主网举行验证，是以这种计划不会耗损以太坊的去核心化水平与安宁性。同时 Optimism 正在 EVM 兼容度方面的发展较为明显，是目前 L2 中独一告终 EVM 等效性的 rollup。
正在 Optimism 中有两种来往类型至合苛重：L2 中两个所在间产生的来往、L1 与 L2 之间的跨链来往
用户畴昔往发送至 sequencer，若为有用来往，sequencer 会登时将其增加至 L2（注：此时惟有 sequencer 将此来往增加至其 L2 的副本当中）。L2 的块巨细仅为 1 笔来往，是以新的区块与来往会被登时增加到链中，正在 L2 中矿工无需篡夺发现新区块，sequencer 代替了矿工的脚色； sequencer 向 L2 增加来往后，会移用 L1 合约并将所少睹据发送至 L1，数据包蕴通盘 L2 来往以及施行来往后的 L2 的新 stateRoot； L1 畴昔往数据与 stateRoot 生存至另一个专为存储而打算的合约中； 一朝来往数据获胜正在 L1 上存储，verifier 就会把来往积聚正在其正在 L2 的副本中。
若 sequencer 正在对某一特定用户举行审查，那么该用户可提交数据并自行移用合约。然后，sequencer 会正在特准时刻畛域内强制管理该笔来往。若 sequencer 未施行，那么其质押或者会被裁减。
上面发挥了 verifier 核实 sequencer 发外至 L1 数据的经过。verifier 也可拔取直接从 L2 举行数据同步，也便是说 verifier 可能正在数据被发送至 L1 之前直接从 sequencer 得回新的数据。从 L2 直接同步可能省略延迟，但这种措施不行担保 sequence 仍会将此来往发送至 L1。
为利便移用其它链上的合约或者将 token 从一条链发送至另一条链，跨链正在 Optimism 的身分弗成马虎。因为涉及众链，其整个流程与 L2 来往略有分歧。
Optimism 从 L1 至 L2 交互的速率很疾，只需 sequencer 将音讯发送至 L2。用户畴昔往数据发送到 L1 的 bridge 合约中，合约会正在必定时刻畛域内畴昔往增加至 sequencer 务必发送至 L2 的来往部队中，然后 sequencer 会将该来往发送至 L2。
举个例子，借使用户思将 L1 的 10 ETH 发送至 L2 的所在举行交互，流程如下：·用户向 L1 中的 bridge 合约发送 10 ETH；·bridge 合约将 ETH 正在 L1 中锁定；·bridge 合约同时将用户的来往增加到 sequencer 务必增加至 L2 的来往的部队中；·sequencer 起先管理此笔来往，ETH 被获胜存入用户的 L2 所在。
举个例子，借使用户思将 L2 的 10 WETH 转回至 L1，流程如下：·用户将 10 WETH 发送至 L2 的 bridge 合约；· bridge 合约消灭 WETH 并畴昔往音讯发送至 L2ToL1MessagePasser 的智能合约中，合约纪录了须要从 L2 发送至 L1 的来往数据；·中继节点从 L2ToL1MessagePasser 读取来往数据，恭候敲诈注明窗口（7 天）完结，然后畴昔往发送至 L1；·来往正在 L1 中举行管理，用户此时可从初次发送至 L2 时锁定 ETH 的 bridge 合约中取出 ETH。
敲诈注明窗口为 verifier 预留了足够的时刻来注明 sequencer 发外的 stateRoot 对这个来往来说是否切确。
因为每笔来往的数据与 stateRoot 的结果务必生存至 L1 中，那么下降数据所占空间对付下降体例存储本钱来说至合苛重，以下经过发挥了 L2 数据是怎么被生存至 L1 的：
上述经过畴昔往汇总，创修了默克尔树，生存了默克尔根。stateRoot 的存储形式与以高尚程相同，只然而汇总 stateRoot 的合约变为 StateCommitmentChain。正在这种环境下，L2 的来往正在 L1 中的形态更改是将新的默克尔根增加至用于存储的合约中，这种形式要比将每笔来往都生存至存储合约中更为高效。
敲诈注明是 Optimism 生态中非凡苛重的局限，其重要主意是担保 sequencer 输出结果具体切性。若 sequencer 将作假的 stateRoot 发外至 L1，那么 verifier 就可能启动敲诈注明步调并正在 L1 上施行对应的 L2 来往。然后将敲诈注明的 stateRoot 结果与 sequencer 提交至 L1 的 stateRoot 举行斗劲。若结果分歧，sequencer 的质押会被裁减，前一笔来往的 stateRoot 会被拂拭并从新举行计划。是以，通盘的 L2 来往可能担保正在 L1 中完结运转。
敲诈注明可能由任何人建议，但经常是由 verifier 建议的，由于它们会搜检 sequencer 提交的每个 stateRoot 的有用性。敲诈注明的扫数流程由 Optimism 供应的一套 L1 合约管制，利用合约时，用户可能正在 L1 中从新施行 L2 的来往，天生无误的 stateRoot。借使天生的 stateRoot 与 sequencer 发外的 stateRoot 不可婚，合约就会裁减 sequencer 的质押，还会删除上一笔来往所对应的 stateRoot。
Optimism 的展现极大地降低以太坊搜集的可扩展性，正在含糊量稳固的底子上，下降了 gas 本钱。L1 搜集中的以太坊全节点经受着管理来往的职责，因为搜集包蕴节点的数目浩瀚，使计划本钱变得非凡腾贵。Optimism 畴昔往交由一小组节点（sequencer 与 verifier）管理，使来往的计划从 L1 中离开出来，而来往的 calldata 仍正在 L1 上得以保存，云云为 L1 上的减削了豪爽区块空间，使其可能管理更众来往。
OVM 是一个效力圆满且与 EVM 兼容的施行境况，是专为 Optimism L2 的利用而创修的，通过 Web3 API 与以太主网交互。总体来看，OVM 与 EVM 实在非凡一致，但举行了优化与修正，利便窜改或删除上下文联系的操作码（如 TIMESTAMP 或 ORIGIN）。操作码正在分歧的链施行时，输出的结果分歧。但正在 OVM 中举行优化后，通盘的来往都可能正在分歧的链上从新施行，输出一致的结果。OVM 性子上是一个沙盒境况，可使 L2 来往正在其它链上被从新施行与确定。云云 verifier 就可能创修敲诈注明并正在 L1 上从新施行来往，输出无误的 stateRoot。