Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
This addresses security and scalability issues for users of privacy-oriented cryptocurrencies, but it appears incremental as it builds on existing verification methods.
The paper tackles the problem of ensuring correctness in a MimbleWimble cryptocurrency implementation by proposing a model-driven verification approach to certify it, though no specific results or numbers are provided.
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.