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