开云提款 银行卡秒到，提单上的carrier是什么意思

在现实世界中，几乎所有高层建筑都有一个基本要素：安全出口。当火灾、地震等紧急情况发生时，安全出口是挽救人们生命的救命稻草。以太坊Layer 2 作为一个承载数百亿美元资产的托管平台系统，有一个必不可少的功能，可以让用户安全地将资产提取到Layer 1。

Vitalik 在他最近的文章《Layer 2 的不同类型》中也强调，用户能否成功从Layer 2 提取资产到Layer 1 是一个非常重要的安全指标。

然而，“平滑退出”的问题直到现在似乎还没有被大多数人重视，很多Layer 2 项目甚至还没有推出“强制退出”或“避难”功能。在L2生态系统尚不成熟的时代，忽视“未经授权的提款”似乎是安全的。但现在Layer 2 承载着超过120 亿美元的资产，使其成为一座“太大而不能倒”的建筑。如果这样的摩天大楼没有安全出口，后果不堪设想。

《极客web3》，为了引起人们对Layer 2安全风险的关注，下面以路印协议V3和Arbitrum为例，解释如何在Layer 2中添加强制提现、逃生舱口等“免许可提现功能”。 说明为什么它很重要。链接2.

（根据L2BEAT dYdX 浏览器的数据，dYdX 的强制交易/提现功能迄今为止已被使用了152 次，其中7 次是超过100 万美元的大额提现） 抵制审查是一个大问题Sequencer 故意拒绝满足您的要求？

过去有关Layer 2 的一般科学文章的问题在于，它们几乎总是关注“安全”和明显的“易用性”，而忽略“审查制度阻力”。即使在谈论去中心化分拣机解决方案时，许多人更多地关注MEV 是否去中心化，而不是提高审查阻力。

换句话说，很多人倾向于关注Layer 2 状态转换是否合法、定序器是否可以盗币、欺诈证明/正确性证明系统是否到位，而忽略了不必要的风险。忽略：如果排序器持续拒绝，事务请求可能会长时间失败或被关闭。此时我该怎么办？

如您所知，在Solana 中断期间，有些人无法及时补充头寸，因为他们的资产面临清算，数百万美元的资产面临风险。一旦出现拒绝用户请求的情况，所造成的经济损失不可低估。

即使只有个人会遇到这样的情况，如果它发生在一些拥有大量资金的鲸鱼身上，整个市场也可能会受到影响（以太坊上某人的Defi 假设借贷协议有数亿美元的资产，这可能会在不到第二）周），但此人的大部分资金都在OP 中，并且OP 排序器在OFAC 的配合下拒绝了该请求）。

也可以考虑将这个问题投射到独立于以太坊的公链上，比如Avalanche或者Polygon上进行分析。如果2/3 或更多的Avalanche Validator 共识节点决定审核该交易，他们可能会拒绝将您发起的Txn 打包到区块中，或者拒绝识别包含该Txn 的区块。此时，你的钱基本上就埋在这条链条里了，无法取回。

除非我们能够说服一些验证者，让不到三分之二的验证者参与审查攻击，或者我们可以让一些人通过社会共识来分叉Avalanche。显然，目前仍然有办法快速从Avalanche 提取资金。您还必须考虑到超过三分之二的验证者联合起来开始审查特定地址上的交易，这本身就需要时间才能完成。这给被审查的用户留下了足够的时间“逃脱”。

然而，Layer2 中的情况可能非常不同。第2 层定序器通常由公式本身执行。如果排序器想要对用户发起审查攻击，它可以“在第2 层冻结资金”。这意味着彻底否定了用户将资产从L2转移到L1的主动权。交易请求。根据L2的工作机制，如果无法绕过定序器进行提现操作，定序器很有可能会冻结L2中的资产而无法转移。

那么我们该如何解决这个问题呢？事实上，坦白说，如何实现“无权限”拉取功能，让用户无需经过定序器或Layer 2 项目团队审核就可以安全地将资产拉取到Layer 1？一些项目参与者提出了去中心化定序器解决方案，该方案只处理是症状而不是根本原因。如果这些数量非常有限的测序者联合起来调查，他们的资产仍然可以被“冻结”，他们无法对抗POS 女巫。节点也是一个难题（参见多链事件）。

最有效的方法是直接在L1链上设置“出口”，允许用户在长时间没有收到定序器的响应的情况下，通过L1上的专用出口从L2提取资金。

路印协议V3版本强制退出及破产清算模式

这里我们以路印协议V3版本为例，说明用户发起强制提币的两种不同情况。第一个是：

用户使用ExchangeV3 合约的ForcedWithdraw 功能直接在第一层发起强制提现，在路印协议中声明自己拥有哪个L2 账户以及想要提现哪些代币。然后，ExchangeV3 合约会抛出链上事件，提示有人发起强制提款请求。由于路印协议中的所有节点（包括Sequencer）都运行Geth 客户端，因此当有人发起从以太坊区块的强制提款时，它们会获悉，从而触发相应的链上事件。

请注意，强制提款不会立即处理，而是放入pendingForcedWithdrawals队列中并置于待处理状态。 Sequencer 指出，当有人在第1 层发起强制提款时，通常会在15 天内触发ExchangeV3 合约处理功能，将代币（从L2 项目存款）转移到我注意到的以太坊链上的提款发起者。以太坊链地址，汇款给提款人）。

