A Survey on Zero-Knowledge Proof in Blockchain

被引:111
作者
Sun, Xiaoqiang [1 ,2 ]
Yu, F. Richard [3 ]
Zhang, Peng [1 ]
Sun, Zhiwei [4 ]
Xie, Weixin [1 ]
Peng, Xiang [1 ]
机构
[1] Shenzhen Univ, Shenzhen, Peoples R China
[2] Shenzhen Inst Informat Technol, Shenzhen, Peoples R China
[3] Carleton Univ, Ottawa, ON, Canada
[4] Shenzhen Polytech, Shenzhen, Peoples R China
来源
IEEE NETWORK | 2021年 / 35卷 / 04期
基金
中国博士后科学基金; 中国国家自然科学基金;
关键词
AcKnowledgment This work is supported through the National Natural Science Foundation of China under Grant (61802118); the Science and Technology Innovation Projects of Shenzhen (JCYJ20190809152003992); and the China Postdoctoral Science Foundation (2019M653042);
D O I
10.1109/MNET.011.2000473
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Blockchain, which is usually regarded as a public, decentralized and distributed ledger, has attracted significant attention recently. In the environment of blockchain, all historical transaction data are recorded and stored. However, because blockchain is open and transparent, a malicious user may illegally access private transaction data, including transaction amount, account address, and account balance. As a cryptographic technique, zero-knowledge proof (ZKP) can be used to verify whether the prover has enough transaction amount in the environment of blockchain without leaking any private transaction data. This article provides a comprehensive survey on ZKP in the environment of blockchain with the aim of highlighting security problems and challenges. It first discusses the framework, models and applications of ZKP. Next, it provides an introduction of blockchain, and proposes a framework of ZKP in the environment of blockchain. Then, it highlights the current state of ZKP in the environment of blockchain. Finally, it identifies some potential problems and future research directions.
引用
收藏
页码:198 / 205
页数:8
相关论文
共 15 条
[1]   Ligero: Lightweight Sublinear Arguments Without a Trusted Setup [J].
Ames, Scott ;
Hazay, Carmit ;
Ishai, Yuval ;
Venkitasubramaniam, Muthuramakrishnan .
CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, :2087-2104
[2]  
Baza M, 2019, IEEE WCNC
[3]   Aurora: Transparent Succinct Arguments for R1CS [J].
Ben-Sasson, Eli ;
Chiesa, Alessandro ;
Riabzev, Michael ;
Spooner, Nicholas ;
Virza, Madars ;
Ward, Nicholas P. .
ADVANCES IN CRYPTOLOGY - EUROCRYPT 2019, PT I, 2019, 11476 :103-128
[4]  
Ben-Sasson E, 2014, PROCEEDINGS OF THE 23RD USENIX SECURITY SYMPOSIUM, P781
[5]   Zerocash: Decentralized Anonymous Payments from Bitcoin [J].
Ben-Sasson, Eli ;
Chiesa, Alessandro ;
Garmant, Christina ;
Green, Matthew ;
Miers, Ian ;
Tromer, Eran ;
Virza, Madars .
2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, :459-474
[6]   Bulletproofs: Short Proofs for Confidential Transactions and More [J].
Bunz, Benedikt ;
Bootle, Jonathan ;
Boneh, Dan ;
Poelstra, Andrew ;
Wuille, Pieter ;
Maxwell, Greg .
2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2018, :315-334
[7]   Bolt: Anonymous Payment Channels for Decentralized Currencies [J].
Green, Matthew ;
Miers, Ian .
CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, :473-489
[8]   Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts [J].
Kosba, Ahmed ;
Miller, Andrew ;
Shi, Elaine ;
Wen, Zikai ;
Papamanthou, Charalampos .
2016 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2016, :839-858
[9]   RZKPB: A Privacy-preserving Blockchain-Based Fair Transaction Method for Sharing Economy [J].
Li, Bin ;
Wang, Yijie .
2018 17TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (IEEE TRUSTCOM) / 12TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING (IEEE BIGDATASE), 2018, :1164-1169
[10]   Zerocoin: Anonymous Distributed E-Cash from Bitcoin [J].
Miers, Ian ;
Garman, Christina ;
Green, Matthew ;
Rubin, Aviel D. .
2013 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2013, :397-411