A ZK-SNARK based Proof of Assets Protocol for Bitcoin Exchanges

【Author】 Reddy, Swaroopa B.

【Source】2023 15TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS, COMSNETS

【影响因子】

【Abstract】This paper proposes a protocol for Proof of Assets of a bitcoin exchange using the Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (ZK-SNARK) without revealing either the bitcoin addresses of the exchange or balances associated with those addresses. The proof of assets is a mechanism to prove the total value of bitcoins the exchange has the authority to spend using its private keys. We construct a privacy-preserving ZK-SNARK proof system to prove the knowledge of the private keys corresponding to the bitcoin assets of an exchange. The ZK-SNARK toolchain helps to convert an NP-Statement for proving the knowledge of the private keys (known to the exchange) into a circuit satisfiability problem. In this protocol, the exchange creates a Pedersen commitment to the value of bitcoins associated with each address without revealing the balance. The simulation results show that the proof generation time, size, and verification time are efficient in practice.

【Keywords】Bitcoin Exchange; Zero-Knowledge Proofs; ZK-SNARK; Proof of Assets; Rank1 Constraint System; Quadratic Arithmetic Programs; Pedersen Commitment

【发表时间】2023

【收录时间】2023-06-04

【文献类型】

【主题类别】

--