zkSAS: Practical Zero-Knowledge Proofs for Verifiable Spectrum Access Management

arXiv:2609.28699 · cs.CR · Submitted 2026-09-23 · Read on arXiv

cs.CR

Submitted: 2026-09-23

Updated: 2026-09-23

Code: https://github.com/purbasha-nishat/Spectrum-Allocation-Constraint-Circuits

Terminology

Verification — 56× in this paper · explained in 2 episodes
Verifiability — 14× in this paper · explained in 2 episodes
Verifier — 11× in this paper · explained in 2 episodes
Zero-Knowledge Proof — 6× in this paper
Computational overhead — 5× in this paper · explained in 2 episodes
Dynamic Spectrum Access — 4× in this paper
Iterative Allocation Process — 2× in this paper
Aggregation — 1× in this paper · explained in 1 episode
Common Reference String — 1× in this paper
Consistency — 1× in this paper · explained in 3 episodes
Core — 1× in this paper · explained in 2 episodes
Federal Communications Commission — 1× in this paper
GHz Citizens Broadband Radio Service — 1× in this paper
IEEE International Conference on Communications — 1× in this paper
Office of the Federal Register — 1× in this paper
Priority Protection Area — 1× in this paper
Spectrum Access Systems — 1× in this paper

Related papers