Sign in

Formal Barriers to Longest-Chain Proof-of-Stake Protocols.

Jonah Brown-CohenArvind NarayananAlexandros PsomasS. Matthew Weinberg
Published in: EC (2019)
Keyphrases
  • formal model
  • communication protocol
  • upper bound
  • formal methods
  • formal analysis
  • linear logic
  • formal specification
  • decision procedures
  • mathematical theory