这篇文章介绍的是StarkEx提供的快速取款的解决方案：在区块链时间内从L2提取资金到任何L1地址，并且该解决方案与L2运营商生成有效性证明的频率无关。StarkEx是L2扩容技术服务商StarkWare的二层交易应用。
目前，快速取款功能已经在StarkEx的以太坊主网上运行，并为DeversiFi和dYdX的交易所提供支持。
下面的解决方案可以应用于行业内广泛的用例，首先我们来看场景需求。
场景需求
区块链允许Alice和Bob两方之间的无信任交互。Alice可能希望发布一个只有在某个条件事件发生时才能执行的交易；Bob希望在满足条件后执行Alice的交易，而无需再次获得她的批准。我们将这样的规范称为条件事务(CT)。
金色财经行情播报丨BTC日内持续震荡下行，两次冲高不成或将开始整理:据火币行情显示， BTC早间缩量上攻，冲高11,934.53USDT后，随即开始震荡下跌，日内尝试下探11,700USDT整数关口，价格缓步下探到最低11,630USDT，后在11700USDT得到了一定的支撑,目前短时下跌趋势可能还没有结束。截至18:30，主流币的具体表现如下：[2020/8/11]
在L1上实施CT很简单，因为智能合约可以加强事件和交易执行之间的耦合。也就是事件发生自动执行。并且把执行条件固定。但当迁移到L2系统时，这将成为一个挑战。例如，在StarkEx中，签名者将签署的交易传递给运营商，运营商负责执行它，在满足请求的条件之前，没有什么可以阻止运营商执行这个交易。
金色相对论 | DappReviewCEO牛凤轩：区块链可以改造开发商与玩家之间的协作关系:在本期金色相对论之“Dapp游戏”中，针对金色财经内容合伙人佟扬“除了玩法之外，其他层面是否有促成爆发的原因”的提问，DappReview的CEO牛凤轩表示，区块链之于游戏，只是多了一个我们可以使用的技术和工具，而并不是说过去的游戏就要完蛋了或者全部被颠覆，主机游戏从上世纪60年代诞生，时至今日依旧竞争激烈、大作频出，Steam作为端游的分发巨头根本不需要上市和外部资金支持，桌游这种从圈外人看起来很古老的线下小众游戏其实早就是一个百亿的市场还在不断增长。
“区块链游戏”这个名词甚至都是一个伪概念，只是在行业初期，我们用来泛指所有使用了区块链技术的游戏。在最后，这些游戏还是要落地在不同的平台之上。
所以，说区块链能颠覆整个游戏行业？我是不信的，区块链可以改造开发商与玩家之间的协作关系，可以通过引入通证经济和资产代币化增加游戏的经济属性和激励机制，可以让玩家现拥有一个现实世界中实体物品一样的拥有游戏中的虚拟资产，这些是革新，是优化，不是举着一片大旗否定所有传统游戏。最终的状态下，对于大部分玩家来说，区块链植入游戏的体验应该是无感的，游戏只要好玩就可以，至于用没用区块链，这不重要。[2018/12/3]
在这篇文章中我们提到的在L2上指定的CT，它依赖于L1事件。也就是说，CT确保操作员只有在发生某些链上事件时才能执行签名交易。如果我们再添加一个CT，它依赖于另一个L2事件上的事件，这将实现StarkEx实例和StarkNet之间的互操作性。
金色财经现场报道 王赟明：区块链改变组织的方式:在GBLS全球无眠区块链领袖峰会上，窝窝团区块链创始人王赟明表示：“地推撑起了美团600亿的估值。但是O2O为什么死掉了？流动性强、难以快速大规模复制，资金困难的时候第一个到的就是撤退。利用区块链里面所有的参与者利用个人资源可以谈上下游的项目，个人可以发任务，币端可以发任务，原来在美团做全致工作，成为地推的城市经历。这里涉及很多挖矿机制，通过玩任务可以挖矿获取一定的Token，有的说可以组织培训，这些方式都可以参与进来，通过区块链改变了组织的方式。”[2018/6/6]
下面，我们将此类链上事件的概念形式化，并了解如何将它们用于StarkEx中的CT。
金色财经现场报道 火币Pro总经理Tyler Wu：火币资产价值以123%的速度增长:金色财经现场报道，在火币Pro举办的越南Blockchain Festival千人大会上，火币Pro总经理Tyler Wu其简要介绍了火币全球办公室、超级节点等重要架构。他指出：火币在新加坡、韩国等很多国家都有办公，我们还有Sequoia资本和HADAX，有超过100人的全球精英已经加入我们，火币也有很多产品诸如火币钱包、交易所、OTC、火币矿池、火币研究中心、火币生态、火币超级节点等等，超级节点是HADAX投票的重要伙伴，我们还有火币现场对话栏目、火币Token、火币资本。我们OTC的优势是支持14种货币，在线客户服务24??7工作等等，火币资产价值正在以123%的速度增长。[2018/5/24]
条件事务
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在L1上转移1ETH给Alice。
Alice的CT只有在她首先在L1上获得资金时才能执行，因此她也不会面临交易对手风险。
更多其他用例
类似的流程可以通过L2CT事务捕获以下类型的事件，及为以下提供证明，就可以在L1上进行一些关联操作，例如：
ETH的价格跌至1010DAI，Alice想在L2上以1000DAI的价格出售她在L2上的1ETH。
Alice希望在L2上给Bob10ETH，Bob在她选择的dApp中以Alice的名义存入9.5ETH。
Alice想在DeversiFi的L2上为Bob提供10ETH，Bob在dYdX的L2中将9.5ETH存入Alice的账户。
这些其他操作用例代表着虽然CT的第一个用例是快速提款，但StarkEx运营商可以使用这个方式实现更多L2-L1交互，用来丰富产品功能。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。