Selfish Behavior in the Tezos Proof-of-Stake Protocol.

Michael Neuder Daniel J. Moroz Rithvik Rao David C. Parkes

Published in: CoRR (2019)

Keyphrases

formal proof
lightweight
linear logic
real time
information systems
behavior patterns
network protocols