TontineCoin: Murder-Based Proof-of-Stake.

Chris Pollett Thomas H. Austin Katerina Potika Justin Rietz

Published in: DAPPS (2020)

Keyphrases

theorem proving
theorem prover
automated theorem proving
mathematical proofs
three dimensional
linear logic
natural deduction
formal proof
real time
data sets
neural network
social networks
decision making
reinforcement learning
digital libraries