This library contains:
- An implementation of AT2: Asynchronous Trustworthy Transfers
- A BRBDataType wrapper around AT2
The wrapper enables AT2 operations to be transmitted in a BFT manner using Byzantine Reliable Broadcast.
AT2 is described formally in: https://arxiv.org/pdf/1812.10844.pdf
BRB is a modified form of the Deterministic Secure Broadcast defined in the above paper.
This AT2 implementation has been coded for simplicity and clarity. It has not been optimized for a large number of transfers and is presently best-suited for testing out the concept. It will certainly suffer performance bottlenecks if run with any significant number of transfers. Some of these bottlenecks are commented in the code.
The Bank represents current AT2 state for a given