Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
2
0
0
QMA(2) is strictly more powerful than QMA in the presence of a classical oracle, shattering the assumption of equivalence for certain complexity classes.
Even weak forms of zero-knowledge proofs—where the error probabilities don't have to be vanishingly small—are enough to guarantee the existence of one-way functions.