arXiv cs.CR·8d agoCertifying Hidden Paths: Scalable Topology Assurance for QKD Networks#qkd#zero-knowledge#topologyResearch