Post-Quantum ZK Is an Architecture Problem, Not a Parameter Problem

Post-quantum migration for ZK proof systems is an architecture problem, not a parameter-tuning problem. This research note proposes a four-layer framework for analyzing where quantum-vulnerable assumptions sit in a proving stack, a three-condition modularity test for whether deployed systems can actually migrate, and applies them to Zcash, ZKsync Era, and Starknet.