zkSAS: Practical Zero-Knowledge Proofs for Verifiable Spectrum Access Management
In the authors' words
Dynamic Spectrum Access (DSA) through the Spectrum Access Systems (SAS) elevates spectral efficiency, yet existing centralized models face allocation logic opaqueness and a lack of independent verifiability. While blockchain-based SAS architectures offer transparency and verifiability by default, they introduce critical privacy risks and prohibitive on-chain computational overhead. We introduce zkSAS, a practical zero-knowledge proof (ZKP) system designed to address the verifiability and privacy gaps in SAS deployments, with direct applicability to both the existing CBRS SAS model and blockchain-based SAS models. The system features a suite of ZKP circuits, encompassing proofs of allocation constraint validity and proofs of move list validity to verify that channel assignments and move list-based incumbent protection measures, respectively, adhere to regulatory constraints without exposing sensitive user data. Comprehensive evaluation of our prototype in both centralized and blockchain-based settings indicates that while proof generation scales with spectrum user population, verification remains lightweight and constant-time. We envision that zkSAS offers a scalable and practical path to secure, verifiable dynamic spectrum sharing.
Appeared: Friday, September 25. arXiv. Preprint with a published version.
DOI: 10.1109/DySPAN69846.2026.11571163
Published version: 10.1109/DySPAN69846.2026.11571163
Authors' comment: Accepted for publication at the 2026 IEEE International Symposium on Spectrum Innovation (DySPAN), Washington, DC, USA, 2026