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
来源
FEDERAL RESERVE BANK OF ST LOUIS REVIEW | 2023年 / 105卷 / 04期
关键词
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 条
  • [31] zkrpChain: Privacy-preserving Data Auditing for Consortium Blockchains Based on Zero-knowledge Range Proofs
    Xu, Shiwei
    Cai, Xiaowen
    Zhao, Yizhi
    Ren, Zhengwei
    Wu, Lingjuan
    Zhang, Huanguo
    Du, Le
    Tong, Yan
    2020 IEEE 19TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2020), 2020, : 656 - 663
  • [32] Complex zero-knowledge proofs of knowledge are easy to use
    Canard, Sebastien
    Coisel, Iwen
    Traore, Jacques
    PROVABLE SECURITY, PROCEEDINGS, 2007, 4784 : 122 - +
  • [33] Composition of Zero-Knowledge Proofs with Efficient Provers
    Birrelll, Eleanor
    Vadhan, Salil
    THEORY OF CRYPTOGRAPHY, PROCEEDINGS, 2010, 5978 : 572 - +
  • [34] Stacked Garbling for Disjunctive Zero-Knowledge Proofs
    Heath, David
    Kolesnikov, Vladimir
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2020, PT III, 2020, 12107 : 569 - 598
  • [35] Computational soundness of symbolic zero-knowledge proofs
    Backes, Michael
    Unruh, Dominique
    JOURNAL OF COMPUTER SECURITY, 2010, 18 (06) : 1077 - 1155
  • [36] Physical Zero-Knowledge Proofs of Physical Properties
    Fisch, Ben
    Freund, Daniel
    Naor, Moni
    ADVANCES IN CRYPTOLOGY - CRYPTO 2014, PT II, 2014, 8617 : 313 - 336
  • [37] Zero-Knowledge Proofs for Classical Planning Problems
    Correa, Augusto B.
    Buchner, Clemens
    Christen, Remo
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 11955 - 11962
  • [38] PUBLICLY VERIFIABLE NONINTERACTIVE ZERO-KNOWLEDGE PROOFS
    LAPIDOT, D
    SHAMIR, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 537 : 353 - 365
  • [39] On the Existence of Three Round Zero-Knowledge Proofs
    Fleischhacker, Nils
    Goyal, Vipul
    Jain, Abhishek
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2018, PT III, 2018, 10822 : 3 - 33