Cryptology ePrint Archive: Report 2022/043

Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges

Konstantinos Chalkias and Panagiotis Chatzigiannis and Yan Ji

Abstract: Since the Mt. Gox Bitcoin exchange collapse in 2014, a number of custodial cryptocurrency wallets offer a form of financial solvency proofs to bolster their users' confidence. We identified that despite recent academic works that highlight potential security and privacy vulnerabilities in popular auditability protocols, a number of high-profile exchanges implement these proofs incorrectly, thus defeating their initial purpose. In this paper we provide an overview of \textit{broken} liability proof systems used in production today and suggest fixes, in the hope of closing the gap between theory and practice. Surprisingly, many of these exploitable attacks are due to a) weak cryptographic operations, for instance SHA1 hashing or hash-output truncation to 8 bytes, b) lack of data binding, such as wrong Merkle tree inputs and misuse of public bulletin boards, and c) lack of user-ID uniqueness guarantees.

Category / Keywords: cryptographic protocols / blockchain, custodial wallets, solvency proofs, light clients, Merkle trees, public bulletin board, cryptographic attacks, data binding, hash-truncation, dispute resolution

Date: received 12 Jan 2022

Contact author: chalkiaskostas at gmail com, pchatzig at gmu edu, jyamy42 at gmail com, kostascrypto at fb com

Available format(s): PDF | BibTeX Citation

Version: 20220114:073405 (All versions of this report)

Short URL: ia.cr/2022/043


[ Cryptology ePrint archive ]