StarkExchange：使用 cookie jar 快速提现

一个 无信任 机制，突破了“证明时间”障碍

几周前，我们描述了 StarkExchange，这是我们用于非托管交易的中心化交易所的可扩展性引擎。在最初的设计中，StarkExchange 上提现的速度受“证明生成时间”的限制——即收集一批交易、计算证明以证明其有效性以及让证明在链上被接受所需的时间（这需要几分钟）。

我们在这里提出了一个改进：一个 无信任 机制，可以实现更快的提现，受到的限制仅是通过以太坊进行交易的时间。

优势：降低资本成本与更快响应市场机会

更快的提现意味着交易者降低资本成本：交易者参与市场所需的资本减少，因为他们可以更容易/更快地移动资金以利用套利机会。

表 1：交易所解决方案比较

技术讨论

对 StarkExchange 系统的更改：

• 条件支付： 直观地说，这是从 Alice 到 Bob 的支付，仅在某个条件满足的情况下进行。

我们使用条件支付作为一种“区块链证明”原语——确保链上状态控制链下状态的一种手段。具体来说，只有当某个记录在链上出现时，才会在 链下 (即包含在由 STARK 证明确认的批次中) 发起支付。

条件支付已在 StarkExchange 中使用，当我们将用户存款移到链下时：只有 observe 到链上的匹配存款时，存款才能被包含在证明中（后者确认了链下状态的变化）。

条件支付的众多好处将在另一篇博客文章中讨论。

• Cookie Jar 合同： 交易所设置了一个附加的智能合同，从中进行快速提现的支付。请注意，该合同可以受益于 事实注册 设计模式，以存储参与方在链上进行的支付所演变的历史。

单一快速提现流程：

1. 用户向交易所发送快速提现请求：签名的条件支付，金额为用户希望提取的金额（链下），取决于将相同金额转移给用户的条件（链上）。
2. 交易所——假设用户确实在其链下余额中拥有资金，而交易所在 Cookie Jar 中有足够的资金——指示合同将请求的资金转移给用户，并将快速提现标记为完成。
3. 交易所向证明者提交条件支付。由于该支付的条件已经满足（可以在链上观察到相应的支付到用户），证明者将其包含在下一个证明中，因此资金从用户的账户移出，转入交易所的账户。

补充 Cookie Jar 合同：

交易所从其链下余额补充其链上的 Cookie Jar（本质上在其链上和链下余额之间循环资金）。补充可以定期进行，或者可以通过可用资金（每种代币）达到某个最低阈值/金额触发。

值得注意的是：补充频率越高，交易所支持快速提现的资本成本越低。例如：我们考虑一个每小时从中提取 x 代币的 Cookie Jar。如果每天补充一次，交易所必须在 Cookie Jar 中锁定 24x 代币（或包含一些安全边际的更高数量）。相反，如果每小时补充一次，则交易所只需在 Cookie Jar 中保持 x 代币。资金成本由补充的频率决定。

交易所的新收入流

快速提现可以为不同的服务级别定价。因此，它们给交易所带来了一个有趣的商业机会，可以在支付高端服务费用的专业人士（例如套利者）和零售客户之间进行价格歧视。

历史注记

类似的 提案 于2018年6月提出，用于 Plasma 的快速提现。该机制依赖于欺诈证明，而不是 有效性证明，导致协议复杂性更高。重要的是，那里提出的“流动性合同”（我们提案中的 Cookie Jar 合同）必须覆盖争议欺诈的期间（通常为两周，而我们的时间范围为一小时），导致更高的资本成本（约 200 倍）。

总结

StarkExchange V1.0 旨在实现流动的自托管交易。

通过快速提现，StarkExchange 提供：

• 对用户：降低资本成本
• 对交易所：更大的收入潜力（例如通过启用新的定价级别，吸引套利者等）
• 对所有参与方：低成本和 无信任。既交易所也用户不能盗取对方的资金。

快速提现对用户的增量成本仅为锁定在 Cookie Jar 中的有限资金的资本成本；其他成本（Gas费用和证明生成成本）基本保持不变。

汤姆·布兰德，阿维胡·莱维，和迈克尔·里亚布泽夫

StarkWare

• 原文链接： medium.com/starkware/sta...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～