Interactive Proofs for Verifying Quantum Learning

Implementation code for CS310 - Computer Science Project, in submission of a BSc Computer Science degree at the University of Warwick.

This project implements the Mixture-of-Superpositions (MoS) quantum state model and the interactive verification protocol from Caro et al. “Classical Verification of Quantum Learning”.

API Reference

• mos — Mixture-of-Superpositions State
  • MoSState
• sampler — Quantum Fourier Sampling
  • QFSResult
  • QuantumFourierSampler
• prover — Honest Quantum Prover
  • SpectrumApproximation
  • ProverMessage
  • MoSProver
• verifier — Classical Verifier
  • VerificationOutcome
  • HypothesisType
  • ParityHypothesis
  • FourierSparseHypothesis
  • VerificationResult
  • MoSVerifier
• harness — Experiment Harness
  • Usage
  • ExperimentResult
  • TrialResult
  • TrialSpec
  • merge_shard_files()
  • shard_specs()
  • make_bent_function()
  • make_k_sparse()
  • make_random_boolean()
  • make_random_parity()
  • make_single_parity()
  • make_sparse_plus_noise()
  • run_ab_regime_experiment()
  • run_average_case_experiment()
  • run_bent_experiment()
  • run_gate_noise_experiment()
  • run_k_sparse_experiment()
  • run_theta_sensitivity_experiment()
  • run_noise_sweep_experiment()
  • run_scaling_experiment()
  • run_soundness_experiment()
  • run_soundness_multi_experiment()
  • run_trials_parallel()
  • run_truncation_experiment()
• decode — Protobuf Decoder
  • _guess_experiment()
  • decode()
  • main()