这篇文章介绍的是StarkEx提供的快速取款的解决方案:在区块链时间(即交易时间内或出块时间内)内从L2提取资金到任何L1地址,并且该解决方案与L2运营商生成有效性证明的频率无关。StarkEx是L2扩容技术服务商StarkWare的二层交易应用。
目前,快速取款功能已经在StarkEx的以太坊主网上运行(从StarkEx2.0开始,2020年12月),并为DeversiFi和dYdX的交易所提供支持。
下面的解决方案可以应用于行业内广泛的用例,首先我们来看场景需求。
场景需求
区块链允许Alice和Bob两方之间的无信任交互。Alice可能希望发布一个只有在某个条件事件发生时才能执行的交易;Bob希望在满足条件后执行Alice的交易,而无需再次获得她的批准。我们将这样的规范称为条件事务(CT)。
分析 | 金色盘面:btc短线承压 有调整需求:金色盘面独家分析:从一小时线看,这里macd处在下降趋势,如果价格再创新高,有可能形成顶背离,所以短线不宜追高,保持观望。但长周期指标走势健康,维持多头趋势不变。请投资者理性看待市场波动,做好风险控制。[2018/9/22]
在L1上实施CT很简单,因为智能合约可以加强事件和交易执行之间的耦合。也就是事件发生自动执行。并且把执行条件固定。但当迁移到L2系统时,这将成为一个挑战。例如,在StarkEx中,签名者将签署的交易传递给运营商,运营商负责执行它,在满足请求的条件之前,没有什么可以阻止运营商执行这个交易。
在这篇文章中我们提到的在L2上指定的CT,它依赖于L1事件(即L2|L1)。也就是说,CT确保操作员只有在发生某些链上事件时才能执行签名交易。如果我们再添加一个CT,它依赖于另一个L2事件(即L21|L22)上的事件,这将实现StarkEx实例和StarkNet之间的互操作性。
分析 | 金色盘面:BTC顶背离威力惊人 多头短线溃败:金色盘面综合分析:虽然跌幅已经较大,风险也得到初步释放,但是趋势尚未扭转,短线还有反复,建议投资者继续保持观望,等待趋势明朗。[2018/9/6]
下面,我们将此类链上事件的概念形式化,并了解如何将它们用于StarkEx中的CT。
条件事务
CT使用FactRegistry合约来跟踪链上事件。特别是,除非在事实登记处注册,否则CT不能以事件为条件。例如,如果Alice直接在Ethereum上向Bob转账1ETH,则没有可以用作CT的链上事件。
也就是需要进行一次单独的定义某些事件为条件。
在上面的例子中,FactRegistry合约需要一个函数transfer(),Alice使用Bob的地址作为接收者参数调用该函数。
分析 | 金色盘面:BTC/USD 短线调整尚未结束:金色盘面综合分析: BTC/USD 在午后走出一波调整行情,技术指标尚未到位,而市场承接乏力,短线多头退守6400美元附近构筑工事,组织抵抗,短线应保持观望。[2018/8/20]
transfer()函数做两件事:(a)将传输的ETH发送给接收者,(b)保留传输的记录,例如合约中存储传输参数(发送者、接收者和金额)的哈希值。
FactRegistry也有一个isValid()函数,它接收一个哈希值作为参数,并返回一个布尔值——True当且仅当它是这个合约记录的交易哈希值。
交易的哈希(上面的例子中是传输参数)被称为事实—代表事件的发生。向事实登记处引入新事实的过程称为事实登记。
分析 | 金色盘面:QTUM/USDT 持续下跌:金色盘面综合分析:QTUM/USDT4小时K线走出持续调整的形态,指标显示跌势尚未结束,且没有技术背离形成,短线维持观望,压力位MA6。[2018/8/9]
在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交互,用来丰富产品功能。
目录数据定量分析框架横向数据 - 时间维度纵向数据 - 同类比较颗粒数据 - 细分指标代币数据 - 投资机会- 实用性- 所有权历史- 流动性发现价值 捕获价值- 市场总量- 排行榜- .
1900/1/1 0:00:002021年一季度标志着期待已久的生态系统战争的开始。随着加密市场继续吸引主流关注,新出现的散户参与者将以太坊的 Gas 费用推至历史新高.
1900/1/1 0:00:00近日,中证君接到投资者爆料,由于自己账户被某虚拟货币交易平台所冻结,名下超过400万元的虚拟货币无法提取。该投资者的资金还包括购房款和借款,这几个月以来可谓心急如焚.
1900/1/1 0:00:007月23日,著名的Defi平台Uniswap发布了一则公告,称将对于部分token作出限制,此举在推特上引来巨大争议,一些用户指责Uniswap不再是一个去中心化的平台.
1900/1/1 0:00:00本周技术周刊包含比特币、以太坊、波卡、Filecoin四个网络的技术类消息。比特币Taproot已在测试网上成功激活包括 Athony Towns 在内的比特币开发者证实,Taproot已在测试.
1900/1/1 0:00:00头条以太坊官方网站发布第三季度产品路线图以太坊官方网站ethereum.org开发团队发布第三季度产品路线图,将在第三季度末为L2主网上的ETH2项目启动公共产品新融资机制CLR.fund.
1900/1/1 0:00:00