A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations

Mimblewimble is a privacy-oriented cryptocurrency technology that provides security and scalability properties that distinguish it from other protocols. Mimblewimble’s cryptographic approach is based on Elliptic Curve Cryptography which allows verifying a transaction without revealing any informatio...

Full description

Bibliographic Details

Main Author:	Silveira, Adrián (author)
Other Authors:	Betarte, Gustavo (author), Cristiá, Maximiliano (author), Luna, Carlos (author)
Format:	article
Language:	Spanish
Published:	2023
Subjects:	Seguridad Verificación formal Mimblewimble Modelo idealizado Criptomoneda Security Formal verification Idealized model Cryptocurrency Segurança Verificação formal Criptomoeda
Online Access:	http://revistas.um.edu.uy/index.php/ingenieria/article/view/1148
Tags:	Add Tag No Tags, Be the first to tag this record!