💻 computer science

SpexPay: A Privacy-Preserving Pay-As-You-Go System for Dynamic Spectrum Sharing

本文提出了 SpexPay，这是一个面向动态频谱共享的、保护隐私且可审计的按需付费框架，该框架利用 BBS+ 凭证、不可链接的伪名以及智能合约，在边缘硬件上实现了细粒度、身份隐藏的频谱使用，并具备低延迟和低成本的特性。

原作者： Mohaimin Al Barat, Hexuan Yu, Shaoyu Li, Yang Xiao, Yi Shi, Eric W. Burger, Y. Thomas Hou, Wenjing Lou

发布于 2026-07-21

📖 1 分钟阅读☕ 轻松阅读

原作者： Mohaimin Al Barat, Hexuan Yu, Shaoyu Li, Yang Xiao, Yi Shi, Eric W. Burger, Y. Thomas Hou, Wenjing Lou

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，我们周围的空气中充满了无形的无线电波河流，承载着从你最喜欢的歌曲到紧急警报的一切信息。几十年来，这些河流就像是大公司或政府拥有的私人运河，被长期租约锁闭着。但随着我们的世界变得更加互联，这些运河正变得日益拥挤，有些部分空置，而有些部分则拥堵不堪。为了解决这个问题，监管机构正在向“动态频谱共享”开放这些运河，这是一种任何人都可以借用河流中极小一截、持续几分钟的系统，只要不撞到别人的船只即可。

然而，这里有一个陷阱。要借用这一小截，你通常必须向中央管理者详细说明你是谁、你在哪里以及你在做什么。这就像是尝试匿名租一辆自行车，却必须向租赁店出示你的驾驶执照、家庭住址和兴趣爱好清单。这造成了隐私方面的噩梦，特别是对于像军舰或科学家这样需要隐藏行踪的敏感用户而言。此外，目前支付这些微小片段的方式非常笨拙，且往往依赖于信任管理者不会过度收费。大问题在于：我们能否建立一种系统，让你在从未向那个统计波浪的人透露姓名或位置的情况下，就能按实际使用的无线电波量进行付费？

这正是 SpexPay 背后的研究人员试图解决的谜题。他们提出了一种处理这些“随用随付”无线电波的新方法，既能保持你的身份隐藏，又能确保每个人都得到公平的报酬。可以把它想象成一台神奇的无线电波自动售货机。你不需要递交身份证，而是展示一张特殊的、不可破解的数字票据，证明你有权购买饮料，但机器永远看不到你的脸。

以下是 SpexPay 在现实世界中的运作方式：

两步身份检查
首先，想象你需要两把钥匙才能进入一栋安全建筑。第一把钥匙来自“监管机构”（如政府），证明你有权在那里；第二把钥匙来自“商业发行方”（如移动网络公司），证明你的账户中有足够的钱来支付你将使用的水。SpexPay 使用了一种被称为 BBS+ 签名 的巧妙密码学技巧。这允许你向“频段管理者”（即出租无线电波的人）展示你拥有这两把钥匙，而无需展示钥匙本身。这就像向保镖展示一个全息图，证明你已满 21 岁并持有 VIP 通行证，却无需透露你的姓名或生日。

神奇的“心跳”链
一旦进入内部，你需要为你使用无线电波的时间付费。在过去，你可能每五分钟就要签署一次纸质收据，这既缓慢又会泄露过多信息。SpexPay 使用了被称为 哈希链（Hash Chain） 的技术，它就像一串神奇的珠子链。

在开始之前，你创建一长串珠子，其中每一颗珠子在数学上都与前一颗紧密相连。你将最开始的那颗珠子（“根”）交给付款人，而保留其余的部分。
每隔几分钟，你就向频段管理者发送下一颗珠子。
管理者可以立即检查你的新珠子是否与前一颗匹配。如果匹配，他们就知道你仍在场并正在使用无线电波。
至关重要的是，管理者无法伪造珠子。如果他们试图跳过步骤，声称你使用了无线电波一小时，而实际上你只用了五分钟，数学逻辑就会出错，系统将会拒绝他们。这确保了你只为实际使用的部分付费，且管理者无法作弊。

