本文意在讲解StarkEX为支持快速取款而提出的解决方案。本方案的优点在于，其速度完全独立于L2的运营者生成有效性证明的速度。
快速取款模块已经运行在以太坊主网的StarkEx上，并且赋能了DeversiFi交易所和dYdX交易所。
而下文我们讲解的方案除了快速取款以外，还有非常多的使用场景。我们先来了解一下需求是什么。
需求
区块链使得两方之间的免信任交互成为可能。Alice想发布一笔仅在特定条件满足时才能执行的交易；Bob希望在条件满足时能直接执行Alice的交易、不必再次获得Alice的许可。我们把支持此类交互模式的元件称作“有条件交易”。
在L1上实现CT不需要什么奇思妙想，因为智能合约可以保证时间和交易执行的耦合。但如果要求在L2中实现，那就有些挑战了。比如，在StarkEx中，交易发起人签名之后把交易传递给运营者，后者有责任来执行这笔交易，可是你用什么办法来阻止运营者在所需条件满足之前就执行这笔交易呢？
Web3 Ventures Inc.获批在加拿大证交所有条件上市:金色财经报道，专注于区块链解决方案、去中心化应用程序和战略投资的 Web 3.0 公司 Web3 Ventures Inc. 宣布已获得加拿大证券交易所有条件批准上市，初步计划将在今年秋季登陆加拿大证交所，股票代码为“WEBV”。目前Web3 Ventures Inc. 对加密领域里的早期中小企业、项目和应用提供孵化、加速服务，主要关注区块链透明度、安全身份、可验证通信、游戏等垂直领域。（globenewswire）[2023/7/22 15:52:22]
在本文中，我们只聚焦于在L2上实现依赖于L1事件的CT。也就是说，这种CT要能保证，运营者仅能在某个?链上事件?发生之后才能执行某笔签过名的交易。更进一步，我们将加入一种依赖于另一个L2中事件的CT，从而支持StarkEx实例之间以及StarkNet中的互操作性。
俄罗斯财政部草案：禁止数字货币支付 但“有条件地”允许加密货币交易:2月22日消息，据俄罗斯财政部近日向俄罗斯政府提交的“关于数字货币”的联邦法律草案，虽然俄罗斯将继续禁止在俄罗斯联邦境内使用数字货币作为支付手段，但允许公民在获得许可和客户识别的情况下交易加密货币。该法案定义了对可以开展与数字货币流通组织相关的活动的交易所和运营商的要求。这些要求涉及公司治理、报告、信息存储、内部控制和审计、风险管理系统和自有资金数额。此类公司的活动将由政府确定的授权机构许可和控制。外国加密货币交易所必须在俄罗斯注册才能获得许可证。此外，为保护投资者权益，交易所将被要求提示公民购买数字货币的高风险。公民在购买加密货币之前必须进行在线测试，这将决定对数字货币投资细节的了解程度和对可能风险的认识。成功完成测试后，公民每年可投资最多60万卢布（约合7500美元）的数字货币。如果测试未通过，则最高投资金额将限制在5万卢布（约合623美元）。若是合格的投资者和法人实体，交易将不受限制。此前2月18日消息，俄罗斯联邦财政部提交“关于数字货币”草案，通知政府就数字资产交易规则发起公众咨询。该部预计将在3月18日之前完成对加密法案的公众咨询。[2022/2/22 10:07:34]
下面，我们来形式化这种链上事件的概念，看看我们如何在StarkEx中的CT如何利用它。
无锡市滨湖区区长孙海东：滨湖在发展元宇宙生态产业上，有优势、有条件、有底气:金色财经报道，在1月1日无锡市滨湖区举行的“2022太湖湾科创带滨湖创新大会”上，无锡市滨湖区区长孙海东如是表示，“要拿出大格局大气魄，举全区之力、聚各方之智，在优化空间布局、集聚高端创新要素、提升创新能级、厚植产业优势、抢占未来产业等方面，谋求新突破，再造发展新优势。”“滨湖在发展元宇宙生态产业上，有优势、有条件、有底气。” 孙海东说，“从产业上来看，我们重点打造的新一代信息技术、数字文化、集成电路设计产业等，都与元宇宙密切相关。目前，已集聚了一批头部企业、高端项目和优秀人才团队。这将为元宇宙生态产业发展提供坚实产业基础和厚实技术基础。”（科技日报）[2022/1/3 8:20:38]
有条件交易简介
Gemini首席合规官：NYSDFS提出的有条件许可框架利于加密行业发展:上周，纽约州金融服务部（NYSDFS）提议修改其州范围内的BitLicense法律指导方针。加密交易所Gemini认为NYSDFS此举是个积极的信号，其首席合规官Noah Perlman表示：“此次提出的有条件许可框架是DFS采取的另一举措，以帮助确保这个行业继续增长和创新，从而使更多的人可以在不损害安全的情况下进入这个行业。”
此前消息，五年前，纽约州金融服务部（NYSDFS）推出了用于虚拟货币经营活动的许可牌照BitLicense，该牌照因申请难度过高而被认为不利于加密行业发展。6月24日，纽约金融服务部（NYDFS）表示，其将考虑颁发有一种条件的新许可证，根据该许可证，初创企业将被允许与现有的许可实体（持有BitLicense或有限信托牌照的企业）合作，在纽约州经营业务。NYSDFS还表示，希望寻求有条件许可证的实体继续努力，最终获得完整的BitLicense。（Cointelegraph）[2020/7/4]
链上事件的注册
动态 | 加拿大证交所有条件批准Graph Blockchain普通股上市:据globenewswire消息，加拿大证券交易所(CSE)已经有条件批准区块链开发公司Graph Blockchain的普通股上市，代码为“GBLC”。[2018/10/29]
CT使用了FactRegistry合约来跟踪链上事件。实际上，只有在一个FactRegistry合约中注册了的事件，才能“解锁”CT。举个例子，如果Alice直接在以太坊链上转账了1ETH给Bob，那CT是不能因此满足执行前提的。
在上面这个案例中，FactRegistry合约需要一个函数?transfer()，Alice传入Bob的地址作为收款方。transfer()?函数做两件事：把需要转移的ETH发送给收款方；保存对这笔转账的记录，比如存储这笔转账相关参数的哈希值，到合约的存储项中。FactRegistry合约还带有一个?isValid()?函数，接受一条哈希值作为参数，返回一个布尔值——如果该条输入的哈希值等于合约中记录的某条哈希值，就返回?True。如此，这个记录在合约中的哈希值，就可以当成是一个事实的证明。这个为FactRegistry合约引入一个新的事实的过程，通常称为“事实注册”。
一笔签过名的CT所包含的链上事件的指纹有两个字段：一个FactRegistry合约的地址；上述合约中应当记录的事实。
StarkEx有条件交易
StarkEx会批量打包Layey-2中的交易，并使用一条发送到链上的STARK证明来结算这些交易。如果某一批次中包含CT，StarkEx将保证相关的事实已经注册，以便能清算该批交易；否则，整批交易都会回滚。
有条件交易的案例
在本部分，我们会提出一些应用场景，并指出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
翻译:?阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。