Sequential iteration of interactive arguments and an efficient zero-knowledge argument for NP

1998 ◽  
pp. 772-783 ◽  
Author(s):  
Ivan Damgård ◽  
Birgit Pfitzmann
Keyword(s):  
Knowledge Argument ◽  
Zero Knowledge ◽  
Sequential Iteration

scholarly journals Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP

1997 ◽  
Vol 4 (50) ◽  
Author(s):  
Ivan B. Damgård ◽  
Birgit Pfitzmann
Keyword(s):  
Hash Function ◽  
Error Probability ◽  
Small Error ◽  
Knowledge Argument ◽  
Zero Knowledge ◽  
Practical Applications ◽  
Interactive Proofs ◽  
Proofs Of Knowledge ◽  
Sequential Iteration ◽  
Security Property

<p>We study the behavior of interactive arguments under sequential iteration, in particular how this affects the error probability. This problem turns out to be more complex than one might expect from the fact that for interactive proofs, the error trivially decreases exponentially in the number of iterations.<br />In particular, we study the typical efficient case where the iterated protocol is based on a single instance of a computational problem. This is not a special case of independent<br />iterations of an entire protocol, and real exponential decrease of the error cannot be expected, but nevertheless, for practical applications, one needs concrete relations<br />between the complexity and error probability of the underlying problem and that of the iterated protocol. We show how this problem can be formalized and solved using the<br />theory of proofs of knowledge.<br /> We also prove that in the non-uniform model of complexity the error probability<br />of independent iterations of an argument does indeed decrease exponentially - to our knowledge this is the first result about a strictly exponentially small error probability in a computational cryptographic security property. <br />As an illustration of our first result, we present a very efficient zero-knowledge argument<br />for circuit satisfiability, and thus for any NP problem, based on any collision-intractable hash function. Our theory applies to show the soundness of this protocol. Using an efficient hash function such as SHA-1, the protocol can handle about 20000 binary gates per second at an error level of 2^−50.</p><p>Keywords -- Interactive proofs, arguments, proofs of knowledge, computational security,<br />efficient general primitives, multi-bit commitment, statistical zero-knowledge.</p>

Improved Zero-Knowledge Argument of Encrypted Extended Permutation

2021 ◽  
pp. 281-298
Author(s):  
Yi Liu ◽  
Qi Wang ◽  
Siu-Ming Yiu
Keyword(s):  
Knowledge Argument ◽  
Zero Knowledge

Comparative study of diverse zero-knowledge argument systems

2016 ◽  
Author(s):  
Jeril Kuriakose ◽  
Pushpendra Singh Sisodia ◽  
Amruth V ◽  
Dhvani K. Shah ◽  
Shraddha More
Keyword(s):  
Comparative Study ◽  
Knowledge Argument ◽  
Zero Knowledge
Sign in / Sign up

Export Citation Format

Share Document