Practical Relativistic Zero-Knowledge for NP

12/18/2019
by   Claude Crépeau, et al.
0

In this work we consider the following problem: in a Multi-Prover environment, how close can we get to prove the validity of an NP statement in Zero-Knowledge ? We exhibit a set of two novel Zero-Knowledge protocols for the 3-COLorability problem that use two (local) provers or three (entangled) provers and only require them to reply two trits each. This greatly improves the ability to prove Zero-Knowledge statements on very short distances with very minimal equipment.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/18/2020

Experimental relativistic zero-knowledge proofs

Protecting secrets is a key challenge in our contemporary information-ba...
research
01/26/2018

Oracle Separations for Quantum Statistical Zero-Knowledge

This paper investigates the power of quantum statistical zero knowledge ...
research
07/29/2019

Non-Locality and Zero-Knowledge MIPs

The foundation of zero-knowledge is the simulator: a weak machine capabl...
research
05/04/2018

A Note on "New techniques for noninteractive zero-knowledge"

In 2012, Groth, et al. [J. ACM, 59 (3), 1-35, 2012] developed some new t...
research
06/30/2020

Zero-divisors of content algebras

In this article, we prove that in content extensions minimal primes exte...
research
01/14/2018

New Perspectives on Multi-Prover Interactive Proofs

The existing multi-prover interactive proof framework suffers from incom...
research
08/26/2023

Solving the insecurity problem for assertions

In the symbolic verification of cryptographic protocols, a central probl...

Please sign up or login with your details

Forgot password? Click here to reset