Answers are grounded in this paper and cite their sources.
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20,000 lines of challenging C++ code encompassing synchronization, networking and cryptography. They are notoriously difficult to develop, test and prove. We present a new abstraction to simplify these tasks. We treat a BFT protocol as a composition of instances of our abstraction. Each instance is developed and analyzed independently.
No takes yet. Share an insight, caveat, or question.
Guerraoui et al. (2010) studied this question.
Synapse has enriched 7 closely related papers on similar clinical questions. Consider them for comparative context: