CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
Autor/es:
CRISTIÁ, MAXIMILIANO; ZANARINI, DANTE; BETARTE, GUSTAVO; SILVEIRA, ADRIÁN; LUNA, CARLOS
Reunión:
Workshop; 2nd International Workshop on Application Intelligence and Blockchain Security (AIBlock); 2020
Resumen:
MimbleWimble is a privacy-oriented cryptocurrency technol-ogy which provides security and scalability properties that distinguishit from other protocols of its kind. We present and briefly discuss thoseproperties and outline the basis of a model-driven verification approachto address the certification of the correctness of an implementation of theprotocol.
