An Introduction to Zero-Knowledge Proofs in Blockchains and Economics

被引:1
|
作者
Berentsen, Aleksander [1 ,3 ]
Lenzi, Jeremias [1 ]
Nyffenegger, Remo [2 ]
机构
[1] Univ Basel, Basel, Switzerland
[2] Univ Basel, Ctr Innovat Finance, Basel, Switzerland
[3] Fed Reserve Bank St Louis, St Louis, MO 63102 USA
来源
关键词
D O I
10.20955/r.105.280-94
中图分类号
F8 [财政、金融];
学科分类号
0202 ;
摘要
With a zero-knowledge proof (ZKP), a party can prove that a statement is true without revealing any information except for whether it is indeed true or not. The obvious benefit is privacy since the prover does not need to reveal any additional information, and the second benefit is that it can significantly reduce the cost of verifying the correctness of a statement. ZKPs are increasingly adopted in blockchain applications, where privacy and efficiency still have a lot of room for improvement. While it is expected that ZKP technology will also become ubiquitous in many other areas, the term remains cryptic to many people without a computer science background. In this review article, we shed light on what ZKPs are and how they improve privacy and efficiency and describe applications for blockchains and other use cases.
引用
收藏
页码:280 / 294
页数:15
相关论文
共 50 条
  • [21] On the concurrent composition of zero-knowledge proofs
    Richardson, R
    Kilian, J
    ADVANCES IN CRYPTOLOGY - EUROCRYPT'99, 1999, 1592 : 415 - 431
  • [22] Zero-knowledge proofs for finite field arithmetic, or:: Can zero-knowledge be for free?
    Cramer, R
    Damgård, I
    ADVANCES IN CRYPTOLOGY - CRYPTO'98, 1998, 1462 : 424 - 441
  • [23] Zero-knowledge sets with short proofs
    Catalano, Dario
    Fiore, Dario
    Messina, Mariagrazia
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2008, 2008, 4965 : 433 - +
  • [24] Symbolic Malleable Zero-knowledge Proofs
    Backes, Michael
    Bendun, Fabian
    Maffei, Matteo
    Mohammadi, Esfandiar
    Pecina, Kim
    2015 IEEE 28TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM CSF 2015, 2015, : 412 - 426
  • [25] ZERO-KNOWLEDGE PROOFS OF COMPUTATIONAL POWER
    YUNG, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 434 : 196 - 207
  • [26] MINIMUM RESOURCE ZERO-KNOWLEDGE PROOFS
    KILIAN, J
    MICALI, S
    OSTROVSKY, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 435 : 545 - 557
  • [27] Experimenting with Zero-Knowledge Proofs of Training
    Garg, Sanjam
    Goel, Aarushi
    Jha, Somesh
    Mahloujifar, Saeed
    Mahmoody, Mohammad
    Policharla, Guru-Vamsi
    Wang, Mingyuan
    PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1880 - 1894
  • [28] Doubly adaptive zero-knowledge proofs
    Botta, Vincenzo
    Visconti, Ivan
    THEORETICAL COMPUTER SCIENCE, 2023, 968
  • [29] Zero-Knowledge Sets With Short Proofs
    Catalano, Dario
    Di Raimondo, Mario
    Fiore, Dario
    Messina, Mariagrazia
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2011, 57 (04) : 2488 - 2502
  • [30] Zero-Knowledge Proofs with Witness Elimination
    Kiayias, Aggelos
    Zhou, Hong-Sheng
    PUBLIC KEY CRYPTOGRAPHY-PKC 2009, PROCEEDINGS, 2009, 5443 : 124 - 138