Spacetime Merkle-DAGs

[void4]

Given a fully deterministic language with fully serializable runtimes, hash the snapshot of every (Nths) execution step, construct a merkle tree of this hashed list. This allows for efficient (even probabilistic) comparisons across different machines.

See https://truebit.io/