Proofs of Proofs of Work with Sublinear Complexity.

Aggelos Kiayias Nikolaos Lamprou Aikaterini-Panagiota Stouka

Published in: Financial Cryptography Workshops (2016)

Keyphrases

theorem proving
theorem prover
equational theories
mathematical proofs
computational complexity
real time
computer vision
space complexity
real world
data mining
machine learning
search engine
special case
computational cost
natural deduction
formal proofs