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

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

目前，快速取款功能已经在StarkEx的以太坊主网上运行（从StarkEx2.0开始，2020年12月），并为DeversiFi和dYdX的交易所提供支持。

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

场景需求

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

金色晚报 | 10月2日晚间重要动态一览:12:00-21:00关键词：欧洲、特朗普、北京四板市场、BitMEX

1. 美国总统特朗普和第一夫人新冠病检测阳性;

2. 爱沙尼亚央行启动数字货币研究项目;

3. 美官方采取行动后BitMEX的XBTUSD未平仓头寸减少20％;

4. 欧洲央行将就数字欧元举行公开磋商和试验；

5. V神更新以太坊路线图 以rollup构建为中心;

6. 欧洲央行执委帕内塔：欧洲央行应该能够在必要时发行数字欧元;

7. 区块链登记托管系统落地北京四板市场;

8. 欧洲央行副行长：数字欧元变得更加有必要;

9. Bybit：不在美国管辖范围内，不会面临BitMEX遭遇的风险。[2020/10/2]

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

金色午报 | 2月17日午间重要动态一览:7:00-12:00关键词：央行、农村农业部、腾讯安全、挖矿木马、Zcash

1. 央行今日开展2000亿元MLF操作。

2. 农村农业部：强调促进区块链等新一代信息技术与农业融合。

3. 顺丰通过大数据和区块链等技术保障数据安全运行。

4. 腾讯安全：2019年广东、浙江、北京、江苏感染挖矿木马情况最严重。

5. Zcash Community Chat将于2月23日关闭服务。

6. 比特微2019年出售超60万矿机，市场份额扩大。

7. 市场普跌，BTC暂报9836美元，近24小时下跌1.93%。[2020/2/17]

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

金色快评 四大原因导致EOS超级节点竞选投票寡淡无味:EOS超级节点竞选之前，来自中国的竞选团队呼声颇高，然而EOS超级节点投票持续至今整整两天，中国的团队们却一度战绩平平。6月11日晚（投票首日），EOSflytomars突然冲进前3，另有EOS cannon、EOS Gravity、EOS Beijing、EOS Store、HuobiPool、HelloEOS、EOS Asia等中国节点位列前30。今天一早，EOS超级节点竞选前十名中尚未出现中国团队的身影，但据金色财经在15：50分的数据监测显示，中国已经有EOS cannon、EOS Gravity分别跻身第5和第6名，挺进前30强的团队中，有8个团队来自中国。

目前中国团队们的境遇虽然在不断好转，但EOS投票情况整体不容乐观——6.53%的总投票率显然使得这一场投票盛典有些寡淡无味。究其原因有四：首先，用户们要想参与其中进行投票就必须面临比较复杂的流程，小白用户要想顺利投票，显然比较困难；其次，参与投票的用户，其EOS要被锁仓三天，在市场波动比较大的当前，很多用户会因为不希望被锁仓而放弃投票；再次，当前还有很多希望参与投票的EOS持有者正等待交易所和加密货币钱包开通投票通道，虽然imToken于6月12日宣布正式支持 EOS 钱包和 EOS 超级节点投票，但支持投票的渠道还是十分有限；最后，不少持票大户们或也正处于观望状态，待局势明朗之后再投票也不无可能。[2018/6/13]

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

金色财经现场报道 ZatGo 承云陈磊：出行领域需要构建相的可持续发展的生态:金色财经现场报道，在今天举办的2018金融科技上海峰会暨区块链世界论坛上，ZatGo 承云陈磊在演讲中说，“当前，大出行领域面临资金账期带来的资金链风险、账务清算能力的高成本、行业征信的良莠不齐等行业痛点，我们应该努力连接行业上下游，构建一个相互协作、合作共赢的可持续发展的生态。一种选择是社区中的角色可以分为共识节点、普通节点和生态用户，共识节点为社区提供算力，保证数据的一致性，在社区公示节点运行信息，节点维护者将接受社区用户的评分，共识节点可由任何实名企业或机构来申请，经过审核授权并实名认证的企业或机构将可创建并维护共识节点。”[2018/4/19]

条件事务

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

标签：EOSSTARKSTARALISEOSSTARK价格StartcoinALIA币

狗狗币价格热门资讯