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 条

[41] TontineCoin: Survivor-based Proof-of-Stake
Chris Pollett
Thomas H. Austin
Katerina Potika
Justin Rietz
Prashant Pardeshi
Peer-to-Peer Networking and Applications, 2022, 15 : 988 - 1007
[42] Stakechain: A Bitcoin-Backed Proof-of-Stake
Linus, Robin
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. FC 2022 INTERNATIONAL WORKSHOPS, 2023, 13412 : 3 - 14
[43] Forward-Secure Public Key Encryption Without Key Update from Proof-of-Stake Blockchain
Nuta, Seiya
Schuldt, Jacob C. N.
Nishide, Takashi
PROGRESS IN CRYPTOLOGY, INDOCRYPT 2021, 2021, 13143 : 436 - 461
[44] Design of Proof-of-Stake PBFT Algorithm for IoT Environments
Misic, Jelena
Misic, Vojislav B.
Chang, Xiaolin
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2023, 72 (02) : 2497 - 2510
[45] Proof-of-Stake Protocols for Privacy-Aware Blockchains
Ganesh, Chaya
Orlandi, Claudio
Tschudi, Daniel
ADVANCES IN CRYPTOLOGY - EUROCRYPT 2019, PT I, 2019, 11476 : 690 - 719
[46] Obfuscating Verifiable Random Functions for Proof-of-Stake Blockchains
Shi, Yang
Luo, Tianyuan
Liang, Jingwen
Au, Man Ho
Luo, Xiapu
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2024, 21 (04) : 2982 - 2996
[47] Bulwark: A proof-of-stake protocol with strong consistency and liveness
Du, Zhiqiang
Liu, Liangxin
Huang, Muhong
Fu, Yanfang
Zhang, Wendong
COMPUTER NETWORKS, 2024, 242
[48] Proof-of-Participation: Implementation of Proof-of-Stake Through Proof-of-Work
Nandwani, Arpit
Gupta, Mudit
Thakur, Narina
INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING AND COMMUNICATIONS, VOL 1, 2019, 55 : 17 - 24
[49] Private Proof-of-Stake Blockchains using Differentially-Private Stake Distortion
Wang, Chenghong
Pujol, David
Nayak, Kartik
Machanavajjhala, Ashwin
PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 1577 - 1594
[50] Sybil attacks on identity-augmented Proof-of-Stake
Platt, Moritz
McBurney, Peter
COMPUTER NETWORKS, 2021, 199

← 1 2 3 4 5 →