Module brb::deterministic_brb

A Deterministic Implementation of Byzantine Reliable Broadcast (BRB)

BRB is a Byzantine Fault Tolerant (BFT) system for achieving network agreement over eventually consistent data-type algorithms such as CRDTs.

BRB ensures that we will never have a conflicting operation accepted by the network.

BRB is similar in operation to a 2-phase-commit. It differs in that the underlying algorithm decides the level of parallelism. The only constraints directly imposed by BRB are that operations produced by an actor is processed in the order that operations are created by the actor (source ordering) and that each operation is applied in the network-agreed-upon generation in which it was created.

Structs

DeterministicBRB	DeterministicBRB – the heart and soul of BRB.
Msg	A BRB message consisting of an operation to be performed by the DataType we are securing along with a Generation and a Dot indicating the context when it was created.

Enums

Op	An enumeration of BRB operations