International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: On Publicly-Accountable Zero-Knowledge and Small Shuffle Arguments

Authors:
Nils Fleischhacker
Mark Simkin
Download:
Search ePrint
Search Google
Presentation: Slides
Abstract: Constructing interactive zero-knowledge arguments from simple assumptions with small communication complexity and good computational efficiency is an important, but difficult problem. In this work, we study interactive arguments with noticeable soundness error in their full generality and for the specific purpose of constructing concretely efficient shuffle arguments. To counterbalance the effects of a larger soundness error, we show how to transform such three-move arguments into publicly-accountable ones which allow the verifier to convince third parties of detected misbehavior by a cheating prover. This may be particularly interesting for applications where a malicious prover has to balance the profits it can make from cheating successfully and the losses it suffers from being caught. We construct interactive, public-coin, zero-knowledge arguments with noticeable soundness error for proving that a target vector of commitments is a pseudorandom permutation of a source vector. Our arguments do not rely on any trusted setup and only require the existence of collision-resistant hash functions. The communication complexity of our arguments is \emph{independent} of the length of the shuffled vector. For a soundness error of $2^{-5}=1/32$, the communication cost is $153$ bytes without and $992$ bytes with public accountability, meaning that our arguments are shorter than shuffle arguments realized using Bulletproofs (IEEE S\&P 2018) and even competitive in size with SNARKs, despite only relying on simple assumptions.
Video from PKC 2021
BibTeX
@article{pkc-2021-31005,
  title={On Publicly-Accountable Zero-Knowledge and Small Shuffle Arguments},
  booktitle={Public-Key Cryptography - PKC 2021},
  publisher={Springer},
  author={Nils Fleischhacker and Mark Simkin},
  year=2021
}