Retricoin: Bitcoin based on compact proofs of retrievability.

Binanda Sengupta Samiran Bag Sushmita Ruj Kouichi Sakurai

Published in: ICDCN (2016)

Keyphrases

credit card
theorem proving
data sets
formal proof
information systems
website
theorem prover
machine learning
decision procedures
patent retrieval
equational theories
mathematical proofs