Securing Proof-of-Work Ledgers via Checkpointing.

Dimitris Karakostas Aggelos Kiayias

Published in: IEEE ICBC (2021)

Keyphrases

distributed databases
distributed database systems
fault tolerance
theorem prover
low overhead
theorem proving
neural network
distributed systems
linear logic
automated theorem proving
main memory databases
data sets
digital libraries
smart card
concurrency control
failure recovery