Formal Analysis of a Proof-of-Stake Blockchain

被引：40

作者：

Thin, Wai Yan Maung Maung ^{[1
]}

Dong, Naipeng ^{[1
]}

Bai, Guangdong ^{[2
]}

Dong, Jin Song ^{[1
,2
]}

机构：

[1] Natl Univ Singapore, Singapore, Singapore

[2] Griffith Univ, Nathan, Qld, Australia

来源：

2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2018年

关键词：

D O I：

10.1109/ICECCS2018.2018.00031

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Blockchain technology relies on consensus algorithms to resolve conflicts in Byzantine environments. New blockchain algorithms are rapidly designed and implemented without a properly conducted formal analysis and verification. In this paper, we conducted a study on Tendermint which is a proof of-stake consensus algorithm. We verified that the consensus protocol is deadlock-free and is able to reach consensus when at least 2/3 of the network is in agreement. We also proved that a minority set of nodes that compose more than 1/3 of the network is enough to censor the majority of the network and prevent the network from reaching consensus and conclude that the algorithm has some shortcomings on availability.

引用

页码：197 / 200

页数：4

共 50 条

[1] Securing Proof-of-Stake Blockchain Protocols
Li, Wenting
Andreina, Sebastien
Bohli, Jens-Matthias
Karame, Ghassan
DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 2017, 10436 : 297 - 315
[2] Blockchain without Waste: Proof-of-Stake
Saleh, Fahad
REVIEW OF FINANCIAL STUDIES, 2021, 34 (03): : 1156 - 1190
[3] Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake
Alvarez, Ivan Abellan
Gramlich, Vincent
Sedlmeir, Johannes
39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 278 - 287
[4] Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
Kiayias, Aggelos
Russell, Alexander
David, Bernardo
Oliynykov, Roman
ADVANCES IN CRYPTOLOGY - CRYPTO 2017, PT I, 2017, 10401 : 357 - 388
[5] Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocols
Li, Xinyu
Xu, Jing
Fan, Xiong
Wang, Yuchen
Zhang, Zhenfeng
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2020, 15 : 3872 - 3885
[6] PROOF-OF-STAKE CONSENSUS METHOD FOR UPCOMING BLOCKCHAIN NETWORKS
Krishnan, Sridharan
Koperundevi, ArjunVikram Thiruvengavaradan
Jayasundarapandiyan, Bharathiraja
Sampath, Jeevanraj
SURANAREE JOURNAL OF SCIENCE AND TECHNOLOGY, 2023, 30 (04):
[7] Formal Barriers to Longest-Chain Proof-of-Stake Protocols
Brown-Cohen, Jonah
Narayanan, Arvind
Psomas, Alexandros
Weinberg, S. Matthew
ACM EC '19: PROCEEDINGS OF THE 2019 ACM CONFERENCE ON ECONOMICS AND COMPUTATION, 2019, : 459 - 473
[8] Compensation for Power Loss by a Proof-of-Stake Consortium Blockchain Microgrid
Yang, Jiawei
Paudel, Amrit
Gooi, Hoay Beng
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2021, 17 (05) : 3253 - 3262
[9] CloudPoS: A Proof-of-Stake Consensus Design for Blockchain Integrated Cloud
Tosh, Deepak K.
Shetty, Sachin
Foytik, Peter
Kamhoua, Charles A.
Njilla, Laurent
PROCEEDINGS 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (CLOUD), 2018, : 302 - 309
[10] Proof-of-Stake Sidechains
Gazi, Peter
Kiayias, Aggelos
Zindros, Dionysis
2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019), 2019, : 139 - 156

← 1 2 3 4 5 →