A range proof scheme analysis for the Mimblewimble cryptocurrency protocol

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.