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

Jonah Brown-Cohen Arvind Narayanan Alexandros Psomas S. 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