Computer-implemented system and method for determining the state of a machine executable contract implemented using a blockchain

Abstract

Computer-implemented systems and methods are detailed for establishing information on states of a machine executable contract, for instance in the context of unspent transactions (UTXOs), blockchain and deterministic finite automaton (DFA) implementation of contracts and the determination of states within those. The stages can include determining the information of interest and the codes or tags identifying that information, constructing the metadata associated with those codes or tags, combining that with a public key for an agent that will be associated with the information. The scriptPubKey values of each script may be used to provide the keys for use in constructing an external database and more specifically mapping the keys from the scriptPubKey values, linked to the information of interest. To obtain the other half of the combination, there is a derivation of the script hash addresses from the scriptPubKey values, with those being used to populate a digital wallet. A search and match algorithm is then used to find UTXO's with matching script hash addresses on the blockchain. These then populate the aforementioned database with UTXO's that match to the script hash addresses and hence to the keys to complete the combinations. A match indicates in a definitive manner the state.