Why PQC Roadmaps Keep Missing ZK Verifiers

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 verification to their cryptographic inventory. ZK teams need to connect their upgrade timelines to PQC planning frameworks. Both are building toward the same migration window without accounting for each other's work.