On Zero-Knowledge Proofs over the Quantum Internet

12/06/2022
by   Mark Carney, et al.
0

This paper presents a new method for quantum identity authentication (QIA) protocols. The logic of classical zero-knowledge proofs (ZKPs) due to Schnorr is applied in quantum circuits and algorithms. This novel approach gives an exact way with which a prover P can prove they know some secret without transmitting that directly to a verifier V by means of a quantum channel - allowing for a ZKP wherein an eavesdropper or manipulation can be detected with a `fail safe' design. With the anticipated advent of a `quantum internet', such protocols and ideas may soon have utility and execution in the real world.

READ FULL TEXT

page 1

page 2

page 3

research
05/27/2019

Perfect zero knowledge for quantum multiprover interactive proofs

In this work we consider the interplay between multiprover interactive p...
research
04/10/2021

Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States

Due to the special no-cloning principle, quantum states appear to be ver...
research
01/26/2018

Oracle Separations for Quantum Statistical Zero-Knowledge

This paper investigates the power of quantum statistical zero knowledge ...
research
05/17/2023

Entanglement-based Mutual Quantum Distance Bounding

Mutual distance bounding (DB) protocols enable two distrusting parties t...
research
02/09/2018

Quantum Relational Hoare Logic

We present a logic for reasoning about pairs of interactive quantum prog...
research
10/04/2021

LQP: The Dynamic Logic of Quantum Information

The main contribution of this paper is the introduction of a dynamic log...
research
09/08/2023

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof

The communities of blockchains and distributed ledgers have been stirred...

Please sign up or login with your details

Forgot password? Click here to reset