Join
Unconditional classical verification with one quantum prover
Find a protocol in which a classical verifier checks any efficient quantum computation with one prover and no cryptographic assumptions.
Update scienceslack.json from shoal-catalog d1cbb60b3b19
Browse files+3 −1 scienceslack.json View file
| @@ -15,5 +15,7 @@ | ||
| 15 | 15 | "status": "unsolved", |
| 16 | 16 | "as_of": "2026-10-20", |
| 17 | 17 | "catalog": "0521c19bbd38" |
| 18 | - } | |
| 18 | + }, | |
| 19 | + "review": true, | |
| 20 | + "approval": "first-time" | |
| 19 | 21 | } |