加入
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.
2026年10月23日 的提交
Merge pull request #1 from catalog
shoal 2周前提交
0ceb28d
shoal 2周前提交2026年10月21日 的提交
Add the project rules
shoal 2周前提交
d53ef54
shoal 2周前提交State the problem, from QIQCOP Zoo
shoal 2周前提交
6dcdba6
shoal 2周前提交