A range proof scheme analysis for the Mimblewimble cryptocurrency protocol
2021 IEEE URUCON(2021)
摘要
Mimblewimble is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. In previous work we have proposed an idealized model that captures the main features of the Mimblewimble protocol with a model-driven verification approach. In this work, we present an extension of our model to enable zero-knowledge proofs in order to prove that the transaction amount is in a certain range without revealing the value. Furthermore, we provide some security properties a range proof scheme should satisfy.
更多查看译文
关键词
cryptocurrency,mimblewimble,idealized model,formal verification,security
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要