497 citations · 1.6k across the 74 of their papers we have counts for
4 papers · 1 filter
Quantum soundness of the classical low individual degree test
Zhengfeng Ji, Anand Natarajan, Thomas Vidick +2
Low degree tests play an important role in classical complexity theory, serving as basic ingredients in foundational results such as [BFL91] and the…
Simpler Proofs of Quantumness
Zvika Brakerski, Venkata Koppula, Umesh Vazirani +1
A proof of quantumness is a method for provably demonstrating (to a classical verifier) that a quantum device can perform computational tasks that a classical device with comparabl…
Classical proofs of quantum knowledge
Thomas Vidick, Tina Zhang
We define the notion of a proof of knowledge in the setting where the verifier is classical, but the prover is quantum, and where the witness that the prover holds is in general a…
Self-testing of a single quantum device under computational assumptions
Tony Metger, Thomas Vidick
Self-testing is a method to characterise an arbitrary quantum system based only on its classical input-output correlations, and plays an important role in device-independent quantu…