Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake

Phil Daian, Rafael Pass, and Elaine Shi

Abstract

Decentralized cryptocurrencies have pushed deployments of distributed consensus to more stringent environments than ever before. Most existing protocols rely on proofs-of-work which require expensive computational puzzles to enforce, imprecisely speaking, “one vote per unit of computation”. The enormous amount of energy wasted by these protocols has been a topic of central debate, and well-known cryptocurrencies have announced it a top priority to alternative paradigms. Among the proposed alternative solutions, proofs-of-stake protocols have been of particular interest, where roughly speaking, the idea is to enforce “one vote per unit of stake”. Although the community have rushed to propose numerous candidates for proofs-of-stake, no existing protocol has offered formal proofs of security, which we believe to be a critical, indispensible ingredient of a distributed consensus protocol, particularly one that is to underly a high-value cryptocurrency system. In this work, we seek to address the following basic questions: • What kind of functionalities and robustness requirements should a consensus candidate offer to be suitable in a proof-of-stake application? • Can we design a provably secure protocol that satisfies these requirements? To the best of our knowledge, we are the first to formally articulate a set of requirements for consensus candidates for proofs-of-stake. We argue that any consensus protocol satisfying these properties can be used for proofs-of-stake, as long as money does not switch hands too quickly. Moreover, we provide the first consensus candidate that provably satisfies the desired robustness properties.

Available format(s)
Category
Cryptographic protocols
Publication info
Published elsewhere. MINOR revision.FC'19
Keywords
consensusblockchainscryptocurrencydistributed systemsproofs-of-stake
Contact author(s)
runting @ gmail com
History
2020-07-26: last of 5 revisions
See all versions
Short URL
https://ia.cr/2016/919

CC BY

BibTeX

@misc{cryptoeprint:2016/919,
author = {Phil Daian and Rafael Pass and Elaine Shi},
title = {Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake},
howpublished = {Cryptology ePrint Archive, Paper 2016/919},
year = {2016},
note = {\url{https://eprint.iacr.org/2016/919}},
url = {https://eprint.iacr.org/2016/919}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.