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.

In order to understand our design you are encouraged to start off by first visiting our high level perspective page and then proceeding with the rest of the pages.

The basic algorithm is mostly explained here.

Project work status can be seen here.