Towards a formally verified implementation of the MimbleWimble
  cryptocurrency protocol

Betarte, Gustavo; Cristiá, Maximiliano; Luna, Carlos; Silveira, Adrián; Zanarini, Dante

Record: found
Abstract: found
Article: found

Is Open Access

Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

Preprint

Author(s): Gustavo Betarte , Maximiliano Cristiá , Carlos Luna , Adrián Silveira , Dante Zanarini

Publication date Created: 02 July 2019

Read this article at

ScienceOpen ArXiv

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

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.