PoSAT: Proof-of-Work Availability andUnpredictability, without the Work.

Soubhik Deb Sreeram Kannan David Tse

Published in: CoRR (2020)

Keyphrases

linear logic
artificial intelligence
theorem prover
theorem proving
database
information retrieval
information technology
mathematical proofs
databases
automated theorem proving