Home

This is a simple BFT SMR implementation, however it is generic enough to serve many applications (e.g., blockchain). This is accomplished by having a few points in the execution where the library turns to the application to get feedback, for instance at the time of proposal creation, and the validation of clients' requests. Moreover, some of the heavy lifting is left to the application or other dependencies of this library, for example, communication, storage, and replication. The algorithm we implement is based on the BFT-SMaRt paper and the PBFT paper.