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 条
  • [31] Balancing Participation and Decentralization in Proof-of-Stake Cryptocurrencies
    Kiayias, Aggelos
    Koutsoupias, Elias
    Marmolejo-Cossio, Francisco
    Stouka, Aikaterini-Panagiota
    ALGORITHMIC GAME THEORY, SAGT 2024, 2024, 15156 : 333 - 350
  • [32] TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake
    Duong, Tuyet
    Chepurnoy, Alexander
    Fan, Lei
    Zhou, Hong-Sheng
    PROCEEDINGS OF THE 2ND ACM WORKSHOP ON BLOCKCHAINS, CRYPTOCURRENCIES, AND CONTRACTS (BCC'18), 2018, : 1 - 13
  • [33] A probabilistic Proof-of-Stake protocol with fast confirmation
    Dou, Hanyue
    Yin, Lingyuan
    Lu, Yuan
    Xu, Jing
    JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2022, 68
  • [34] TontineCoin: Murder-Based Proof-of-Stake
    Pollett, Chris
    Austin, Thomas H.
    Potika, Katerina
    Rietz, Justin
    2020 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPS 2020), 2020, : 82 - 87
  • [35] Game-Theoretic Randomness for Proof-of-Stake
    Cai, Zhuo
    Goharshady, Amir
    MATHEMATICAL RESEARCH FOR BLOCKCHAIN ECONOMY, MARBLE 2023, 2023, : 28 - 47
  • [36] A Proof-of-Stake public blockchain based pricing scheme for peer-to-peer energy trading
    Yang, Jiawei
    Paudel, Amrit
    Gooi, Hoay Beng
    Hung Dinh Nguyen
    APPLIED ENERGY, 2021, 298
  • [37] WARChain: Consensus-based trust in web archives via proof-of-stake blockchain technology
    Lendak, Imre
    Indig, Balazs
    Palko, Gabor
    JOURNAL OF COMPUTER SECURITY, 2022, 30 (03) : 499 - 515
  • [38] Distributed Hybrid Double-Spending Attack Prevention Mechanism for Proof-of-Work and Proof-of-Stake Blockchain Consensuses
    Akbar, Nur Arifin
    Muneer, Amgad
    ElHakim, Narmine
    Fati, Suliman Mohamed
    FUTURE INTERNET, 2021, 13 (11)
  • [39] TontineCoin: Survivor-based Proof-of-Stake
    Pollett, Chris
    Austin, Thomas H.
    Potika, Katerina
    Rietz, Justin
    Pardeshi, Prashant
    PEER-TO-PEER NETWORKING AND APPLICATIONS, 2022, 15 (02) : 988 - 1007
  • [40] RoboStake: Pioneering Cooperative Navigation with a Novel Blockchain-Powered Proof-of-Stake in Robotic Teams
    Paykari, Nasim
    Lyons, Damian
    Rahouti, Mohamed
    2024 IEEE INTERNATIONAL CONFERENCE ON OMNI-LAYER INTELLIGENT SYSTEMS, COINS 2024, 2024, : 319 - 322
12345