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

Aggelos Kiayias Saad Quader Alexander Russell

Published in: CoRR (2020)

Keyphrases

set intersection
real time
theorem prover
theorem proving
data sets
neural network
consistency checking
database
mutual exclusion
proof theory
mathematical proofs