这篇文章介绍的是StarkEx提供的快速取款的解决方案：在区块链时间（即交易时间内或出块时间内）内从L2提取资金到任何L1地址，并且该解决方案与L2运营商生成有效性证明的频率无关。StarkEx是L2扩容技术服务商StarkWare的二层交易应用。
目前，快速取款功能已经在StarkEx的以太坊主网上运行（从StarkEx2.0开始，2020年12月），并为DeversiFi和dYdX的交易所提供支持。
下面的解决方案可以应用于行业内广泛的用例，首先我们来看场景需求。
场景需求
区块链允许Alice和Bob两方之间的无信任交互。Alice可能希望发布一个只有在某个条件事件发生时才能执行的交易；Bob希望在满足条件后执行Alice的交易，而无需再次获得她的批准。我们将这样的规范称为条件事务(CT)。
金色晨讯 | 8月27日隔夜重要动态一览:21:00-7:00关键词：SEC、Tether、y3d、万事达、Filecoin
1. 美国SEC将修改合格及机构投资者定义，或利好加密行业;
2. 无锡农商银行实现跨境金融区块链服务平台银行直联系统自动化流程;
3. Tether在波场网络增发2亿枚USDT（已授权未发行）;
4. y3d上线治理投票模块，首个提案将决定yfi和yfii的y3d代币分配数量;
5. 数据：散户投资者可能很快涌入加密市场;
6. 万事达卡新加坡子公司申请基于Iota Tangle的支付系统专利;
7. 富达旗下经纪交易商计划推出新的比特币基金，最低投资额为10万美元;
8. Filecoin大矿工测试竞赛奖励池到达20万FIL;
9. 数据：印度加密货币P2P周交易量不断增长。[2020/8/27]
在L1上实施CT很简单，因为智能合约可以加强事件和交易执行之间的耦合。也就是事件发生自动执行。并且把执行条件固定。但当迁移到L2系统时，这将成为一个挑战。例如，在StarkEx中，签名者将签署的交易传递给运营商，运营商负责执行它，在满足请求的条件之前，没有什么可以阻止运营商执行这个交易。
金色晨讯 | 5月1日隔夜重要动态一览:21:00-7:00关键词：政协、法规、鲸鱼、标普500
1. 政协委员：加强区块链等关键核心技术攻关；
2. 标普500指数创自1987年以来最佳月度表现；
3. 比特币鲸鱼数量创2019年8月以来新高；
4. 外汇局福建省分局：区块链赋能跨境金融 助外贸企业逆风前行；
5. 开曼群岛立法议会在公报发布新加密货币法规。[2020/5/1]
在这篇文章中我们提到的在L2上指定的CT，它依赖于L1事件（即L2|L1）。也就是说，CT确保操作员只有在发生某些链上事件时才能执行签名交易。如果我们再添加一个CT，它依赖于另一个L2事件（即L21|L22）上的事件，这将实现StarkEx实例和StarkNet之间的互操作性。
金色相对论 | 周竞一：asic芯片对于推动中国芯片发展具有积极意义:本期金色相对论中，华为企业战略周竞一表示：矿机所使用的asic芯片，也即固定算法芯片。和手机所使用的通用芯片设计难度隔着好几个量级。直接对比研发投入比较直观，华为海思成立十数年，目前2万名左右专业工程师，每年都有百亿级研发投入，才堪堪达到一流芯片俱乐部。高通则保持每年50亿美元左右的研发投入。asic芯片隶属于半导体行业的下属分支，低研发高需求，对于开拓国内的芯片生产产业，平摊行业整体的生产成本，进而提供资金促进研发是有积极意义的。比如asic进一步的应用场景，ai行业。嘉楠耘智利用矿机利润促进asic挖矿芯片研发，再进而促进ai芯片研发就是一个很好的例证。对于通用芯片设计，目前还够不到这个高度，但国内的圆晶厂，最起码是因为矿机芯片，得到了不少注资的。当下芯片的使用领域集中在pc（亿级）和移动终端（10亿级），设计工艺，生产工艺，专利壁垒都集中在高通三星等个别企业，国内没有任何一个方面的优势。随着5g的到来和技术的持续发展，使用场景会向下延伸，市场蛋糕会转向物联网，ai等专业芯片。这些可能是近些年中国公司的着重发力点。[2018/8/24]
下面，我们将此类链上事件的概念形式化，并了解如何将它们用于StarkEx中的CT。
金色财经现场报道OSA DC ECR执行董事Maximiliam Musselius：人工智能与区块链赋能智慧消费者:金色财经前方记者实时报道，第二届全球金融科技与区块链中国峰会于4月12日在上海召开，OSA DC ECR执行董事Maximiliam Musselius在现场表示，食物供应链环节十分复杂，生产商和零售商的信息碎片化，过渡囤货导致资源浪费。此外，定单系统、库存系统状况同样不是很好，如何使得更多人在食品选择方面更加充分成为现实问题。AI算法可时时搜集大量数据，而区块链技术的发展可监控食品货架执行情况，此外，区块链智能合约还可以针对不同市场提出一些定制化的方案。[2018/4/12]
条件事务
CT使用FactRegistry合约来跟踪链上事件。特别是，除非在事实登记处注册，否则CT不能以事件为条件。例如，如果Alice直接在Ethereum上向Bob转账1ETH，则没有可以用作CT的链上事件。
也就是需要进行一次单独的定义某些事件为条件。
在上面的例子中，FactRegistry合约需要一个函数transfer()，Alice使用Bob的地址作为接收者参数调用该函数。
transfer()函数做两件事：(a)将传输的ETH发送给接收者，(b)保留传输的记录，例如合约中存储传输参数（发送者、接收者和金额）的哈希值。
FactRegistry也有一个isValid()函数，它接收一个哈希值作为参数，并返回一个布尔值——True当且仅当它是这个合约记录的交易哈希值。
交易的哈希（上面的例子中是传输参数）被称为事实—代表事件的发生。向事实登记处引入新事实的过程称为事实登记。
在CT中签署的链上事件包会含两个字段（实际上是哈希）：(a)一个事实登记合约的地址，(b)一个应该在执行交易之前注册的事实。
StarkEx中的条件交易
StarkEx对交易进行批量处理，并使用单个STARK证明在链上进行结算。如果批次中的交易之一是CT，StarkEx将确保关联的Fact确实已注册登记，以便对批次进行结算；否则，整个批次将被还原。
条件事务示例
快速提款
在任何L2解决方案中，在L2到L1之间转移资金的理想方法是完成L2状态更新和L1上的提款交易。
在基于有效性证明的系统中，如StarkEx，L2状态更新的最终确定发生在链上接受证明它的有效证明时，这通常需要10分钟。这意味着如果用户想要将他们的资金从L2转移到L1，他们将被迫等待。
快速取款的目的是解耦这种依赖性，并允许用户在“区块链时间”（即在一次以太坊交易中）无需信任地将资金提取到L1。
这将如何运作？如果Alice想从L2提取1ETH到L1，Alice可以签署CT将1ETH转移到L2上的流动性提供者（LP），条件是LP在L1上转移1ETH（减去一些费用）给Alice。
Alice的CT只有在她首先在L1上获得资金时才能执行，因此她也不会面临交易对手风险。
更多其他用例
类似的流程可以通过L2CT事务捕获以下类型的事件，及为以下提供证明，就可以在L1上进行一些关联操作，例如：
ETH的价格跌至1010DAI（由已知在链上注册预言机提供数据），Alice想在L2上以1000DAI的价格出售她在L2上的1ETH。
Alice希望在L2上给Bob10ETH，Bob在她选择的dApp（例如Aave或Compound）中以Alice的名义存入9.5ETH。
Alice想在DeversiFi的L2上为Bob提供10ETH，Bob在dYdX的L2中将9.5ETH存入Alice的账户。
这些其他操作用例代表着虽然CT的第一个用例是快速提款，但StarkEx运营商可以使用这个方式实现更多L2-L1交互，用来丰富产品功能。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。