스마트 컨트랙트의 실행을 검증하기 위한 시스템 및 방법은, 적어도 하나의 일차 블록을 가지는 블록체인 내에 스마트 컨트랙트를 저장하는 단계를 포함한다. 스마트 컨트랙트는 적어도 하나의 충족 값으로 각각 정의되는 전자적으로 정의된 컨트랙트 조항들의 세트를 가지고, 컨트랙트 조항들의 세트의 충족 값들의 조합은 컨트랙트에 대한 충족 해시 값을 가진다. 하나 이상의 실행 값들의 서브셋을 각각 가지는 하나 이상의 전자적으로 저장된 이차 트랜잭션들의 세트는 판독되고 컨트랙트 조항들에 대응하는 트랜잭션들의 서브셋은 선택된다. 트랜잭션의 서브셋의 실행 값들의 조합의 실행 해시 값은 결정된다. 스마트 컨트랙트는, 트랜잭션들의 서브셋의 실행 값들의 조합의 실행 해시 값이 스마트 컨트랙트의 충족 해시 값에 매칭하면, 완전히 실행된 것으로 고려된다.
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.