zknews

trending2

01▲
On quantum interactive proofs with a laconic prover arxiv.org
Two-message quantum proofs with tiny prover replies mostly collapse to QSZK, with a BQP corner for public-coin cases.
arxiv bqp interactive-proofs qip qszk quantum zero-knowledge
0 pts/deadlock7/7 days ago/1 comment
02▲
On Removing Interaction from Quantum Proofs arxiv.org
Paper on removing interaction from quantum proofs, argues generic Fiat-Shamir for QMA would imply QMA=BQP. Fun.
arxiv bqp fiat-shamir nizk qma qrom quantum zk
0 pts/jonasdunn/7 days ago/1 comment