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 条
  • [21] LaKSA: A Probabilistic Proof-of-Stake Protocol
    Reijsbergen, Daniel
    Szalachowski, Pawel
    Ke, Junming
    Li, Zengpeng
    Zhou, Jianying
    28TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2021), 2021,
  • [22] Ethereum Proof-of-Stake under Scrutiny
    Pavloff, Ulysse
    Amoussou-Guenou, Yackolley
    Tucci-Piergiovanni, Sara
    38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, 2023, : 212 - 221
  • [23] Anonymous Lottery In The Proof-of-Stake Setting
    Baldimtsi, Foteini
    Madathil, Varun
    Scafuro, Alessandra
    Zhou, Linfeng
    2020 IEEE 33RD COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2020), 2020, : 318 - 333
  • [24] Poster: A Proof-of-Stake (PoS) Blockchain Protocol using Fair and Dynamic Sharding Management
    Lee, Daehwa Rayer
    Jang, Yunhee
    Kim, Hyoungshick
    PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 2553 - 2555
  • [25] Coin concentration of Proof-of-Stake blockchains
    Irresberger, Felix
    Yang, Ruomei
    ECONOMICS LETTERS, 2023, 229
  • [26] Compounding of Wealth in Proof-of-Stake Cryptocurrencies
    Fanti, Giulia
    Kogan, Leonid
    Oh, Sewoong
    Ruan, Kathleen
    Viswanath, Pramod
    Wang, Gerui
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2019, 2019, 11598 : 42 - 61
  • [27] Transition to proof-of-stake and informed trading
    Choi, Hyung-Eun
    FINANCE RESEARCH LETTERS, 2025, 72
  • [28] Crisis of Trust: Analyzing the Verifier's Dilemma in hthereum's Proof-of-Stake Blockchain
    Smuseva, Dada
    Malakhov, Ivan
    Marm, Andrea
    Rossi, Sabina
    2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN, BLOCKCHAIN, 2023, : 332 - 339
  • [29] Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain
    David, Bernardo
    Gazi, Peter
    Kiayias, Aggelos
    Russell, Alexander
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2018, PT II, 2018, 10821 : 66 - 98
  • [30] An Improved Scheme of proof-of-stake Consensus Mechanism
    Cheng Yuan
    Hu Xiaohui
    Zhang Jianguo
    2019 4TH INTERNATIONAL CONFERENCE ON MECHANICAL, CONTROL AND COMPUTER ENGINEERING (ICMCCE 2019), 2019, : 826 - 829
12345