Multiple noninteractive zero knowledge proofs under general assumptions

被引：191
|
作者：
Feige, U [1 ]
Lapidot, D [1 ]
Shamir, A [1 ]
机构：
[1] Weizmann Inst Sci, Dept Appl Math & Comp Sci, IL-76100 Rehovot, Israel
来源：
SIAM JOURNAL ON COMPUTING | 1999年 / 29卷 / 01期
关键词：
Hamiltonian cycle; witness indistinguishability;
D O I：
10.1137/S0097539792230010
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we show how to construct noninteractive zero knowledge proofs for any NP statement under general (rather than number theoretic) assumptions, and how to enable polynomially many provers to give polynomially many such proofs based on a single random string. Our constructions can be used in cryptographic applications in which the prover is restricted to polynomial time.
引用
收藏
页码：1 / 28
页数：28
相关论文
共 50 条
  • [31] Efficient Zero-Knowledge Proofs
    Groth, Jens
    PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2011, 2011, 6737 : 379 - 379
  • [32] Zero-Knowledge Proofs for Blockchains
    Ruj, Sushmita
    2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024, 2024, : 67 - 68
  • [33] A Survey on Zero-Knowledge Proofs
    Feng, Li
    McMillin, Bruce
    ADVANCES IN COMPUTERS, VOL 94, 2014, 94 : 25 - 69
  • [34] Zero-knowledge proofs of knowledge for group homomorphisms
    Maurer, Ueli
    DESIGNS CODES AND CRYPTOGRAPHY, 2015, 77 (2-3) : 663 - 676
  • [35] Zero-knowledge proofs of knowledge for group homomorphisms
    Ueli Maurer
    Designs, Codes and Cryptography, 2015, 77 : 663 - 676
  • [36] The power of preprocessing in zero-knowledge proofs of knowledge
    DeSantis, A
    Persiano, G
    JOURNAL OF CRYPTOLOGY, 1996, 9 (03) : 129 - 148
  • [37] Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
    Pailoor, Shankara
    Chen, Yanju
    Wang, Franklyn
    Rodriguez, Clara
    Van Geffen, Jacob
    Morton, Jason
    Chu, Michael
    Gu, Brian
    Feng, Yu
    Dillig, Isil
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
  • [38] NIZKCTF: A Noninteractive Zero-Knowledge Capture-the-Flag Platform
    Matias, Paulo
    Barbosa, Pedro
    Cardoso, Thiago N. C.
    Campos, Diego M.
    Aranha, Diego F.
    IEEE SECURITY & PRIVACY, 2018, 16 (06) : 42 - 51
  • [39] A survey on zero knowledge range proofs and applications
    Morais, Eduardo
    Koens, Tommy
    van Wijk, Cees
    Koren, Aleksei
    SN APPLIED SCIENCES, 2019, 1 (08):
  • [40] Batch Verification for Statistical Zero Knowledge Proofs
    Kaslasi, Inbar
    Rothblum, Guy N.
    Rothblum, Ron D.
    Sealfon, Adam
    Vasudevan, Prashant Nalini
    THEORY OF CRYPTOGRAPHY, TCC 2020, PT II, 2020, 12551 : 139 - 167
12345