该论文聚焦动态频谱接入（DSA）中频谱接入系统（SAS）长期存在的「可验证性」与「隐私保护」矛盾。现有集中式 SAS（如美国 CBRS 采用的多层频谱共享架构）由少数运营方掌握分配逻辑，频谱用户（PAL/GAA 用户以及既有 incumbent）难以独立核验信道分配结果与保护措施是否真正符合监管约束，存在分配逻辑不透明的治理风险；而把 SAS 逻辑迁移到区块链上虽天然带来透明性和可验证性，却会引入严重的隐私泄露风险（频谱使用情况、设备位置、分配输入等敏感数据上链）以及不可接受的高昂链上计算开销。作者提出 zkSAS：一套面向 SAS 部署场景的实用零知识证明（ZKP）系统，既能作为现有集中式 CBRS SAS 的验证层，也能嵌入区块链式 SAS 架构。其核心贡献是设计并实现了一组 ZKP 电路，包括：1）分配约束有效性证明（allocation constraint validity），用于在不暴露敏感用户数据的前提下，证明某次信道分配结果满足监管约束（如可用频谱、保护带、优先级与共存规则等）；2）移动列表有效性证明（move list validity），用于验证基于 move list 的 incumbent 保护措施确实按规则计算与生成（例如需腾退频段与受影响用户集合的正确性）。论文在集中式与区块链两种部署模式下对原型系统进行了全面评测，结果显示证明生成开销随频谱用户规模增长而增长，而证明验证保持轻量且为常数时间，这种非对称特性非常适合实际部署——重计算可由申请分配的用户承担，监管方或验证节点可以低成本、可扩展地批量核验。作者据此认为 zkSAS 为安全、可验证的动态频谱共享提供了一条可扩展且实用的技术路径。适合关注无线频谱治理、CBRS/SAS 架构、隐私增强技术以及零知识证明工程化落地的研究者、监管技术团队与安全工程师阅读。