3-Message Zero Knowledge Against Human Ignorance

  • Nir Bitansky
  • Zvika Brakerski
  • Yael Kalai
  • Omer Paneth
  • Vinod Vaikuntanathan
Conference paper

DOI: 10.1007/978-3-662-53641-4_3

Volume 9985 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Bitansky N., Brakerski Z., Kalai Y., Paneth O., Vaikuntanathan V. (2016) 3-Message Zero Knowledge Against Human Ignorance. In: Hirt M., Smith A. (eds) Theory of Cryptography. TCC 2016. Lecture Notes in Computer Science, vol 9985. Springer, Berlin, Heidelberg

Abstract

The notion of Zero Knowledge has driven the field of cryptography since its conception over thirty years ago. It is well established that two-message zero-knowledge protocols for NP do not exist, and that four-message zero-knowledge arguments exist under the minimal assumption of one-way functions. Resolving the precise round complexity of zero-knowledge has been an outstanding open problem for far too long.

In this work, we present a three-message zero-knowledge argument system with soundness against uniform polynomial-time cheating provers. The main component in our construction is the recent delegation protocol for RAM computations (Kalai and Paneth, TCC 2016B and Brakerski, Holmgren and Kalai, ePrint 2016). Concretely, we rely on a three-message variant of their protocol based on a key-less collision-resistant hash functions secure against uniform adversaries as well as other standard primitives.

More generally, beyond uniform provers, our protocol provides a natural and meaningful security guarantee against real-world adversaries, which we formalize following Rogaway’s “human-ignorance” approach (VIETCRYPT 2006): in a nutshell, we give an explicit uniform reduction from any adversary breaking the soundness of our protocol to finding collisions in the underlying hash function.

Copyright information

© International Association for Cryptologic Research 2016

Authors and Affiliations

  • Nir Bitansky
    • 1
  • Zvika Brakerski
    • 2
  • Yael Kalai
    • 3
  • Omer Paneth
    • 4
  • Vinod Vaikuntanathan
    • 1
  1. 1.MITCambridgeUSA
  2. 2.WeizmannRehovotIsrael
  3. 3.Microsoft ResearchCambridgeUSA
  4. 4.Boston UniversityBostonUSA