ALI:有条件转账: 实现 L1-L2 互操作性的关键

作者:?StarkWare

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

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

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

需求

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

第二季度Cardano的Dapp交易量环比增长49%:金色财经报道,根据Messari的报告,Cardano的平均每日dapp交易量连续第三个季度增长,第二季度Dapp使用量环比增长 49.0%,日均交易量保持在 57,900 笔。平均交易量较上一季度上涨8.5%,从 0.117美元上涨至0.126美元。尽管连续季度上涨,但美元平均交易费用仍同比下降 50.8%,这主要是由于ADA价格较上年下降。

今年第二季度的交易活动也激增。日均交易量环比增长约2%,从 67,500 笔增至 68,800 笔。分析师强调,该增长至关重要,因为交易和活跃地址的变动通常是相关的,但最近几个季度略有偏差。在过去的五个季度中,交易与活跃地址的比率持续增加,表明与之前相比,用户参与度有所提高。第二季度,交易/活跃地址比率达到1.19,环比增长6.1%,同比增长13.2%。[2023/8/8 21:30:57]

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

以太坊扩容项目Scroll完成5000万美元融资:金色财经报道,以太坊扩容项目Scroll宣布在新一轮融资中筹集了 5000 万美元。本轮融资的投资者包括Polychain Capital、红杉中国、贝恩资本 Crypto、摩尔资本管理公司、OKX Ventures、Variant Fund、Newman Capital、IOSG Ventures 和启明创投。

据知情人士表示,该轮融资使 Scroll 的估值达到 18 亿美元。

Scroll 此前在两轮融资中筹集了3300 万美元,当时并未披露其估值。新一轮融资使 Scroll 迄今的总融资额达到 8300 万美元。[2023/3/7 12:45:36]

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

新加坡副总理:不会对加密投机持开放态度:金色财经报道,新加坡副总理Lawrence Wong在彭博新经济论坛期间接受采访时表示,我们对数字创新和数字资产创新持开放态度,但我们根本不会对加密投机持开放态度。我们在数字资产创新方面走上了正确的道路,这是一个重要的推动因素,我认为这可能会改变金融市场、跨境支付、结算、资本市场,那里有很多潜力。

但是,我们已经说过很长时间了,即使人们批评我们这么说,也就是我们需要对加密投机和交易采取强硬立场,尤其是散户投资者。因此,我们甚至在 FTX 发生之前就已经发布了一份咨询文件,内容是关于加强围绕这方面的监管规则—关于加密货币交易,关于零售投资者接触加密货币。[2022/11/18 13:22:00]

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

Big Time推出链游基础设施Open Loot:7月28日消息,3A级链游Big Time宣布推出链游基础设施Open Loot,旨在通过技术和营销帮助传统游戏进入web3的平台。官方举办赠品活动,获奖者可在Open Loot的市场中领取并交易奖品。[2022/7/28 2:42:47]

有条件交易简介

链上事件的注册

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上的1000DAIAlice希望在L2上给Bob10ETH,只要Bob以Alice的名义在Alice指定的dApp中存入9.5ETHAlice希望在DeversiFi的L2上给Bob10ETH,只要Bob在dYdX的L2中给Alice的账户存入9.5ETH总结

CT的第一种用途是快速取款,但StarkEx运营者可以用这一元件实现许多种类的L2-L1交互。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:727ms