Scalable Verification Of Np Problems In Blockchain

The integrity of information systems is predicated on the integrity of processes that manipulate data. These processes are conventionally executed using von Neumann architecture, which requires memory to be trusted. This is increasingly unjustifiable due to complex features such as platform virtualization, hyper-threading, etc. In this paper we propose a new model of computing, viz., TCB minimizing model of computation (TMMC), which explicitly seeks to minimize the TCB, viz., hardware and software that need to be trusted. Notwithstanding limitations imposed on the TCB, even complex large-scale processes can be executed under the TMMC model. As a representative of complex processes, we consider the verification of the solution of large-scale NP problems in this paper.