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

本文意在讲解 StarkEX 为支持快速取款（Fast Withdrawel）（在一个区块时间内从 Layer-2 中取款到任意 Layer-1 地址）而提出的解决方案。本方案的优点在于，其速度完全独立于 L2 的运营者生成有效性证明的速度。

快速取款模块已经运行在以太坊主网的 StarkEx 上（自 2020 年 10 月 StarkEx 2.0 发布始），并且赋能了 DeversiFi 交易所和 dYdX 交易所。

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

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

SoFi新银行申请获美国OCC有条件批准，或将托管加密货币:金色财经报道，学生贷款和金融服务提供商SoFi有关成立新的国民银行的申请得到了美国货币监理署(OCC)的有条件批准，这为该新银行托管加密货币打开了大门。OCC在周三的公告中表示，初步批准是有条件的，有待对所有可用信息进行全面评估。[2020/10/29]

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

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

加拿大Wealthsimple获CSA有条件批准，将测试其加密货币平台:总部位于多伦多的金融科技初创公司Wealthsimple已获得加拿大证券管理委员会（CSA）的有条件批准，将对其最近已宣布的加密货币平台进行为期两年的测试。（Betakit）[2020/8/8]

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

链上事件的注册

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

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

盘和林：美国有条件利用比特币进行全球资产配置，但割全球“韭菜”可能性不大:中南财经政法大学数字经济研究院执行院长盘和林在接受采访时表示，从所拥有的资源来看，美国有条件利用比特币来进行全球资产的配置。不过，从现实上角度来说，盘和林认为，美国割全球的“韭菜”可能性不大。盘和林分析称，如果美国想达到最后的“目的”，这个链条还需要一个关键环节，那就是美国必须出面强制要求其他国家承认比特币的结算，尤其是与关键资源(如石油等)相挂钩。在那个时候，美国才可以在比特币建立的货币体系里占据绝对的主动权。客观来看，虽然存在这种可能，而且美国也是最具有这个条件的国家，但是可能性并不是特别大。其原因在于目前许多国家都在努力摆脱美元的束缚，包括伊朗等国家都在探索属于自己的数字货币或者是和资源挂钩的资源货币，不一定会被迫认可比特币的价值。他表示：“而没有了流通价值，比特币又能具有多大的价值呢？”（中新经纬）[2020/7/29]

一笔签过名的 CT 所包含的链上事件的指纹有两个字段（实际上是这两个参数的哈希值）：（1）一个 Fact Registry 合约的地址；（2）上述合约中应当记录的事实。

Cardano创始人：亚当·巴克符合成为中本聪的所有条件:以太坊联合创始人、Cardano创始人查尔斯·霍斯金森认为，Blockstream创始人亚当·巴克符合成为中本聪的所有条件。霍斯金森认为中本聪居住在美国沿海地区或西欧，对英式英语很熟悉，并且具有分布式系统和密码学的背景，巴克似乎完美契合。（cointelegraph）[2020/5/27]

StarkEx 有条件交易

StarkEx 会批量打包 Layey-2 中的交易，并使用一条发送到链上的 STARK 证明来结算这些交易。如果某一批次中包含 CT，StarkEx 将保证相关的事实已经注册，以便能清算该批交易；否则，整批交易都会回滚。

在本部分，我们会提出一些应用场景，并指出 CT 如何能用在这些场景中。

详细案例 —— 快速取款

分析 | 应对Libra可从“有条件地尝试发行锚定人民币的稳定币”等三方面入手:《中国金融》2019年第15期，北京大学数字金融研究中心王靖一和黄益平联合发文《Libra的艰难征程与中国应对》，文章表示，应对当前的Libra，可以先从以下三个方面入手。第一，尽快打破国内外数字金融行业分割的局面，真正构建全面开放的新格局。第二，在监管“沙盒”的框架下有条件地尝试发行锚定人民币的稳定币，助力人民币国际化进程。第三，未雨绸缪，主动考虑一些应对数字货币冲击的策略。[2019/8/7]

在任意 L2 方案中，最初级的从 L2 转出资金到 L1 中的办法便是终局化一次 L2 的状态更新（在该次更新中包含一笔取款交易）。在基于有效性证明的系统（比如 StarkEx）中，终局化一次 L2 的状态更新需要在链上提交一个相应（于此次更新）的有效性证明，一般来说需要 10 分钟。这就意味着，如果用户使用这种方式来取款，就不得不等待至少 10 分钟。

而快速取款的用意正是为了解耦这种（取款对 L2 状态更新的）依赖，让用户能够在 “区块时间” 内免信任地将资金取出，也即，就像使用普通的以太坊合约一样。

那到底是怎么个流程呢？如果 Alice 想要从 L2 中取出 1 ETH 到 L1，Alice 可以在 L2 上签名一条将 1 ETH 转移给流动性提供者（LP）的 CT，条件是 LP 在 L1 上转移 1 ETH（减去一些手续费）给 Alice。Alice 的 CT 仅能在她收到 L1 上的转账之后才能执行，所以她不会面临对手方风险。

我们来看一个能够协助 CT 的简易的 Fact Registry 合约：

我们可以看到这个合约有一个 payabe 函数?transfer()，它的功能有两个：

（1）转移一定数量的 ETH 到某个地址

（2）登记 keccack(amount, address, nonce)

Alice 签发的 CT 只有 keccack(1 ETH, Alice, nonce) 在 Fact Registry 中注册之后才能执行。而这个事实，也只有在给 Alice 的 1 ETH 转账发生了之后才能成功注册。Alice 可以无需信任地取出 1 ETH，整个过程只需她的前面，和 LP 在以太坊链上发起的一笔交易。

类似的流程可以捕捉到下列类型的事件，从而 L2 的 CT 也可以有更多的用途，例如：

如果 ETH 的价格跌到了 1010 DAI（可以通过一个已知的信息输入服务在链上注册），Alice 希望在 L2 卖出 1 ETH，换回在 L1 上的 1000 DAI

Alice 希望在 L2 上给 Bob 10 ETH，只要 Bob 以 Alice 的名义在 Alice 指定的 dApp （比如 Aave 或者 Compound）中存入 9.5 ETH

Alice 希望在 DeversiFi 的 L2 上给 Bob 10 ETH，只要 Bob 在 dYdX 的 L2 中给 Alice 的账户存入 9.5 ETH

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

原文链接:

https://medium.com/starkware/conditional-transfers-the-key-to-interoperability-2e1de044fb65

作者:? StarkWare

翻译:?阿剑

标签：ALIALICEICELICDecentralized BankALICE币METAVICE价格Covid Slice

Coinw热门资讯