Polymarket 的幽灵：当链下撮合遇上链上回滚

TL;DR Polymarket 链下匹配与链上结算的混合架构导致“幽灵成交”漏洞，攻击者可利用时间差取消订单无风险获利，该缺陷及其合约代码已跨链扩散。

问题

在 DeFi 预测市场中，为满足低延迟交易需求，平台普遍采用链下匹配、链上结算的混合架构。Polymarket 作为最活跃的去中心化预测市场，其订单在链下成功匹配后，可能因链上状态变化导致结算失败，形成Ghost Fill——即“已成虚单”的一致性缺口。此前研究多聚焦于纯链上交易的原子性与 MEV 防护，对混合架构中链下匹配与链上结算之间的时间窗口原子性缺乏系统分析，也未对链上回退交易进行大规模推理与攻击归因。传统安全审计仅检查合约代码的正确性，但无法预测动态状态竞争导致的业务逻辑失败。

这一问题的难点在于：链下匹配系统的高吞吐特性使得攻击者可利用极短的时间间隙（通常在几秒内）执行状态作废操作（如 nonce bump、授权撤回、余额转移或代理陷阱），且攻击手法快速演化出 35 种变体。由于链上链下数据离散，溯源攻击、量化影响以及检测跨链复用的漏洞合约均需重构状态并海量关联交易。业界高度关注，因为此类攻击不仅能实现无风险套利，更可直接造成大规模 DoS——高峰时回退率超 24.3%，已导致至少 $1.49M 非法利润，并使 $1.78B 资金面临风险。

这类似于 AI 在线推理服务中，异步任务调度与结果返回之间的状态不一致：如果客户端在计算完成前撤回请求，而系统缺乏幂等保证，将引发计费争议与算力损耗——二者均因分布式系统的时间窗口原子性缺失导致攻击面。

核心洞察

• **Ghost Fills 揭示了混合架构下链下匹配与链上结算的时序不一致性是一种独特的 DeFi 攻击面**。与纯链上 DEX 的抢先交易不同，攻击者无需支付更高的 gas 费，仅需在撮合后、结算前通过普通交易撤销订单状态（如 nonce 提升或授权撤销），即可选择性回滚对手方成交，实现零风险套利。这种低成本、高隐蔽性的“条件撤销”能力，暴露了乐观执行模式在预测市场场景下的系统性信任缺陷，对该类架构的安全设计提出了全新挑战。
• **攻击生态已从单点漏洞利用快速演化为 35 种变体的产业化操作，目标直指流动性激励与套利机器人**。研究发现的 proxy trap、collateral withdrawal 等手法不仅造成 149 万美元直接利润，更在高峰期引发超过 24% 订单回滚的 de facto DoS。攻击者通过精准识别并“猎杀”套利机器人，扭曲了流动性奖励分配，这标志着 MEV 博弈已从 mempool 抢跑延伸到订单流状态撤销的维度，且攻击工具链高度成熟，对链下匹配协议构成持续威胁。
• **有缺陷的 Polymarket 交易所代码被跨链重用，导致风险从单平台蔓延至 10 条链上的 167 个独立合约，冻结超 2300 万美元用户资金**。该发现突破了单协议安全审计的假设，突显了 DeFi 合约模块化复用的系统性风险：即使原始团队已修复漏洞，第三方分叉版本依然携带相同的时序攻击面。这种“代码传染”效应将去中心化生态的依赖性风险放大，要求安全社区建立跨链合约溯源与漏洞通告机制。

方法

输入与数据采集

GhostHunter 以 Polygon 链上的已回滚 match‑order 交易 为核心分析对象，从 2024 年 3 月至 2025 年 5 月共收集 1,952,440 笔这类失败结算记录。每条记录包含完整的链上 trace、事件日志及相关的 off‑chain 订单匹配时间戳，构成一个“幽灵成交”语料库。

关键分析模块

1. 交易重构
   解析链上 trace 还原每次失败结算的全过程，重点提取两段时间间隙：off‑chain 匹配到 on‑chain 提交，以及提交到最终确认。通过状态比对，定位在间隙中发生的账户状态变更（如 nonce 变化、余额转移、授权撤销）。

2. 攻击向量规则引擎
   根据前置状态差异，定义四类原语攻击模式：nonce bump（提前消费 nonce 使原交易失效）、balance drain（转移担保资产至余额不足）、allowance revoke（撤销 ERC‑20 授权导致转账失败）和 proxy trap（利用代理合约干扰执行上下文）。引擎对 980,133 笔被认定为选择性回滚的已匹配订单进行模式匹配，自动归类并衍生出 35 种实战变体。

3. 跨链重用分析
   提取 Polymarket 交易所合约的字节码特征，在 10 条 EVM 兼容链上扫描相似合约。通过相似度阈值和用户资金持仓筛选，识别出 167 个独立合约仍保留同一设计缺陷，涉及至少 $23M 用户资金。

输出与应用

GhostHunter 输出攻击分类结果、逐笔利润归因及跨链风险地图。据此估计攻击者获得至少 $1.49M 利润，高峰期造成 24.3% 的订单填充率被 DoS，并已将证据提交给受影响团队实现部分缓解。

