Notations:
- Transaction
t: a value submitted by a client of the FBA network that can be independently validated by each node. - Transaction Set
s^v: a set of transactions submitted by clients to a particular node v. - Node block
b^v: of the form<s^v, H(B)>a transaction set and a reference to a master block - Master block
B: of the form<s^0, s^1, s^3, ..., s^n>a set of node blocks (at most one per node) - Hash funciton
H(.): hash function that may include signature as security requires
Definitions: