Securing Proof-of-Work Ledgers via Checkpointing.
Dimitris KarakostasAggelos KiayiasPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- distributed databases
- main memory databases
- fault tolerance
- distributed database systems
- theorem proving
- proof planning
- information systems
- geometry theorem proving
- real time
- natural deduction
- low overhead
- learning algorithm
- theorem prover
- fault tolerant
- data management
- data structure
- bayesian networks
- database systems
- failure recovery
- complete axiomatization
- data sets