Zero knowledge proof and ZK-SNARK for private blockchains

Springer Science and Business Media LLC - Tập 19 - Trang 443-449 - 2023
Anatoly Konkin1, Sergey Zapechnikov1
1Institute of Cyber Intelligence Systems, National Research Nuclear University (Moscow Engineering Physics Institute), Moscow, Russia

Tóm tắt

Comprehensive adoption of distributed ledger technology and blockchain in enterprises might disrupt financial and other sectors. At the same time, there are some barriers to rolling out the technology in practice. One of the significant issues concerns information security and privacy in the blockchain. Some methods for private transactions such as mixed networks, ring signatures, and off-chain protocols address certain data privacy issues, but do not provide the blockchain characteristics such as decentralized storing systems and immutability verification of private data. This article examines zero-knowledge proof (ZKP) methods for corporate blockchain networks. The article reviews existing methods for private transactions, observes the implementation of ZKP methods, and discusses performance and scalability issues.

Tài liệu tham khảo

Feng, Q., He, D., Zeadally, S., Khan, K.: A survey on privacy protection in blockchain system. J. Netw. Comput. Appl. 126, 45–58 (2019) Davies, S., Likens, S.: PwC’s Global Blockchain Survey. Accessed on: Nov 23, 2020. https://www.pwc.com/gx/en/industries/technology/blockchain/blockchain-in-business.html (2018) Deloitte: Deloitte’s 2020 Global Blockchain Survey. https://www2.deloitte.com/us/en/insights/topics/understanding-blockchain-potential/global-blockchain-survey.html (2020) Guan, Z., Wan, Z., Yang, Y., Zhou, Y., Huang, B.: BlockMaze: an efficient privacy-preserving account-model blockchain based on zk-SNARKs. IEEE Trans. Dependable Secure Comput. (2020). https://doi.org/10.1109/TDSC.2020.3025129 Sukhodolskiy, I., Zapechnikov, S.: A blockchain-based access control system for cloud storage. In: 2018 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus) (2018) Wang, B., Sun, J., He, Y., Pang, D., Ningxiao, L.: Large-scale election based on blockchain. Procedia Comput. Sci. 129, 234–237 (2018) Tai, S.: On or off the blockchain? Insights on off-chaining computation and data. In: European Conference on Service-Oriented and Cloud Computing (2017) Bitansky, N., Chiesa, A., Ishai, Y, et al.: Succinct non-interactive arguments via linear interactive proofs. https://eprint.iacr.org/2012/718.pdf (2012). Accessed 12 Jan, 2022 Fiat, A., Shamir A.: How to prove yourself: practical solutions to identification and signature problems. In: Advantange in Cryptology—Crypto’86. LNCS 263, pp. 186–194. https://doi.org/10.1007/3-540-47721-7 Reitwiebner, C.: zkSNARKs in a Nutshell. http://chriseth.github.io/notes/articles/zksnarks/zksnarks.pdf (2016) Shpilka, A.: TAYehudayoffk, Arithmetic circuits: a survey of recent results and open questions. Now Found. Trendsin Theor. Comput. Sci. 5(3–4), 207–388 (2010). https://doi.org/10.1561/0400000039 Mayer, H.: zk-SNARK explained: Basic Principles. https://doi.org/10.13140/RG.2.2.20887.68007, https://blog.coinfabrik.com/zk-snarks-explained-basic-principles/ (2016) Morais, E., Koens, T., Wijk, C., Koren, A.: A survey on zero knowledge range proofs and applications. https://arxiv.org/pdf/1907.06381.pdf (2018) Thaler, J.: Proofs, arguments, and zero-knowledge. https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf (2021) Accessed 12 Jan, 2022 Ben-Sasson, E., Chiesa, A., Riabzev, M., et al.: Aurora: transparent succinct arguments for R1CS. https://eprint.iacr.org/2018/828.pdf (2018). Accessed 12 Jan 2022 Association Fintech: Masterchain whitepaper. https://fintechru.org/directions/raspredelennyy-reestr/ (2017)