Revelio: A MimbleWimble Proof of Reserves Protocol.

Arijit Dutta Saravanan Vijayakumaran

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

formal proof
theorem proving
theorem prover
formal analysis
communication protocol
linear logic
cooperative
file transfer
genetic algorithm
secret key
authentication protocol
network simulator
mathematical proofs