The next 700 BFT protocols

摘要: 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 prove. We present a new abstraction simplify these tasks. treat BFT protocol as composition instances our abstraction. Each instance is developed analyzed independently.To illustrate approach, we first show how can be used obtain the benefits state-of-the-art with much less pain. Namely, develop AZyzzyva, that mimics behavior Zyzzyva in best-case situations (for which was optimized) using than 24% actual Zyzzyva. To cover worst-case situations, enables use AZyzzyva any existing protocol, typically, classical one like PBFT has been tested proved correct.We then Aliph, outperforms previous both terms latency (by up 30%) throughput 360%). The development Aliph required two contains 25% needed protocols.