Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol

被引:889
作者
Kiayias, Aggelos [1 ,2 ]
Russell, Alexander [3 ]
David, Bernardo [4 ,5 ]
Oliynykov, Roman [6 ]
机构
[1] Univ Edinburgh, Edinburgh, Midlothian, Scotland
[2] IOHK, Edinburgh, Midlothian, Scotland
[3] Univ Connecticut, Storrs, CT USA
[4] Tokyo Inst Technol, Tokyo, Japan
[5] IOHK, Tokyo, Japan
[6] IOHK, Kiev, Ukraine
来源
ADVANCES IN CRYPTOLOGY - CRYPTO 2017, PT I | 2017年 / 10401卷
基金
欧盟地平线“2020”; 欧洲研究理事会; 美国国家科学基金会;
关键词
D O I
10.1007/978-3-319-63688-7_12
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We present "Ouroboros", the first blockchain protocol based on proof of stake with rigorous security guarantees. We establish security properties for the protocol comparable to those achieved by the bitcoin blockchain protocol. As the protocol provides a "proof of stake" blockchain discipline, it offers qualitative efficiency advantages over blockchains based on proof of physical resources (e.g., proof of work). We also present a novel reward mechanism for incentivizing Proof of Stake protocols and we prove that, given this mechanism, honest behavior is an approximate Nash equilibrium, thus neutralizing attacks such as selfish mining.
引用
收藏
页码:357 / 388
页数:32
相关论文
共 26 条
[11]   Proofs of Space [J].
Dziembowski, Stefan ;
Faust, Sebastian ;
Kolmogorov, Vladimir ;
Pietrzak, Krzysztof .
ADVANCES IN CRYPTOLOGY, PT II, 2015, 9216 :585-605
[12]   Majority Is Not Enough: Bitcoin Mining Is Vulnerable [J].
Eyal, Ittay ;
Sirer, Emin Guen .
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2014, 2014, 8437 :436-454
[13]  
Ford B, 2002, Delegative democracy
[14]   The Bitcoin Backbone Protocol: Analysis and Applications [J].
Garay, Juan ;
Kiayias, Aggelos ;
Leonardos, Nikos .
ADVANCES IN CRYPTOLOGY - EUROCRYPT 2015, PT II, 2015, 9057 :281-310
[15]  
Kiayias A, 2015, Report 2015/1019, V2015, P1019
[16]  
Kiayias A, 2017, 2016889 CRYPT EPRINT
[17]  
Micali S., 2016, CoRR
[18]  
Motwani R., 1995, RANDOMIZED ALGORITHM
[19]  
Nakamoto S., 2008, Bitcoin: A Peer-to-Peer Electronic Cash System
[20]  
Nisan N, 2007, ALGORITHMIC GAME THEORY, P1, DOI 10.1017/CBO9780511800481