- BFT Core is part of the Consensus Layer. Summary of data structures in ABNF format.
- Sparse Merkle Trees are used in the aggregator to track spent states
- Sum-Certifying Sparse Merkle Trees are used in split transactions to prove that the sum of values of the newly minted tokens is equal to the value of the original split token
- Next version of state transition SDK data structures (initially with reduced feature set)