Paper 2017/573
Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol
Bernardo David, Peter Ga{ž}i, Aggelos Kiayias, and Alexander Russell
Abstract
We present “Ouroboros Praos”, a new proof-of-stake blockchain protocol that provides, for the first time, a robust distributed ledger that is provably secure in the semi-synchronous adversarial setting, i.e., assuming a delay \Delta in message delivery which is unknown to protocol participants, and fully adaptively secure, i.e., the adversary can choose to corrupt any participant of an ever evolving population of stakeholders at any moment as long the stakeholder distribution maintains an honest majority of stake at any given time. To achieve that, our protocol puts to use forward secure digital signatures and a new type of verifiable random functions that maintains unpredictability under malicious key generation, a property we introduce and instantiate in the random oracle model. Our security proof entails a combinatorial analysis of a class of forkable strings tailored to semi-synchronous blockchains that may be of independent interest in the context of security analysis of blockchain protocols.
Note: Updates to the description and proof of full protocol.
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- blockchainconsensusproof of stake.
- Contact author(s)
- acr @ cse uconn edu
- History
- 2017-11-15: last of 2 revisions
- 2017-06-14: received
- See all versions
- Short URL
- https://ia.cr/2017/573
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2017/573,
author = {Bernardo David and Peter Ga{ž}i and Aggelos Kiayias and Alexander Russell},
title = {Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol},
howpublished = {Cryptology ePrint Archive, Paper 2017/573},
year = {2017},
note = {\url{https://eprint.iacr.org/2017/573}},
url = {https://eprint.iacr.org/2017/573}
}
