Three major PQC migration frameworks (NIST IR 8547, NCSC 2025 timeline, EU Recommendation 2024/1101) do not mention zero-knowledge proof systems. Meanwhile, many deployed ZK verifiers depend on pairing-based assumptions that Shor’s algorithm breaks. PQC teams need to add ZK…