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 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 tool-chain 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.
How Reliable Is the Multi-Input Heuristic for Bitcoin Address Clustering in Law Enforcement Contexts?
University of Bayreuth（拜罗伊特大学）；Iknaio Cryptoasset Analytics（Iknaio 加密资产分析）；Complexity Science Hub（复杂性科学中心）；Bavarian Central Office for the Prosecution of Cybercrime（巴伐利亚网络犯罪起诉中央办公室）
Proof of Useful Intelligence (PoUI): Blockchain Consensus Beyond Energy Waste
School of Science and Technology（科学与技术学院）；Kwansei Gakuin University（片山大学）；School of Engineering & Computer Science（工程与计算机科学学院）；Victoria University of Wellington（威灵顿维多利亚大学）
