Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2019
- DOI:
- 10.48550/arXiv.1907.01688
- arXiv:
- arXiv:1907.01688
- Bibcode:
- 2019arXiv190701688B
- Keywords:
-
- Computer Science - Cryptography and Security