It checks the correctness of the computation task by exploiting an interactive verification game among the users. For instance, the TrueBit-based blockchain security model encourages game players by providing rewards. Thus, the players accurately verify the computation tasks and determine the bugs. In this way, the smart contract can securely perform computation tasks with verifiable properties. Additionally, Truebit recursively verifies smaller and smaller computation subsets and greatly minimizes the computational burden of participating entities.