差异点：不同于仅面向智能合约代码缺陷的静态分析工具，GhostHunter 首次系统解构了链下匹配与链上结算之间的时间一致性缺口这一混合架构特有攻击面，并通过自动归因与跨链传播分析提供了可操作的运营安全反馈。

实验

实验设计

GhostHunter 从 Polygon 链收集全部 Polymarket 的 match-order 交易，筛选因链上结算失败而回滚的幽灵填充事件。通过解析输入数据和事件日志，重建链下匹配的订单场景。基于失败原因构建规则分类器，识别 nonce bump、balance drain、allowance revoke、proxy trap 四种攻击向量及 35 种变种，并度量攻击在市场、时间、用户维度的分布及利润。

关键发现

在 1,952,440 笔回滚中，980,133 笔填充订单被选择性取消。攻击者至少获利 $1.49M，平台支付 212K POL 手续费，$1.78B 资金暴露于取消风险。高峰时段 24.3% 的填单回滚，形成事实上的 DoS。缺陷合约代码被跨链复用，10 条链上 167 个合约仍持有约 $23M 用户资金。

对比解读

幽灵填充不同于传统抢跑或三明治攻击——它不依赖区块排序，而是利用链下匹配到链上结算的时间间隙预先取消订单。攻击者在链下无风险地捕获预测收益与流动性激励，链上仅留下合法的取消记录，防检测难度更高。这暴露了混合架构中乐观执行与结算最终性的根本矛盾：追求低延迟必须以强一致性机制为前提，否则将面临系统性套利。

行业影响

落地场景

Ghost Fills 漏洞揭示了链下匹配、链上结算的混合架构中普遍存在的一致性缺口。除预测市场外，采用类似设计的 去中心化交易所（DEX）（如订单簿模式）、衍生品协议、NFT 市场 及 GameFi 应用均直接暴露于此风险。任何需要低延迟链下撮合、并依赖链上智能合约最终执行的系统，都可能遭受 取消攻击 导致订单静默失效。因此，链上安全审计工具、实时交易监控服务 以及 DeFi 保险产品 均能直接应用该研究的检测与分类方法。

商业价值

该研究揭示了攻击者可利用的四种攻击向量及 35 种变体，已造成至少 $1.49M 直接获利，并使 $1.78B 资金暴露于风险中，同时导致操作者浪费 2.17M POL（约 $212K）gas 费用。对协议方而言，集成防御措施可避免资金损失（降本），保护流动性提供者收益（增收），并保障交易成功率（体验提升）。尤其在峰值时段，超过 24.3% 的成交订单被回退，实质形成 DoS 攻击，严重影响用户信任。若能消除该问题，可显著降低客户流失率。

与现有产品/工作流的接口

• 开发流程集成：可将 GhostHunter 的分析模块接入智能合约 CI/CD 管线，在合约升级或新市场部署前自动执行一致性审计，标记潜在的时间窗口漏洞。
• 链上监控服务：安全公司（如 CertiK、慢雾）可基于该研究的攻击规则库，为 DeFi 协议提供实时 链上交易回放与失败归因服务，及时发现异常 Nonce 序列、授权撤销或余额抽取行为。
• 协议设计规范：项目方可采纳文中提出的缓解方案（如链上确认后再报成交、结算超时检查），作为混合架构协议的标准设计模式。

具体落地用例

1. 去中心化衍生品交易所：某采用链下订单簿的永续合约平台，可部署 GhostHunter 的变体检测器，当监控到用户持仓保证金在撮合后被特意提空导致强平交易失败时，自动触发熔断或延迟结算，防止攻击者进行无风险赌注。
2. 跨链流动性聚合器：聚合器在路由交易时，利用该研究发现的 proxy trap 模式识别恶意代理合约，在用户授权前进行风险提示，避免资金落入陷阱，保障跨链兑换的安全性。

局限

• 攻击检测完全依赖链上重放与状态比对，无法捕获仅在链下匹配但未提交链上的恶意尝试，导致对“Ghost Fill”漏洞的实际利用规模评估偏低。盈利计算基于可追踪的链上资产转移，攻击者可通过隐私币、混币器或跨链桥隐藏利润，真实经济损失可能更高。此外，GhostHunter 的规则集需要人工维护以适配新型攻击变体，自动化适应能力有限，难以直接扩展至其他混合架构的 DeFi 协议。
• 实验集中于 Polygon 上的 Polymarket 交易所合约，尽管识别出 10 条链上 167 个复用合约，但仅通过代码相似度推断风险，未在其他链上复现攻击或验证实际利用情况，可能高估跨链影响。不同链的 Gas 价格、区块时间及预确认机制会显著改变攻击成本与成功率，但研究未做差异化分析。良性回滚与恶意攻击的界限依赖启发式阈值，存在误分类风险，可能影响对攻击者行为和经济影响的精准刻画。
• 该工作本质是对单个平台混合架构一致性间隙的深入案例研究，提出的攻击分类和检测范式高度依赖 Polymarket 特定的订单匹配与结算流程，难以抽象为通用框架。与预言机安全或 MEV 缓解领域的工作相比，缺少主动防御方案或形式化安全模型验证，仅给出缩短时间窗口等浅层缓解建议，且未在生产环境中测试其有效性。负责任披露后问题仅部分修复，根本的架构缺陷依旧存在，实用性有限。