C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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