On the concurrent composition of zero-knowledge proofs

被引:0
|
作者
Richardson, R
Kilian, J
机构
[1] Groove Networks, Beverly, MA 01915 USA
[2] NEC Res Inst, Princeton, NJ 08540 USA
来源
ADVANCES IN CRYPTOLOGY - EUROCRYPT'99 | 1999年 / 1592卷
关键词
asynchronous attacks; zero knowledge; black-box simulation;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We examine the concurrent composition of zero-knowledge proofs. By concurrent composition, we indicate a single prover that is involved in multiple, simultaneous zero-knowledge proofs with one or multiple verifiers. Under this type of composition it is believed that standard zero-knowledge protocols are no longer zero-knowledge. We show that, module certain complexity assumptions, any statement in NP has k(epsilon)-round proofs and arguments in which one can efficiently simulate any k(O(1)) concurrent executions of the protocol.
引用
收藏
页码:415 / 431
页数:17
相关论文
共 50 条
  • [11] Zero-knowledge proofs of retrievability
    Zhu Yan
    Wang HuaiXi
    Hu ZeXing
    Ahn, Gail-Joon
    Hu HongXin
    SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (08) : 1608 - 1617
  • [12] Zero-knowledge proofs of retrievability
    AHN Gail-Joon
    Science China(Information Sciences), 2011, 54 (08) : 1608 - 1617
  • [13] Zero-knowledge proofs of identity
    Feige, Uriel
    Fiat, Amos
    Shamir, Adi
    Journal of Cryptology, 1988, 1 (02) : 77 - 94
  • [14] Unifying Zero-Knowledge Proofs of Knowledge
    Maurer, Ueli
    PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, 2009, 5580 : 272 - 286
  • [15] Efficient Zero-Knowledge Proofs
    Groth, Jens
    PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2011, 2011, 6737 : 379 - 379
  • [16] A Survey on Zero-Knowledge Proofs
    Feng, Li
    McMillin, Bruce
    ADVANCES IN COMPUTERS, VOL 94, 2014, 94 : 25 - 69
  • [17] 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
  • [18] Concurrent zero-knowledge
    Dwork, C
    Naor, M
    Sahai, A
    JOURNAL OF THE ACM, 2004, 51 (06) : 851 - 898
  • [19] LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs
    Campanelli, Matteo
    Fiore, Dario
    Querol, Anais
    PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 2075 - 2092
  • [20] Zero-knowledge proofs of knowledge for group homomorphisms
    Maurer, Ueli
    DESIGNS CODES AND CRYPTOGRAPHY, 2015, 77 (2-3) : 663 - 676