本文意在讲解StarkEX为支持快速取款而提出的解决方案。本方案的优点在于，其速度完全独立于L2的运营者生成有效性证明的速度。
快速取款模块已经运行在以太坊主网的StarkEx上，并且赋能了DeversiFi交易所和dYdX交易所。
而下文我们讲解的方案除了快速取款以外，还有非常多的使用场景。我们先来了解一下需求是什么。
需求
区块链使得两方之间的免信任交互成为可能。Alice想发布一笔仅在特定条件满足时才能执行的交易；Bob希望在条件满足时能直接执行Alice的交易、不必再次获得Alice的许可。我们把支持此类交互模式的元件称作“有条件交易”。
在L1上实现CT不需要什么奇思妙想，因为智能合约可以保证时间和交易执行的耦合。但如果要求在L2中实现，那就有些挑战了。比如，在StarkEx中，交易发起人签名之后把交易传递给运营者，后者有责任来执行这笔交易，可是你用什么办法来阻止运营者在所需条件满足之前就执行这笔交易呢？
声音 | 多位议员Libra听证会后接受采访：没有看到取得什么进展:在美国国会众议院金融委员会关于Libra的听证会结束后，众议院两党议员都对冗长的证词表示了不满。众议院金融委员会的成员表示，并没有看到（扎克伯格出席听证）取得了什么进展。该委员会高级成员、北卡罗来纳州共和党人Patrick McHenry表示：“坦率地说，我不确定我们在这里学到了什么新东西。”该委员会的其他几位成员也同意这一观点。德克萨斯州民主党众议员Sylvia Garcia也发表了类似于McHenry的评价，她还对Facebook及Libra协会这两个实体是分开的说法提出了质疑。该委员会主席Maxine Waters则表示，她根本不支持这个计划，不明白Libra想要达到什么目的，且项目也没有得到“充分的解释”。Waters称：“我要求Libra暂停工作。扎克伯格也承诺，在没有监管机构批准之前，他们不会启动这项计划。但她‘不太确定’这是同一回事。”（CNBC）[2019/10/24]
在本文中，我们只聚焦于在L2上实现依赖于L1事件的CT。也就是说，这种CT要能保证，运营者仅能在某个链上事件发生之后才能执行某笔签过名的交易。更进一步，我们将加入一种依赖于另一个L2中事件的CT，从而支持StarkEx实例之间以及StarkNet中的互操作性。
声音 | Weiss Ratings：比特币的使用与传统金融相比“微不足道”并不能代表什么:加密货币评级机构Weiss Ratings发推表示：国会报告称，比特币的使用与传统金融相比“微不足道”。与20世纪90年代初的纸质报纸相比，互联网的普及程度微乎其微。这并不意味着任何事情，加密正向你而来。 此前报道，国会研究处（CRS）5月发布报告称，与传统金融系统相比，其交易数量“微不足道”。[2019/5/30]
下面，我们来形式化这种链上事件的概念，看看我们如何在StarkEx中的CT如何利用它。
有条件交易简介
链上事件的注册
CT使用了FactRegistry合约来跟踪链上事件。实际上，只有在一个FactRegistry合约中注册了的事件，才能“解锁”CT。举个例子，如果Alice直接在以太坊链上转账了1ETH给Bob，那CT是不能因此满足执行前提的。
声音 | 比特币安全专家：代码提交等KPI可信度取决于区块链项目既定目标是什么:据AMBcrypto消息，比特币安全专家Andreas Antonopoulos近期在会议现场提出：“我们是否应该将代码提交、区块链活动、DApp数量或节点数量作为衡量区块链项目成功与否的KPI（关键绩效指标）？这取决于你想达到的目标是什么。”Antonopoulos指出，KPI的可信度在很大程度上取决于选择适合其特定需求的度量标准。然而，他承认在许多情况下很难准确地衡量这些标准。Antonopoulos还提醒与会者，要避免将KPI视为一种投资零和游戏。[2019/5/7]
在上面这个案例中，FactRegistry合约需要一个函数transfer()，Alice传入Bob的地址作为收款方。transfer()函数做两件事：把需要转移的ETH发送给收款方；保存对这笔转账的记录，比如存储这笔转账相关参数的哈希值，到合约的存储项中。FactRegistry合约还带有一个isValid()函数，接受一条哈希值作为参数，返回一个布尔值——如果该条输入的哈希值等于合约中记录的某条哈希值，就返回True。如此，这个记录在合约中的哈希值，就可以当成是一个事实的证明。这个为FactRegistry合约引入一个新的事实的过程，通常称为“事实注册”。
动态 | 新西兰2018年第一热搜为“比特币是什么？”:据新西兰《信报》消息，2018年新西兰人热搜的六大主题出炉，分别为：新的开始，参与赛事，本土英雄，暴风雨天气，丰富多彩和稀奇古怪的问题，生酮饮食法。丰富多彩和稀奇古怪的问题中，第一热搜的问题是“比特币是什么？”，然后是对如何查找IP地址和截屏的查询。[2018/12/19]
一笔签过名的CT所包含的链上事件的指纹有两个字段：一个FactRegistry合约的地址；上述合约中应当记录的事实。
StarkEx有条件交易
StarkEx会批量打包Layey-2中的交易，并使用一条发送到链上的STARK证明来结算这些交易。如果某一批次中包含CT，StarkEx将保证相关的事实已经注册，以便能清算该批交易；否则，整批交易都会回滚。
薛蛮子：什么是区块链企业家精神？: 今日知名投资人薛蛮子在三点钟区块链社群回应问题“您经常提到的区块链企业家精神具体是指的什么”时表示：我这次在京都附近的天桥立看了一个奇景是屁眼看天。原本是海中有了一个长几公里的沙堤，和西湖的苏堤白堤一样，仅是一个美景而已。可是到了上顶上有个地方，叫裤裆看天。每个游客必须把头伸到裤裆底下看景。这时候，这个沙堤就不是一个普通的沙堤，而是宛如一条巨龙，直飞天际。我之所以句这个例子，就是因为区块链颠覆了以往的商业逻辑。因此，颠覆是第一条。第二个精神是有抡开膀子 时不我待的精神。第三个精神是要有超强的学习能力，才能与时具进。眼界，胸怀，识人之能和容人之量是前所未有的重要。[2018/2/25]
有条件交易的案例
在本部分，我们会提出一些应用场景，并指出CT如何能用在这些场景中。
详细案例——快速取款
在任意L2方案中，最初级的从L2转出资金到L1中的办法便是终局化一次L2的状态更新。在基于有效性证明的系统中，终局化一次L2的状态更新需要在链上提交一个相应的有效性证明，一般来说需要10分钟。这就意味着，如果用户使用这种方式来取款，就不得不等待至少10分钟。
而快速取款的用意正是为了解耦这种依赖，让用户能够在“区块时间”内免信任地将资金取出，也即，就像使用普通的以太坊合约一样。
那到底是怎么个流程呢？如果Alice想要从L2中取出1ETH到L1，Alice可以在L2上签名一条将1ETH转移给流动性提供者的CT，条件是LP在L1上转移1ETH给Alice。Alice的CT仅能在她收到L1上的转账之后才能执行，所以她不会面临对手方风险。
我们来看一个能够协助CT的简易的FactRegistry合约：
我们可以看到这个合约有一个payabe函数transfer()，它的功能有两个：
转移一定数量的ETH到某个地址
登记keccack(amount,address,nonce)
Alice签发的CT只有keccack(1ETH,Alice,nonce)在FactRegistry中注册之后才能执行。而这个事实，也只有在给Alice的1ETH转账发生了之后才能成功注册。Alice可以无需信任地取出1ETH，整个过程只需她的前面，和LP在以太坊链上发起的一笔交易。
更多应用场景
类似的流程可以捕捉到下列类型的事件，从而L2的CT也可以有更多的用途，例如：
如果ETH的价格跌到了1010DAI，Alice希望在L2卖出1ETH，换回在L1上的1000DAI
Alice希望在L2上给Bob10ETH，只要Bob以Alice的名义在Alice指定的dApp中存入9.5ETH
Alice希望在DeversiFi的L2上给Bob10ETH，只要Bob在dYdX的L2中给Alice的账户存入9.5ETH
总结
CT的第一种用途是快速取款，但StarkEx运营者可以用这一元件实现许多种类的L2-L1交互。
(完)
原文链接:https://medium.com/starkware/conditional-transfers-the-key-to-interoperability-2e1de044fb65作者:StarkWare翻译:阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。