自动化银行
为了确保管理者确实得到了报酬，且你不会面临无法负担的账单，SpexPay 在区块链上使用了一个 智能合约。你可以把它想象为一个数字托管账户，就像一个拿着钱袋子的裁判。

在会话开始前，商业发行方将钱放入裁判的钱袋中。
当你发送你的“珠子”（心跳）时，管理者会收集它们。
当管理者想要收款时，他们向裁判展示最新的珠子。裁判检查数学逻辑，确认珠子真实有效，然后自动释放所欠的精确金额。
如果管理者试图为从未发送过的珠子申请付款，裁判会发现数学逻辑错误并拒绝支付。

它真的有效吗？
研究人员不仅仅是在构想，他们还构建了一个完整的原型来进行测试。他们在标准计算机上运行了该系统，甚至在 树莓派 5 (Raspberry Pi 5) 上也进行了测试——这是一款常用于爱好者项目的微型廉价计算机，旨在观察它是否能在实际使用无线电波的小型设备上运行。

速度： 检查身份并生成证明的整个过程大约耗时 150 毫秒。这比眨眼还要快，意味着你甚至不会察觉到延迟。
成本： 在区块链上运行支付部分的成本约为 603,000 个“Gas”单位，折合人民币/美元约为 0.90 美元。对于一个提供如此高安全性与隐私性的系统来说，这非常便宜。
隐私： 系统成功地向频段管理者隐藏了用户的真实身份，同时仍允许监管机构在发生犯罪行为时，通过查看商业发行方持有的另一份独立私密名单来进行审计。

简而言之，SpexPay 展示了我们可以拥有一个公平、开放的无线电波市场，让你按需付费，同时无需牺牲隐私。它证明了通过结合数字锁、神奇的数学链和自动化裁判，我们可以安全且隐秘地共享空气中无形的河流。

技术摘要：SpexPay

问题陈述

动态频谱共享（DSS）对于适应 5G、Wi-Fi 6/7 及卫星应用的发展至关重要。目前的实现方式，例如用于公民宽带无线电服务（CBRS）的频谱访问系统（SAS），依赖于中心化管理员来管理访问。虽然这些系统已开始采用随用随付（PAYG）模式以提高频谱利用率，但它们在隐私保护和问责机制方面存在显著缺陷。

在现有的 PAYG 框架中，用户必须向商业频段管理器（BM）注册、身份验证并提交详细的访问请求。这一过程会将敏感的操作元数据（包括身份、精确位置、传输时间、功率、带宽和任务剖面）暴露给第三方。对于军事雷达或射电天文学站等关键用户而言，这种暴露带来了推断攻击的风险，使对手或商业实体能够重建其移动轨迹和运行节奏。此外，当前的系统缺乏加密交易的可追溯性，依赖于僵化的订阅或批量发票，而非可验证的、与使用量挂钩的支付。目前急需设计一种既能履行基于使用量消费的财务义务，又不损害用户操作隐私性的系统。

方法论

SpexPay 通过将隐私保护密码学原语与基于区块链的智能合约相结合，构建了一个可审计、不可链接且基于使用量计费的支付框架，从而解决了上述挑战。该系统在公有链上运行两层凭证模型，涉及四个主要参与者：监管发行方（Type-A）、商业发行方（Type-B）、频段管理器（BM）和用户设备。

核心架构组件

