Constraints on inputs of an unlocking transaction in a blockchain

Abstract

Trustless deterministic state machines can be implemented using a blockchain infrastructure and state machines can run concurrently over more than one blockchain transaction. The transactions can be done in a Bitcoin blockchain ledger. A unlocking transaction constraint that constrains a unlocking transaction to include a transaction input that references a previous transaction output is determined. A redeemable transaction is created to include a transaction output that includes an amount and a transaction locking script that includes the unlocking transaction constraint, with unlocking the amount being contingent upon execution of at least one unlocking script of the unlocking transaction satisfying the unlocking transaction constraint. The redeemable transaction is caused to be validated at a node of a blockchain network.

Dependencies are inferred from the claim text.