A TCB Minimizing Model of Computation.

A novel trusted computing base (TCB) minimizing model of computation (TMMC) is proposed for assuring integrity of the outputs of computing processes, by employing Merkle hash tree based two-party (prover-verifier) protocols. The applicability of the TMMC model for assuring integrity of processes is illustrated for two very different scenarios – one leveraging high-integrity-low-complexity hardware modules, and the second leveraging blockchains.