该论文首次系统研究了新兴支付协议x402的安全性问题。x402扩展了HTTP 402，为Web API和自主AI代理提供支付能力，其核心设计是将支付证明验证和链上结算委托给第三方促进者（facilitators），以实现跨商家的共享支付基础设施。然而，这种集中化信任模型引入了一个单点故障，一旦facilitator存在缺陷，可能波及所有依赖它的商家。作者通过对实际部署的facilitator进行深入分析，归纳了八项安全规则，涵盖授权正确性和执行安全性。在此基础上，他们发现了四种新型攻击向量：免费购物（攻击者可绕过支付获取服务）、资产盗窃（窃取facilitator持有的加密资产）、服务拒绝（阻止合法支付处理）和Gas滥用（恶意消耗赞助商支付的Gas费用）。这些攻击利用了facilitator实现中的逻辑漏洞和验证缺失，导致商家直接经济损失、facilitator资产损失、无限制的Gas消耗以及支付服务中断。为评估影响面，作者开发了一款半自动化黑盒测试工具，并将其应用于15个主流facilitator（这些平台合计服务超过6万名卖家和36万名买家）。测试结果令人震惊：所有15个facilitator均存在违反安全规则的行为。作者已向受影响方（包括Coinbase）负责任的披露，相关方已承认问题并采取缓解措施。此外，作者通过对超过1.19亿笔Base和Solana区块链上的交易进行实证分析，量化了x402的采用规模、facilitator的中心化程度以及生态系统层面的风险指标。该研究揭示了当前x402生态中的重大安全隐患，强调了在去中心化支付基础设施中加强安全验证的必要性。

该论文提出了一种名为 Accio 的链下支付协议，旨在解决现有基于中心节点（hub）的链下支付系统中存在的可扩展性、隐私性和效率问题。现有的 hub 类链下支付方案通常需要昂贵的零知识证明（NIZK）来实现不可链接性，且只能支持固定金额的支付，限制了其实用性。Accio 协议的核心创新在于：首先，支持可变金额的支付，允许用户在一次支付中发送任意数额的代币，而无需事先锁定固定金额；其次，通过优化设计实现了不可链接性（unlinkability），即收款节点无法将多笔支付关联到同一发送方或同一路径，且完全避免了 NIZK 的使用，显著降低了计算和通信开销；最后，Accio 基于 hub 架构，利用中心节点（hub）作为中介，连接多个支付通道，从而降低通道建立成本并提高网络连通性。论文详细描述了协议的设计原理、安全模型和具体构造，包括一种基于单向陷门置换的原子交换机制和一种新颖的匿名凭证系统。安全性分析表明，Accio 在标准模型下满足支付正确性、余额安全性和用户隐私（不可链接性）要求。性能评估通过原型实现和实验测试证明，Accio 的链下支付延迟仅为现有方案的几十分之一，且适用于大规模的微支付场景。该工作对于区块链支付通道网络（如闪电网络）的隐私增强和效率提升具有重要理论意义和实际应用价值。