Deterministic proof of system behavior, with verifiable records anchored on-chain.