Blockchains are specialized data structures that can deliver ONLY 1 of the main 3 properties of a blockchain State Machine: Correct ordering.
Establishing a correct ordering of past event also contributes to the auditability of history, yet it does not solve verifiable execution at all.