A regulated anonymous cryptocurrency with batch linkability

Cryptocurrencies such as Bitcoin use blockchain to conduct peer-to-peer value transmission. Nevertheless, the publicly nature of on-chain data might violate the privacy of the users. Subsequently, several anonymous cryptocurrencies, such as Zerocash and Monero, were proposed to enhance the privacy of cryptocurrencies. However, the strong privacy makes these cryptocurrencies perfect tools for illegal gains such as money laundering, extortion, and terrorist financing. As a result, regulation becomes a necessity for cryptocurrencies. In order to balance the contradiction between privacy and regulation in cryptocurrencies, in this paper, we propose a new regulated anonymous cryptocurrency protocol that can protect the privacy of honest payers while enabling a tracing authority to find out all the correlations among a batch of dubious transactions by a single query, and even trace malicious payers’ real identity if necessary. We formalize its system model and security model, including anonymity, sort-blindness, non-frameability and linkability. We also demonstrate that the proposed protocol achieves these desirable security properties with detailed security analysis. Finally, we show the validity and feasibility of this protocol by implementing a prototype system.