Revelio: A MimbleWimble Proof of Reserves Protocol.

Arijit Dutta Saravanan Vijayakumaran

Published in: CVCBT (2019)

Keyphrases

formal proof
lightweight
communication protocol
network protocols
theorem prover
communication protocols
information systems
security analysis
tcp ip
linear logic
coloured petri nets