BeaconBlocks: Augmenting Proof-of-Stake with On-Chain Time Synchronization.

Alexander Hartl Tanja Zseby Joachim Fabini

Published in: Blockchain (2019)

Keyphrases

automated theorem proving
mathematical proofs
proof planning
high level
theorem proving
theorem prover
cellular automata
formal proof
proof theory
linear logic
database
evolutionary algorithm
digital libraries
image sequences
knowledge base
artificial intelligence
data sets