BlockReduce - Scaling Proof-of-Work Blockchains.

Yanni Georghiades Karl Kreder Jonathan Downing Alan Orwick Sriram Vishwanath

Published in: CoRR (2021)

Keyphrases

theorem prover
theorem proving
linear logic
data mining
information retrieval
search engine
knowledge base
neural network
computer vision
information systems
multiresolution
proof planning
formal proof
scaling function