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

Aggelos Kiayias Saad Quader Alexander Russell

Published in: ICDCS (2020)

Keyphrases

set intersection
online learning
theorem proving
real time
multi party
artificial intelligence
e learning
knowledge base
proof theory