English

Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

Cryptography and Security 2019-07-04 v1
Authors: Gustavo Betarte , Maximiliano Cristiá , Carlos Luna , Adrián Silveira , Dante Zanarini
View on arXiv ↗ PDF ↗

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.

Keywords

digital signature blockchain and cryptocurrency

Cite

@article{arxiv.1907.01688,
  title  = {Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol},
  author = {Gustavo Betarte and Maximiliano Cristiá and Carlos Luna and Adrián Silveira and Dante Zanarini},
  journal= {arXiv preprint arXiv:1907.01688},
  year   = {2019}
}

Related papers

View all related →
Cryptography and Security · Computer Science
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
2021-04-05
Cryptography and Security · Computer Science
One Bad Apple Spoils the Bunch: Transaction DoS in MimbleWimble Blockchains
Seyed Ali Tabatabaee, Charlene Nicer, Ivan Beschastnikh, Chen Feng
2021-12-28
Cryptography and Security · Computer Science
Privacy Analysis and Evaluation Policy of Blockchain-based Anonymous Cryptocurrencies
Takeshi Miyamae, Kanta Matsuura
2024-10-30
Cryptography and Security · Computer Science
Towards Automating Blockchain Consensus Verification with IsabeLLM
Elliot Jones, William Knottenbelt
2026-01-13
Programming Languages · Computer Science
Developing secure Bitcoin contracts with BitML
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida +1
2019-08-06
Cryptography and Security · Computer Science
Bitcoin and Blockchain: Security and Privacy
Ehab Zaghloul, Tongtong Li, Matt Mutka, Jian Ren
2019-04-26
Cryptography and Security · Computer Science
Implementing a Protocol Native Managed Cryptocurrency
Peter Mell, Aurelien Delaitre, Frederic de Vaulx, Philippe Dessauw
2019-12-16
Cryptography and Security · Computer Science
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
Stéphanie Delaune, Lucca Hirschi
2016-11-10
Cryptography and Security · Computer Science
Automatic verification of transparency protocols (extended version)
Vincent Cheval, José Moreira, Mark Ryan
2023-04-18
Logic in Computer Science · Computer Science
Towards a Formal Verification of the Lightning Network with TLA+
Matthias Grundmann, Hannes Hartenstein
2023-07-06
Computers and Society · Computer Science
Can Cryptocurrencies Preserve Privacy and Comply with Regulations?
Geoff Goodell, Tomaso Aste
2019-06-05
Cryptography and Security · Computer Science
A privacy-preserving, decentralized and functional Bitcoin e-voting protocol
Zijian Bao, Bin Wang, Wenbo Shi
2018-12-27
Cryptography and Security · Computer Science
On the security of the Blockchain Bix Protocol and Certificates
Riccardo Longo, Federico Pintore, Giancarlo Rinaldo, Massimiliano Sala
2016-07-29
Cryptography and Security · Computer Science
On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
Andrea Flamini, Giada Sciarretta, Mario Scuro, Amir Sharif +2
2024-01-17
Cryptography and Security · Computer Science
Verifying liquidity of recursive Bitcoin contracts
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
2023-06-22
Programming Languages · Computer Science
QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni +1
2021-09-14
Cryptography and Security · Computer Science
Blockchain Technology: Methodology, Application and Security Issues
AKM Bahalul Haque, Mahbubur Rahman
2020-12-25
Cryptography and Security · Computer Science
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols
Max DiGiacomo-Castillo, Yiyun Liang, Advay Pal, John C. Mitchell
2020-07-20
Cryptography and Security · Computer Science
Model Checking the Security of the Lightning Network
Matthias Grundmann, Hannes Hartenstein
2025-05-22
Distributed, Parallel, and Cluster Computing · Computer Science
Timed Runtime Monitoring for Multiparty Conversations
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
2014-08-27
Cryptography and Security · Computer Science
Secure access system using signature verification over tablet PC
Fernando Alonso-Fernandez, Julian Fierrez-Aguilar, Javier Ortega-Garcia, Joaquin Gonzalez-Rodriguez
2023-01-12
Cryptography and Security · Computer Science
Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
Craig S Wright
2025-07-02
Distributed, Parallel, and Cluster Computing · Computer Science
Formalization and security analysis of the Bridgeless protocol
Orestis Alpos, Oleg Fomenko, Dimitris Karakostas, Oleksandr Kurbatov +1
2025-06-25
Cryptography and Security · Computer Science
Glimmers: Resolving the Privacy/Trust Quagmire
David Lie, Petros Maniatis
2017-02-27
Cryptography and Security · Computer Science
A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
2023-09-12
R2 v1 2026-06-23T10:10:37.578Z