Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.

Gustavo Betarte, Maximiliano Cristi, Carlos Daniel Luna, Adrin Silveira, Dante Zanarini

Browse the full ACNS paper archive.