Blockchains can be modeled as a state-machine whereby the correct rule of a transition is defined as the state transition function, or STF.
Such a system inherits all properties of Science-based Trust, most notably:
- Verifiable execution
- Correct ordering of events
- Audit-ability of history