MimbleWimble is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. 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 an implementation of the protocol.
CITATION STYLE
Betarte, G., Cristiá, M., Luna, C., Silveira, A., & Zanarini, D. (2020). Towards a formally verified implementation of the mimblewimble cryptocurrency protocol. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12418 LNCS, pp. 3–23). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-61638-0_1
Mendeley helps you to discover research relevant for your work.