PoSAT: Proof-of-Work Availability and Unpredictability, Without the Work.

Soubhik Deb Sreeram Kannan David Tse

Published in: Financial Cryptography (2) (2021)

Keyphrases

theorem prover
computational power
linear logic
automated theorem proving
proof theory
neural network
information systems
multi agent
data structure
search algorithm
special case
logic programming
theorem proving
data replication
proof planning
mathematical proofs