Abstract: A method and system for validating execution of a smart contract comprises storing the smart contract within a blockchain having at least one first order block. The smart contract has a set of electronically-defined contract clauses, each being defined by at least one satisfaction value, and the combination of the satisfaction values of the set of contract clauses having a satisfaction hash value for the contract. A set of one or more electronically-stored second order transactions each having a subset of one or more execution values is read and a subset of transactions corresponding to the contract clauses are selected. An execution hash value of the combination of execution values of the subset of transaction is determined. A smart contract is considered as fully executed if the execution hash value of the combination of execution values of the subset of transactions matches the satisfaction hash value of the smart contract.