Better Incentives for Proof-of-Work.

Jakub Sliwinski Roger Wattenhofer

Published in: SSS (2022)

Keyphrases

theorem proving
theorem prover
mechanism design
linear logic
real time
databases
multiscale
artificial intelligence
web services
probability distribution
complete axiomatization
geometry theorem proving