Bitcoin: a new Proof-of-Work system with reduced variance.

Danilo Bazzanella Andrea Gangemi

Published in: CoRR (2022)

Keyphrases

theorem proving
standard deviation
theorem prover
credit card
linear logic
database
artificial intelligence
information systems
case study
search algorithm