  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 present and briefly discuss those properties and
outline the basis of a model-driven verification approach to address the
certification of the correctness of a particular implementation of the
protocol.
