Paper 2020/1334

One-Shot Fiat-Shamir-based NIZK Arguments of Composite Residuosity and Logarithmic-Size Ring Signatures in the Standard Model

Benoît Libert
Khoa Nguyen
Thomas Peters
Moti Yung
Abstract

The standard model security of the Fiat-Shamir transform has been an active research area for many years. In breakthrough results, Canetti et al. (STOC'19) and Peikert-Shiehian (Crypto'19) showed that, under the Learning-With-Errors (LWE) assumption, it provides soundness by applying correlation-intractable (CI) hash functions to so-called trapdoor $\Sigma$-protocols. In order to be compatible with CI hash functions based on standard LWE assumptions with polynomial approximation factors, all known such protocols have been obtained via parallel repetitions of a basic protocol with binary challenges. In this paper, we consider languages related to Paillier's composite residuosity assumption (DCR) for which we give the first trapdoor $\Sigma$-protocols providing soundness in one shot, via exponentially large challenge spaces. This improvement is analogous to the one enabled by Schnorr over the original Fiat-Shamir protocol in the random oracle model. Using the correlation-intractable hash function paradigm, we then obtain simulation-sound NIZK arguments showing that an element of $\mathbb{Z}_{N^2}^\ast$ is a composite residue, which opens the door to space-efficient applications in the standard model. As a concrete example, we build logarithmic-size ring signatures (assuming a common reference string) with the shortest signature length among schemes based on standard assumptions in the standard model. We prove security under the DCR and LWE assumptions, while keeping the signature size comparable with that of random-oracle-based schemes.

Metadata
Available format(s)
PDF
Category
Public-key cryptography
Publication info
A major revision of an IACR publication in EUROCRYPT 2022
Keywords
NIZK arguments compactness simulation-soundness composite residuosity Fiat-Shamir ring signatures standard model
Contact author(s)
benoit libert @ ens-lyon fr
khoantt @ ntu edu sg
thomas peters @ uclouvain be
motiyung @ gmail com
History
2022-07-18: last of 3 revisions
2020-10-26: received
See all versions
Short URL
https://ia.cr/2020/1334
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2020/1334,
      author = {Benoît Libert and Khoa Nguyen and Thomas Peters and Moti Yung},
      title = {One-Shot Fiat-Shamir-based NIZK Arguments of Composite Residuosity and Logarithmic-Size Ring Signatures in the Standard Model},
      howpublished = {Cryptology ePrint Archive, Paper 2020/1334},
      year = {2020},
      note = {\url{https://eprint.iacr.org/2020/1334}},
      url = {https://eprint.iacr.org/2020/1334}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.