如果sequencer在15天内没有响应用户的强制提现请求，则用户调用notifyForcedRequestTooOld函数使ExchangeV3合约抛出名为WithdrawalModeActivated的事件，通知Loopring协议已经可以激活破产清算模式。通知。

当破产清算模式被激活时，路印协议V3将停止接收Sequencer发送的新L2区块。这意味着整个路印协议此时停止工作。这个过程至少需要30天。

然而，在破产清算模式下，用户仍然可以在Layer 1提取资产，但必须提交Merkle证明来证明其资产状态/状态，这可以在L2状态树中看到。 （证明您的二层资产余额与您发起提现时申报的金额相符）

路印协议的这种破产清算模式在L2BEAT中也被称为逃生舱口机制。这种触发方式是有前提条件的。即定序器在指定时间内未响应用户的强制撤回请求，或者定序器发生故障或长时间停机。目前，用户可以手动触发rollup合约进入冻结模式/停止操作。然后，用户可以构建Merkle 证明来证明自己在Layer 2 的资产，并从L1 的L2 项目充值地址中提取资产。

StarkEx文档还提供了这个过程的特殊示意图。如果L2用户由L1发送的强制提款请求在7天窗口结束时没有收到定序器的响应，则用户可以调用冻结请求函数使L2进入冻结期。此时L2排序器无法更新L1上L2的状态，并且L2状态从冻结到解冻需要一年的时间。然后，用户可以提交他们的Merkle 证明并提取资金。

但要构建Merkle 证明，我们首先需要知道完整的L2 状态树。这意味着我们需要找到一个L2全节点来请求数据，显然我们需要生成Merkle证明的代码。技术限制。为了方便广大用户，L2BEAT此前宣布Layer 2是一个开放权限、开源的平台，可以让用户知道自己在L2上所有账户的状态（包括余额、交易笔数等），我提到过，我需要使用代码设置一批完整节点。 ）。此举实际上显示了强制疏散和逃生舱口机制的重要性。

Arbitrum 的“强制交易包含”功能

但强制疏散和逃生舱口似乎并不是唯一不受审查的解决方案。例如，Arbitrum 采用了一种名为“强制交易包含”的方法，如果Sequencer 超过24 小时没有处理，用户首先将需要Sequencer 处理的Txn/withdraw 发送到L1 延迟收件箱合约。你可以发送它。用户可以在L1上调用Sequencer Inbox合约。强制包含功能允许Txns直接包含在Arbitrum的交易序列中（抛出链上事件以通知Arbitrum全节点应包含延迟收件箱中记录的多个Txns）。在L2 分类账中）。

相比之下，Arbitrum的方法更加简单，但是这个方法还是略有欠缺。因为我们只是抛出一个链上事件来告诉Arbitrum 节点，一些被定序器忽略的交易应该包含在最长链的L2 中。用户可以直接在L1上提款，类似于Loopring协议和StarkEx的破产模式/逃生舱口。看来，即使Arbitrum 的挑战者节点联合起来发起审查攻击，用户的资金仍可能被冻结在L2 中。

因此，虽然Arbitrum 的强制包含并不是完全无需许可的，但只要诚实的节点愿意公开不当行为的证据，它就可以指出定序器忽略了用户的ForceInclusion 请求，但仍然引入了一些信任假设。但幅度很小。

更准确地说，一笔“强制包含交易”必须被至少一个ARB挑战者节点认可。这些节点现在有权决定发布哪些L2-L1之间的跨链消息。目前他们是唯一可以颁发欺诈证书的人。只要这九个节点串通，理论上就有可能使用户的“强制交易”失效。

因此，Arbitrum 目前的强制交易/提现并不像Loopring 或StarkEx 的破产清算模型那样需要L2 节点权限。不过，L2BEAT仍然对Arbitrum的解决方案表示赞赏。未来，Arbitrum 将推出名为BOLD 的Permissionless 欺诈证书颁发机制，因此挑战者节点将很难或不可能串通（目前实际上很难串通）。

根据L2BEAT 数据，目前任何定序器故障或提议者故障的TVL 超过5000 万美元，包括OP Mainnet、Base、zkSync Era、Mantle、Starknet、Linea、Polygon zkEVM、Metis 等，均未提供解决方案。在极端情况下，这些L2可能会冻结用户资产，使其无法从L2中提取。

因此，强制退出模式和破产解决模式显然有其必然性，但目前它们只是依靠用户和选择者之间的竞争，并不能说是“随时退出” ’这个词的真正含义不是。 （Arbitrum 有24 小时的延迟，并且可能会失败，Loopring 的延迟最多为15 天，StarkEx 的延迟最多为7 天），但显然有总比没有好。 ”此外，我们相信未来可以通过更复杂的机制设计更好地解决强制提现延迟的问题（目前，一些MEV科学家正在使用ForceInclusion来发起抢先交易），请参阅主要L2项目利益相关者的官方信息。了解更多信息）。

随着去中心化排序器越来越多地纳入L2 路线图，以及Vitalik 领导的以太坊基金会继续进行第2 层安全性教育，强制提款等抗审查交易功能将被越来越多地使用。这使得以太坊第2 层系统更接近于抗审查和无需信任的金融基础设施系统。我相信，一旦Layer 2 实现了无需信任的资金进出方式，更多的做市商和流动性提供者将跳入L2 基础设施，从而导致web3 的整体大规模采用。