什么是有条件转账？实现 L1-L2 互操作性的关键

本文意在讲解StarkEX为支持快速取款而提出的解决方案。本方案的优点在于，其速度完全独立于L2的运营者生成有效性证明的速度。

快速取款模块已经运行在以太坊主网的StarkEx上，并且赋能了DeversiFi交易所和dYdX交易所。

而下文我们讲解的方案除了快速取款以外，还有非常多的使用场景。我们先来了解一下需求是什么。

需求

区块链使得两方之间的免信任交互成为可能。Alice想发布一笔仅在特定条件满足时才能执行的交易；Bob希望在条件满足时能直接执行Alice的交易、不必再次获得Alice的许可。我们把支持此类交互模式的元件称作“有条件交易”。

在L1上实现CT不需要什么奇思妙想，因为智能合约可以保证时间和交易执行的耦合。但如果要求在L2中实现，那就有些挑战了。比如，在StarkEx中，交易发起人签名之后把交易传递给运营者，后者有责任来执行这笔交易，可是你用什么办法来阻止运营者在所需条件满足之前就执行这笔交易呢？

分析 | 比特币现在处于什么位置？:据Huobi数据显示，BTC现报9348美元，日内跌幅1.81%。针对当前走势，金色盘面特邀分析师老张的投资课表示：针对当前走势老张认为目前比特币的多头依然是强势的，但是短期有回调的需求是正常的，而且下方有MA60日均线的支撑，也就是9000美金位置，消息面的话是一直在发酵，技术面大级别的周线MACD即将形成水上金叉，K线运行在均线系统之上，所以只要币价回调到9000美金我们可以放心大胆的去做，而且上方空间非常大，总结现在比特币的位置处于9000美金附近震荡消化上方套牢盘，为下一步的拉升做准备，我们可以看成是一个积蓄力量的过程。

合约可以考虑9100附近轻仓做多，激进者9830美金做空，同时带好止盈止损。

因为现在大家处于牛市的初期所以老张不太建议做合约，币价上窜下跳还是会以爆合约为主，所以合约就不做过多的分析。

老张给大家建议接下来的战略布局第一梯队以:BTC ETH BCH为主，XRP可以放在第二梯队，瑞波将会是年底的一匹黑马，大家可以多关注。[2019/10/28]

在本文中，我们只聚焦于在L2上实现依赖于L1事件的CT。也就是说，这种CT要能保证，运营者仅能在某个链上事件发生之后才能执行某笔签过名的交易。更进一步，我们将加入一种依赖于另一个L2中事件的CT，从而支持StarkEx实例之间以及StarkNet中的互操作性。

声音 | 巴西总统：不知道比特币是什么:据Cointelegraph报道，巴西总统Jair Bolsonaro表示，他不知道比特币是什么，并且赞同暂停一项为土著人民提供一种加密货币的项目。据悉，该加密货币项目由全国印第安人基金会（FUNAI）和联邦弗鲁米嫩大学（UFF）发起，价值4490万巴西雷亚尔（1150万美元）。[2019/6/6]

下面，我们来形式化这种链上事件的概念，看看我们如何在StarkEx中的CT如何利用它。

有条件交易简介

链上事件的注册

CT使用了FactRegistry合约来跟踪链上事件。实际上，只有在一个FactRegistry合约中注册了的事件，才能“解锁”CT。举个例子，如果Alice直接在以太坊链上转账了1ETH给Bob，那CT是不能因此满足执行前提的。

现场 | 朱砝：最后从Token获得什么利润取决于什么时候卖:金色财经现场报道，币印联合创始人兼运营总监朱砝在第三期金色沙龙圆桌论坛上表示，手续费是否可以低于成本呢？也不是不可以，一般是这么几种情况。第一个，你太重要了，作为矿池没有你不行，我从别的矿工那里赚钱补贴你，所以可以给你比成本还低的手续费，这是第一种情况。所以拿到很低的手续费，首先要掂量是不是跟矿池的关系好到这种程度。你作为一个矿池，你的体量是否已经大到这种程度。可是太大也有问题，所有的散户赚的钱补贴不了你。第二种情况，暗箱操作。我告诉你只收1个点，其实我收了2个点，这种现象非常多。我们叫做暗箱操作，或者这里面有腐败的情况在发生。第三种情况，矿池发行的Token，比如火币矿池，这件事情一个正常手段。可是在核算收益和成本的时候，要分开看待。因为最后从Token获得什么利润，取决于什么时候卖。[2018/11/21]

在上面这个案例中，FactRegistry合约需要一个函数transfer()，Alice传入Bob的地址作为收款方。transfer()函数做两件事：把需要转移的ETH发送给收款方；保存对这笔转账的记录，比如存储这笔转账相关参数的哈希值，到合约的存储项中。FactRegistry合约还带有一个isValid()函数，接受一条哈希值作为参数，返回一个布尔值——如果该条输入的哈希值等于合约中记录的某条哈希值，就返回True。如此，这个记录在合约中的哈希值，就可以当成是一个事实的证明。这个为FactRegistry合约引入一个新的事实的过程，通常称为“事实注册”。

和菜头：在一个新场子什么韭菜都没有，那你就是那根韭菜:昨晚和菜头公众号发文称，春节前后，朋友圈平均每天都能看到2~3条关于比特币或者区块链的内容。现在，这个数量还在持续增长，而且开始向群里蔓延。关于“韭菜”和菜头文中提及：我去买了本阿尔文德的《区块链：技术驱动金融》来自学。看了三分之一之后，我非常确定一件事情：在这一轮由比特币而起的区块链热潮里，我就是根“韭菜”。在一个新兴的场子里，如何确定自己的地位？去找周围有什么韭菜没有。如果一根韭菜都找不到，那么，你自己就是那根韭菜。[2018/3/1]

一笔签过名的CT所包含的链上事件的指纹有两个字段：一个FactRegistry合约的地址；上述合约中应当记录的事实。

StarkEx有条件交易

金色财经独家消息：区块链概念股的出现对于区块链并不是什么好事:中网载线因区块链概念，致使股价暴涨7倍，针对这种现象，金色财经就此事对链圈大咖进行了采访，POW123创始人潘鹏程对此事发表了看法，他表示：“未来会有越来越多的公司借助这种手段让自己公司的股票涨上去。”而链圈资深专栏作家币学者也对此事发表了看法，币学者表示，区块链已经成为一个热点，蹭到这个热点，股价马上飙升，这立竿见影的效果让很多企业不想错过此机会，这并没有什么好奇怪的。但是在美国已经有企业因为这个被处罚，相信中国也会对此现象进行治理，不过众多公司蹭区块链的热点对于区块链而言反而并不是什么好事，也许这就是热惹祸的根由。[2018/1/5]

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翻译:阿剑

标签：ALIICEALICELICZealiumViceTokenalice币发行量slice币价格

TRX热门资讯