Analysis and comparison of the main zero-knowledge proof scheme

Yinjie Gong, Y. J. Jin, Yuchan Li, Ziyi Liu, Zhiyi Zhu

20222022 International Conference on Big Data, Information and Computer Network (BDICN)22 citationsDOI

Abstract

Thanks to the development in encryption technology and blockchain, cryptocurrency has already proven feasible and applicable. However, blockchain requires massive information including details of every transaction, the information of the dealer and buyer, which makes the privacy of every user on blockchain vulnerable. With the presence of Zcash, a new concept called Zero-Knowledge proof which focuses on proving and verifying identities appears in front of every researcher and engineer working on blockchain. Because of the enormous quantity of the ZKP schemes and the limited time, in this article, we have compared four main ZKP algorithms-ZK-SNARK, ZK-STARK, MPC protocol-based algorithms, and Bulletproof. By comparing these algorithms, we intend to give relevant engineers and researchers a general understanding of the advantages and disadvantages of these algorithms. In addition, we try to make the relevant people aware of the application scenarios of each ZKP.

Topics & Concepts

Zero-knowledge proofBlockchainComputer scienceScheme (mathematics)CryptocurrencyProof-of-work systemProtocol (science)Database transactionEncryptionTheoretical computer scienceProof of conceptComputer securityCryptographyZero (linguistics)MathematicsDatabasePhilosophyPathologyAlternative medicineOperating systemMathematical analysisLinguisticsMedicineBlockchain Technology Applications and SecurityCryptography and Data SecurityAdvanced Steganography and Watermarking Techniques