Classical Verifiable Quantum Computation on CVQC Single verifier, single prover
1Round ComplexityAlagic et al.
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Alagic et al.Assumptions=LWE, Model=QROM2026.04 | 1 | — | — | — | |
| Bartusek and MalavoltaAssumptions=LWE + iO, Model=QROM + CRS2026.04 | 1 | — | — | — | |
| Metger et al. and Gunn et al.Assumptions=LWE, Model=Plain2026.04 | 1 | — | — | — | |
| Bartusek et al.Assumptions=LWE, Model=Classical Oracle Model2026.04 | 1 | — | — | — | |
| Time-Delayed Publicly Verifiable Quantum ComputationAssumptions=SIS/LWE variants, Model=QROM + CRS2026.04 | 1 | — | — | — | |
| Chia et al.Assumptions=LWE + iO, Model=QROM+CRS2026.04 | 2 | — | — | — | |
| MahadevAssumptions=LWE, Model=Plain2026.04 | 4 | — | — | — |