Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2

MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we…