Zero-Knowledge Proofs of Quantumness Secure Quantum Computing Verification
ZKPoQ formalizes quantum completeness and classical soundness with a verifier-side zero-knowledge argument, preventing classical verifiers from exploiting quantum provers' secrets.
