3 citations · 5 across the 4 of their papers we have counts for
4 papers
On Information-Theoretic Classical Verification of Quantum Computers
Ayal Green
Quantum inspired protocols e.g. [AAV13,AG17] attempt to achieve a single-prover interactive protocol where a classical machine can verify quantum computations in an information-the…
Towards a quantum-inspired proof for IP = PSPACE
Ayal Green, Guy Kindler, Yupan Liu
We explore quantum-inspired interactive proof systems where the prover is limited. Namely, we improve on a result by [AG17] showing a quantum-inspired interactive protocol ($\sf IP…
On Quantum Advantage in Information Theoretic Single-Server PIR
Dorit Aharonov, Zvika Brakerski, Kai-Min Chung +3
In (single-server) Private Information Retrieval (PIR), a server holds a large database of size , and a client holds an index and wishes to retrieve wit…
A Quantum inspired proof of
Dorit Aharonov, Ayal Green
We provide a new, quantum inspired, proof for the celebrated claim of [LFKN92] that . The protocol is fundamentally different from the original sum-check prot…