标题：Practical Range Proof for Cryptocurrency Monero with Provable Security
作者：Li, Kang; Yang, Rupeng; Au, Man Ho; Xu, Qiuliang
通讯作者：Yang, Rupeng;Yang, RP;Yang, RP
作者机构：[Li, Kang; Au, Man Ho] Hong Kong Polytech Univ, Res Inst Sustainable Urban Dev, Hong Kong, Peoples R China.; [Li, Kang; Yang, Rupeng; Au, Man Ho] Ho 更多
会议名称：19th International Conference on Information and Communications Security (ICICS)
会议日期：DEC 06-08, 2017
来源：INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2017
摘要：With a market cap of about 1.5 billion US dollar, Monero is one of the most popular crypto-currencies at present. Much of its growing popularity can be attributed to its unique privacy feature. Observing that no formal security analysis is presented, we initiate a formal study on Monero's core protocol. In this study, we revisit the design rationale of an important component of Monero, namely, range proof. Our analysis shows that the range proof may not be a proof-of-knowledge even if the underlying building block, ring signature, is secure. Specifically, we show that if a certain secure ring signature scheme is used, it is impossible to construct a witness extractor unless the Computational Diffie-Hellman problem is equivalent to the Discrete Logarithm problem. This shows that the design rationale is to possibly flawed. Then, we present a new range proof protocol that enjoys a few advantages. Firstly, it is a zero-knowledge proof-of-knowledge protocol. Secondly, it is compatible with the Monero's wallet and algebraic structure and thus does not require extensive modification in the codebase. Finally, the efficiency is comparable to Monero's version which does not admit a formal security proof.