Consistency in Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders.

Aggelos Kiayias Saad Quader Alexander Russell

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

set intersection
online learning
constraint networks
theorem proving
path consistency
consistency checking
complete axiomatization
databases
machine learning
search engine
theorem prover
automated theorem proving