Paper Info
Title
LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance
Abstract
This paper describes a novel high-performance library collection called libbft, specially designed to deal with byzantine fault tolerance for consensus mechanisms. This library is inspired by timed automata theory, and by the groundbreaking work of Practical Byzantine Fault Tolerance (PBFT). As case study, we tackle recently proposed consensus algorithms, such as the Delegated Byzantine Fault Tolerance (dBFT) used on the NEO Blockchain. This library is organized in a multiprogramming language paradigm, being already implemented on C++ and Golang. The library handles states and transitions from regular automata machines, besides timed transitions, activated through conditions, actions and events. We also propose a mathematical notation to represent these elements, and an automatic tool to export the generated state machine into graphviz platform. We also integrate the library with state-of-the-art communication protocols, like the gRPC (Google RPC) and protobuf, which provides efficient and language-independent communication. This paper briefly describes the technological background behind libbft, practical applications and preliminary computational experiments.
Year
DOI
Venue
2019
10.1109/SBAC-PAD.2019.00045
2019 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)
Keywords
Field
DocType
Timed Automata,Consensus,Byzantine Fault Tolerance,NEO Blockchain,Distributed Computing,dBFT
Mathematical notation,Library collection,Automata theory,Programming language,Computer science,Automaton,Parallel computing,Byzantine fault tolerance,Finite-state machine,Computer multitasking,Communications protocol
Conference
ISSN
ISBN
Citations 
1550-6533
978-1-7281-4195-4
0
PageRank 
References 
Authors
0.34
4
4
Name
Order
Citations
PageRank
Rodolfo Pereira Araujo100.34
I. M. Coelho25812.95
Luiz Satoru Ochi347434.62
Vitor Nazário Coelho400.68