SPLITBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments

被引:3
作者
Messadi, Ines [1 ]
Becker, Markus Horst [1 ]
Bleeke, Kai [1 ]
Jehl, Leander [1 ,2 ]
Ben Mokhtar, Sonia [3 ]
Kapitza, Ruediger [1 ]
机构
[1] TU Braunschweig, Braunschweig, Germany
[2] Univ Stavanger, Stavanger, Norway
[3] CNRS, LIRIS, Paris, France
来源
PROCEEDINGS OF THE TWENTY-THIRD ACM/IFIP INTERNATIONAL MIDDLEWARE CONFERENCE, MIDDLEWARE 2022 | 2022年
关键词
Byzantine Fault Tolerance; Intel SGX; Safety;
D O I
10.1145/3528535.3531516
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Byzantine fault-tolerant agreement (BFT) in a partially synchronous system usually requires 3f + 1 nodes to tolerate f faulty replicas. Due to their high throughput and finality property BFT algorithms build the core of recent permissioned blockchains. As a complex and resource-demanding infrastructure, multiple cloud providers have started offering Blockchain-as-a-Service. This eases the deployment of permissioned blockchains but places the cloud provider in a central controlling position, thereby questioning blockchains' fault tolerance and decentralization properties and their underlying BFT algorithm. This paper presents SplitBFT, a new way to utilize trusted execution technology (TEEs), such as Intel SGX, to harden the safety and confidentiality guarantees of BFT systems thereby strengthening the trust in could-based deployments of permissioned blockchains. Deviating from standard assumptions, SplitBFT acknowledges that code protected by trusted execution may fail. We address this by splitting and isolating the core logic of BFT protocols into multiple compartments resulting in a more resilient architecture. We apply SplitBFT to the traditional practical byzantine fault tolerance algorithm (PBFT) and evaluate it using SGX. Our results show that SplitBFT adds only a reasonable overhead compared to the non-compartmentalized variant.
引用
收藏
页码:56 / 68
页数:13
相关论文
共 65 条
[11]   Hybrids on Steroids: SGX-Based High Performance BFT [J].
Behl, Johannes ;
Distler, Tobias ;
Kapitza, Rudiger .
PROCEEDINGS OF THE TWELFTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS 2017), 2017, :222-237
[12]   Zerocash: Decentralized Anonymous Payments from Bitcoin [J].
Ben-Sasson, Eli ;
Chiesa, Alessandro ;
Garmant, Christina ;
Green, Matthew ;
Miers, Ian ;
Tromer, Eran ;
Virza, Madars .
2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, :459-474
[13]   Making Reads in BFT State Machine Replication Fast, Linearizable, and Live [J].
Berger, Christian ;
Reiser, Hans P. ;
Bessani, Alysson .
2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), 2021, :1-12
[14]   Rollback and Forking Detection for Trusted Execution Environments using Lightweight Collective Memory [J].
Brandenburger, Marcus ;
Cachin, Christian ;
Lorenz, Matthias ;
Kapitza, Ruediger .
2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2017, :157-168
[15]   Practical byzantine fault tolerance and proactive recovery [J].
Castro, M ;
Liskov, B .
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2002, 20 (04) :398-461
[16]  
Castro M., 2001, Tech. Rep. MIT-LCS-TR-817
[17]  
Chen ZT, 2021, PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM, P699
[18]   Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts [J].
Cheng, Raymond ;
Zhang, Fan ;
Kos, Jernej ;
He, Warren ;
Hynes, Nicholas ;
Johnson, Noah ;
Juels, Ari ;
Miller, Andrew ;
Song, Dawn .
2019 4TH IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P), 2019, :185-200
[19]  
Clement A., 2012, P ACM S PRINC DISTR, P301, DOI DOI 10.1145/2332432.2332490
[20]  
Clement A, 2009, SOSP'09: PROCEEDINGS OF THE TWENTY-SECOND ACM SIGOPS SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, P277