Minimum-knowledge transfer protocols

Russell Impagliazzo, Moti M. Yung

Russell Impagliazzo, Moti M. Yung

Paulo Mateus, Filipe Moura, João Rasga

The use of quantum correlations to attack security protocols is an important research line deserving growing attention. An important class of cryptographic protocols used as building blocks for several other more complex protocols is zero-knowledge proof systems. One of the properties that zero-knowledge proof systems are assumed to satisfy is that it is impossible for the verifier to show to a third party that he has interacted with the prover (impossibility of transferring proofs). Herein, it is shown how Bell pairs, together with tamper-proofing, can be used to break the impossibility of transferring proofs for an important class of zero-knowledge proof systems.

José Cláudio do Nascimento, Rubens Viana

Zero-knowledge proof system is an important protocol that can be used as a basic block for construction of other more complex cryptographic protocols.An intrinsic characteristic of a zeroknowledge systems is the assumption that is impossible for the verifier to show to a third part that he has interacted with the prover.However, it has been shown that using quantum correlations the impossibility of transferring proofs can be successfully attacked.In this work we show two new protocols for proof transference, being the first one based on teleportation and the second one without using entangled states. 1

Colin Boyd, Anish Mathuria

Bill Roscoe