92 citations · 108 across the 4 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
quant-ph2008★ 92 cited
Interactive Proofs For Quantum Computations
Dorit Aharonov, Michael Ben-Or, Elad Eban
The widely held belief that BQP strictly contains BPP raises fundamental questions: Upcoming generations of quantum computers might already be too large to be simulated classically…
quant-ph2008★ 9 cited
Quantum Multi Prover Interactive Proofs with Communicating Provers
Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
Multi Prover Interactive Proof systems (MIPs)were first presented in a cryptographic context, but ever since they were used in various fields. Understanding the power of MIPs in th…