Login / Signup
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol.
Gustavo Betarte
Maximiliano Cristiá
Carlos Luna
Adrián Silveira
Dante Zanarini
Published in:
CoRR (2019)
Keyphrases
</>
low cost
lightweight
implementation details
real world
implementation issues
database
data mining
artificial intelligence
formal analysis