两层可验证凭证：
- 监管凭证 ( $V_{CA}$ )： 由 Type-A 发行方（如 FCC）签发，证明监管合规性（如优先接入许可状态），而不泄露用户的真实身份。
- 商业凭证 ( $V_{CB}$ )： 由 Type-B 发行方（如移动网络运营商 MNO）签发，将用户与特定的会话参数（价格、限制、会话 ID）绑定，并将资金存入托管智能合约。
- 隐私机制： 两类凭证均利用 BBS+ 签名来支持选择性披露。用户生成 零知识证明（ZKP），以证明其拥有有效的签名，并证明两个凭证之间隐藏的设备标识符具有一致性，而无需向 BM 透露该标识符本身。
基于哈希链的心跳检测计量：
- 为了实现精细化、连续的计费，同时避免高昂的逐间隔签名成本，设备生成长度为 $L$ （会话限制）的前向安全哈希链。
- 设备从随机叶节点 $y_L$ 计算到根节点 $y_0$ ，并将 $y_0$ 在会话开始前提交给 Type-B 发行方。
- 在运行期间，设备传输包含会话 ID、索引 $i$ 和哈希值 $y_i$ 的心跳包（ $HB_i$ ）。
- BM 通过从接收到的值向后重建链条来验证这些心跳，直至到达上一次验证的状态。这确保了抗重放攻击性，并允许 BM 在无需存储每一个单独传输的情况下，对任何累计的心跳数量进行结算。
智能合约结算：
- 由 Type-A 部署的托管智能合约持有由 Type-B 发行方存入的资金。
- BM 向合约提交包含会话 ID 和最新有效心跳哈希的索赔请求。
- 合约确定性地验证最新索引与上次索赔索引之间的哈希链间隙，计算比例支付金额，并将代币转移至 BM。
- 该机制确保了不可否认的结算：BM 获得的报酬精确对应于经过验证的使用量，由于哈希函数的原像抗性，过度索赔或重放攻击在数学上是不可能的。
审计与撤销：
- 虽然 BM 和区块链仅能看到伪名和会话 ID，但 Type-B 发行方维护着一个将会话 ID 映射到真实设备身份的线下注册表。这使得监管机构可以在不通过区块链或 BM 获取真实身份的情况下，对特定用户进行审计或解决争议。
- 共享的撤销列表允许 BM 拒绝来自恶意用户的会话。

核心贡献

本文将 SpexPay 呈现为首个面向下一代频谱经济的 PAYG 系统，它同时实现了：

精细化的、基于使用量的微支付： 强制执行与实际频谱利用率挂钩的支付，而非批量订阅。
隐私保护的访问控制： 利用带有 BBS+ 签名和 ZKP 的两层凭证系统，在不向频段管理器泄露真实身份的情况下进行身份验证。
可验证的问责制： 实现不可链接的访问认证、通过哈希链进行可验证的使用量计量，以及链上不可否认的结算。
领域特定集成： 针对受监管的 DSS（持续使用证明、合规性-支付绑定、监管监督）的独特需求，解决了现有匿名支付或凭证系统无法支持的问题。

实验结果

作者实现了一个完整的原型，并在标准硬件和边缘类设备（Raspberry Pi 5）上进行了评估。

延迟： 系统表现出低端到端延迟。在标准 Linux 机器上，凭证签发、证明生成和验证的总计算时间约为 150 ms。在 Raspberry Pi 5 上，证明生成耗时 189 ms，证实了其适用于边缘类硬件。
链上成本： 智能合约结算非常高效。一个完整的会话（含 300 次心跳）平均产生约 603K Gas 的消耗，根据 60 天平均以太坊 Gas 价格计算，约为 $0.90。Claim 函数随单次交易索赔的心跳数量 ( $\Delta$ ) 线性扩展，而设置和关闭操作保持恒定。
可扩展性： 密码学操作在链下进行了优化，链上操作仅限于常数大小的状态更新和哈希验证，确保系统能够处理高频计量。

重要性与主张

本文声称 SpexPay 为演进中的 DSS 市场提供了一个切实可行的解决方案，特别是对于涉及公共部门用户（如军事、射电天文学）等法律规定必须保护隐私的场景。通过将身份与结算解耦，并利用哈希链承诺，该系统在实现强不可链接性的同时，保留了监管机构审计使用情况及解决争议的能力。

作者强调，其设计并非仅仅是一个通用的隐私工具，而是一个集成了匿名凭证、密码学使用证明和可编程支付强制执行的领域特定集成方案。这种集成被视为实现基于使用量（PAYG）频谱共享经济规模化的关键，使运营商能够在不损害操作安全的前提下，从稀缺频谱中获取更大价值，并加速蜂窝、物联网和感知应用领域的创新。实验表明，该系统在平衡隐私、可审计性和实时强制执行的竞争需求方面具有可行性，具备实际部署的价值。