A Blockchain Using Proof-of-Download.

Felipe Zimmerle da N. Costa Ruy J. G. B. de Queiroz

Published in: Blockchain (2020)

Keyphrases

theorem prover
image processing
machine learning
genetic algorithm
social networks
artificial neural networks
automated theorem proving
formal proof