When Sherlock Holmes enters the quantum realm

G. Grammatikakis

James B. Hartle

Colin Jack

"The problem does not sound too dramatic, Mr Holmes. It is hardly in the same league as murder or kidnapping. Yet it has the best brains in our forensic department baffled. The chemists are scratching their heads and our physicist declares it quite the spookiest thing he has come across. Here is the cause of our troubles." Lestrade pulled a lottery card from the pocket of his police uniform.

Banesh Hoffmann

Narciso N. Garcia, Arthur C. Damask, Steven A. Schwarz

George Teşeleanu

Abstract We present two simple zero-knowledge interactive proofs that can be instantiated with many of the standard decisional or computational hardness assumptions. Compared with traditional zero-knowledge proofs, in our protocols, the verifier starts first, by emitting a challenge, and then, the prover answers the challenge.