A wrapper of the in-memory state sparse merkle tree and the transaction
accumulator that represent a specific state collectively. Usually it is a
state after executing a block.
A structure that summarizes the result of the execution needed for consensus
to agree on. The execution is responsible for generating the ID of the new
state, which is returned in the result.
The entire set of data associated with a transaction. In addition to the
output generated by VM which includes the write set and events, this also
has the in-memory trees.