TY  - RPRT
TI  - Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
AU  - Gustavo Betarte
AU  - Maximiliano Cristiá
AU  - Carlos Luna
AU  - Adrián Silveira
AU  - Dante Zanarini
PY  - 2019
UR  - https://arxiv.org/abs/1907.01688
ID  - 1907.01688
ER  -