A Formal Analysis of the MimbleWimble Cryptocurrency Protocol.

Adrián Silveira Gustavo Betarte Maximiliano Cristiá Carlos Daniel Luna

Published in: CoRR (2021)

Keyphrases

formal analysis
ban logic
formal methods
payment protocol
agent model
artificial intelligence
relational databases
end to end