Formalizing Nakamoto-Style Proof of Stake.

Søren Eller Thomsen Bas Spitters

Published in: CoRR (2020)

Keyphrases

theorem prover
theorem proving
geometry theorem proving
databases
multimedia
clustering algorithm
linear logic
real time
data mining
learning algorithm
search engine
social networks
decision making
website
artificial neural networks
interactive theorem proving