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 p...