Login / Signup

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.

Gustavo BetarteMaximiliano CristiáCarlos Daniel LunaAdrián SilveiraDante Zanarini
Published in: ACNS Workshops (2020)
Keyphrases
  • lightweight
  • machine learning
  • social networks
  • distributed systems
  • neural network
  • real world
  • petri net
  • efficient implementation
  • multi party
  • implementation details