Generating State Updates

The core responsibility of the Ledger Engine is to maintain a historic ledger of UTXO-like balances along with the strictly-sequenced state transitions that resulted in the balances. At a high-level, it can be thought of as a simple state machine which accepts the current state of the ledger paired with a state transition, and returns the updated state of the ledger (or an error if the transition is invalid).