ALI:Layer 2 如何实现快速取款？“有条件交易”了解一下_DALICHAIN

本文发布于以太坊爱好者，作者：Starkware，翻译：阿剑。

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

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

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

需求

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

Layer2跨链桥Orbiter Finance现已支持OKX Web3钱包:4月26日消息，OKX Web3 钱包与 Layer2 跨 Rollup 桥 Orbiter Finance 达成官方合作，用户可连接 OKX Web3 钱包登录 Orbiter Finance 网站并使用其进行跨链交易，同时 OKX Web3 钱包的 Discover 板块也收录了 Orbiter Finance，用户可搜索并进入 Orbiter Finance 在 L2 之间进行转账。[2023/4/26 14:27:56]

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

以太坊ERC-20 Token标准发明者宣布即将推出Layer1区块链项目LUKSO:金色财经报道，以太坊 ERC-20 Token 标准的发明者 Fabian Vogelsteller?宣布即将推出 Layer1 区块链项目LUKSO，LUKSO是为创意经济设计的，将与以太坊进行竞争。LUKSO 将有机会让验证者加入网络。以太坊区块链上将有一个 Genesis Validator 存款智能合约，它将在几周后上线。

在 LUKSO 上，Genesis Validator Deposit Smart Contract 将允许用户存入LYXe，这是一种ERC-20 代币，主网上线后，LYXe 将转换为 LYX，即 LUKSO 的原生代币。[2023/4/6 13:46:58]

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

Ergo钱包正式上架Google Play:据Ergo官方推特消息，安卓版Ergo Wallet（Ergo钱包）已于7月26日正式上架Google Play应用商店。据Google Play相关页面介绍，Ergo Wallet是一款用于ERG（Ergo公链原生代币）的钱包App。其特征是：可生成并恢复钱包（可与节点钱包兼容）；无需输入密语即可添加只读钱包；这是一个轻客户端，无需完全同步；可通过出示二维码或分享链接请求支付ERG；可手动或通过扫描二维码发送ERG；可显示钱包余额和可配置的参照法币；保存密语时会进行密码加密或认证保护。此App不会记录任何信息，不会跟踪您，也不会分析您。[2021/7/27 1:18:38]

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

动态 | Kakao旗下区块链平台Klaytn称 公共测试网Baobab已正式发布:Kakao旗下区块链平台Klaytn称，在完成自去年10月以来由合作伙伴独家使用的私人测试网“Aspen”的试运行后，公共测试网Baobab已正式发布。Baobab提供新功能和开发人员工具，可根据合作伙伴的实时反馈增强安全性和可用性。[2019/3/29]

有条件交易简介

链上事件的注册

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上的1000DAI

Alice希望在L2上给Bob10ETH，只要Bob以Alice的名义在Alice指定的dApp中存入9.5ETH

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

总结

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

标签：ALILICALICEICEFootball DecentralizedDALICHAINalice币未来的价格预测SLICE价格

SHIB最新价格热门资讯