信任模式
条件式生意业务是一个由暗码构建成的区块 (我们在某篇文章中首次接头过这一观念)，旨在为无需许可的实现互操纵性。条件式生意业务指某笔生意业务生效与否，取决于某些事件是否产生 (如付出有无产生，状态有无改变)。从观念上来讲，我们首先在初始情况设定一个条件式生意业务，一旦特定的条件在另一个情况 (即方针情况) 中获得满意，该生意业务便生效。
阶段 I
· L2互操纵性意味着用户可以以尽大概小的L1摩擦在L2系统之间转移资金。
用例：Alice想要从她的dYdX账户 (L2_1) 向她的DeversiFi账户 (L2_2) 转1个ETH。
参加者：
(4) LP将该笔条件式生意业务提交至L2_1的运营者中，打包进下一批期待被证明的生意业务中；
StarkEx (L2) → StarkEx (L2)
接下来，让我们给各人表明两个重要的术语：
(4) 比及这些证明被提交至L1并获得验证后，LP在L2的账户便收到了Alice的转款。
(2) LP在L1上转了给Alice之后，条件式生意业务生效，然后
用例：Alice想要从她在L2上的 dYdX账户转移1个ETH至她的L1地点上。
(3) 该笔付出被打包进一批生意业务中，随后被L2_2的运营者证明，并在L1上被验证。这批生意业务宣布在L1上并被接管后，Alice发送的条件式生意业务便生效；
循序渐进
· 阶段1将在2020年11月宣布于以太坊主网 (即StarkEx 2.0)，阶段2将于2021年第一季度宣布 (即StarkEx 3.0)。已经有一批LP排着队期待提供处事了。
最初的StarkEx陈设将各自托管一个应用措施。在本阶段，我们但愿用户可以或许在这些差异的应用措施之间快速地转移资金。这很像快速提款，我们但愿最小化用户的链上本钱，以及省去他们期待下一批生意业务打包证明的时间。
我们并不但愿某个L2办理方案一家独大：差异的App对扩容性的需求各差异，因此可以按照自身需求选择适合的L2办理方案。
· Alice (在L2上持有ETH的用户)
(5) 一旦这批在L2_1上生意业务被证明且提交至L1获得验证之后，该LP在L2_1上的账户便收到了Alice的转款。
(1) Alice给LP发送一笔代价为1 ETH的条件式生意业务 (还要加上给LP的手续费)，条件为LP需向Alice的L1地点上转1 ETH；
阶段 III L2 → L2
按期再均衡：LP需要按照L2_1和L2_2这两个系统之间的资金流向，按期地再均衡两者之间的资金。
我们需要做得更好，为此，我们特地做了以下打算，循序渐进地实现L2互操纵性。
按期再均衡：LP需要按期地拿出他们在L2账户中逐渐积聚的资金，增补他们在L1账户中逐渐耗损的资金。
摘要
参加者：
LP需要信任运营者 (初始情况中的)，即相信其会打包他们的有效条件式生意业务，也就是说在处理惩罚进程中不会审查他们。这种信任可以通过几种方法举办消除。
流程：
· 初始情况上的StarkEx运营者 (在上述的例子中即dYdX)
尽量今朝没有一个更好的方案，用户老是可以或许将资金从初始L2上转移至L1上，再从L1上转移至方针L2上。这个简朴粗暴的要领既慢又贵，而且跟着用户对互操纵性的需求增加会越来越慢，越来越贵。
对用户来说
· 阶段3将紧随其后。我们预测差异的L2办理方案上的应用之间也会有举办互操纵的需求，而且盼愿与其他L2办理方案接头互操纵性的实现。条件式生意业务
“快速提款” (Fast Withdrawals) 可以办理用户需要快速地从L2系统StarkEx中提款至L1的问题。通过快速提款，用户不只可以将资金转到本身的L1地点上，还可以转到L1的任意方针地点中，好比Compound、Aave等。重要的是，这答允用户在举办提款时以“区块时间”来权衡，而与StarkEx对批量生意业务举办证明的频率无关。
· LP (在L2_2上持有资金的活动性提供者)
· StarkEx 3.0 (于2021年2月推出)，将利用链下条件式生意业务，提供在StarkEx系统之间的L2-L2互操纵性。
(3) LP将该条件式生意业务提交给运营者，随后被打包进下一批期待被证明的生意业务中；
· 抗审查：提交被审查的条件式生意业务到链上的运营者的智能合约中，这会冻结运营者，使其之后提交的证明都无法得处处理惩罚。
(2) LP向Alice的L2_2账号上转钱之后；
此刻归纳一下我们所依赖的信任模式。
· 本文所提议的L2互操纵性办理方案基于我们此前发起利用的条件式生意业务暗码学基元。
配景
· 在初始情况中的StarkEx运营者 (在上述的例子中即dYdX)完全去信任的。
· 可组合性(Composability)：可以或许将app1、app2…appn包括的操纵组合成一次生意业务以发送。留意：可组合性将在之后的一篇文章中具体接头。
(1) Alice在L2_1上给LP发送一笔已签名的代价为1 ETH的条件式生意业务 (还要加上给LP的手续费)，条件为LP需向Alice的L2_2账号转1 ETH；
· StarkEx 2.0（于2020年11月推出）将利用链上条件式生意业务，，提供L2-L1之间的互操纵性（即快速提款）。
成长蹊径图
在这一阶段，支持互操纵性的主要本钱将是给LP们付出的成本本钱；需要留意的是，他们的成本本钱颠末很是有限的一段时间便回笼，也就是从向用户提供活动性到运营者打包处理惩罚下一批生意业务这个时间。我们预测这个时间开始时需要几个小时 (大部门时候)，然后跟着(所有StarkEx应用中的)吞吐量不绝增加，这个时间会淘汰至证明生成时间 (几分钟)。
对LP来说
阶段 II
除了上面所提到的界说之外，我们还需要着重表明什么是“条件式生意业务 (Conditional-Tx)”，这一重要基元让互操纵性成为大概。
假如运营者没有实时处理惩罚LP的条件式生意业务，LP可以：
· LP (在L1上持有资金的活动性提供者)
StarkEx (L2) → Ethereum (L1) — 快速提款
· Alice (在L2_1上持有ETH的用户)
· 互操纵性 (Interoperability)：答允用户在app1 (初始情况) 和app2 (方针情况)之间高效地转移资金。
在阶段2的基本长举办扩展，答允资金在任意的L2办理方案之间转移，无论是有效证明系统照旧欺诈证明系统 (如Optimistic Rollup、Plasma)。这里需要提醒的是，Optimistic Rollup在利用LP来支持互操纵性时，谋面对其自己固有的成本效率低下的劣势。
流程：
· 安详抵押：提交被审查的条件式生意业务到链上的一个安详抵押智能合约中，从该合约中直接吸收资金。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
