金色观察｜Layer1与layer2互操作性举例:条件事务

这篇文章介绍的是StarkEx提供的快速取款的解决方案：在区块链时间内从L2提取资金到任何L1地址，并且该解决方案与L2运营商生成有效性证明的频率无关。StarkEx是L2扩容技术服务商StarkWare的二层交易应用。

目前，快速取款功能已经在StarkEx的以太坊主网上运行，并为DeversiFi和dYdX的交易所提供支持。

下面的解决方案可以应用于行业内广泛的用例，首先我们来看场景需求。

场景需求

区块链允许Alice和Bob两方之间的无信任交互。Alice可能希望发布一个只有在某个条件事件发生时才能执行的交易；Bob希望在满足条件后执行Alice的交易，而无需再次获得她的批准。我们将这样的规范称为条件事务(CT)。

金色午报｜12月22日午间重要动态一览:7:00-12:00关键词：新华社、Coinbase、Visa、重庆

1.新华社将发行中国首套“新闻数字藏品”NFT；

2.Coinbase推出加密货币礼物；

3.Visa与60个加密货币平台合作，消费者可在8000万个商户消费加密货币；

4.glassnode：比特币的供应正以每月10万美元的速度从流动状态转为非流动状态；

5.重庆将建设国家级区块链发展先导区；

6.Lancium签署24亿美元开发合作协议开采比特币；

7.特朗普：加密货币是一件非常危险的事情，总有一天会爆炸；

8.国盛证券：虚拟人为元宇宙重要的赛道，关注虚拟人制作以及IP运营。[2021/12/22 7:55:54]

在L1上实施CT很简单，因为智能合约可以加强事件和交易执行之间的耦合。也就是事件发生自动执行。并且把执行条件固定。但当迁移到L2系统时，这将成为一个挑战。例如，在StarkEx中，签名者将签署的交易传递给运营商，运营商负责执行它，在满足请求的条件之前，没有什么可以阻止运营商执行这个交易。

金色晨讯 | 4月23日隔夜重要动态一览:21:00-7:00关键词：区块链产业、宝马、数字黄金、USDT销毁

1.全球新冠肺炎累计确诊病例超260万。

2.人民网：2025年新基建中区块链产业规模将达389亿元。

3.深圳法院：盗窃ETH构成盗窃罪。

4.证券日报：未来资本市场对区块链等具有重要推动。

5.CME比特币期货4月合约收涨3.27%。

6.宝马集团在汽车行业推动区块链扩展。

7.彭博社：比特币将在2020年成为数字黄金。

8.XRP Markets负责人已离职。

9.Tether Treasury销毁2.2亿枚USDT。[2020/4/23]

在这篇文章中我们提到的在L2上指定的CT，它依赖于L1事件。也就是说，CT确保操作员只有在发生某些链上事件时才能执行签名交易。如果我们再添加一个CT，它依赖于另一个L2事件上的事件，这将实现StarkEx实例和StarkNet之间的互操作性。

金色相对论 | 李慧：区块链技术能有效杜绝捐赠流程中的低效及腐败现象:在本期金色相对论中，火币区块链研究院副院长李慧发言指出：在这场战疫行动中，用到区块链技术，能降低无序带来的混乱，带来高效协同。用区块链技术改造疫情预警系统，可实现及时的多区多医院的多点位数据同步及交换，数据在链上进行跨医院、跨机构的交叉验证，确保上报的传染病数据的真实性，为一线医疗工作者提供疫情动态感知，真正起到预警作用。通过区块链系统可以帮助公益组织建立公开可信的公益平台，实时公布善款物资的捐赠方、受赠方及管理情况，在公众的监督及检阅下确保物资实现专项专用，能有效杜绝流程中的低效及腐败现象。[2020/2/13]

下面，我们将此类链上事件的概念形式化，并了解如何将它们用于StarkEx中的CT。

金色相对论 | 文浩：区块链远未到熊市阶段:在本期金色相对论中，比太钱包创始人、比特派钱包开发者文浩表示：现在的区块链行业远未到真正“熊”的阶段，至少离3年前的熊市状态还差得很远。实际上现在的区块链创业团队尚未有“熊市”的风险意识，以行业内状况来看，当前情况下，各个区块链圈内企业还是以扩充、膨胀为主，远未到“熊”的程度。而创业公司应该对熊市有更为清醒的认识，把握好公司节奏，别按照牛市思维去做事，否则真的“熊”来了，可能会撑不住。[2018/9/14]

条件事务

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交互，用来丰富产品功能。

标签：区块链ARKALISTA区块链币圈大佬排行榜MARKOAliens MuskEthereum Stake Finance

pepe最新价格热门资讯