特開 2024-156752 ブロックチェーンにおけるアンロックトランザクションのインプットに対する制約

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024156752

(43)【公開日】2024-11-06

(54)【発明の名称】ブロックチェーンにおけるアンロックトランザクションのインプットに対する制約

(51)【国際特許分類】

   H04L 9/32 20060101AFI20241029BHJP

【ＦＩ】

H04L9/32 200Z

【審査請求】有

【請求項の数】5

【出願形態】ＯＬ

【外国語出願】

(21)【出願番号】P 2024120683

(22)【出願日】2024-07-26

(62)【分割の表示】P 2023026944の分割

【原出願日】2018-08-24

(31)【優先権主張番号】1713805.8

(32)【優先日】2017-08-29

(33)【優先権主張国・地域又は機関】GB

(31)【優先権主張番号】1713794.4

(32)【優先日】2017-08-29

(33)【優先権主張国・地域又は機関】GB

(31)【優先権主張番号】1713790.2

(32)【優先日】2017-08-29

(33)【優先権主張国・地域又は機関】GB

(71)【出願人】

【識別番号】318001991

【氏名又は名称】エヌチェーン ライセンシング アーゲー

(74)【代理人】

【識別番号】110004381

【氏名又は名称】弁理士法人ＩＴＯＨ

(72)【発明者】

【氏名】チャン，イーン

(72)【発明者】

【氏名】クレイマー，ディーン

(57)【要約】      （修正有）

【課題】トラストレス、決定性な及び並行状態機械を含むブロックチェーントランザクション処理の構造内で状態機械のコンピュータ実施方法、システム及びコンピュータ可読記憶媒体を提供する。
【解決手段】トラストレスな決定性状態機械のためのプロセス２５００は、前のトランザクションのアウトプットのロックスクリプトがアンロックトランザクションのアウトプットのロックスクリプトと一致することを検証し２５０８、直列化された前のトランザクションから可能な状態のセットのうち現在状態を抽出し２５１０、ロックスクリプトの実行の結果としてスタック上に置かれた１つ以上のインプットを取得し２５１２、現在状態及び１つ以上のインプットに基づいて、トラストレスな決定性状態機械の可能な状態セットの次の状態を決定するために、状態規則セットを適用し２５１４、次の状態がアンロックトランザクションに埋め込まれていることを検証する２５１６。
【選択図】図２５

【特許請求の範囲】

【請求項1】

コンピュータ実施方法であって、
アンロックトランザクションのインプットを制約するアンロックトランザクション制約を決定するステップであって、前記制約は、（１）前記アンロックトランザクションのインプットの参照に課されるか、又は（２）前記参照により指される前のトランザクションの部分に課される、ステップと、
償還可能トランザクションを生成するステップであって、前記償還可能トランザクションは前記前のトランザクションであり、以下：
償還可能量を含むトランザクションアウトプットと、
前記アンロックトランザクション制約を含むトランザクションロックスクリプトと、
を含む、ステップと、
ブロックチェーンネットワークのノードにおいて、前記償還可能トランザクションを検証させるステップと、
を含み、
前記償還可能量をアンロックすることは、前記アンロックトランザクション制約を満たす実行を条件とし、前記実行は、ブロックチェーンネットワークのノードにおける検証者による、以下であり：
前記アンロックトランザクションのアンロックスクリプトであって、前記アンロックスクリプトは、前記アンロックトランザクションの直列化されたコンテンツをスタック上に残す、前記アンロックトランザクションのアンロックスクリプトと、次に、
前記トランザクションロックスクリプトと、
であり、
前記実行は、
前記アンロックスクリプトが特定のデータを含むことを検証することと、
前記スタック上の前記アンロックトランザクションの前記直列化されたコンテンツに含まれる前記アンロックトランザクションのインプットから、前記償還可能トランザクションのアウトプットへの参照を抽出することと、
前記制約が前記前のトランザクションの部分に課される場合に、前記参照を用いて前記前のトランザクションの注入を生じさせることを含む制約を決定することであって、その後に前記制約が前記前のトランザクションのフィールドに適用可能になることと、
決定された前記制約を検証することと、
を含む、コンピュータ実施方法。

【請求項2】

前記アンロックトランザクション制約は、更に、前記アンロックトランザクションのインプットが特定のハッシュ値を含むよう制約する、請求項１に記載のコンピュータ実施方法。

【請求項3】

前記特定のハッシュ値は、前記前のトランザクションアウトプットを参照する識別子を符号化する、請求項２に記載のコンピュータ実施方法。

【請求項4】

システムであって、
プロセッサと、
前記プロセッサによる実行の結果として、前記システムに請求項１～３のいずれか一項に記載のコンピュータ実施方法を実行させる実行可能命令を含むメモリと、
を含むシステム。

【請求項5】

実行可能命令を記憶した非一時的コンピュータ可読記憶媒体であって、前記実行可能命令は、コンピュータシステムのプロセッサにより実行された結果として、前記コンピュータシステムに、請求項１～３のいずれかに記載のコンピュータ実施方法を少なくとも実行させる、非一時的コンピュータ可読記憶媒体。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、概して、コンピュータにより実施されるブロックチェーントランザクションを処理する方法に関し、より詳細には、トラストレスな（trustless）、決定性な、及び並行状態機械を含む、ブロックチェーントランザクション処理の構造内で状態機械を実装することに関する。本発明は、さらに、ブロックチェーンネットワーク上で行われる電子的な移転に関してセキュリティを実施するために、暗号技術及び数学技術を利用する。本発明は、スマートコントラクトトランザクションを処理及び行い、かかるスマートコントラクトトランザクションを使用して状態機械を実行する方法及び装置における使用に特に適しているが、これらに限定されない。

【背景技術】

【0002】

本明細書において、「ブロックチェーン」という用語は、コンセンサス方式のブロックチェーン及びトランザクションチェーン技術、認可・未認可台帳、共有台帳、及びそれらの変形を含む、いくつかの種類の電子的、コンピュータベースの分散台帳のいずれかを表し得る。ブロックチェーン技術の最も広く知られている用途はBitcoin台帳であるが、他のブロックチェーン実装が提案され、開発されている。便宜上及び説明の目的で、本願明細書に記載される有用な用途として「Bitcoin」の例が参照され得るが、Bitcoinは本開示に記載の技術が適用され得る多くの用途のうちのほんの１つである。しかしながら、本発明は、Bitcoinブロックチェーンとの使用に限定されず、非商業的用途を含む代替のブロックチェーン実装及びプロトコルもまた、本発明の範囲内に含まれることに留意されたい。例えば、本開示に記載される技術は、暗号通貨の交換が起こるかどうかにかかわらず、トランザクション内で符号化され得る制約に関してBitcoinと同様の制限を有するブロックチェーン実装を利用する利点を提供する。

【0003】

ブロックチェーンとは、ピアツーピアの電子台帳であり、ブロックで構成されたコンピュータベースの非集中型の分散システムとして実装され、一方、ブロックはトランザクションやその他の情報で構成される。いくつかの例において、「ブロックチェーントランザクション」は、データ及び条件セットを含むフィールド値の構造化された集合を符号化するインプットメッセージを指し、この場合、条件セットの充足は、ブロックチェーンデータ構造に書き込まれるフィールドセットの前提条件である。ブロックチェーンシステム又はブロックチェーンネットワークは、複数のブロックチェーンノード及び動作セットを含んでもよい。ブロックチェーンノードは、動作セットの一部又はすべてを実行するように設定することができる。種々のブロックチェーンノードは、ノードオペレータによって操作されるコンピュータハードウェア、コンピュータソフトウェア、又はその両方の組み合わせとして実装されてもよく、ノードオペレータは、独立していてもよく、他のノードオペレータとは無関係であってもよい。ブロックチェーンノードは、それぞれ、ブロックチェーン台帳のコピー、又はその一部を保持することができる。動作セットには、トランザクションの作成、トランザクションの伝搬、ブロックチェーン台帳の読み取り、ブロックチェーン台帳の評価、ブロックチェーン台帳への提案された追加のための新しいブロックの生成（マイニング）、他のブロックチェーンノードとの通信、及びユーザーがブロックチェーン資産を管理するためのウォレット機能の提供が含まれる。

【0004】

ブロックチェーン台帳は、台帳がいつ修正されるかを決定する単一のブロックチェーンノード又はエンティティが存在しないため、非集中型であってもよい。その代わりに、ブロックチェーンノードは、それぞれブロックチェーンプロトコルのルールの知識を用いてプログラムされ、ブロックチェーン台帳を検証し、他のブロックチェーンノードの動作がそれらのルールと一致することを検証することができる。「ブロックチェーン」という用語は、ブロックチェーン台帳が、各々がコンピュータメモリ内のデータ構造として表すことができ、コンピュータプロセスによって読み取り可能であり、データ送信として送信可能である一連の連鎖した（chained）ブロックを含むという事実を指すことができる。ブロックは、１つ以上のトランザクションを含み、コンピュータメモリ内のデータ構造として表現することができ、コンピュータプロセスによって読取ることができ、データ伝送として送信することができる。ブロックは、そのブロックチェーンに公式に追加される各新しいブロックが、その直前のブロックに対する不変の参照を含み、該直前のブロックがその直前のブロックに対する不変の参照を含み得る、などのように、連鎖され得る。

【0005】

ブロックチェーンプロトコルのルールの１つは、ブロックがブロックチェーンに追加されると、それを変更することができない、すなわち、それは不変であり、ブロックチェーン台帳の唯一の変更可能なものは、新しいブロックの追加である、ということである。ブロックチェーンノードは、ルールとして、そのようにプログラムされ得るので、ブロックチェーンノードは、ブロックチェーン台帳の該ブロックチェーンノードのコピー中のブロックを修正できず、ブロックを追加するだけであり、さらに、ブロックチェーンプロトコルに準拠することを保証するために、提案したブロックに対して検証プロセスを実行した後にのみブロックを追加し得る。このようなブロックは、一旦、台帳に加えられると、不変であるため、ブロック内のトランザクションもまた、不変であり得る。

【0006】

ブロックチェーンノードは、トランザクションを作成するときに、トランザクションの詳細を含むデータオブジェクトを作成し、典型的にはピアツーピア方式で、ブロックチェーンノードが接続できる他のブロックチェーンノードにデータオブジェクトを伝搬してよい。いくつかのブロックチェーンノードは、「マイナー」として動作し、１つ以上のトランザクションを収集し、ブロックに対応するデータ構造を形成し、ブロックに入れられたトランザクションを検証するためにいくつかの計算を行い、パズルを解き、パズルの解をデータ構造に入れ、ブロックを他のブロックチェーンノードに伝えようとしる。このパズルは、トランザクションのデータ及びブロックチェーン台帳の現在状態に特有の、例えば、台帳内のブロック数及び最後に追加されたブロックからのデータのような、自明でない計算の形式であってよい。

【0007】

パズルをトランザクションに依存させることによって、不正なブロックチェーンノードは、事前に作成されたブロックを伝搬することができなくなり得る。自明でないパズルを解くことによって、不正なブロックチェーンノードはブロックチェーンネットワークにブロックを単純に注入することができないかも知れないが、ブロックチェーンノードが努力を提供したことを証明するために重要な計算タスクを行うことを要求するかも知れない（事実上、難しい問題に対する解を示すことは「proof－of－work」である）。好ましくは、ブロックチェーンプロトコルでは、proof－of－workは容易ではないが、パズルが解決され、作業が行われたことを検証することは容易である。つまり、他のブロックチェーンノードは、必ずしも新しいブロックを台帳に追加することを提案しているブロックチェーンノードを信頼する必要はない。他のブロックチェーンノードによって検証された場合、そのブロックチェーンノードは、自身のブロックチェーン台帳のコピーの最後に新しいブロックを追加し、他のブロックチェーンノードに該新しいブロックを伝搬することができる。他のブロックチェーンノードも同様の検証を行うため、ブロックが有効であり、ブロックチェーン台帳に追加されるべきであると結論付けることもできるので、ブロックチェーンノードのブロックチェーン台帳のコピーに新しいブロックを追加することができる。ブロックチェーンノードは、提案された新しいブロックが有効でないと判断した場合、自身のブロックチェーン台帳のコピーに該新しいブロックを追加しなくてよく、伝搬しなくてよい。ブロックチェーンの妥当性はコンセンサスに基づいているので、トランザクションが妥当であることに大多数のノードが同意した場合、トランザクションは妥当であるとみなされてよい。

【0008】

ブロックチェーンシステムは、ノード所有者及びオペレータが必ずしも他のノード所有者及びオペレータを信頼しないように動作してもよい。代わりに、プロトコルは、以前のブロックを修正する、対応するproof－of－work無しに新しいブロックを提案する、又は無効なトランザクションを含めるなど、プロトコルによって許可されていない特定の操作を実行することを計算上不可能にしてよい。特定の信頼は、他のノードによって気づかれないであろう方法でブロックチェーンプロトコルによって許可されない操作を実行することが計算上実行不可能である場合、必要とされなくてよい。

【0009】

ブロックチェーンに書き込まれるブロックにトランザクションを含めるために、（１）マイニングブロックチェーンノードはトランザクションを検証し、（２）マイニングブロックチェーンノードはそのトランザクションを含むブロックを伝搬させようとし、（３）他のノードはブロックの妥当性と該ブロック内のトランザクションの妥当性を検証する。マイニングブロックチェーンノードは、これらのルールを念頭に置いてプログラム又は設定されるため、マイニングブロックチェーンノードが、検証に失敗したトランザクションにブロックに含める可能性は低く、このようなブロックは他のノードにより受け入れられず、マイニングノードは利益を得ることができない。いくつかのブロックチェーンシステムに対するマイニングのそのような利点の一つは、ブロックが受け入れられる場合、ブロックが「分配」トランザクションを含むことが許され、特定の量の価値が、何らかの他のエンティティからの対応する値の減少を必要とせずに、そのノードのオペレータに割り当てられることである。このようにして、成功したマイナーは、ブロックと共に生成された価値によって報酬を受けることができる。さらに、以下に説明するように、トランザクションにはトランザクション手数料が含まれる。トランザクション手数料は、マイニングブロックチェーンノードを制御するマイナーにも届くものであり、また、当該マイナーが補償を受けるためには、トランザクションが有効であることを確認することが必要である。

【0010】

ブロックチェーンネットワークにおけるトランザクションは、トランザクション値、トランザクション時間、及び／又は他のデータ要素などの様々なデータ要素を含む。非集中型の分散台帳システムでは、台帳は公開されているため、誰もが台帳を閲覧し、トランザクションを見ることができる。ブロックチェーン台帳では、ブロックチェーンを開始し、そのジェネシス（genesis）トランザクションに何らかの価値の単位を割り当てるジェネシストランザクションが存在し得る。本明細書の例において、説明目的のために、価値の単位は暗号通貨であるが、他のバリエーションも可能である。

【0011】

ジェネシストランザクション及び分配トランザクション以外のトランザクションは、ブロックチェーン台帳上の１つ以上の既存トランザクションの「アンロック」を伴い、このようなトランザクションがブロックチェーン台帳に追加されるとき、該トランザクションを移転することができる。各々の未移転トランザクションは、そのトランザクションの価値をアンロックするために必要な要件を公的に規定している。単純な要件は、「あなたはまず、あなたがAliceであることを証明しなければならない。次に、それをアンロックすることができる」ことである。Aliceは、次に、そのトランザクションの価値を「アンロック」する新たなトランザクションを生成することができる。ここで、Aliceの新たなトランザクションは、それがAliceから来たことを証明し、かつ、その前のトランザクションへのポインタを有する。分配トランザクションについては、トランザクション価値はあるが、分配トランザクションは前のトランザクションを「アンロック」しない。もちろん、Aliceのトランザクションがブロックチェーンネットワークに受け入れられるためには、すでに移転されたトランザクションを参照することはできず、Aliceがそれを作成したことを実際に証明しなければならない。

【0012】

ブロックチェーンプロトコルによって、したがってブロックチェーンノードの合意によって、トランザクションは、すでに移転された前のトランザクションのアウトプットを指す場合、すなわち、台帳が前のトランザクションのアウトプットを指す有効な既存のトランザクションインプットを含む場合、有効ではない。前のUTXOで表される値を「アンロック」する新しいトランザクションインプットを侵入者（interloper）が生成するのを防ぐために、各トランザクションアウトプットには、そのようなトランザクションを生成する請求者に課された要件を表すデータが含まれる。UTXOは不変であるため、そのデータは変更できない。もちろん、移転されたトランザクションもまた不変であり得る。

【0013】

上記の例では、Aliceはアンロックトランザクションを作成したかも知れない。その結果、自分だけがアンロックする能力を持っていた前のトランザクションの中の価値をBobに移転することができるようになる。つまり、今度はBobだけがアンロックする能力を持っている、それによりアンロックする、新しい未移転トランザクションが存在するようになる。Aliceが作成したアンロックトランザクションには、「誰でも自由にこのトランザクションを指し示すことができ、Bobの秘密鍵を知っていることを証明するのに十分な情報を提供できれば、その価値のすべてをアンロックすることができる」という要件に対応するデータが含まれてよい。Bobが慎重であると仮定すると、Bobは、そのトランザクションをアンロックする有効なトランザクションを作成できる唯一の人物となる。実際、Bobはその価値を所有しており、その価値をアンロックできるのはBobだけである。これは、Bobがブロックチェーンノードのオペレータを信頼したり、トランザクションを作成する能力を持つ他の相手を信頼したりする必要はないことに留意する。Bobが信頼する必要があるのは、不正な相手がブロックチェーンノードの大部分を完全に支配することができないということである。

【0014】

特定の場合には、１つのトランザクションは、正確に１つの以前の未移転トランザクションを完全にアンロックし、１つのトランザクションは、後のトランザクションによって完全に移転されるか、又は全く移転されない。一般的なケースでは、トランザクションは、１つ以上のインプットと１つ以上のアウトプットを有し、各インプットは、前のトランザクションのアウトプットを参照し（及び、そのアウトプットは、償還可能な（redeemable）価値を有する）、各アウトプットは、償還可能な価値（将来のトランザクションのインプットによって移転/参照されるまで、移転されないままである）を有する。トランザクションのアウトプットは、そのトランザクションの償還可能単位であり、そのすべてが移転されるか全く移転されない。なお、本明細書に記載されている例では、トランザクションが「移転されている」という場合があり、トランザクションが複数のトランザクションのアウトプットを有する場合には、そのトランザクションのすべてのアウトプットよりも少ない数のアウトプットを移転させる場合を包含し、トランザクションアウトプットをアンロックすることとは対照的に、「トランザクションをアンロックする」という場合は、１つのアウトプットのみを有するトランザクションのアウトプットが移転されている場合を包含し得る。

【0015】

トランザクションが複数のアウトプットを持つことができる場合、そのトランザクションの異なるトランザクションアウトプットは、異なる時間に移転することができる。トランザクションが作成されると、そのアウトプットは移転されていないと考えられてよい。各アウトプットは、後のトランザクションのインプットによって移転されるか、又は移転されないままである。トランザクションが、前のトランザクションのアウトプットがすでに移転された後に、前のトランザクションのアウトプットをアンロックしようとするインプットを持っている場合、ブロックチェーンノードは、それを無効なトランザクションとして拒否しる。

【0016】

一方のパーティAliceがXの値を持つUTXOを制御し、そのトランザクションアウトプットの一部分Yのみをアンロックしたい場合、Aliceは複数のアウトプットを持つ新しいトランザクション、１つはBobによってのみ移転可能な価値Yのトランザクションアウトプット、１つはAliceによってのみ移転可能な価値X－Yのトランザクションアウトプットを指定できる。事実上、元のトランザクションアウトプットは完全に移転されるが、Aliceのトランザクションに「変更を加える」新しいトランザクションアウトプットがある。

【0017】

トランザクションへのインプットの数とそのトランザクションのアウトプットの数は、同じである必要はない。しかし、有効なトランザクションであるためには、現在のトランザクションのアウトプットで指定された価値の合計は、現在のトランザクションのインプットによって移転され得る前のトランザクションのアウトプットの価値の合計を超えてはならず、いくつかの例外を除いて、場合によっては、より小さくなる。ジェネシストランザクションと分配トランザクションの場合、アウトプットの価値の合計は、インプットの価値の合計よりも大きくすることができる。又は、インプットがまったく必要ないが、通常のトランザクションの場合、そのアウトプットの価値の合計がそのインプットの価値の合計を超えると、トランザクションは無効になる。一部のトランザクションでは、アウトプットの価値の合計がインプットの価値の合計よりも小さくなる場合がある。この場合、成功したマイナーは、差額のトランザクション手数料トランザクションを加算し、次に、マイナーは精算し、トランザクションを処理する理由を生み出す。Bitcoinプロトコルでは、これはCoinbaseトランザクションであり、ブロックに追加され、Bitcoinブロックに含まれる他のすべてのトランザクションのトランザクション手数料の合計（すなわち、含まれるすべてのトランザクションのすべてのインプットとアウトプットの差の合計）に、新しいブロックを作成するための配分（distribution）を加えたものに等しい償還可能なアウトプットを持つ。

【0018】

トランザクションの各アウトプットには、そのアウトプットの価値をアンロックするために満たさなければならない制約が含まれる。いくつかのブロックチェーンプロトコルでは、これらの制約が何であるかを定義するデータとスクリプトコマンドを指定する「ロックスクリプト」に制約が埋め込まれている。ロックスクリプトは、トランザクションアウトプット内で示される価値に対する担保として機能する。この場合、他のアクターは、トランザクションアウトプットのロックスクリプトを「アンロック」できない限り、トランザクションアウトプット内で示される価値を「アンロック」できない。

【0019】

アンロックトランザクションへの各インプットは、前のトランザクションのアウトプットをアンロックする。アンロックトランザクションインプットの「アンロックスクリプト」は、アンロックトランザクションが前のトランザクションのアウトプットをアンロックするかどうかを決定する。したがって、有効なトランザクションは少なくとも１つのインプットを指定し、有効なアンロックトランザクションの各インプットは、前のトランザクションのアウトプット（移転されるアウトプット）へのポインタと、ロックスクリプトを「アンロック」するアンロックスクリプトを含む。対応するブロックチェーンプロトコルに従って動作するブロックチェーンノードは、トランザクションインプットを検証するために、ロックスクリプトとアンロックスクリプトを一緒に実行してよい。特定のシステムでは、スクリプトはスタックベースであり、検証ブロックチェーンノードは空のスタックで開始し、スタック上にデータオブジェクトを残し得るアンロックスクリプトを実行し、次にスタック上のデータオブジェクトを使用し得るロックスクリプトを実行する。

【0020】

検証ブロックチェーンノードがロックスクリプトとアンロックスクリプトを組み合わせ、その組み合わせを実行する場合、実行後の結果は「TRUE（真）」又は「FALSE（偽）」のいずれかになる。場合によっては、スクリプトが完全に実行される前に、スクリプトの実行がFALSEの結果で終了することがある。たとえば、特定のスクリプトの実行には、スクリプトで何が起こるかに関係なく、有効なスクリプトの実行で常に等しい２つの値があると仮定する。そのスクリプトの実行の途中で、これらの２つの値の間で比較が行われ、それらが等しくない場合、スクリプトの実行はその比較の直後に停止し、FALSE結果を返すことができる。残りのスクリプトは実行する必要はない。

【0021】

検証ブロックチェーンノードがロックスクリプトとアンロックスクリプトを組み合わせ、その組み合わせを実行し、その結果がTRUE（すなわち、アンロックスクリプトにはトランザクションアウトプットのアンロックに必要なすべてのものが含まれている）である場合、検証ブロックチェーンノードはトランザクションが有効であることを検証する（適切なタイムスタンプ、適切なフォーマット、移転済みのトランザクションアウトプットを指さないなど、他の要件が満たされていると仮定する）。検証ブロックチェーンノードがトランザクションが有効であることを検証する場合、該ノードは該トランザクションを伝搬してよい。他のブロックチェーンノードは、トランザクションが有効であると結論付けるために、同じ計算を行ってもよい。このようにして、UTXOのみを指すインプットを持ち、それらのUTXOをアンロックするアンロックスクリプトを持つ有効なトランザクションが伝搬し、結局は、最終的に台帳の一部となるブロックの一部となり得る。

【0022】

一方、不正なノードが不正なトランザクションを伝搬しようとすると、他のノードはそれが不正であると判断し、それを伝搬しなくてよい。

【0023】

トランザクションが有効であり、ブロックチェーンに受け入れられると、その内容は変更できない。つまり、ロックスクリプトはトランザクションの作成時に確定される。しかし、アンロックスクリプトは、後のアンロックトランザクション内に含まれており、後のアンロックトランザクションが作成されるまで作成される必要はないため、必ずしもそのときに確定されるとは限らない。

【0024】

典型的な場合、検証するアンロックスクリプトは、誰かによって作成されるのではなく、前のトランザクションのアウトプットをアンロックする権限を与えられたパーティによってのみ作成される。上記の例のように、ロックスクリプトは、「Bobの秘密鍵を知っていることを証明するのに十分な情報を提供できる場合、誰でも自由にこのトランザクションアウトプットを指し示すことができ、それによって、すべての規定値をアンロックすることができる。」であり、アンロックスクリプトは、「Bobは自分の秘密鍵によりトランザクションに署名し、ここで結果はABCCCである。」という形式であるかも知れない。その後、検証ブロックチェーンノードは、これらの２つのステートメントを処理し、TRUE又はFALSEの結論に達してよい。このプロセスは、ABCCCが有効な署名であることを検証することが容易であり、Bob（又はBobの秘密鍵を知っている他の誰か）がそのような署名を生成することが容易であり、Bobの秘密鍵を知らずに他の誰かが有効な署名を生成することが非常に困難である場合に、うまく機能する。その結果、トラストレスなシステムで価値を移転することができる。Bobがロックをアンロックしようとしているトランザクションの発信者は、Bobの秘密鍵を最初に知らなくてもブロックチェーンノードのコンセンサスによって受け入れられるであろう有効で検証可能な結果を形成することは暗号学的に困難であるため、システムを信頼する、又はBobを信頼する必要がない。

【0025】

ブロックチェーンノードは、Bobがトランザクションに署名したことを簡単に検証し、署名がロックスクリプトの唯一の要件であることを検証できる。もちろん、他のノードが検証する場所を検証せず、他のノードが検証しない場所を検証し得る不正なノードが存在する可能性があるが、不正なノードがブロックチェーンネットワーク上の善良なノードを圧倒できない限り、不正なノードは無効なトランザクションをプッシュしたり、有効なトランザクションが伝搬又はマイニングされるのを止めることができない。

【0026】

ノードがトランザクションインプットのアンロックスクリプトと、前のトランザクションインプットの対応するロックスクリプトを実行し、それらのそれぞれをTRUEに評価し、他の検証条件（該当する場合）が満たされている場合、そのノードに関する限り、トランザクションは有効である。次に、そのノードは、検証されたトランザクションを他のネットワークノードに伝搬し、その結果、マイナーノードは、トランザクションをブロックに含めることを選択することができる。したがって、ブロックチェーンにトランザクションを書き込むためには、（１）トランザクションを受け取るノードによって検証され、（２）ネットワーク内の他のノードに中継され（トランザクションが検証された場合のみ）、（３）マイナーによって構築された新しいブロックに追加され、（４）提案されたブロックの一部として伝搬され、（５）ノードのコンセンサスにより、その提案されたブロックが過去のトランザクションの公開台帳への追加として受け入れられなければならない。

【0027】

トランザクションを実際上不可逆にするために、ブロックチェーンに十分な数のブロックが追加されたとき、トランザクションは確認されたとみなされてよい。トランザクションは不変であるため、ブロックチェーンプロトコルはトランザクションの一方的な逆戻りをブロックすることができる。もちろん、もしAliceが価値XをBobに移転し、Aliceがその価値Xの返却を要求するなら、Bobが同意すれば、Aliceは価値Xを得ることができる。この場合、Alice－to－Bob－for－Xトランザクションは逆戻り又はキャンセルされないが、Bobが開始する新しいトランザクション、Bob－to－Alice－for－Xトランザクションが存在する。

【0028】

一旦トランザクションがブロックに含まれると、そのトランザクションは不変とみなされ、ブロックがブロックチェーンにコミットされると、そのブロックは不変とみなされる。ブロックチェーンの中に枝分かれ（fork）が存在し、ブロックチェーンをロールバックする何からの能力がある、短い期間があるかも知れないが、一般に、時間が長ければ長いほど、ロールバックは起こりにくくなる。ここで、特に断らない限り、トランザクションとブロックは、ブロックチェーンに完全にコミットされた後、不変であると仮定する。

【0029】

不変性を保証する１つの方法は、暗号技術の使用によるものである。例えば、ハッシュやデジタル署名のような暗号操作があり、それらの入力として何らかのデータシーケンスを取り込み、該入力されたデータシーケンスに何らかの方法で対応する出力データシーケンスを提供する。操作は、所与の暗号入力（例えば、トランザクション又はブロック）から生成された所与の暗号出力（例えば、ハッシュ又はデジタル署名）に対して、利用可能な計算資源を使って、同じ暗号出力をもたらす異なる暗号入力を見つけることが、計算上実行不可能であるか又は不可能であるようなものであってよい。したがって、検証器は、暗号入力が暗号出力と整合する場合、暗号出力を生成するために使用されたのは暗号入力であって、他の修正された暗号入力ではないと想定することができる。

【0030】

ブロックチェーンネットワークでは、各ノードが互いに信頼する必要がない場合、トランザクションはそのように検証され、ブロックはそのように検証されてよく、検証不能なトランザクションとブロックは無視され、未使用となってよく、トランザクションとブロックは実質的に不変であるとみなされてよく、これは、ハッシュ又はデジタル署名がトランザクション又はブロックに正しく対応する場合、トランザクション又はブロックがその元から変更されていないという仮定の結果であり得る。

【0031】

ブロックチェーンノードの中には、台帳全体を格納するものもあれば、未使用のトランザクションアウトプット（例えばBitcoin台帳では、UTXO）だけを格納するものもある。UTXOは、償還可能な価値に対応し、各UTXOは、その価値の「所有者」以外の者が検証可能なアンロックスクリプトを容易に生成できないロックスクリプトを有することが好ましい。もちろん、これは必要条件ではありませんが、検証可能なアンロックスクリプトが誰でも簡単に生成できるようなUTXOは、最初にそれに気づいた人だけが償還できる別のUTXOにその価値を移転するトランザクションで、すぐに移転されることが予想される。結果として、ブロックチェーンは、暗号通貨価値の制御を移転するために使用することができる。より一般的には、移転されたトランザクションアウトプット及びUTXOを含む、ブロックチェーンシステムのある参加者から別の参加者へのデジタル資産及びトランザクション記録を、公開された不変の台帳に記録することができ、これにより、デジタル資産の流れを検証し、それらのデジタル資産の二重のアンロックを防止することが容易になる。

【0032】

実施形態において、「デジタル資産」とは、使用権に関連するバイナリデータをいう。デジタル資産の例としては、Bitcoin、ether、及びLitecoinが挙げられる。本明細書において使用される場合、「デジタル資産」とは、１つ以上のデジタル資産を指し得る。例えば、トランザクションは、複数のインプットを有してもよく、これらのインプットの各々は、異なるデジタル資産を表すことができる。制御が移転されるデジタル資産は、この例では、複数のデジタル資産の集合であってもよく、集合自体がデジタル資産である。同様に、トランザクションは、例えば、インプットの数及びアウトプットの数が異なるように、１つ以上のアウトプットを生成するために、これらの複数のインプットを細分化及び／又は結合することができる。

【0033】

一実施形態では、暗号通貨は、トークンベースの暗号通貨であり、各トークンは、資産のシェア（例えば、企業の株式）を表し、単一のトランザクションは、複数のタイプのトークン（例えば、１つ以上の異なる企業の株式）を含む。いくつかの実施形態では、例えば、Bitcoinのように、デジタル資産は非トークン化される。その結果、例えば、ブロックチェーン内で識別されるデジタル資産の識別子は存在しないが、むしろ、デジタル資産の制御は、ブロックチェーン上に記録されることになる有効なトランザクションを生成する能力を通じて実証される。しかしながら、いくつかのブロックチェーン実装は、例えば、デジタル資産がブロックチェーンに記録された情報を使用して特に識別可能であるように、トークン化されたデジタル資産を使用することができることに注意されたい。デジタル資産は、いくつかの実施形態においては、暗号通貨として使用され得るが、実施形態においては、デジタル資産は、他のコンテキストにおいて追加的又は代替的に使用可能であることが意図される。本発明は、デジタル資産の制御に適用可能であるが、本質的に技術的であり、デジタル資産の移転を必ずしも伴わずにブロックチェーンデータ構造を利用する他のコンテキストで使用することができることに留意されたい。

【0034】

トランザクションには、ロックスクリプトとアンロックスクリプトが含まれており、これらは計算オブジェクトを形成することができる。いったんブロックチェーンにコミットされると、トランザクションは不変になってよく、その機能は、単に暗号通貨の形でデジタル資産に対する制御の不変の移転を越えて使用される可能性がある。不変トランザクションは、価値の移転に加えて、事象の公証記録、パーティの権利義務がトランザクションに符号化されるスマートコントラクトの実装、及びブロックチェーンプロトコルに従ったスマートコントラクトの条件に従い価値を移転するなど、他のオペレーションを実行するために使用することができる。

【0035】

Bitcoinプラットフォームでは、スクリプトはスタックベースのスクリプト言語を使用して書かれるが、代わりに他のアプローチを使用してもよい。いくつかの例において、「スタックベースのスクリプト言語」は、種々のスタックベース又はスタック指向の実行モデル及び演算をサポートするプログラミング言語を指す。スタックベースのスクリプト言語の命令を実行するとき、プロセッサ（ブロックチェーンノードの一部など）は、スタックと呼ばれる先入れ先出しのデータ構造にデータを格納する。プロセッサは、スタックの最上部に値をプッシュしたり、スタックの最上部から値をポップすることができる。スタックに対して実行される種々の操作は、結果として、スタックの最上部から１つ以上の値をプッシュ又はポップしたり、該値に対して演算を実行したり、スタック上の要素の順序を変更したりすることができる（これは、２回のポップ操作と、最初のプッシュが最初のアイテムをポップした状態での２回のプッシュと等価であり得る）。たとえば、OP_EQUAL演算はスタックから上位２つのアイテムをポップし、それらを比較し、結果（等しい場合は１、等しくない場合は０）をスタックの一番上にプッシュし得る。OP_PICKのようなスタックに対して実行される他の操作は、スタックの最上部以外の位置からアイテムを選択することを可能にし得る。本発明の実施形態のいくつかによって使用されるいくつかのスクリプト言語では、少なくとも２つのスタック、すなわち、メインスタックと代替スタックが存在し得る。スクリプト言語の一部の操作は、あるスタックの最上部から別のスタックの最上部にアイテムを移動できる。例えば、OP_TOALTSTACK演算を実行すると、プロセッサはメインスタックの最上部から代替スタックの最上部に値を移動させる。スタックベースのスクリプト言語は、場合によっては、厳密に後入先出（LIFO）方式での動作のみに限定されないことに留意されたい。例えば、スタックベースのスクリプト言語は、スタック内のn番目のアイテムを最上位にコピー又は移動する操作（例えば、それぞれ、BitcoinにおけるOP_PICK及びOP_ROLL）をサポートしてもよい。スタックベースのスクリプト言語で書かれたスクリプトは、ベクトル、リスト、又はスタックのような任意の適切なデータ構造を使用して実装可能な論理スタック上にプッシュ可能である。

【0036】

トランザクションに含まれるスクリプトを使用して、契約の条件がスクリプトに符号化されるスマートコントラクトを実装することができる。例えば、「BobがCarolにXを支払い、Daveがトランザクションに許可を与えた場合、AliceはBobにXの半分を支払う」という形式があり、これは、（とりわけ）BobがCarolに支払った事前のトランザクションとDaveが許可を符号化した事前のトランザクションがある場合にのみ、TRUEに評価されるロックスクリプトの一部として符号化することができる。ここで使用される「事前のトランザクション」とは、ブロックチェーンにすでに追加されているトランザクションをいい、必ずしもアンロックトランザクションがアンロックするアウトプットを有する前のトランザクションとは限らない。事実上、スマートコントラクトは、結果を生成するためのインプットを定義するルールを含む機械実行可能プログラムを表すことができ、それによって、それらの結果に依存するアクションの実行を生じることができる。

【0037】

価値の移転に加えて、トランザクションは、価値の他のオブジェクト又は占有権を移転することもある。例えば、あるトランザクションは、名目上の暗号通貨価値を移転するかも知れないが、「このトランザクションを解除することができる者は、Marley Circle １２３の家及び土地の正当な所有者でもある」という主張に相当するデータを含んでいるかも知れない。占有権は、同じ趣旨で公記録では不明瞭かも知れない。例えば、トランザクションは「このトランザクションをアンロックできる者は、Central Bank of Trustに保持されている委託番号１２３４５で委託された特定の財産の正当な所有者でもある」という主張に相当するデータを含んでいるかも知れない。ここでは、これは、ブロックチェーンを介した実世界エンティティの移転を表し及び生じさせる、トークンと呼ばれる。潜在的に機密又は秘密のアイテムは、識別可能な意味又は価値を持たないトークンによって表すことができる。したがって、トークンは、実世界のアイテムがブロックチェーンから参照されることを可能にする識別子として機能し得る。

【0038】

いくつかの実施形態では、特定のエンティティとの相互作用は、スマートコントラクト内の特定のステップで符号化され、スマートコントラクトは、そうでなければ、自動的に自動実行され、自己強制され得る。いくつかの例では、自動実行は、UTXOの移転を可能にするために実行されるスマートコントラクトの実行を表す。このような例では、UTXOをアンロックできる「任意のエンティティ」とは、何らかの秘密の知識を証明することを要求されることなく、アンロックスクリプトを生成できるエンティティを表す。言い換えると、データのソースが暗号秘密（プライベート非対称鍵、対称鍵など）にアクセスできることを検証することなく、アンロックスクリプトが生成され得る。また、このような例では、ブロックチェーンネットワークの検証ノードがスマートコントラクトの制約に応じてアンロックトランザクションを検証した結果として、自己強制が発生する。幾つかの例では、UTXOの「アンロック」は、UTXOを参照し及び有効として実行するアンロックトランザクションアウトプットを生成することを表す。このようなトランザクションアウトプットをアンロックすることの副次的な効果は、ブロックチェーンネットワークがロックスクリプトとアンロックスクリプトを処理して、新しいトランザクション、すなわちアンロックトランザクションを検証することができることである。有効な場合、前のトランザクションのアウトプットは移転されたとみなされる。トランザクションアウトプットに特定の値を含め、誰でもそのアウトプットをアンロックできるようにすることによって、パーティがそのようなアンロックトランザクションを作成する理由が存在し、したがって、スマートコントラクトのステップは、スマートコントラクトの参加者によってではなくても、ブロックチェーンノードを運用する他者によって実行される。

【0039】

トランザクションの一部として記録されるロックスクリプトとアンロックスクリプトを形成するスクリプトは、不変であり得るので、ロックスクリプトは、通常、変更することができず、将来のトランザクションの参照部分は、トランザクションが確定されるときに不明である可能性があるため、参照することができない。トランザクションインプットのアンロックスクリプトは、トランザクションインプットが指す前のトランザクションのアウトプットの部分、又は前のトランザクション以外のブロックチェーン内の前のトランザクションを参照することができる。これにより、トランザクションの使用方法が制限される場合がある。

【0040】

これらの態様の１つ以上において、ブロックチェーン技術を使用するための追加の機能及び改良された方法及びシステムを提供することが望ましい。従って、本発明によれば、添付の特許請求の範囲に定義されるシステム及び／又は方法が提供される。

【発明の概要】

【0041】

コンピュータにより実施される方法の種々の実施形態では、方法は、
第１使用トランザクションアウトプットに対する第１制約セットを決定するステップと、
第２使用トランザクションアウトプットに対する第２制約セットを決定するステップと、
初期トランザクションを生成するステップであって、前記初期トランザクションは、
前記第１制約セット及び前記第２制約セットを含む少なくとも１つの初期ロックスクリプトと、
少なくとも１つの使用可能な価値と、を含み、前記少なくとも１つの使用可能な価値を使用することは、
少なくとも部分的に、使用トランザクションが前記第１使用トランザクションアウトプットを含むことを検証することにより、前記第１制約セットが満たされること、及び、
少なくとも部分的に、前記使用トランザクションが前記第２使用トランザクションアウトプットを含むことを検証することにより、前記第２制約セットが満たされること、を条件とする、ステップと、
ブロックチェーンネットワークのノードにおいて、前記初期トランザクションを検証させるステップと、
を含む。

【0042】

第１使用トランザクションアウトプット内のロックスクリプトは、第２使用トランザクションアウトプット内のロックスクリプトの複製であってよい。

【0043】

第１使用トランザクションアウトプット内のロックスクリプトは、第２使用トランザクションアウトプット内のロックスクリプトと異なってよい。

【0044】

第１使用トランザクションアウトプット内のロックスクリプトは、少なくとも１つの初期ロックスクリプトの少なくとも一部を含んでよい。

【0045】

前記少なくとも１つの初期ロックスクリプトの実行は、前記少なくとも１つの初期ロックスクリプトの複数の部分から前記少なくとも一部を選択してよい。

【0046】

前記使用トランザクションのアンロックスクリプトの実行の結果、前記少なくとも１つの初期ロックスクリプトが、前記第１使用トランザクションアウトプット又は前記第２使用トランザクションアウトプットのうちの一方に対応するデータを受信してよい。

【0047】

データはインデックス値を有してよい。インデックス値が第１インデックス値であることを条件として、少なくとも１つの初期ロックスクリプトの実行が、第１制約セットが満たされるか否かを決定してよい。インデックス値が第２インデックス値であることを条件として、少なくとも１つの初期ロックスクリプトの実行が、第２制約セットが満たされるか否かを決定してよい。

【0048】

データは、新しいロックスクリプトを含んでよい。データを受信した結果として、第１使用トランザクションアウトプットは、新しいロックスクリプトを含むよう制約されてよい。

【0049】

少なくとも１つの初期ロックスクリプトは、データのソースの制約を含んでよい。

【0050】

方法は、さらに、第１使用トランザクションアウトプットの使用可能な価値を決定するステップを含んでよい。

【0051】

初期トランザクションは、複数の状態を有するコントラクトを符号化してよい。

【0052】

使用トランザクションは、複数の状態に対応する複数のインプット値を含んでよい。

【0053】

第１制約セットは、第１使用トランザクションアウトプットが第１状態を有するよう制約してよい。第２制約セットは、第２使用トランザクションアウトプットが第２状態を有するよう制約する。

【0054】

さらに、コンピュータにより実施される方法であって、
前のトランザクションのアウトプットを参照する使用トランザクションインプットを含むよう使用トランザクションを制約する使用トランザクション制約を決定するステップと、
使用可能トランザクションを生成するステップであって、使用可能トランザクションは、
使用可能量を含む使用可能トランザクションアウトプットと、
使用トランザクション制約を含む使用可能トランザクションロックスクリプトと、を含み、使用可能量の使用は、使用トランザクション制約を満たす使用トランザクションの少なくとも１つのアンロックスクリプトの実行を条件とする、ステップと、
ブロックチェーンネットワークのノードにおいて使用可能トランザクションを検証させるステップと、を含む方法を提供することが望ましい。

【0055】

使用トランザクション制約は、さらに、特定のハッシュ値を含むよう使用トランザクションインプットを制約してよい。

【0056】

特定のハッシュ値は、前のトランザクションのアウトプットを参照する識別子を符号化してよい。

【0057】

使用トランザクション制約は、さらに、使用可能トランザクションロックスクリプトから複製されたスクリプト要素セットを含むよう使用トランザクションのロックスクリプトを制約してよい。

【0058】

使用可能トランザクションは、複数の状態を有するコントラクトを符号化してよい。

【0059】

方法は、さらに、使用トランザクションのアウトプットの使用可能な価値を決定するステップを含んでよい。

【0060】

使用トランザクション制約は、前のトランザクションのアウトプットからの特定のロックスクリプト要素を含んでよい。使用トランザクションインプットが特定のロックスクリプト要素を含む結果として、少なくとも１つのアンロックスクリプトの実行は、使用トランザクション制約を満たしてよい。

【0061】

特定のロックスクリプト要素は、特定のエンティティの暗号鍵を符号化してよい。

【0062】

使用トランザクション制約は、第１使用トランザクション制約であってよく、方法は、さらに、
使用トランザクションを更に制約するために、第２使用トランザクション制約を決定するステップと、
第２使用可能トランザクションを生成するステップであって、第２使用可能トランザクションは、
第２使用可能量と、
第２使用トランザクション制約を含む第２使用可能トランザクションロックスクリプトと、を含み、第２使用可能量を使用することは、さらに、少なくとも１つのアンロックスクリプトの実行が第２使用トランザクション制約を満たすことを条件としてよい、ステップと、を含んでよい。

【0063】

使用可能トランザクションロックスクリプトは、第１使用可能トランザクションロックスクリプトであってよく、少なくとも１つのアンロックスクリプトは、第１アンロックスクリプト及び第２アンロックスクリプトを含んでよい。第１使用トランザクション制約は、第１使用可能トランザクションロックスクリプトの少なくとも一部を含むよう、第１アンロックスクリプトを制約してよい。第２使用トランザクション制約は、第２使用可能トランザクションロックスクリプトの少なくとも一部を含むよう、第２アンロックスクリプトを制約してよい。

【0064】

第１使用可能トランザクションロックスクリプトの少なくとも一部は、第１エンティティに関連付けられた暗号鍵を含んでよい。第２使用可能トランザクションロックスクリプトの少なくとも一部は、第１エンティティと異なる第２エンティティに関連付けられた暗号鍵を含んでよい。

【0065】

使用トランザクション制約は、さらに、使用トランザクションのアウトプットを制約するよう使用トランザクションを制約してよい。

【0066】

使用トランザクション制約は、コントラクトと区別される別のコントラクトを符号化してよい。使用可能量を使用することは、他のコントラクトが使用トランザクションのアウトプットの中に実装されていることを条件としてよい。

【0067】

さらに、コンピュータにより実施される方法であって、
ブロックチェーントランザクションを生成するステップであって、ブロックチェーントランザクションは、
第１状態であり且つ許容状態遷移セットを有する状態機械と、
使用トランザクションに、許容状態遷移セットに従い状態機械を符号化させ、使用トランザクションへのインプットに対する制限に従わせ、又は、使用トランザクションのアウトプットに対する制限に従わせる、ために実行されるべきスクリプト要素セットと、を符号化する、ステップと、
ブロックチェーントランザクションを、ブロックチェーンネットワークのノードにより検証させるステップと、を含む方法を提供することが望ましい。

【0068】

許容状態遷移セットは、別のブロックチェーントランザクションにおいて独立に並行に実装可能な状態遷移を含んでよい。

【0069】

スクリプト要素セットは、使用トランザクションを、使用トランザクションのアウトプットに対する制限に従わせてよい。アウトプットに対する制限は、使用トランザクションの第１アウトプットが、許容状態遷移セットに従い第１アウトプットに対応する状態を示すこと、及び、使用トランザクションの第２アウトプットが、許容状態遷移セットに従い第２アウトプットに対応する状態を示すこと、を要求してよい。

【0070】

第１アウトプットに対応する状態及び第２アウトプットに対応する状態は同じであってよい。

【0071】

第１アウトプットに対応する状態及び第２アウトプットに対応する状態は異なる状態であってよい。

【0072】

スクリプト要素セットは、使用トランザクションを、使用トランザクションのインプットに対する制限に従わせてよい。インプットに対する制限は、使用トランザクションへのインプットが、別のブロックチェーントランザクション内に符号化された別の状態機械を示すことを要求してよい。

【0073】

インプットに対する制限は、インプットが第１状態の状態機械を参照すること、及び第１状態と異なる別の状態の他の状態機械を参照することを要求してよい。

【0074】

第１状態から第２状態への第１遷移は、許容状態遷移セットの範囲内にあってよい。他の状態から第２状態への第２遷移は、許容状態遷移セットの範囲内にあってよい。

【0075】

スクリプト要素セットは、使用トランザクションを、使用トランザクションのインプットに対する制限に従わせてよい。インプットに対する制限は、状態機械を進展させるための条件セットを記述してよい。状態機械を進展させるための条件セットは、別の状態機械の状態に依存してよい。

【0076】

他の状態機械は、別のブロックチェーントランザクション内に符号化されてよい。他のトランザクションは、他の状態機械を進展させるための条件セットを符号化してよい。他の状態機械を進展させるための他の条件セットは、状態機械の状態に依存してよい。

【0077】

スクリプト要素セットは、使用トランザクションを、使用トランザクションのアウトプットに対する制限に従わせてよい。アウトプットの制限は、使用トランザクションが、スマートコントラクトの要素セットをアウトプットに組み込むことを要求してよい。

【0078】

スマートコントラクトの要素セットは、別のブロックチェーントランザクションから取得されてよい。

【0079】

スクリプト要素セットは、使用トランザクションを、使用トランザクションのインプットに対する制限及び使用トランザクションのアウトプットに対する制限の両方に従わせてよい。

【0080】

さらに、コンピュータにより実施される方法であって、
ブロックチェーンネットワークのノードにおいて、第１使用トランザクションの第１使用トランザクションインプットにより使用可能なトランザクションアウトプットを有するブロックチェーントランザクションを生成するステップと、
状態機械の動作に対応する第１使用トランザクションスクリプト要素セットを含むよう、第１使用トランザクションを制約し得る、第１スクリプト要素セットを、ブロックチェーントランザクションに挿入するステップと、
ブロックチェーンネットワークにより並行に独立して処理可能な異なるブロックチェーントランザクションを用いて実装可能な状態を含む許容状態機械状態遷移に対応する、第２使用トランザクションスクリプト要素セットを制約し得る第２スクリプト要素セットを、ブロックチェーントランザクションに挿入するステップと、を含む方法を提供することが望ましい。ブロックチェーントランザクションは、第１ロックスクリプトを有する第１アウトプットを含むことができ、第１トランザクションアウトプット値は、第２ロックスクリプト及び第２トランザクションアウトプット値を有する第２アウトプットを含むことができ、第１スクリプト要素セットは、第１ロックスクリプトの部分である。

【0081】

使用トランザクションは、アンロックスクリプトを含むことができる。アンロックスクリプトは、トランザクション検証器により、前のトランザクションのアウトプットのロックスクリプトを用いて実行されると、
所定の検証テストを満たし、前のトランザクションのアウトプットのロックスクリプトを実行し、使用トランザクションに第１スクリプト要素セットを挿入し、ここで第１スクリプト要素セットは使用トランザクションの第１アウトプットの使用トランザクションロックスクリプトの一部を形成し及び前のトランザクションロックスクリプトにより指示される要件に一致し、第１スクリプト要素セットは状態機械の動作に対応し、並びに、使用トランザクションに、第２スクリプト要素セットを挿入し、ここで、第２スクリプト要素セットは使用トランザクションロックスクリプトの一部を形成し及び前のトランザクションロックスクリプトにより指示される要件に一致し、ブロックチェーンネットワークにより並行に独立して処理可能な異なるブロックチェーントランザクションを用いて実装可能な状態を含む許容状態機械状態遷移に対応するとき、ノードに、使用トランザクションのフィールドを表す値を、トランザクション検証器がアクセス可能なメモリに少なくとも格納させる。

【0082】

使用トランザクションは、インプットとアウトプットとを含むことができ、該インプットは前のトランザクションのアウトプットを参照する。使用トランザクションは、アンロックスクリプトを含む。アンロックスクリプトは、トランザクション検証器により前のトランザクションのアウトプットの前のトランザクションロックスクリプトを用いて実行されると、所定の検証テストを満たし、ここで、アンロックスクリプトは、ロックスクリプトを実行し、使用トランザクションに追加状態機械に対応するデータを許容状態機械状態遷移に基づく使用トランザクションインプット及び／又は使用トランザクションアウトプットとして挿入し、その結果、使用トランザクションで使用される使用トランザクションインプット及び／又は使用トランザクションアウトプットの数が状態機械遷移の数に対して十分であるとき、ノードに、使用トランザクションのフィールドを表す値を、トランザクション検証器がアクセス可能なメモリに、少なくとも格納させる。

【0083】

許容状態機械状態遷移は、使用トランザクションについて、第１後段状態に対応する第１トランザクションアウトプットを生成し、第１トランザクションアウトプットを第１トランザクションアウトプットを参照する第１後段トランザクションのインプットにさせるのに十分な第１トランザクションアウトプットの第１トランザクションアウトプット値を、使用トランザクションに挿入し、使用トランザクションの第１トランザクションアウトプットに、第３スクリプト要素セットを挿入し、ここで、第３スクリプト要素セットは、第１後段状態を取るよう第１後段トランザクションを制約する第１ロックスクリプトの部分であり、使用トランザクションについて、第２後段状態に対応する第２トランザクションアウトプットを生成し、使用トランザクションに、第２トランザクションアウトプットを第２トランザクションアウトプットを参照する第２後段トランザクションのインプットにさせるのに十分な第２トランザクションアウトプットの第２トランザクションアウトプット値を挿入し、第２トランザクションアウトプットに、第４スクリプト要素セットを挿入し、ここで、第４スクリプト要素セットは、第２後段状態を取るよう第２後段トランザクションを制約する第２ロックスクリプトの部分であり、並びに、第１トランザクションアウトプット又は第２トランザクションアウトプットに、第５スクリプト要素セットを挿入し、ここで、第５スクリプト要素セットは第１ロックスクリプト、又は第１後段トランザクション及び第２後段トランザクションが区別される制約を課す第２ロックスクリプトの部分である、ことにより、１つの初期状態から２つの後段状態への分岐トランザクションを含み得る。

【0084】

第１ロックスクリプトは、第１状態を有するよう第１後段トランザクションを制約できる。第２ロックスクリプトは、第２状態を有するよう第２後段トランザクションを制約できる。使用トランザクションは、３個以上の状態の分岐に対応する３個以上のトランザクションアウトプット値を含むことができる。使用トランザクションは、３個以上の状態の融合に対応する３個以上のトランザクションインプット値を含むことができる。第１ロックスクリプト及び第２ロックスクリプトは、第１後段トランザクション及び第２後段トランザクションが同じ状態を有するよう制約できる。

【0085】

通常、使用トランザクションは、N個のトランザクションインプット値と、N個のトランザクションアウトプット値と、を含んでよく、Nは１、２、３、又はそれ以上である。

【0086】

許容状態機械状態遷移は、使用トランザクションに、第１前段状態の第１トランザクションインプットを挿入し、使用トランザクションに、第２前段状態の第２トランザクションインプットを挿入し、使用トランザクションに、状態遷移マトリクスに従い第１前段状態及び第２前段状態からの許容遷移である融合状態を挿入することにより、２つの初期状態から１つの後段状態への融合（merging）トランザクションを含むことができる。

【0087】

許容状態機械状態遷移は、第１トランザクションインプットに、第１前段状態を有する第１の前のトランザクションへの第１参照を挿入し、第２トランザクションインプットに、第２前段状態を有する第２の前のトランザクションへの第２参照を挿入し、及び、使用トランザクションに、融合状態の第１トランザクションアウトプットを挿入することにより、第１トランザクションインプット及び／又は第２トランザクションインプットにハードコードすることができる。ここで、状態遷移マトリクスは、第１の前のトランザクション及び第２の前のトランザクションに利用可能である。

【0088】

許容状態機械状態遷移は、使用トランザクションに、第１前段状態の第１トランザクションインプットを挿入し、使用トランザクションに、第２前段状態の第２トランザクションインプットを挿入し、第１トランザクションインプットに、第１前段状態を有する第１の前のトランザクションへの第１参照を挿入し、第２トランザクションインプットに、第２前段状態を有する第２の前のトランザクションへの第２参照を挿入し、使用トランザクションに、第１後段状態の第１トランザクションアウトプットを挿入し、第１トランザクションアウトプットに、第３スクリプト要素セットを挿入し、ここで、第３スクリプト要素セットは第１後段状態を取るよう第１後段トランザクションを制約する第１ロックスクリプトの部分であり、使用トランザクションに、第２後段状態の第２トランザクションアウトプットを挿入し、第２トランザクションアウトプットに、第４スクリプト要素セットを挿入し、ここで、第４スクリプト要素セットは、第２後段状態を取るよう第２後段トランザクションを制約する第２ロックスクリプトの部分である、ことにより、初期状態の数Nから、N個の後続状態への並列動作を含むことができる。Nは２以上である。

【0089】

状態機械の動作は、ブロックチェーンを用いて実装されるスマートコントラクトのために符号化してよい。

【0090】

トランザクションは、任意の制約により分割され得る。方法は、ブロックチェーンネットワークのノードにおいて、第１トランザクションを生成するステップであって、第１トランザクションは、第１使用可能価値を有する第１アウトプットと、第１ロックスクリプトとを含み、第１トランザクションは、第２使用可能価値を有する第２アウトプットと、第２ロックスクリプトとを含む、ステップと、第１ロックスクリプトに、第１の選択されたトランザクションアウトプットに対する第１制約セットを含めるステップであって、第１制約セットは、第１の選択されたトランザクションアウトプットが第１使用可能価値を使用するために検証されるべきである場合、第１アンロックスクリプトにより満たされる、ステップと、第２ロックスクリプトに、第２の選択されたトランザクションアウトプットに対する第２制約セットを含めるステップであって、第２制約セットは、第２の選択されたトランザクションアウトプットが、第２使用可能価値を使用するために検証されるべきである場合、第２アンロックスクリプトにより満たされ、第１制約セット又は第２制約セットは、使用トランザクションアウトプットとして、第１の選択されたトランザクションアウトプット又は第２の選択されたトランザクションアウトプットを有する使用トランザクションのロックスクリプトに対して制約を課す、ステップと、を含み得る。

【0091】

第１の選択されたトランザクションアウトプットは、第１使用トランザクションのアウトプットになることができ、第２の選択されたトランザクションアウトプットは、第１使用トランザクションと異なる第２使用トランザクションのアウトプットになることができる。第１制約セットは、第２制約セットと異なり、第１トランザクションのトランザクションインプットに対する制約と異なり得る。第１制約セット及び第２制約セットは、それぞれ、共通制約セットを含むことができる。使用トランザクションのロックスクリプトに対する制約は、使用トランザクションが有効であるために、使用トランザクションのロックスクリプトが、使用トランザクションの少なくとも１つのフィールドへの参照を含むことを要求し得る。ロックスクリプトに対する別の制約は、使用トランザクションが有効であるために、使用トランザクションのロックスクリプトが、第１ロックスクリプトの一部のコピー及び／又は第２ロックスクリプトの一部のコピーを含むことを要求する。

【0092】

第１の選択されたトランザクションアウトプットは、第１使用トランザクションのアウトプットであり得る。第２の選択されたトランザクションアウトプットは、第２使用トランザクションのアウトプットであり得る。第１アンロックスクリプトは、第１トランザクションのフィールド、第１の選択されたトランザクションのフィールド、及び第２使用トランザクションのフィールドを含み得る。第１ロックスクリプトは、第１トランザクションの抽出したフィールドの第１の比較、及び第１使用トランザクションの抽出したフィールドの第２の比較を含み得る。

【0093】

第１制約セット及び第２制約セットは、それぞれ、共通制約セットを含み得る。それにより、２つの制約された使用トランザクションアウトプットロックスクリプトは、共通制約セットにより制約される。第１制約セット及び／又は第２制約セットは、第１ロックスクリプトの一部のハッシュ、及び／又は第２ロックスクリプトの一部のハッシュ、及び／又は第１ロックスクリプトの一部のサイズ及び／又は第２ロックスクリプトの一部のサイズに対する制約、を含み得る。

【0094】

第１制約セット及び／又は第２制約セットは、インプットデータへの任意の参照を含むことができる。第１トランザクションの複数のアウトプットの各々は、複数のアウトプットのうちのアウトプットに適用される異なる制約により制約され得る。

【0095】

トランザクションは、コンピュータにより実施される方法によるような、任意の制約との相互依存を融合し有し得る。該方法は、ブロックチェーンネットワークのノードにおいて、第１使用可能トランザクションを生成するステップであって、第１使用可能トランザクションは、第１使用可能価値を有する第１使用可能アウトプットと、第１ロックスクリプトとを含む、ステップと、第１ロックスクリプトに、使用トランザクションに対する第１制約セットを含めるステップであって、第１制約セットは、使用トランザクションが第１使用可能アウトプットを使用するために有効であるべき場合、使用トランザクションの第１アンロックスクリプトにより満たされるものである、ステップと、第１制約セットに、使用トランザクションの第１使用トランザクションアウトプットが第１スマートコントラクトスクリプト命令セットを含むための第１使用トランザクションアウトプットロックスクリプトを含むことを要求する第１使用トランザクション制約を含めるステップと、第１制約セットに、使用トランザクションが第２スマートコントラクトスクリプト命令セットを含むことを要求し、及び使用トランザクションが第２使用可能トランザクションアウトプットを参照する使用トランザクションインプットを含むことを要求する、第２使用トランザクション制約を含めるステップと、を含む。

【0096】

第１スマートコントラクトスクリプト命令セットは、第１ロックスクリプトから複製されたスクリプト命令、及び／又は第１ロックスクリプト内に実装されたスマートコントラクトと異なる新しいスマートコントラクトに対応するスクリプト命令を含むことができる。

【0097】

第１制約セットは、第１使用トランザクションアウトプットロックスクリプトが、第２使用可能トランザクションアウトプットへの参照を含むこと、及び第２スマートコントラクトスクリプト命令セットが、第１使用可能トランザクションのアウトプットへの参照を含むこと、であってよい。

【0098】

方法は、第１制約セットの中で、使用トランザクションが第１使用可能トランザクションを参照する第１使用トランザクションインプットを含むことを要求する第１並列制約と、使用トランザクションが第２使用可能トランザクションアウトプットを参照する第２使用トランザクションインプットを含むことを要求する第２並列制約と、第１使用トランザクションアウトプットロックスクリプトが第１スマートコントラクトスクリプト命令セットの中に少なくとも部分的に第１ロックスクリプトにより決定された少なくとも第１スクリプト命令セットを含むことを要求する第３並列制約と、第２使用トランザクションアウトプットロックスクリプトが少なくとも部分的に第２使用可能トランザクションアウトプットのロックスクリプトにより決定された第２スマートコントラクトスクリプト命令セットを含むことを要求する第４並列制約と、を提供するステップを含んでよい。

【0099】

第１制約セットは、使用トランザクションが第１使用可能トランザクションを参照する第１使用トランザクションインプットを含むことを要求する第１並列制約と、使用トランザクションが第２使用可能トランザクションアウトプットを参照する第２使用トランザクションインプットを含むことを要求する第２並列制約と、第１使用トランザクションアウトプットロックスクリプトが第１スマートコントラクトスクリプト命令セットに第１ロックスクリプトから複製された少なくとも第１スクリプト命令セットを含むことを要求する第３並列制約と、第２使用トランザクションアウトプットロックスクリプトが第２使用可能トランザクションアウトプットのロックスクリプトから複製された第２スマートコントラクトスクリプト命令セットを含むことを要求する第４並列制約と、を含んでよい。

【0100】

さらに、コンピュータにより実施される方法であって、
第１アンロックトランザクションアウトプットに対する第１制約セットを決定するステップと、
第２アンロックトランザクションアウトプットに対する第２制約セットを決定するステップと、
初期トランザクションを生成するステップであって、前記初期トランザクションは、
前記第１制約セット及び前記第２制約セットを含む少なくとも１つの初期ロックスクリプトと、
少なくとも１つの償還可能な価値と、を含み、前記少なくとも１つの償還可能な価値をアンロックすることは、
少なくとも部分的に、アンロックトランザクションが前記第１アンロックトランザクションアウトプットを含むことを検証することにより、前記第１制約セットが満たされること、及び、
少なくとも部分的に、前記アンロックトランザクションが前記第２アンロックトランザクションアウトプットを含むことを検証することにより、前記第２制約セットが満たされること、を条件とする、ステップと、
ブロックチェーンネットワークのノードにおいて、前記初期トランザクションを検証させるステップと、
を含むコンピュータにより実施される方法を提供することが望ましい。

【0101】

第１アンロックトランザクションアウトプット内のロックスクリプトは、第２アンロックトランザクションアウトプット内のロックスクリプトの複製であってよい。

【0102】

第１アンロックトランザクションアウトプット内のロックスクリプトは、第２アンロックトランザクションアウトプット内のロックスクリプトと異なってよい。

【0103】

第１アンロックトランザクションアウトプット内のロックスクリプトは、少なくとも１つの初期ロックスクリプトの少なくとも一部を含んでよい。

【0104】

前記少なくとも１つの初期ロックスクリプトの実行は、前記少なくとも１つの初期ロックスクリプトの複数の部分から前記少なくとも一部を選択してよい。

【0105】

前記アンロックトランザクションのアンロックスクリプトの実行の結果、前記少なくとも１つの初期ロックスクリプトが、前記第１アンロックトランザクションアウトプット又は前記第２アンロックトランザクションアウトプットのうちの一方に対応するデータを受信してよい。

【0106】

データはインデックス値を有してよい。インデックス値が第１インデックス値であることを条件として、少なくとも１つの初期ロックスクリプトの実行が、第１制約セットが満たされるか否かを決定してよい。インデックス値が第２インデックス値であることを条件として、少なくとも１つの初期ロックスクリプトの実行が、第２制約セットが満たされるか否かを決定してよい。

【0107】

データは、新しいロックスクリプトを含んでよい。データを受信した結果として、第１アンロックトランザクションアウトプットは、新しいロックスクリプトを含むよう制約されてよい。

【0108】

少なくとも１つの初期ロックスクリプトは、データのソースの制約を含んでよい。

【0109】

方法は、さらに、第１アンロックトランザクションアウトプットの償還可能な価値を決定するステップを含んでよい。

【0110】

初期トランザクションは、複数の状態を有するコントラクトを符号化してよい。

【0111】

アンロックトランザクションは、複数の状態に対応する複数のインプット値を含んでよい。

【0112】

第１制約セットは、第１アンロックトランザクションアウトプットが第１状態を有するよう制約してよい。第２制約セットは、第２アンロックトランザクションアウトプットが第２状態を有するよう制約する。

【0113】

さらに、コンピュータにより実施される方法であって、
前のトランザクションのアウトプットを参照するアンロックトランザクションインプットを含むようアンロックトランザクションを制約するアンロックトランザクション制約を決定するステップと、
償還可能トランザクションを生成するステップであって、償還可能トランザクションは、
償還可能量を含む償還可能トランザクションアウトプットと、
アンロックトランザクション制約を含む償還可能トランザクションロックスクリプトと、を含み、償還可能量のアンロックは、アンロックトランザクション制約を満たすアンロックトランザクションの少なくとも１つのアンロックスクリプトの実行を条件とする、ステップと、
ブロックチェーンネットワークのノードにおいて償還可能トランザクションを検証させるステップと、を含む方法を提供することが望ましい。

【0114】

アンロックトランザクション制約は、さらに、特定のハッシュ値を含むようアンロックトランザクションインプットを制約してよい。

【0115】

特定のハッシュ値は、前のトランザクションのアウトプットを参照する識別子を符号化してよい。

【0116】

アンロックトランザクション制約は、さらに、償還可能トランザクションロックスクリプトから複製されたスクリプト要素セットを含むようアンロックトランザクションのロックスクリプトを制約してよい。

【0117】

償還可能トランザクションは、複数の状態を有するコントラクトを符号化してよい。

【0118】

方法は、さらに、アンロックトランザクションのアウトプットの償還可能な価値を決定するステップを含んでよい。

【0119】

アンロックトランザクション制約は、前のトランザクションのアウトプットからの特定のロックスクリプト要素を含んでよい。アンロックトランザクションインプットが特定のロックスクリプト要素を含む結果として、少なくとも１つのアンロックスクリプトの実行は、アンロックトランザクション制約を満たしてよい。

【0120】

特定のロックスクリプト要素は、特定のエンティティの暗号鍵を符号化してよい。

【0121】

アンロックトランザクション制約は、第１アンロックトランザクション制約であってよく、方法は、さらに、
アンロックトランザクションを更に制約するために、第２アンロックトランザクション制約を決定するステップと、
第２償還可能トランザクションを生成するステップであって、第２償還可能トランザクションは、
第２償還可能量と、
第２アンロックトランザクション制約を含む第２償還可能トランザクションロックスクリプトと、を含み、第２償還可能量をアンロックすることは、さらに、少なくとも１つのアンロックスクリプトの実行が第２アンロックトランザクション制約を満たすことを条件としてよい、ステップと、を含んでよい。

【0122】

償還可能トランザクションロックスクリプトは、第１償還可能トランザクションロックスクリプトであってよく、少なくとも１つのアンロックスクリプトは、第１アンロックスクリプト及び第２アンロックスクリプトを含んでよい。第１アンロックトランザクション制約は、第１償還可能トランザクションロックスクリプトの少なくとも一部を含むよう、第１アンロックスクリプトを制約してよい。第２アンロックトランザクション制約は、第２償還可能トランザクションロックスクリプトの少なくとも一部を含むよう、第２アンロックスクリプトを制約してよい。

【0123】

第１償還可能トランザクションロックスクリプトの少なくとも一部は、第１エンティティに関連付けられた暗号鍵を含んでよい。第２償還可能トランザクションロックスクリプトの少なくとも一部は、第１エンティティと異なる第２エンティティに関連付けられた暗号鍵を含んでよい。

【0124】

アンロックトランザクション制約は、さらに、アンロックトランザクションのアウトプットを制約するようアンロックトランザクションを制約してよい。

【0125】

アンロックトランザクション制約は、コントラクトと区別される別のコントラクトを符号化してよい。償還可能量をアンロックすることは、他のコントラクトがアンロックトランザクションのアウトプットの中に実装されていることを条件としてよい。

【0126】

さらに、コンピュータにより実施される方法であって、
ブロックチェーントランザクションを生成するステップであって、ブロックチェーントランザクションは、
第１状態であり且つ許容状態遷移セットを有する状態機械と、
アンロックトランザクションに、許容状態遷移セットに従い状態機械を符号化させ、アンロックトランザクションへのインプットに対する制限に従わせ、又は、アンロックトランザクションのアウトプットに対する制限に従わせる、ために実行されるべきスクリプト要素セットと、を符号化する、ステップと、
ブロックチェーントランザクションを、ブロックチェーンネットワークのノードにより検証させるステップと、を含む方法を提供することが望ましい。

【0127】

許容状態遷移セットは、別のブロックチェーントランザクションにおいて独立に並行に実装可能な状態遷移を含んでよい。

【0128】

スクリプト要素セットは、アンロックトランザクションを、アンロックトランザクションのアウトプットに対する制限に従わせてよい。アウトプットに対する制限は、アンロックトランザクションの第１アウトプットが、許容状態遷移セットに従い第１アウトプットに対応する状態を示すこと、及び、アンロックトランザクションの第２アウトプットが、許容状態遷移セットに従い第２アウトプットに対応する状態を示すこと、を要求してよい。

【0129】

第１アウトプットに対応する状態及び第２アウトプットに対応する状態は同じであってよい。

【0130】

第１アウトプットに対応する状態及び第２アウトプットに対応する状態は異なる状態であってよい。

【0131】

スクリプト要素セットは、アンロックトランザクションを、アンロックトランザクションのインプットに対する制限に従わせてよい。インプットに対する制限は、アンロックトランザクションへのインプットが、別のブロックチェーントランザクション内に符号化された別の状態機械を示すことを要求してよい。

【0132】

インプットに対する制限は、インプットが第１状態の状態機械を参照すること、及び第１状態と異なる別の状態の他の状態機械を参照することを要求してよい。

【0133】

第１状態から第２状態への第１遷移は、許容状態遷移セットの範囲内にあってよい。他の状態から第２状態への第２遷移は、許容状態遷移セットの範囲内にあってよい。

【0134】

スクリプト要素セットは、アンロックトランザクションを、アンロックトランザクションのインプットに対する制限に従わせてよい。インプットに対する制限は、状態機械を発展させるための条件セットを記述してよい。状態機械を進展させるための条件セットは、別の状態機械の状態に依存してよい。

【0135】

他の状態機械は、別のブロックチェーントランザクション内に符号化されてよい。他のトランザクションは、他の状態機械を進展させるための条件セットを符号化してよい。他の状態機械を進展させるための他の条件セットは、状態機械の状態に依存してよい。

【0136】

スクリプト要素セットは、アンロックトランザクションを、アンロックトランザクションのアウトプットに対する制限に従わせてよい。アウトプットの制限は、アンロックトランザクションが、スマートコントラクトの要素セットをアウトプットに組み込むことを要求してよい。

【0137】

スマートコントラクトの要素セットは、別のブロックチェーントランザクションから取得されてよい。

【0138】

スクリプト要素セットは、アンロックトランザクションを、アンロックトランザクションのインプットに対する制限及びアンロックトランザクションのアウトプットに対する制限の両方に従わせてよい。

【0139】

さらに、コンピュータにより実施される方法であって、
ブロックチェーンネットワークのノードにおいて、第１アンロックトランザクションの第１アンロックトランザクションインプットにより移転可能なトランザクションアウトプットを有するブロックチェーントランザクションを生成するステップと、
状態機械の動作に対応する第１アンロックトランザクションスクリプト要素セットを含むよう、第１アンロックトランザクションを制約し得る、第１スクリプト要素セットを、ブロックチェーントランザクションに挿入するステップと、
ブロックチェーンネットワークにより並行に独立して処理可能な異なるブロックチェーントランザクションを用いて実装可能な状態を含む許容状態機械状態遷移に対応する、第２アンロックトランザクションスクリプト要素セットを制約し得る第２スクリプト要素セットを、ブロックチェーントランザクションに挿入するステップと、を含む方法を提供することが望ましい。ブロックチェーントランザクションは、第１ロックスクリプトを有する第１アウトプットを含むことができ、第１トランザクションアウトプット値は、第２ロックスクリプト及び第２トランザクションアウトプット値を有する第２アウトプットを含むことができ、第１スクリプト要素セットは、第１ロックスクリプトの部分であってよい。

【0140】

アンロックトランザクションは、アンロックスクリプトを含むことができる。アンロックスクリプトは、トランザクション検証器により、前のトランザクションのアウトプットのロックスクリプトを用いて実行されると、
所定の検証テストを満たし、
前のトランザクションのアウトプットのロックスクリプトを実行し、アンロックトランザクションに第１スクリプト要素セットを挿入し、ここで第１スクリプト要素セットはアンロックトランザクションの第１アウトプットのアンロックトランザクションロックスクリプトの一部を形成し及び前のトランザクションロックスクリプトにより指示される要件に一致してよく、第１スクリプト要素セットは状態機械の動作に対応し、並びに、アンロックトランザクションに、第２スクリプト要素セットを挿入し、ここで、第２スクリプト要素セットはアンロックトランザクションロックスクリプトの一部を形成し及び前のトランザクションロックスクリプトにより指示される要件に一致し、ブロックチェーンネットワークにより並行に独立して処理可能な異なるブロックチェーントランザクションを用いて実装可能な状態を含む許容状態機械状態遷移に対応するとき、ノードに、アンロックトランザクションのフィールドを表す値を、トランザクション検証器がアクセス可能なメモリに少なくとも格納させてよい。

【0141】

アンロックトランザクションは、インプットとアウトプットとを含むことができ、該インプットは前のトランザクションのアウトプットを参照する。アンロックトランザクションは、アンロックスクリプトを含む。アンロックスクリプトは、トランザクション検証器により前のトランザクションのアウトプットの前のトランザクションロックスクリプトを用いて実行されると、所定の検証テストを満たし、ここで、アンロックスクリプトは、ロックスクリプトを実行し、アンロックトランザクションに追加状態機械に対応するデータを許容状態機械状態遷移に基づくアンロックトランザクションインプット及び／又はアンロックトランザクションアウトプットとして挿入し、その結果、アンロックトランザクションで使用されるアンロックトランザクションインプット及び／又はアンロックトランザクションアウトプットの数が状態機械遷移の数に対して十分であるとき、ノードに、アンロックトランザクションのフィールドを表す値を、トランザクション検証器がアクセス可能なメモリに、少なくとも格納させる。

【0142】

許容状態機械状態遷移は、アンロックトランザクションについて、第１後段状態に対応する第１トランザクションアウトプットを生成し、第１トランザクションアウトプットを第１トランザクションアウトプットを参照する第１後段トランザクションのインプットにさせるのに十分な第１トランザクションアウトプットの第１トランザクションアウトプット値を、アンロックトランザクションに挿入し、アンロックトランザクションの第１トランザクションアウトプットに、第３スクリプト要素セットを挿入し、ここで、第３スクリプト要素セットは、第１後段状態を取るよう第１後段トランザクションを制約する第１ロックスクリプトの部分であってよく、アンロックトランザクションについて、第２後続状態に対応する第２トランザクションアウトプットを生成し、アンロックトランザクションに、第２トランザクションアウトプットを第２トランザクションアウトプットを参照する第２後段トランザクションのインプットにさせるのに十分な第２トランザクションアウトプットの第２トランザクションアウトプット値を挿入し、第２トランザクションアウトプットに、第４スクリプト要素セットを挿入し、ここで、第４スクリプト要素セットは、第２後段状態を取るよう第２後段トランザクションを制約する第２ロックスクリプトの部分であってよく、並びに、第１トランザクションアウトプット又は第２トランザクションアウトプットに、第５スクリプト要素セットを挿入し、ここで、第５スクリプト要素セットは第１ロックスクリプト、又は第１後段トランザクション及び第２後段トランザクションが区別される制約を課す第２ロックスクリプトの部分であってよい、ことにより、１つの初期状態から２つの後続状態への分岐トランザクションを含み得る。

【0143】

第１ロックスクリプトは、第１状態を有するよう第１後段トランザクションを制約できる。第２ロックスクリプトは、第２状態を有するよう第２後段トランザクションを制約できる。アンロックトランザクションは、３個以上の状態の分岐に対応する３個以上のトランザクションアウトプット値を含むことができる。アンロックトランザクションは、３個以上の状態の合併に対応する３個以上のトランザクションインプット値を含むことができる。第１ロックスクリプト及び第２ロックスクリプトは、第１後段トランザクション及び第２後段トランザクションが同じ状態を有するよう制約できる。

【0144】

通常、アンロックトランザクションは、N個のトランザクションインプット値と、N個のトランザクションアウトプット値と、を含んでよく、Nは１、２、３、又はそれ以上である。

【0145】

許容状態機械状態遷移は、アンロックトランザクションに、第１前段状態の第１トランザクションインプットを挿入し、アンロックトランザクションに、第２前段状態の第２トランザクションインプットを挿入し、アンロックトランザクションに、状態遷移マトリクスに従い第１前段状態及び第２前段状態からの許容遷移である融合状態を挿入することにより、２つの初期状態から１つの後段状態への融合（merging）トランザクションを含むことができる。

【0146】

許容状態機械状態遷移は、第１トランザクションインプットに、第１前段状態を有する第１の前のトランザクションへの第１参照を挿入し、第２トランザクションインプットに、第２前段状態を有する第２の前のトランザクションへの第２参照を挿入し、及び、アンロックトランザクションに、融合状態の第１トランザクションアウトプットを挿入することにより、第１トランザクションインプット及び／又は第２トランザクションインプットにハードコードすることができる。ここで、状態遷移マトリクスは、第１の前のトランザクション及び第２の前のトランザクションに利用可能である。

【0147】

許容状態機械状態遷移は、アンロックトランザクションに、第１前段状態の第１トランザクションインプットを挿入し、アンロックトランザクションに、第２前段状態の第２トランザクションインプットを挿入し、第１トランザクションインプットに、第１前段状態を有する第１の前のトランザクションへの第１参照を挿入し、第２トランザクションインプットに、第２前段状態を有する第２の前のトランザクションへの第２参照を挿入し、アンロックトランザクションに、第１後段状態の第１トランザクションアウトプットを挿入し、第１トランザクションアウトプットに、第３スクリプト要素セットを挿入し、ここで、第３スクリプト要素セットは第１後段状態を取るよう第１後段トランザクションを制約する第１ロックスクリプトの部分であり、アンロックトランザクションに、第２後段状態の第２トランザクションアウトプットを挿入し、第２トランザクションアウトプットに、第４スクリプト要素セットを挿入し、ここで、第４スクリプト要素セットは、第２後段状態を取るよう第２後段トランザクションを制約する第２ロックスクリプトの部分である、ことにより、初期状態の数Nから、N個の後続状態への並列動作を含むことができる。Nは２以上である。

【0148】

状態機械の動作は、ブロックチェーンを用いて実装されるスマートコントラクトのために符号化してよい。

【0149】

トランザクションは、任意の制約により分割され得る。方法は、ブロックチェーンネットワークのノードにおいて、第１トランザクションを生成するステップであって、第１トランザクションは、第１償還可能価値を有する第１アウトプットと、第１ロックスクリプトとを含み、第１トランザクションは、第２償還可能価値を有する第２アウトプットと、第２ロックスクリプトとを含む、ステップと、第１ロックスクリプトに、第１の選択されたトランザクションアウトプットに対する第１制約セットを含めるステップであって、第１制約セットは、第１の選択されたトランザクションアウトプットが第１償還可能価値をアンロックするために有効であるべきである場合、第１アンロックスクリプトにより満たされる、ステップと、第２ロックスクリプトに、第２の選択されたトランザクションアウトプットに対する第２制約セットを含めるステップであって、第２制約セットは、第２の選択されたトランザクションアウトプットが、第２償還可能価値を使用するために有効であるべきである場合、第２アンロックスクリプトにより満たされ、第１制約セット又は第２制約セットは、アンロックトランザクションのアウトプットとして、第１の選択されたトランザクションアウトプット又は第２の選択されたトランザクションアウトプットを有するアンロックトランザクションのロックスクリプトに対して制約を課す、ステップと、を含み得る。

【0150】

第１の選択されたトランザクションアウトプットは、第１アンロックトランザクションのアウトプットになることができ、第２の選択されたトランザクションアウトプットは、第１アンロックトランザクションと異なる第２アンロックトランザクションのアウトプットになることができる。第１制約セットは、第２制約セットと異なり、第１トランザクションのトランザクションインプットに対する制約と異なり得る。第１制約セット及び第２制約セットは、それぞれ、共通の制約セットを含むことができる。アンロックトランザクションのロックスクリプトに対する制約は、アンロックトランザクションが有効であるために、アンロックトランザクションのロックスクリプトが、アンロックトランザクションの少なくとも１つのフィールドへの参照を含むことを要求し得る。ロックスクリプトに対する別の制約は、アンロックトランザクションが有効であるために、アンロックトランザクションのロックスクリプトが、第１ロックスクリプトの一部のコピー及び／又は第２ロックスクリプトの一部のコピーを含むことを要求する。

【0151】

第１の選択されたトランザクションアウトプットは、第１アンロックトランザクションのアウトプットであり得る。第２の選択されたトランザクションアウトプットは、第２アンロックトランザクションのアウトプットであり得る。第１アンロックスクリプトは、第１トランザクションのフィールド、第１の選択されたトランザクションのフィールド、及び第２アンロックトランザクションのフィールドを含み得る。第１ロックスクリプトは、第１トランザクションの抽出したフィールドの第１の比較、及び第１アンロックトランザクションの抽出したフィールドの第２の比較を含み得る。

【0152】

第１制約セット及び第２制約セットは、それぞれ、共通制約セットを含み得る。それにより、２つの制約されたアンロックトランザクションのアウトプットのロックスクリプトは、共通制約セットにより制約されてよい。第１制約セット及び／又は第２制約セットは、第１ロックスクリプトの一部のハッシュ、及び／又は第２ロックスクリプトの一部のハッシュ、及び／又は第１ロックスクリプトの一部のサイズ及び／又は第２ロックスクリプトの一部のサイズに対する制約、を含み得る。

【0153】

第１制約セット及び／又は第２制約セットは、インプットデータへの任意の参照を含むことができる。第１トランザクションの複数のアウトプットの各々は、複数のアウトプットのうちのアウトプットに適用される異なる制約により制約され得る。

【0154】

トランザクションは、コンピュータにより実施される方法によるような、任意の制約との相互依存を融合し有し得る。該方法は、ブロックチェーンネットワークのノードにおいて、第１償還可能トランザクションを生成するステップであって、第１償還可能トランザクションは、第１償還可能価値を有する第１償還可能アウトプットと、第１ロックスクリプトとを含む、ステップと、第１ロックスクリプトに、アンロックトランザクションに対する第１制約セットを含めるステップであって、第１制約セットは、アンロックトランザクションが第１償還可能アウトプットをアンロックするために有効であるべき場合、アンロックトランザクションの第１アンロックスクリプトにより満たされるものである、ステップと、第１制約セットに、アンロックトランザクションの第１アンロックトランザクションアウトプットが第１スマートコントラクトスクリプト命令セットを含むための第１アンロックトランザクションのアウトプットのロックスクリプトを含むことを要求する第１アンロックトランザクション制約を含めるステップと、第１制約セットに、アンロックトランザクションが第２スマートコントラクトスクリプト命令セットを含むことを要求し、及びアンロックトランザクションが第２償還可能トランザクションアウトプットを参照するアンロックトランザクションインプットを含むことを要求する、第２アンロックトランザクション制約を含めるステップと、を含む。

【0155】

第１スマートコントラクトスクリプト命令セットは、第１ロックスクリプトから複製されたスクリプト命令、及び／又は第１ロックスクリプト内に実装されたスマートコントラクトと異なる新しいスマートコントラクトに対応するスクリプト命令を含むことができる。

【0156】

第１制約セットは、第１アンロックトランザクションのアウトプットのロックスクリプトが、第２償還可能トランザクションアウトプットへの参照を含むこと、及び第２スマートコントラクトスクリプト命令セットが、第１償還可能トランザクションのアウトプットへの参照を含むこと、であってよい。

【0157】

方法は、第１制約セットの中で、アンロックトランザクションが第１償還可能トランザクションを参照する第１アンロックトランザクションインプットを含むことを要求する第１並列制約と、アンロックトランザクションが第２償還可能トランザクションアウトプットを参照する第２アンロックトランザクションインプットを含むことを要求する第２並列制約と、第１アンロックトランザクションのアウトプットのロックスクリプトが第１スマートコントラクトスクリプト命令セットの中に少なくとも部分的に第１ロックスクリプトにより決定された少なくとも第１スクリプト命令セットを含むことを要求する第３並列制約と、第２アンロックトランザクションのアウトプットのロックスクリプトが少なくとも部分的に第２償還可能トランザクションアウトプットのロックスクリプトにより決定された第２スマートコントラクトスクリプト命令セットを含むことを要求する第４並列制約と、を提供するステップを含んでよい。

【0158】

第１制約セットは、アンロックトランザクションが第１償還可能トランザクションを参照する第１アンロックトランザクションインプットを含むことを要求する第１並列制約と、アンロックトランザクションが第２償還可能トランザクションアウトプットを参照する第２アンロックトランザクションインプットを含むことを要求する第２並列制約と、第１アンロックトランザクションのアウトプットのロックスクリプトが第１スマートコントラクトスクリプト命令セットに第１ロックスクリプトから複製された少なくとも第１スクリプト命令セットを含むことを要求する第３並列制約と、第２アンロックトランザクションのアウトプットのロックスクリプトが第２償還可能トランザクションアウトプットのロックスクリプトから複製された第２スマートコントラクトスクリプト命令セットを含むことを要求する第４並列制約と、を含んでよい。

【0159】

また、システムであって、プロセッサと、前記プロセッサによる実行の結果として前記システムに上述の方法のいずれかを実行させる実行可能命令を含むメモリと、を含むシステムを提供することが望ましい。

【0160】

また、実行可能命令を格納した非一時的コンピュータ可読記憶媒体であって、前記実行可能命令は、コンピュータシステムのプロセッサにより実行された結果として、前記コンピュータシステムに上述の方法のいずれかを少なくとも実行させる、非一時的コンピュータ可読記憶媒体を提供することが望ましい。

【図面の簡単な説明】

【0161】

本発明のこれら及び他の態様は、本明細書に記載した実施形態から明らかになり、説明されるであろう。次に、本発明の実施形態を、単なる例示として、添付の図面を参照して説明する:

【図1】様々な実施形態を実装可能なブロックチェーン環境を示す。

【図2】図１のブロックチェーン環境で使用され得るブロックチェーンノードの例を示す。

【図3】図２のブロックチェーンノードによって使用されるブロックチェーン台帳に記憶さ得るトランザクションの例を示す。

【図4】Bitcoinブロックチェーン環境に特有のブロックチェーントランザクションの例を示す。

【図5】署名を生成するためのOP_GENSIGスクリプトを実装するための例示的なスクリプトを示す。

【図6】アンロックトランザクションのインプットに対応する前のトランザクションを注入するためのOP_PREVTXINJECTIONスクリプトを実装するための例示的なスクリプトを示す。

【図7】署名されているインプットに対応する前のトランザクションを注入するためのOP_SELFTXINJECTIONスクリプトを実装するための例示的なスクリプトを示す。

【図8】ロックスクリプトに直列アンロックトランザクションを注入するためのOP_SPENDINGTXINJECTIONスクリプトを実装するための例示的なスクリプトを示す。

【図9】一組のトランザクションの例を示し、一方は、移転されるべき価値を有するトランザクションであり、他方は、その価値のアンロックを表すトランザクションである。

【図10】複数トランザクションの例を示し、トランザクションは、他のトランザクションからの複数のインプット及び将来のトランザクションによって移転可能な複数のアウトプットを有する。

【図11】一実施形態による直列化されたトランザクションフィールドのセットから署名を生成する一例を示す。

【図12】アンロックトランザクションの一部のコピーを含むアンロックスクリプトを含む、アンロックトランザクションの例を示す。

【図13】アンロックトランザクション及び前のトランザクションを示す。

【図14】アンロックトランザクションのロックスクリプトに制約を課すロックスクリプトの例のフローチャートである。

【図15】図１４のステップに対応するより具体的なステップのいくつかの例を示す。

【図16】アンロックスクリプトを検証する例を示す。

【図17】インプットに制約セットを課すロックスクリプトの例を示す。

【図18】アンロックトランザクションのインプットに制約を課すロックスクリプトの例のフローチャートである。

【図19】インプット制約の例を示す。

【図20】図１８に示されるプロセスの文脈における制約の例を示す。

【図21】スクリプト制約のインターロックを示す。

【図22】ブロックチェーントランザクションを使用して実装された状態機械の例を示す。

【図23】状態機械論理がブロックチェーントランザクションにおいてどのように符号化され得るかの例を示す。

【図24】一実施形態による、信頼性のない決定性状態機械の例を示す。

【図25】様々な実施形態によるトラストレスな決定性状態機械のためのプロセスの一例を示すフローチャートである。

【図26】特定の特徴を有する状態遷移マトリクスを使用する状態機械を示す。

【図27】状態機械を実装するために使用可能なトランザクションの例を示す。

【図28】ブロックチェーントランザクションを使用したスマートコントラクトの一部の枝分かれの例を示す。

【図29】枝分かれ処理のための擬似コードシーケンスの例である。

【図30】ブロックチェーントランザクションを使用したスマートコントラクトからの新しいスマートコントラクトの作成の例を示す。

【図31】アンロックトランザクションにおいてスマートコントラクトを強制するための疑似コードシーケンスの例である。

【図32】ブロックチェーントランザクションを使用するスマートコントラクトのための融合操作の例を示す。

【図33】弱い依存関係を有する融合処理の一例としての擬似コードシーケンスである。

【図34】強い依存関係を有する融合処理の一例としての擬似コードシーケンスである。

【図35】ブロックチェーントランザクションを使用するスマートコントラクトに対する並列処理動作の例を示す。

【図36】並列トランザクションバリアプロセスの例としての擬似コードシーケンスである。

【図37】スマートコントラクトの部分が、並行パスにおけるブロックチェーントランザクションを使用して、コントラクトバリアに適合してどのように実行され得るかの例を示す。

【発明を実施するための形態】

【0162】

まず、図１を参照すると、本開示の一実施形態によるブロックチェーンと関連付けられたブロックチェーンネットワーク１００の例を示す。本実施形態では、ブロックチェーンネットワーク１００は、ブロックチェーンノードのオペレータ間で全体的又は部分的に合意されたブロックチェーンプロトコルに従った動作を実行するソフトウェア及び／又はハードウェアのインスタンスを各々実行するピアツーピア分散電子装置として実装され得るブロックチェーンノードを含む。いくつかの例では、これらの分散電子装置は、図１のノード１０２のように、単に「ノード」と呼ばれる。ブロックチェーンプロトコルの一例がBitcoinプロトコルである。

【0163】

ノード１０２は、コンピュータリソースサービスプロバイダの分散システム内の複数の計算装置による、又は任意の適切な電子クライアント装置による、任意の適切な計算装置（例えば、データセンター内のサーバ、デスクトップコンピュータ、ラップトップコンピュータ、タブレットコンピュータ、スマートフォンなどのクライアント計算装置）を備えることができる。ノード１０２は、データメッセージ又は提案されたトランザクションを表すオブジェクト、例えばトランザクション１０４を受信するためのインプットを有することができる。ノード１０２は、それらが保持する情報、例えば、トランザクションの状態の理解について問い合わせることができる。

【0164】

図１に示すように、いくつかのノード１０２は、ノード１０２のうちの１つ以上の他のノードに通信的に結合されてもよい。どのノード１０２がどの他のノードと通信することができるかに関して、これらの詳細は、中央で決定される必要はない。ブロックチェーンネットワーク１００内のアクティブノードは、１つ以上の他のノード１０２と通信できる。その結果、メッセージがブロックチェーンプロトコルが転送されるべきであると示すメッセージであると仮定すると、１つのノード１０２から他のノード１０２に渡されるメッセージが、ブロックチェーンネットワーク１００全体（又は、その重要な部分）に伝搬することができる。そのようなメッセージの１つは、ノード１０２Aの１つによる提案されたトランザクションの公表であり、これは、パス１０６のようなパスに沿って伝搬する。そのようなメッセージは、ブロックチェーンに含めるために提案された新しいブロックの公表であり得る。

【0165】

図２は、図１のブロックチェーンネットワーク内のノードとしてブロックチェーン環境で使用され得るブロックチェーンノード２０２の一例を示す。図示のように、ブロックチェーンノード２０２は、プロセッサ２０４、プログラムメモリ２０６、ブロックチェーンルール及びプロトコル詳細のための記憶装置２０８、ピアのリスト２１０、アプリケーション変数のための記憶装置２１２、通信インタフェース２１４、及びブロックチェーン台帳のための記憶装置２１６を含む。ブロックチェーン台帳２１６は、トランザクション２３０（１）～（４）を有するブロック２２２のような、トランザクションに対応するデータを含むブロック２２１、２２２、２２３のような、ブロックチェーン内のブロックに対応するデータを含む。ブロック２２３を除いて、ブロックは、後続のブロックがブロックが不変となったときに該ブロックに基づいて計算される値に依存し、不変ブロックに対するいかなる修正も、他のブロックチェーンノードによって無効ブロックとして容易に認識され得るという点で、暗号学的に不変であり得る。ブロック２２３は、変更可能である可能性があり、ブロックチェーンに未だコミットされていないトランザクションの記憶を表す、開いた箱として示されている。

【0166】

ブロックチェーンノード２０２は、有線又は無線通信の１つ以上として実装することができる通信インタフェース２１４を介して通信する。ブロックチェーン台帳２１６は、ブロックチェーンネットワークのブロックチェーン台帳の完全なコピー又はその一部であってもよい。ブロックチェーンノードの中には、未移転トランザクションのみを維持するものもあれば、台帳全体を維持するものもある。このようにして、各ノードが独自のコピーを持つことができるので、台帳は分散型台帳である。ノードは、好ましくは、プロトコルの規則に従って自身のコピーのみを変更し、それらの規則に完全に従うすべてのノードについては、彼らのコピーは、時には、ブロック及びトランザクションのためのある伝搬時間を除き、他のノードと同じであるべきである。ブロックチェーンノードは、受信したブロックとそれらのブロック内のトランザクションを検証する機能を含む必要がある。ブロックチェーンプロトコルの規則では、ブロックチェーンノードは、トランザクションのブロックが無効であると判断した場合、ブロック又はトランザクションを他のノードに伝搬しない。この規則では、有効であり、有効であることが確認されたブロックとトランザクションは、ブロックチェーンネットワークを伝搬してよいが、無効なブロックとトランザクションは伝搬しない。

【0167】

ブロックチェーンネットワーク内のノードのいくつかは、新しいブロックをブロックチェーンにコミットできるように、トランザクションを収集し、トランザクションのブロックを作成する操作を実行するマイナーノードであってよい。マイナーノードは、（不正なノードが容易に不適切なブロックを生成することを避けるために）複雑であり、（不正なノードが事前に複雑な操作を実行できないように）含まれるトランザクションのデータに依存する何らかの操作を実行することが期待されてよい。これらのタスクのパフォーマンスは、他のノードによって容易に検証される。これらの他のノードは、マイナーノードの作業を検証し、検証するとブロックチェーンの彼らのコピーにブロックを受け入れ、それを伝搬する。これにより、新しいブロックがブロックチェーンの分散台帳にコミットされる。いくつかの例では、ブロックはトランザクションのグループであり、前のブロックのタイムスタンプと「フィンガープリント」（ハッシュなど）でマークされることが多い。このようにして、各ブロックは前のブロックにリンクされ、ブロックチェーンのブロックをリンクする「チェーン」が生成される。実施形態において、有効なブロックは、ブロックチェーンネットワーク内のノードのコンセンサスによってブロックチェーンに追加されてもよい。また、いくつかの例では、ブロックチェーンは、検証されたブロックのリストを含む。

【0168】

一実施形態では、ノードの少なくともいくつかは、本開示に記載されるように、トランザクションを検証する検証ノードとして動作する。いくつかの例では、ブロックチェーンは、デジタル資産の形で価値を証明し、ブロックチェーンのトランザクションは、（ブロックチェーンを開始する）ジェネシストランザクションから、あるいは、マイナーノードオペレータが参加する理由として、新たに「マイニング」されたデジタル資産を生成する分配トランザクションから、後続のトランザクションへのチェーンを提供する。チェーンの１つの部分の終わりは、未移転トランザクション、又は、その一部であり、ブロックチェーン上の各トランザクションは、１つ以上のアウトプットを指定する。これらのアウトプットの一部は、移転されてよく、また、移転されていないものもある。ここで、アウトプットは、そのアウトプットの値の仕様と、チェーンの該当部分を延ばす有効なトランザクション（すなわち、指定された要件を少なくとも満たすもの）を挿入することによって該アウトプットを「アンロック」するために必要とされる要件とを含む。本明細書で使用されるように、未使用トランザクションアウトプットは、UTXOと称される場合がある。UTXOをアンロックすることは、UTXOを使用することとしても知られている。

【0169】

UTXOをアンロックするために必要な要件は、UTXOのロックスクリプト内で指定することができる。有効なアンロックトランザクションは、（i）トランザクションのインプットとして１つ以上の前のUTXOを指定し、指定はUTXOへのポインタによるものであってよく、（ii）それぞれのUTXOに対するロックスクリプトの要件を満たし、（iii）これらのインプットによってポイントされたすべてのUTXOの値の合計がトランザクションのすべてのアウトプットの値の合計以下になるようなインプットを有することができる。ロックスクリプトの要件の充足を表すデータは、アンロックスクリプトと呼ばれる。検証ノードは、アンロックスクリプトに続いてロックスクリプトを処理することができ、その処理のアウトプットは、無効な結果又はアンロックトランザクションの検証のいずれかである。

【0170】

あるノードがアンロックスクリプトとロックスクリプトを実行し、その結果が他のノードでの結果となり得る検証である場合、そのプロセスはステートレスプロセスである。したがって、まだ移転されていないブロックチェーン上の前のトランザクションのアウトプットのロックスクリプトを満たすアンロックトランザクションは、伝搬し、最終的にブロックチェーンにコミットされてよい。コミットされるアンロックトランザクションを作成したノードは、新しいトランザクションのアウトプットの値をアンロックするために必要な要件を、自分自身のロックスクリプトで指定し得る。このプロセスは、スクリプトがスクリプトの外側の参照を参照する必要がなく、いくつかの小さな例外を除いて、それらのスクリプトの外側の変数や他の状態に依存しないことから、ステートレスとみなすことができる。その結果、アンロックスクリプトとロックスクリプトを分離して評価することができる。

【0171】

他のバリエーションでは、ブロックチェーンシステムは、スクリプト評価プロセスに外部データを含めることを可能にする機能を含んでもよい。このような場合、外部データは、アンロックスクリプト及びロックスクリプトが外部データを使用して評価されるときに、評価が評価を実行するノード間で一貫しているような方法で制御及び／又はセキュアにすることができる。

【0172】

図３は、図２のブロックチェーンノードによって使用されるブロックチェーン台帳に記憶されるトランザクション３００の例を示す。同様の機能を持つ他のバリエーションも可能である。トランザクションのデータ要素又はフィールドは、図３に示されるようなものであってもよく、本開示に記載されている以外の追加のフィールドを含んでもよい。示されるように、トランザクション３００のブロックチェーンプロトコルバージョンを示す値を有するブロックチェーンバージョン（Blockchain Version）フィールド３０２がある。#vinフィールド３０４は、トランザクション３００に存在するトランザクションインプット（以下に説明する）の数を示す。他のフィールドが存在し、図示されていないが、各トランザクションインプット（ここでは例示としてVin[y]３１０として示されている）に対して、前のトランザクションのトランザクションID(TxID)３１１、前のトランザクション（トランザクションインプット３１０に適合するトランザクションアウトプットを提供するトランザクション）のアウトプットのうちの１つへのポインタ３１２を含むフィールドセットが存在してもよく、ここで、TxID３１１及びポインタ３１２は共に、前のトランザクションのアウトプットを参照するポインタ３１３を形成する。本明細書中で使用されるように、現在（current又はpresent）のトランザクションに関する文脈で使用される場合、「前のトランザクション」という用語は、現在のトランザクションによって参照される（及び「移転される」）トランザクションアウトプットを有する特定の前のトランザクションを指すことがある。例において、現在のトランザクションは「アンロックトランザクション」と呼ばれることがある。

【0173】

いくつかのブロックチェーン実装では、固有のTxID値を割り当てるための集中化されたメカニズムがなく、代わりに、トランザクション自体の内容のハッシュを生成することによって、トランザクションのための固有のTxIDを生成するための分散化されたメカニズムがある。有効なトランザクションは、他の有効なトランザクションと全く同じコンテンツを持つことはできないので、各有効なトランザクションは（ハッシュ衝突の天文学的に低い確率を除いて）TxIDに対して固有のハッシュを有し得る。しかしながら、ここでは、各トランザクションが固有のトランザクションIDを持つと仮定する。ハッシュの性質のために、ひとたびTxIDがトランザクションのコンテンツから生成されると、そのコンテンツのいずれも変更することができず、TxIDがそのトランザクションに対して有効のままである。

【0174】

図３に示すように、トランザクションインプットVin[y]３１０のためのフィールドセットは、次に続くスクリプトの長さを示すUnlocking_Script_Lengthフィールド３１４と、ポインタ３１３によって示されるトランザクションアウトプットの対応するロックスクリプトを「アンロック」するvin[y]３１０のためのアンロックスクリプトを含むUnlocking_Scriptフィールド３１５と、トランザクション３００を制約するために使用され得るSequence#フィールド３１６とを含む。

【0175】

図３は、１つのトランザクションインプット及び１つのトランザクションアウトプットのみを明示的に示しているが、各々、１つ以上が可能である。トランザクションインプットに続いて、トランザクション３００内に存在するトランザクションアウトプットの数（以下にも説明する）を示すことができる#voutフィールド３２０が存在してもよい。各トランザクションアウトプット（ここでは、例示的なVout[x]３３０として示される）に対して、このトランザクションアウトプットVout[x]３３０によって提供されるトランザクション値を示すOutput Value（アウトプット値）フィールド３３２、続くスクリプトの長さを示すLocking_Script_Lengthフィールド３３４、及びこのトランザクションアウトプットVout[x]３３０のためのロックスクリプトを含むLocking_Scriptフィールド３３６を含む一連のフィールドが存在してもよい。このように、このトランザクションアウトプットのトランザクション値は、アンロックスクリプトとロックスクリプトを使用して検証を行うときに、ブロックチェーンノードがTRUEとして検証できるアンロックスクリプトを持つトランザクションインプットを持つアンロックトランザクションを作成できる任意の者により「移転」することができる。トランザクションアウトプットフィールドの後に、トランザクション３００が指定された将来の時間の前又は指定された将来のブロックの前にアクティブでないように制約するLock Timeフィールド３３８のような他のフィールドが続いてよい。アンロックトランザクションの各トランザクションインプットが前のトランザクションのアウトプットの対応するトランザクションアウトプットを指し、前のトランザクションのアウトプットがトランザクション値を含む場合、トランザクションインプットは、そのトランザクション値を示すフィールドを含む必要はない。

【0176】

図４は、Bitcoinブロックチェーン環境に特有のブロックチェーントランザクション４００の例を示す。この例では、ブロックチェーントランザクション４００は、示されたデータ要素又はフィールドを含み、本開示において示された、又は説明されたフィールド以外の追加フィールドを含み得る。トランザクション４００は、トランザクション４００のバージョンを示す値を有するnVersionフィールド４０２を含む。#vinフィールド４０４は、トランザクション４００内に存在するトランザクションインプットの数を示すことができる。トランザクションインプットVin[y]４１０のような各トランザクションインプットに対して、前のトランザクションを参照するhash（ハッシュ）４１１、前のトランザクションの特定のアウトプットを示すポインタn４１２、後に続くアンロックスクリプトの長さを示すscriptSigLenフィールド４１４、そのトランザクションインプットVin[y]４１０のためのアンロックスクリプトを含むscriptSigフィールド４１５、及びトランザクション４００を制限するために使用され得るnSequenceフィールド４１６を含む一連のフィールドが存在し得る。

【0177】

トランザクションインプットに続いて、トランザクションアウトプットがトランザクション４００内に存在する数を示す#voutフィールド４２０が存在し、各トランザクションアウトプット（ここでは、例示的なVout[x]４３０として示されている）に対して、このトランザクションアウトプットVout[x]４３０によって提供されるトランザクション値を示すnValueフィールド４３２、続くロックスクリプトの長さを示すscriptPubKeyLenフィールド４３４、及びこのトランザクションアウトプットVout[x]４３０のためのロックスクリプトを含むscriptPubKeyフィールド４３６を含む一連のフィールドが存在してもよい。トランザクション４４０はまた、トランザクション４００が指定された将来の時間の前又は指定された将来のブロックの前にアクティブでないように制約し得るnLockTimeフィールド４３８と共に示されてもよい。

【0178】

OPコード
多くのBitcoinブロックチェーンノードで使用されるもののようなスクリプト言語の例では、ロックスクリプトやアンロックスクリプトのようなスクリプト命令としてスクリプト内に現れるオペレーションコードのセットがあり得る。本開示では、種々のスクリプトOPコード及びキーワードが、種々の操作を実行するために参照される。しかしながら、他のブロックチェーン技術は異なる命令セットを実装することができると考えられ、従って、本開示に記載されたオペコードは、オペコードによって実行される操作を例示するものであると考えるべきである。

【0179】

本開示の特定の実施形態は、記述された命令セットを実施するためのスクリプトシステム又は他のシステムが、単一のスクリプトにおいて２００を超える命令（例えば、２００を超えるOPコード）を許容するという仮定の下で動作する。同様に、本開示の特定の実施形態は、さらに、本開示で言及されたオペコードによって提供される機能が、オペコード、スクリプト/命令セットを実行するシステムに存在し、かつ可能であると仮定する。本開示で言及したオペレーションコードの例は、以下を含む:
OP_ADD スタックから上位２つのアイテムをポップし、それらを加算して結果をスタックにプッシュする。

【0180】

OP_BIGMOD スタックから上位２つのアイテムをポップし、２番目のアイテムを１番目のアイテムで割って残余をスタックにプッシュする。

【0181】

OP_BIGMODADD スタックから上位３つのアイテムをポップし、１番目と２番目のアイテムをモジュロ加算し、３番目のアイテムをモジュロし、結果をスタックにプッシュする。

【0182】

OP_BIGMODINVERSE スタックから上位２つのアイテムをポップし、１番目のアイテムを法とする２番目のアイテムのモジュロ負指数演算を実行して、結果をスタックにプッシュする。

【0183】

OP_BIGMODMUL スタックから上位３つのアイテムをポップし、１番目と２番目のアイテムをモジュロ乗算し、３番目のアイテムをモジュロし、結果をスタックにプッシュする。

【0184】

OP_CAT スタックから上位２つのアイテムをポップし、２つのアイテムを連結し、結果をスタックにプッシュする。

【0185】

OP_CHECKSIG スタックから２つのアイテムをポップし、１番目のアイテムを公開鍵として、２番目のアイテムを署名として使用し、ポップした署名が有効な署名であるかどうかをチェックし、有効な場合は、スタックに１（TRUE）をプッシュし、その他の場合は、スタックに０（FALSE）をプッシュする。

【0186】

OP_CHECKSIGVERIFY OP_CHECKSIGと同じ機能を持つが、OP_VERIFYが後に実行される。

【0187】

OP_DIV スタックから２つのアイテムをポップし、２番目のアイテムを１番目のアイテムで分割し、結果をスタックにプッシュする。

【0188】

OP_DUP スタック上の１番上のアイテムのコピーをスタックにプッシュすることで、一番上のアイテムを複製する。

【0189】

OP_ELSE 先行するOP_IF又はOP_NOTIF又はOP_ELSEが実行されなかった場合、これらのステートメントが実行される。先行するOP_IF又はOP_NOTIF又はOP_ELSEが実行された場合、直前のOP_IF,OP_NOTIF,OP_ELSEが実行された場合、これらのステートメントは実行されない。

【0190】

OP_ENDIF if/elseブロックを終了する。

【0191】

OP_EQUAL スタックの最初の２つのアイテムを読み込み、２つのアイテムが完全に等しい場合にスタックに１を、その他の場合に０をプッシュする。

【0192】

OP_EQUALVERIFY OP_EQUALと同じであるが、後にOP_VERIFYを実行する。

【0193】

OP_FROMALTSTACK インプットをメインスタックの一番上に置き、代替スタックからそれを削除する。

【0194】

OP_HASH２５６ 最初はSHA－２５６、次にRIPEMD－１６０により、インプットが２回ハッシュされる。

【0195】

OP_IF 一番上のスタック値がFalseでない場合、ステートメントが実行され、一番上のスタック値が削除される。

【0196】

OP_MUL スタックの上位２つのアイテムを乗算する。

【0197】

OP_NOTIF 一番上のスタック値がFalseの場合、ステートメントが実行され、一番上のスタック値が削除される。

【0198】

OP_OVER スタックの２番目のアイテムをコピーし、スタックの一番上にプッシュする。

【0199】

OP_ROLL スタックの深さがn個のアイテムが一番上に移動される。

【0200】

OP_SUBSTR 文字列のセクションを返す。

【0201】

OP_SWAP スタックの上位２つのアイテムを交換する。

【0202】

OP_TOALTSTACK インプットを代替スタックの一番上に置き、メインスタックから削除する。

【0203】

OP_VERIFY 一番上のスタック値が真でない場合、トランザクションを無効としてマークする。

【0204】

上記のOPコードのいくつかは、ブロックチェーンノードによってサポートされる基本OPコードであるかも知れないが、他のものは、説明を明確にするために、ここではOPコードとして参照されるが、典型的には、複数の基本OPコードで構成される小さなスクリプトとして実装される。例えば、OP_BIGMODはOPコードとして参照されるが、スタックの上位２つのアイテムを除算して余りを返す機能を実行するために、一連のOPコードを使って実装されるかも知れない。OP_BIGMODADD,OP_BIGMODINVERSE,OP_BIGMODMULは、同様のOPコードのシーケンスで簡単に表現され得る。

【0205】

OP_GENSIG 本開示においては、OP_GENSIGの言及は、ここに記述されたOP_GENSIGスクリプトに対応する操作の略称として見なされるべきである。トランザクションの署名を生成するOP_GENSIGスクリプトは、また、スタックにプッシュされるか使用され得る。OP_GENSIGスクリプトは、始めに、メイン（後入、先出）スタックにプッシュされたインプットが、順に<SIGHASH Type>（トランザクションのどのフィールドがハッシュで使用されるべきかを示す）、メッセージ値<m>（トランザクションの使用されたトランザクションフィールドの直列（serialized）セットのダブルSHA２５６）、秘密鍵<a>（メッセージ値<m>のハッシュに使用される）、及び数字<k>（秘密鍵をマスク/保護するために使用される乱数又は擬似乱数；「マスク番号」（mask number）であると仮定する。

【0206】

図５は、OP_GENSIGスクリプトのインプット及びアウトプットを示す。OP_GENSIGスクリプトでは、最初の行は数字<k>を代替スタックにコピーし、次に楕円曲線生成器<PubK G>に対して<k>を乗算し、メインスタックの一番上に楕円曲線点Kを生成する。スクリプトの２行目は、Kモジュロnのx座標からrを計算し、rのコピーを代替スタックにプッシュする。スクリプトの３行目は、s=k^－１(m+r×a)mod nを決定する。最後に、スクリプトの４行目はrとsをDER形式で符号化し、<SIGHASH Type>に連結する。

【0207】

署名ハッシュのタイプは、バイト符号化値であるSIGHASH Typeで示すことができる。SIGHASH Type値は、直列化（例えば正規化）及びハッシュ化される前にトランザクションから抽出されるフィールドの集合を指定する。いくつかの例では、SIGHASH Type値はSIGHASH_ALL、SIGHASH_NONE、SIGHASH_SINGLE、SIGHASH_ANYONECANPAY、又はこれらの２つ以上の組み合わせであることができる。一実施形態では、タイプSIGHASH_ALLは、インプットスクリプトを除き、トランザクション内のすべてのフィールドが直列化に含まれる（従って、ハッシュ化され、署名される）ことを示す。一実施形態では、タイプSIGHASH_NONEは、他者がトランザクションを更新することができるように、アウトプットが署名される必要がないことを示す。一実施形態では、タイプSIGHASH_SINGLEは、インプットは署名されるが、シーケンス番号は空白であることを示す。したがって、他者は、同じハッシュを使用するトランザクションの新しいバージョンを作成することができるが（ハッシュされるフィールドは変更されないと仮定する）、署名されるアウトプットはインプットと同じ位置にあるアウトプットのみである。

【0208】

一実施形態では、タイプSIGHASH_ANYONECANPAYは、他のタイプと組み合わされ、SIGHASH_ANYONECANPAYを含むインプットが署名されているが、他のインプットが署名される必要はないことを示す。SIGHASH Type値は、SIGHASH Typeを示す数値によって表すことができる。例えば、いくつかの実装では、SIGHASH_ALLは１の値を持つバイト（例えば、バイナリ"０００００００１"）で表され、SIGHASH_NONEは２の値を持つバイト（例えば、バイナリ"０００００００１０"）で表され、SIGHASH_SINGLEは３の値を持つバイト（例えば、バイナリ"０００００００１１"）で表され、SIGHASH_ANYONECANPAYは８０の値を持つバイト（例えば、バイナリ"０１０１００００"）で表される。いくつかの実装では、SIGHASH Type値の組み合わせは、それぞれのバイト値のバイナリ加算によって実行される。いくつかの例では、SIGHASH Typeによって決定されたトランザクションフィールドの集合は、直列化される対応するトランザクションのSIGHASH Type値によって決定されるサブセットを表す。例えば、SIGHASH_ANYONECANPAYのSIGHASH Typeは、１つのトランザクションインプットだけが署名に含まれる。

【0209】

アンロックスクリプトにSIGHASHを含めることを要求することによって、ロックスクリプトは、アンロックスクリプトによって提供された直列化されたアンロックトランザクションフィールドのセットが実際にSIGHASHのソースであることを検証することができ、次に、OPコードOP_CHECKSIGを使用して、アンロックスクリプトによって提供されたSIGHASH Type値がアンロックトランザクションの署名ハッシュと一致することを検証することができる。ロックスクリプトは、トランザクション検証器によって実行されると、そのときトランザクション検証器はOP_CHECKSIG操作を実行し、実際のアンロックトランザクションの署名をスタック上に置くことができるため、これを実行することができる。

【0210】

OP_DERENCODE 本開示においては、OP_DERENCODEの言及は、スタックから上位２つのアイテムをポップし、それらをDER形式で符号化し、結果をスタックにプッシュすることに対応する操作の略称として見なされるべきである。

【0211】

OP_ECPMULT 本開示においては、OP_ECPMULTの言及は、スタックから２つのアイテムをポップし、これら２つのアイテムの楕円曲線点乗算（楕円曲線スカラ乗算とも呼ばれる）を実行し、結果をスタックにプッシュすることに対応する操作のための略称として見なされるべきである。

【0212】

OP_ECPX 本開示において、OP_ECPXの言及は、スタックから２つのアイテムをポップし、１番目のアイテムをモジュラスnとして、２番目のアイテムを楕円曲線点Kとして使用し、Kのx座標modulo nを計算し、結果をスタックにプッシュすることに対応する操作の略称として見なされるべきである。

【0213】

OP_PREVTXINJECTION 本開示において、OP_PREVTXINJECTIONの言及は、アンロックトランザクションのインプットXに対応する前のトランザクションの注入に対応する操作のための略称として見なされるべきである。図６は、OP_PREVTXINJECTIONスクリプトのインプット及びアウトプットを示す。

【0214】

OP_SELFTXINJECTION 本開示において、OP_SELFTXINJECTIONの言及は、署名されているインプットに対応する前のトランザクションの注入に対応する操作のための略称として見なされるべきである。図７は、OP_SELFTXINJECTIONスクリプトのインプット及びアウトプットを示す。

【0215】

OP_SPENDINGTXINJECTION 本開示においては、OP_SPENDINGTXINJECTIONの言及は、ロックスクリプトに、直列化されたアンロックトランザクションを注入することに対応する操作のための略称とみなされるべきである。SIGHASH Type値とSIGHASH Typeに従って決定されたアンロックトランザクションフィールドセットを提供するエンティティは、トランザクションアウトプットをアンロックすることができる。これは便利な機能である。図８は、OP_SPENDINGTXINJECTIONスクリプトのインプット及びアウトプットを示す。

【0216】

OP_EXTRACTTXID 本開示においては、OP_EXTRACTTXIDの言及は、トランザクションID及びトランザクションID位置をインプットとして取得し、抽出したトランザクションIDをアウトプットすることに対応する操作のための略称として見なされるべきである。OP_EXTRACTTXIDへのインプットは、直列化された（seriailzed）トランザクション及びインプットインデックスを示す値Xであり、アウトプットは、直列化されたトランザクションにおけるそのインデックスにあるトランザクションインプットに関連付けられたトランザクション識別子である。このスクリプトは、トランザクションIDを抽出するために、直列化されたトランザクションを解析する必要があってよい。なぜなら、直列化されたトランザクションは、直列化されたトランザクション内の他のフィールドによって示される長さの分散を持つ可変長のフィールドを含んでいるからである。

【0217】

図９は、一対のトランザクションの例を示す。トランザクションを検証するブロックチェーンノード９０２は、トランザクション検証器９０４を有してもよい。トランザクション検証器９０４は、そのインプットが有効であるかどうかに応じて、TRUE又はFALSEの結果９０６をアウトプットするステートレススタックベースのトランザクション検証器であってもよい。他の変形では、トランザクション検証器は、必ずしもステートレスではなく、かつ/又は外部の信頼できるデータ又は状態を参照することができる。ここでの教示は、スタックベースのトランザクション検証器を使用しないブロックチェーンシステムにも適用することができる。

【0218】

トランザクション検証器９０４へのインプットは、前のトランザクション（Previous Tx）９１２のアウトプット（移転されるトランザクションアウトプット）からのロックスクリプト９１０と、アンロックトランザクション（Unlocking Tx）９２２のインプット（アンロックを行うトランザクションインプット）のアンロックスクリプト９２０とであってよい。示されていないが、各トランザクションは他のフィールドを含み得る。より一般的な場合では、各トランザクションは、複数のインプット及び／又は複数のアウトプットを有することができ、その場合、ロックスクリプト９１０は、前のトランザクション９１２の複数のトランザクションアウトプットのうちの１つに対するロックスクリプトであってもよく、アンロックスクリプト９２０は、アンロックトランザクション９２２の複数のトランザクションインプットのうちの１つに対するアンロックスクリプトであってもよい。

【0219】

ステートレスなスタックベースのトランザクション検証器では、ロックスクリプト９１０とアンロックスクリプト９２０は、いくつかの少数の例外を除いて、単独で処理され、これらのスクリプトの外部の変数又は他の状態に依存しない。結果として、ロックスクリプト９１０は、ロックスクリプト９１０自体の外部の前のトランザクションのフィールドを参照しなくてよい。ロックスクリプト９１０はまた、前のトランザクション９１２、したがってロックスクリプト９１０が作成され、不変とされたときには、ロックトランザクション９２２が存在しなかったので、アンロックトランザクション９２２のフィールドを参照することはできない。

【0220】

また、アンロックスクリプト９２０は、ステートレスであるために、アンロックトランザクション９２２のフィールドに対して直接操作することもできない。ステートレス品質は、適切にプログラムされたブロックチェーンノードが、同じロックスクリプト９１０及び同じアンロックスクリプト９２０の場合に、同じ結果９０６に到達することを保証するという点で有用であり得る。これに対する１つの例外は、スクリプトが、トランザクション全体から生成された署名に対して、１つのスクリプトの署名をチェックすることができることである。一実施形態において、スクリプトは、この目的のためにOP_CHECKSIGを使用することができる。

【0221】

スタックベースの操作では、トランザクション検証器は、スクリプト内の各OPコードを順に処理することによって、アンロックスクリプトを実行する。いくつかのOPコードは、結果として処理され、いくつかは結果としてデータがスタックにプッシュされるか、又はスタックからポップされ、又はいくつかの組み合わせになる。アンロックスクリプトの実行が完了すると、スタックにデータが残っている可能性がある。アンロックスクリプトの実行にスクリプトエラー又は実行を終了するOPコードがなければ、トランザクション検証器はロックスクリプトを実行し、スタックに存在するデータを使用することができる。ロックスクリプトとアンロックスクリプトが同じOPコードセットを使用して書かれ得る場合、これは実質的に、アンロックスクリプトと後続のロックスクリプトとの連結を含む単一のスクリプトを実行することに類似している。しかし、アンロックスクリプトのOPコードの実行終了時及びロックスクリプトのOPコードの実行前に、スクリプトエラーのチェックを行うと、不正なアンロックスクリプトによって引き起こされる問題を防ぐことができる。

【0222】

スクリプトの実行が完了すると、スタックの一番上に残る結果が検証の結果となる。TRUEがスタックの一番上にある場合、これはアンロックスクリプトが実際にロックスクリプトをアンロックすることの検証と考えられ得る。この点に関して、アンロックスクリプトは、ロックスクリプトの要件のすべてを満たす。

【0223】

図１０は、複数トランザクション及び複数のインプット及びアウトプットの例を示す。図示されているように、前のトランザクション（Previous Tx１）１００２は、２つのトランザクションアウトプット、すなわち、ロックスクリプト１００６を有するVout[０]１００４及びロックスクリプト１０１６を有するVout[１]１０１４、及び、図示されていない他のフィールドの中でも、前のトランザクション１００２へのトランザクションインプットのような、それらの対応するトランザクションアウトプット値を有する。アンロックトランザクション（Unlocking Tx１）１０２０は、２つのトランザクションインプット、Vin[０]１０２４（アンロックスクリプト１０２６及び対応する前のトランザクションのアウトプットへのポインタ１０２８を有する）及びVin[１]１０３４（アンロックスクリプト１０３６及び対応する前のトランザクションのアウトプットへのポインタ１０３８を有する）で示される。この例では、Vin[０]に対する対応する前のトランザクションのアウトプットは、前のトランザクション（Previous Tx１）１００２のVout[０]であり、一方、Vin[１]に対する対応する前のトランザクションのアウトプットは、別のトランザクション（Previous Tx２）（図示せず）の何らかのアウトプットである。

【0224】

アンロックトランザクション１０２０を検証するために、トランザクション検証器１０４４を備えたブロックチェーンノード１０４２は、そのすべてのインプットが有効であるかどうかに応じて、TRUE又はFALSEの結果１０４６をアウトプットする。この場合、複数のインプットがトランザクション１０２０のアンロックのために存在してもよいので、トランザクションインプットのアンロックスクリプトと、インプットのポインタが指す対応するトランザクションアウトプットのロックスクリプトとを処理することによって、各インプットが検証される。

【0225】

複数のアウトプットと複数のインプットを持つことができるため、１つのトランザクションの価値は、複数の他のトランザクションによって移転でき、新しいトランザクションで償還可能な価値は、１つより多くの前のトランザクションから来る可能性がある。上記で説明したように、ロックスクリプトは、署名及び他の暗号技術を介して、アンロックスクリプト内にあるべきものに制約を課すことができる。

【0226】

そのような制約の１つは、アンロックスクリプトが何らかの任意のデータを含まなければならないことであってよい。制約の中には、「弱い制約」やより一般的な制約、例えば、アンロックスクリプトが４バイトの長さを持つデータを含んでいなければならないという制約、又は、バイトを特定の値に制約せずに特定数のバイトを含む制約など、があってよい。データがハッシュされるときに、データが特定のハッシュ値を生成しなければならないということは、より強力な、又はより特定の制約であり得る。この後者の制約は、データが特定の長さであり、該データに固有の値であることを典型的に必要とする。なぜなら、同じハッシュを生じる異なる値を誰かが決定することはほとんど不可能であるからである。制約は、アンロックスクリプトがそのデータをスタックにプッシュするか、又はそのデータのハッシュをスタックにプッシュし、ロックスクリプトが必要なハッシュをスタックにプッシュし、次にOP_EQUALを実行し、次にOP_VERIFY OPコードを実行することによって、スクリプトに実装され得る。それらのOPコードは、もしそれらの２つのプッシュされたアイテムが一致した場合にTureを返し、それらが一致しなかった場合にFalseを返す。より一般的なケースでは、特定のデータが存在することを要求する制約や、特定の特性を持つデータが存在することを要求する制約を課すことができる。

【0227】

弱い制約の例は、アンロックスクリプトが、必ずしもそれらのフィールドが特定の値であることを必要とせずに、直列化されたアンロックトランザクションフィールドのセットを構成する可能性のある特定のデータを含まなければならないことである。このようにして、ロックスクリプトは、アンロックスクリプトが来た場所からのアンロックトランザクションのフィールドを含むように、ロックスクリプトのアウトプットをアンロックするアンロックスクリプトのスクリプトを制約することができる。これにより、ロックスクリプトは、アンロックスクリプトがスタックに残すアンロックトランザクションのフィールドに対して、効果的に操作を実行することができる。弱い制約の別の例は、アンロックスクリプトが、指定された場所から得られる可能性のある特定のデータを含まなければならないが、データの値に制約がない場合である。これにより、データの値がロックスクリプトが不変になった後まで決定されないとしても、いくつかの弱い制約を課すことができる。

【0228】

制約の操作と制約のデータには、「スマートコントラクト」の要素が含まれる場合がある。スマートコントラクトとは、誰が何をすることができるのか、彼らがいつすることができるのか、そして誰が、いつ、何が支払われるのか、といった契約の条件を定義するものである。条件が、アンロックスクリプト又はアンロックトランザクションの他の部に対する、弱い又は強い制約として表現され得る場合、スマートコントラクトの条件は、ブロックチェーンプロトコルによって施行され得る。したがって、上述の例のように、例えば、Bobだけがロックされたトランザクションアウトプットの値をアンロックできる場合（Bobだけが作成できるアンロックスクリプトだけがそのトランザクションアウトプットをアンロックするため）、一方のパーティによって許可された場合にのみ、一定の時間が経過した後で、他方のトランザクションアウトプットが使用された後にのみ、トランザクションアウトプットが使用できる。

【0229】

図８は、OP_SPENDINGTXINJECTION、すなわち、直列化されたアンロックトランザクションフィールドのセットの注入を引き起こすための制約を符号化するスクリプトのためのOPコードの略称を示す。ロックスクリプトは、OPコードOP_GENSIG（結果としてBitcoin署名を生成する）と、後続のOPコードOP_CHECKSIG（結果として、署名がアンロックトランザクションの有効な署名としてチェックされる）と、を含み得る。OP_GENSIGが有効な署名を生成するためには、特定インプット要素として、SIGHASHタイプ要素、直列化されたアンロックトランザクションフィールドのセット（SIGHASHタイプ要素に対応する特定のセット）、秘密鍵、マスク番号（例えば、秘密鍵をマスク/保護するために使用される乱数又は擬似乱数）を持たなければならない。ロックスクリプトにハッシュOPコード、秘密鍵、及び乱数を含めることにより、これは、SIGHASHタイプ及び直列化されたアンロックトランザクションフィールドのセットを提供するように、アンロックスクリプトを効果的に制約する。

【0230】

図１１は、直列化されたトランザクションフィールドのセットから署名を生成するための手順を示す。これは、トランザクションを作成しているブロックチェーンノードや、トランザクションの他のジェネレータによって行われる場合がある。図１１に示すように、直列化されたトランザクション１１１０（すなわち、特定のフォーマットの一連のデータオブジェクトで表されるトランザクション）は、トランザクションのフィールド値のセットを含む。直列化されたトランザクション１１１０の署名者は、SIGHASH Type１１１２を選択し、署名者の秘密鍵を提供する。ブロックチェーンクライアント/ノードは、SIGHASH Type１１１２から、直列化されたトランザクション１１１０のどのフィールド又は修正されたフィールドが使用されるべきかを決定することができる。フィールドの一部は、ハッシュが生成される前に変更されてよい（ゼロに設定することを除く）。図１１の例では、SIGHASH TypeはSIGHASH_NONE|SIGHASH_ANYONECANPAYに等しく設定され、従って、選択されるフィールドは、修正された直列化トランザクション１１１４によって示されるフィールドである。

【0231】

ブロックチェーンクライアント/ノードは、修正された直列化トランザクション１１１４のハッシュを生成し（例えば、ダブルSHA－２５６ハッシュを実行する）、その結果、メッセージm１１１６をもたらす。直列化トランザクション１１１０を処理するブロックチェーンクライアント/ノードは、秘密鍵をマスク/保護するために、典型的には乱数又は擬似乱数である数k１１１８を選択する。kという数字は、本開示の時には「マスク番号」として参照される。次に、ブロックチェーンクライアント/ノードは、SIGHASH Type１１１２、メッセージm１１１６、署名者の秘密鍵１１２２、及び数字k１１１８からの、一組の署名インプット１１２０から、署名１１２４（この例ではDER符号化EC署名）を生成する。次に、署名１１２４及びSIGHASH Type１１１２をアンロックスクリプトで使用することができる。

【0232】

図１２は、アンロックトランザクションのコピー（直列化されたアンロックトランザクションフィールドのセットなど）を含む、アンロックスクリプト１２０３を含む、アンロックトランザクション１２００の例を示す。図１２に示すように、トランザクションインプットの１つは、Vin[z]である。インプットVin[z]は、前のトランザクションTxIDであるハッシュと、前のトランザクションのアウトプット数nを持つ。これらを合わせると、Vin[z]がアンロックすべき特定の前のトランザクションの特定のアウトプットへのポインタ１２０２を形成する。トランザクションインプットVin[z]は、アンロックスクリプト１２０３を有し、これはまた、いくつかのコンポーネント又はサブスクリプト１２０６、１２０８、１２１０、１２１２を有する。アンロックスクリプト１２０３は、Previous TxZの直列化されたバージョン１２０６を含む。同じ方法で直列化されたPrevious TxZによって移転されたアウトプットを有するトランザクションであるPrevious TxZ'の直列化されたバージョン１２０８も示されている。示されていないが、追加の前のトランザクションを含めることができる。また、アンロックスクリプト１２０３は、アンロックトランザクション１２００のどのフィールドが含まれたかを示すために、SIGHASH_TYPEバイト１２１０を含む。

【0233】

前のトランザクションのロックスクリプトは、アンロックスクリプトにアンロックトランザクションを含めるようにOP_GENSIGとOP_CHECKSIGを使用して、前のトランザクションのTxIDとOP_EQUALVERIFYを使用して、アンロックスクリプトにPrevious TxZの直列化バージョン１２０６を含めるようにする。Previous TxZのTxIDをアンロックトランザクションのフィールドから抽出し、Previous TxZを挿入することができる。Previous TxZそれ自体はPrevious TxZ'のTxIDを含んでいるので、そのTxIDを抽出することができる。以下同様である。

【0234】

アンロックトランザクションの直列化されたトランザクションフィールドのセットは、アンロックトランザクション自体のアンロックスクリプトを含まない。そうでなければ因果関係の問題が生じる。いくつかの実施形態、例えばBitcoinブロックチェーン環境において、トランザクションの署名ハッシュは、いくつかの所定のフィールドを除外することができる。SIGHASH Typeは、直列化されハッシュされる前に、どのフィールドの集合がトランザクションから抽出されるかを表してよい。

【0235】

前のトランザクションのロックスクリプトは、アンロックトランザクションが有効であるためには、アンロックトランザクションのアンロックスクリプトが、アンロックトランザクションのフィールドの一部又は全部のコピーと、アンロックトランザクションがアンロックする前のトランザクションのうちの１つ以上への参照を含める必要があるという要件をアンロックトランザクションに課すことができる。もちろん、アンロックトランザクションのフィールドは、アンロックトランザクションが作成されるとき変更可能である。しかし、前のトランザクションのロックスクリプトは、アンロックトランザクションのアンロックスクリプトの一部であるアンロックトランザクションのフィールドが制約を満たさない場合、アンロックトランザクションがロックスクリプトの実行時に検証しなくてよいという点で、アンロックトランザクションのフィールドに制約を課すことができる。アンロックスクリプトの一部ではないフィールド（SIGHASH Type値によって含まれない、又はゼロに設定されないフィールドなど）は、ロックスクリプトによって制約されなくてよい。また、直列化されたアンロックトランザクションに含まれるフィールドのすべてが制約を必要とするわけではない。例えば、ロックスクリプトは、アンロックスクリプトに含まれる、直列化されたアンロックトランザクションの多くのフィールドのうちの１つを制約するだけかもしれない。

【0236】

前のトランザクションの異なるアウトプットは、おそらく異なるアンロックトランザクションの異なるインプットとアウトプットに対して、異なる制約セットを適用することができる。このような技術を用いて、ブロックチェーンノードは、このようなロックスクリプトを用いてトランザクションを生成することができ、このロックスクリプトは、生成されたトランザクションアウトプットが移転され、そのトランザクションアウトプットをアンロックするトランザクションが、必然的に様々なデータ要素及び状態を運ぶことができるように、さらに他のチェックを実行することができる。

【0237】

図１２のトランザクションは、かなりの複雑な機能を有する状態機械を実装するために拡張することができる。上述のように、ロックスクリプトは、検証時に、ロックスクリプトが作成され確定された後にのみ利用可能なデータにアクセスできる。そのデータには、検証中のアンロックトランザクションのフィールドの詳細、及びロックスクリプトを含む前のトランザクションの詳細（及び、そのときにアンロックトランザクションを作成しているブロックチェーンノードに知られている他の前のトランザクションも可能である）を含めることができる。これにより、状態機械の状態がスクリプト内で表現され、状態及び状態遷移が実装され、ブロックチェーン環境のトラストレスな範囲内で発生することが可能になる。言い換えれば、状態機械は、必ずしも信頼性のないブロックチェーンノードによって検証されるトランザクションを用いて、ブロックチェーンネットワークによって処理される他のトランザクションと同様にトランザクションを処理することによって、実装することができる。いくつかの例では、「トラストレス」（trustless）は、制約が満たされる限り、どのエンティティも有効なアンロックトランザクションを作成することができる、及びそのエンティティが信頼される必要がない、というプロパティを表す。しかし、場合によっては、エンティティが必要なインプットを得るために、決定されたソースと対話する必要がある場合がある。いくつかの実施形態において、１つ以上のインプットは、直列化された前のトランザクションなど、未決定のソースから得ることができる。

【0238】

ブロックチェーンネットワークでは、トランザクションは、そのインプットのいくつかの値（トランザクションインプットがアンロックする前のトランザクションのトランザクションアウトプット値によって決定される）を持ち、そのアウトプットのいくつかの値を持つ。有効であるためには、アウトプットの合計はインプットの合計を超えることはできず（この説明では除外され得る分配トランザクション及びジェネシストランザクションを除く）、また、マイナーノードに取り込まれるためには、アウトプットは、マイナーノードのオペレータが参加する理由を提供するために、インプットよりも小さくされてよい。ブロックチェーンネットワークを使用してトラストレスな決定性状態機械を実装する場合、状態機械の初期状態は、状態機械の状態遷移に対応するトランザクションを含む理由をマイナーに提供するのに十分な価値を含むトランザクションの中に存在し得る。

【0239】

一般的な場合には、前のトランザクションのアンロックスクリプトを状態機械を実装する際に使用することができる。その結果、アンロックトランザクションは、アンロックトランザクションの内容を制約する、特にアンロックトランザクションの種々のトランザクションアウトプットの内容及び性質を制約するロックスクリプトにより、状態機械の状態遷移を表す。従って、前のトランザクションのアウトプットのロックスクリプトは、実質的に、アンロックトランザクションの各トランザクションアウトプットがどのようになる必要があるかを指定することができる。ロックスクリプトは、例えば、アンロックトランザクションのVout[０]が特定のデータ及びスクリプト要素を含むこと、ならびにアンロックトランザクションのVout[１]が特定の他のデータ及び他のスクリプト要素を含むことを要求することによって、異なるアンロックトランザクションアウトプットの異なる特徴を要求することができる。

【0240】

SIGHASH Typeと特定のSIGHASH Typeが使用するアンロックトランザクションフィールドセットを提供するエンティティは、トランザクションアウトプットをアンロックできる。このようにして、いくつかのパーティは、アンロックし、ロックスクリプトから詳細を転送することによって、トランザクションの内容を伝搬する理由を有する。上述したように、いくつかの例では、トランザクションアウトプットを「アンロック」することは、トランザクションアウトプットを参照し及び有効と評価し得るアンロックトランザクションを作成することを表し、それによってトランザクションアウトプットの移転を生じ得る。

【0241】

上述の技術及び装置を使用して、トランザクションは、スマートコントラクトを実装するスクリプトを含み、状態機械を実装することができ、現在のトランザクションのフィールド、現在のトランザクションによって移転されるアウトプットを有する前のトランザクション、及び場合によっては他の前のトランザクションを参照することができるスクリプトを含むブロックチェーン台帳上に作成することができる。これらの機能により、トランザクションフローは、スマートコントラクトなどで使用する自己複製スクリプトを強制的に実行できる。

【0242】

図１３は、アンロックトランザクション１３２０及び前のトランザクション１３１０を示す。この例では、アンロックトランザクションは、前のトランザクションと前のトランザクションのトランザクションアウトプットVout[x]１３１４とを参照するインプットVin[０]１３２２を有する。アンロックトランザクションが有効とみなされるためには、Vout[x]のロックスクリプトの制約が満たされなければならない。上述したように、いくつかの制約は単純であってよい。例えば、ロックスクリプトを指すアンロックトランザクションインプットのアンロックスクリプトが、ロックスクリプトに現れる公開鍵によって署名された有効な署名を提供できなければならないという単純な要件である。しかし、本明細書に記載されるように、ロックスクリプトは、より複雑な制約を提供することができる。

【0243】

例えば、前のトランザクション１３１０のVout[x]１３１４のロックスクリプトは、特にアンロックトランザクションのアウトプットに制約を課すことができる。この例におけるVout[x]１３１４のロックスクリプトは、アンロックトランザクション１３２０のアウトプットVout[０]１３２４に一連の制約（Constraint Set１）を課し、アンロックトランザクション１３２０のアウトプットVout[０]１３２６に一連の制約（Constraint Set２）を課す。特定の場合において、Constraint Set１及びConstraint Set２は、同一であり、両方とも、アウトプットVout[０]１３２４及びVout[１]１３２６のロックスクリプトが、前のトランザクション１３１０のVout[x]１３１４のロックスクリプトと同じであることを単に必要とするだけである。

【0244】

より一般的なケースでは、制約は、単にロックスクリプトをコピーするという要件を超えることがある。さらに、制約セットは、アンロックトランザクションアウトプットからアウトプットへと変化し得る。これらの制約は、アンロックトランザクションが持つことができるアウトプットの数、各アウトプットの値、及びアンロックトランザクションのアウトプットのロックスクリプトの特定の内容を必要とすることであり得る。

【0245】

注入されたアンロックトランザクションのアウトプットに対する制約
図１４は、アンロックトランザクションのロックスクリプトに制約を課す前のトランザクションのロックスクリプトの一部分１４００の例のフローチャートである。この例は、スタック上にデータを残し得る、アンロックトランザクションのアウトプットのアンロックスクリプトを処理し、次に、前のトランザクションのアウトプットのロックスクリプトを処理して、この処理を実行するスタックベースの検証器によって実行されてもよい。アンロックスクリプトの処理は、スタック上にデータを残すことができるので、また、アンロックスクリプトは、例えば、アンロックトランザクションのロックスクリプトの詳細を含む、アンロックトランザクションの直列化された内容をスタック上に残すことができるので、これらの詳細は、検証時に利用可能である。

【0246】

プロセスのステップ１４０２において、検証器は、アンロックスクリプトが特定のデータを含むことを検証し、検証器は、アウトプット毎に行う必要のない他の検証を実行し得る。そのようなデータの例は、直列化されたアンロックトランザクションフィールドのセット、直列化された前のトランザクション、前のトランザクションへの参照などを含み得る。ステップ１４０４で、検証器は、これらの制約が満たされているかどうかをチェックし、満たされていない場合は、ステップ１４０６で停止し、アンロックトランザクションを無効にする。さもなければ、処理はステップ１４０８に進み、検証器はチェックすべきアンロックトランザクションアウトプットがあるかどうかを決定する。１回目で、検証器は、インデックスi=０を設定してよく、チェックすべきアウトプットがそれ以上ない場合は、ステップ１４１０で別の処理フローに移動する。

【0247】

アウトプットの各インデックスについて、検証器はステップ１４１２、１４１４、及び１４１６を実行し、次いで、iをインクリメントし（ステップ１４１８）、考慮すべきインデックスがなくなるまでステップ１４０８に戻る。別の変形では、インデックスを１つずつインクリメントし、各アウトプットを検証する代わりに、検証器はインデックスのセットを通じてループし、セットは必ずしもiのすべての値を含まず、及び／又は、必ずしも追加的順序で、それらを含み、それらをチェックしない。そのような変形では、ステップ１４１８は、それに応じて異なり、チェックされる特定のインデックスのセット内のアウトプットについて、インデックスiを通じてループする。

【0248】

ステップ１４１２において、検証器は、アンロックトランザクションのVout[i]のロックスクリプトを抽出する。これはスタック内容に対するOP_SUBSTR操作を使って実装され得る。次に、ステップ１４１４において、検証器は、前のトランザクションのアウトプットのロックスクリプトに基づいて、アンロックトランザクションのVout[i]のロックスクリプト上に何の制約があるかを決定する。ステップ１４１６において、検証器は、次に、これらの制約を検証する。このようにして、アンロックトランザクションのインプットによって移転される前のトランザクションのアウトプットのロックスクリプトは、そのアンロックトランザクションのアウトプットに制約を課すことができる。

【0249】

前のトランザクションのアウトプットのロックスクリプトは、前のトランザクションロックスクリプトがアンロックトランザクションのアウトプットを移転する方法に関するルールを指示できるように、アンロックトランザクションのアウトプットを制約する。これらの制約は、前のトランザクションのアウトプットのロックスクリプトでハードコーディングすることができ、又は、前のトランザクションのそのアウトプットを指すアンロックトランザクションのインプットのアンロックスクリプト内に存在するデータに基づいて、制約を決定することができる。

【0250】

図１５は、図１４のステップ１４０２及び１４１４に対応するより具体的なステップのいくつかの例を示す。ステップ１４０２を実行する検証器の一例は、ステップ１５０２を実行することであり、検証器は、アンロックトランザクションのインプットにおけるアンロックスクリプト（又は他の場所）内のデータの一部が決定されたソースから来たと判断する。決定されたソースは、アンロックトランザクションの直列化又は直列化された前のトランザクションであってよい。あるいは、さらに、検証器は、ステップ１５０４を実行し、アンロックトランザクションデータの詳細の何らかの他の検証を実行することができる。

【0251】

前のトランザクションのアウトプットのロックスクリプトが、アンロックトランザクションのアウトプットのロックスクリプトに課し得る特定の制約に関して、ステップ１５０６があり、アンロックトランザクションのアウトプットVout[i]のロックスクリプトは、何らかの決定されたソースからのデータと等しくなければならない（「==」は等価性のテストを表す）。別の例は、ステップ１５０８であり、アンロックトランザクションのアウトプットVout[i]のロックスクリプトが、前のトランザクションのアウトプットのロックスクリプトにハードコードされたデータと等しくなければならない。ステップ１５１０は、決定されたソースからのデータに基づいて、アンロックトランザクションのアウトプットVout[i]に別の制約が課される場合をカバーし、ステップ１５１２は、前のトランザクションのアウトプットのロックスクリプトからのハードコードされたデータに基づいて、Vout[i]に別の制約が課される場合をカバーする。

【0252】

場合によっては、ソースからの又はハードコードされたデータの完全な範囲を使用する代わりに、データのハッシュを使用することができる。この場合、比較はハッシュからハッシュへ行われる。

【0253】

使用されるべきデータは、前のトランザクションから、例えば前のトランザクションのアウトプットのロックスクリプトにハードコードされたものからであってもよいし、前のトランザクションに先行するトランザクション（又は先行するトランザクションへの参照、アンロックトランザクションから出る２つのリンク（すなわち、前のトランザクションによってそのアウトプットの１つ以上が移転されたトランザクション）からのものであってもよい。このようにして、使用されるデータは、前のトランザクションからその分配トランザクションへのチェーン内の任意のトランザクション（例えば、BitcoinプロトコルのCoinbaseトランザクション）から得ることができる。

【0254】

図１６は、この一例を示す。図１４のプロセス１４００におけるステップ１４０２（検証は、アンロックスクリプトが特定のデータを有することである）について、ステップ１６０２、１６０４、１６０８、１６１０、及び１６１２を実行して、アンロックトランザクションのアンロックスクリプトがトランザクションチェーンの中のトランザクションへの参照を有することを検証することができる。

【0255】

ステップ１６０２で、検証器は、アンロックトランザクションのインプットからトランザクションID（TxID）を抽出する。これは、TxIDがアンロックスクリプトで利用可能であれば、行うことができる。次いで、検証器は、ステップ１６０４において、アンロックスクリプトが、そのTxIDの直列化された前のトランザクションのコピーも含むことを検証することができる。含まない場合、検証器はトランザクションを無効にすることができるが、含む場合、ステップ１６０８で、検証器は、前のトランザクションTxID'からTxIDを抽出し、次いでステップ１６１０で、前のトランザクションが、TxID'によって参照された直列化されたトランザクションのコピー又はそれへの参照を含むことを検証する。このチェーンは、n回継続することができ、ここで、ステップ１６１２において、検証器は、TxID^(n－１)'(n－１ダッシュ）によって参照されるトランザクションが、TxIDn'(nダッシュ）によって参照される直列化されたトランザクションのコピーを含むことを検証する。

【0256】

図１６において、ステップ１６１４及び１６１６は、TxIDⁿ'によって参照されるトランザクションのコピーのためのロックスクリプトを抽出し、アンロックトランザクションのアウトプットVout[i]のロックスクリプトが、TxIDⁿ'によって参照されるトランザクションの抽出されたロックスクリプトと等しいという制約を検証するステップを含む。

【0257】

制約は、ロックスクリプト全体ではなく、アウトプットのロックスクリプトのサブセットに適用できる。制約は、データ全体ではなく、データのサブセットから決定できる。例えば、あるサブセットは「Pay－to－Public－Key－Hash」が表れることを要求し、別のサブセットは「Pay－to－Bob」が表れることを要求することがある。

【0258】

アンロックトランザクションのアウトプットのロックスクリプトが、<x><y>の２つの部分で表現できるとする。ここで、<x>と<y>は、<x>と<y>に個別に制約が適用されるように、文字列連結操作を使って抽出できる。たとえば、<x>は<PubK A>に制約され、<y>はOP_CHECKSIGに制約される。このようにして、全体的なロックスクリプトは<PubK A>OP_CHECKSIGに制約される。また、アンロックスクリプト内のデータから導出された制約を使用することも可能である。

【0259】

これらの技術を使用して、前のトランザクションのアウトプットのロックスクリプトは、そのアウトプットのアンロックを試みるアンロックトランザクションに制約を課すことができる。特に、制約は、アンロックトランザクションが有するアウトプットのセットに対する制約であり得、制約は、異なるアウトプットに対して異なり得、また、前のトランザクションのロックスクリプトとは異なり得る。

【0260】

制約は、様々なアウトプットを参照するインデックスに対応することができる。ある場合には、制約は各インデックスに対して繰り返されるが、他の場合には、幾つかの構造を提供することができる。たとえば、制約のインデックスは、"if index==０: constraint A els constraint B"などの制約の集合を選択するために条件文で使用できる。

【0261】

一連のインデックスがハードコードされている場合、そのインデックスを使用するスクリプトの部分の結果は固定されてよい。アンロックトランザクションのアウトプットに対する制約の代わりに、又はそれに加えて、アンロックトランザクションのインプットに対する制約も存在し得る。

【0262】

注入されたアンロックトランザクションのインプットに対する制約
アンロックトランザクションのインプットを制約するロックスクリプトを持つことの１つの用途は、ロックスクリプトが特定のプロパティを持つトランザクションへの依存関係（例えば、制約されたインプットはそのトランザクションを参照しなければならない）を符号化することを可能にすることである。これは、アウトプットが可変であるという点で、アンロックトランザクションのアウトプットを制約することとは異なる。一方、インプットは、ブロックチェーン上の既存の不変のUTXOへの参照であってよい。言い換えれば、アウトプットは、制約に合致するように変更することができ、一方、それらの制約に合致するインプットを見つけなければならない。

【0263】

アンロックトランザクションのインプットに対する制約は、（１）インプットの参照（すなわち、トランザクションTxIDフィールド、及び任意でアウトプットポインタフィールド）に直接設定される制約と、（２）インプットの中の参照が指す前のトランザクションのフィールドに対する制約、の２つの一般的なタイプに分類される。

【0264】

図１７は、前のトランザクション１７１０とアンロックトランザクション１７２０を示し、前のトランザクション１７１０は、インプットVin[y]１７１２とアウトプットVout[x]１７１４を有し、アンロックトランザクション１７２０は、インプットVin[０]１７２２及びVin[１]１７２３と、アウトプットVout[０]１７２４と、を有する。Vout[x]１７１４のロックスクリプトは、インプットVin[０]１７２２に対して制約セット（Constraint Set１）を課し、インプットVin[０]１７２３に対して制約セット（Constraint Set２）を課す。制約セットは、アンロックスクリプト、参照、又はインプットの他の部分に対する制約を含むことができる。制約セットは、同じか、異なるか、又は２以上のインプットがあり、一部は同じインプットであり一部場異なるインプットであり得る。

【0265】

部分的には、これらの制約は、OP_SPENDINGTXINJECTIONスクリプトを使用するなどして、直列化されたアンロックトランザクションフィールドのセットをアンロックスクリプトにデータとして注入させることにより、アンロックトランザクションの部分を参照することができる。

【0266】

図１８は、アンロックトランザクションのインプットに制約を課す、前のトランザクションのロックスクリプトの一部分１８００の例のフローチャートである。この例は、アンロックトランザクションのアウトプットのアンロックスクリプトを処理する検証器によって実行されてもよい。検証器は、アンロックトランザクションの詳細を含むデータをスタックに残し、次いで、前のトランザクションのアウトプットのロックスクリプトを処理してこの処理を実行する。

【0267】

プロセスのステップ１８０２において、検証器は、アンロックスクリプトが特定のデータを含むことを検証し、検証器は、アウトプット毎に行う必要のない他の検証を実行し得る。ステップ１８０４において、検証器は、これらの制約が満たされているかどうかをチェックし、満たされていなければ、ステップ１８０６で停止し、アンロックトランザクションを無効にする。さもなければ、処理はステップ１８０８に進み、そこで検証器はチェックすべきアンロックトランザクションインプットがあるかどうかを決定する。１回目で、検証器は、インデックスi=０を設定することができ、チェックすべきインプットがそれ以上ない場合は、ステップ１８１０で別の処理フローに移動する。

【0268】

インプットの各インデックスについて、検証器は、ステップ１８１２、１８１４、及び１８１６を実行し、次いで、iをインクリメントし（ステップ１８１８）、考慮すべきインデックスがもう存在しなくなるまでステップ１８０８に戻る（又は、検証器は、必ずしもすべてのインデックス及び／又は必ずしも増加的順序ではなく、一連のインデックスを通じてループする；これらの場合、ステップ１８１８は相応に異なり、インデックスiを介してインプットがチェックされる間、ループする）。ステップ１８１２において、検証器は、アンロックトランザクションインプットVin[i]から、前のトランザクションへの参照及び自身のアンロックするアウトプットを抽出する。これはスタック内容に対すｒうOP_SUBSTR操作を使って実装され得る。次に、ステップ１８１４において、検証器は、前のトランザクションのアウトプットのロックスクリプトに基づいて、何の制約が参照に対してあるべきか、又は、前のトランザクションの注入を引き起こすためにその参照を使用するかを、該制約が前のトランザクションのフィールドに適用可能になった後に、決定する。ステップ１８１６において、検証器は、次に、これらの制約を検証する。このようにして、アンロックトランザクションのインプットによって移転される前のトランザクションのアウトプットのロックスクリプトは、そのアンロックトランザクションのインプットに制約を課すことができる。

【0269】

インプット制約の他の例は、要素１９０２、１９０４、１９０６、１９１０、１９１２、及び１９１４によって図１９に示されている。TxIDはトランザクションと１対１にマッピングされてよいので、これは、特定のトランザクションがインプットの中で参照されなければならないという制約であることを意味し得る。ロックスクリプトが依存するトランザクションは、最初に作成され、それによってロックスクリプトは、アンロックトランザクションのインプットに対する制約の中で、自身のTxIDを使用することができる。

【0270】

インプット中の参照に対応する前のトランザクションのフィールドに制約を設定できる。これは、前のトランザクションのフィールドに制約を課す前に、対応する前のトランザクションの注入を引き起こすために、インプットの中のTxIDを使用することによって可能であってよい。制約は、制約を課すロックスクリプトを持つ前のトランザクションのアウトプットをアンロックするインプットとは異なるインプットを参照できる。

【0271】

図２０は、図１８のプロセス１８００におけるステップ１８０２及び１８１４に関連する制約の例を示す。図２０では、ステップ２００２、２００４、２０１４及び２０１６を実施することができる。ステップ２００２において、検証器は、アンロックトランザクションのインプットからトランザクションID（TxID）を抽出する。これは、TxIDがアンロックスクリプトで利用可能であれば、行うことができる。次に、検証器は、ステップ２００４において、アンロックスクリプトが、そのTxIDのための直列化された前のトランザクションのコピーも含むことを検証することができる。ステップ１６１４で、検証器は、前のトランザクションから１つ以上のフィールドセットを抽出し、ステップ１６１６で、抽出されたフィールドセットに関する何らかの制約を検証する。

【0272】

図２１は、インターロックスクリプト制約を示す。ここに示すように、前のトランザクション（Previous Tx１）２１０２及び前のトランザクション２１０４（Previous Tx２）は、アンロックトランザクション（Unlocking Tx１）２１０６のインプットによって参照されてもよい。特に、矢印２１１０によって示されるように、Unlocking Tx１のインプットVin[０]は、Previous Tx１のVout[０]を指す。したがって、Unlocking Tx１が有効であれば、Previous Tx１のVout[０]をアンロックすることができる。また、矢印２１１２で示すように、Unlocking Tx１のインプットVin[１]は、Previous Tx２のVout[０]を指す。このような参照は、複数の前のトランザクションを参照する複数のインプットを伴うアンロックトランザクションのための従来の参照であってよい。

【0273】

前のトランザクションを参照するために、これらのトランザクションは、アンロックトランザクションの作成前に既に存在し、不変である必要がある。それにもかかわらず、前のトランザクションは、アンロックトランザクションに相互依存ロックスクリプト制約を適用することができる。アンロックトランザクションのインプットの集合に制約を課すことによって、相互依存ロックスクリプトを実装することができ、これは、とりわけ、トラストレスな決定性状態機械の文脈において、並行性を提供することができる。

【0274】

Previous Tx１のアウトプットVout[０]のロックスクリプト２１２０は、インプットのポインタ２１２２（例えば、前のトランザクション及び前のトランザクションのアウトプットへの参照）がPrevious Tx２及びPrevious Tx２のVout[０]への参照であることを要求する、Unlocking Tx１のインプットVin[１]に対する制約を有する。Previous Tx２のアウトプットVout[０]のロックスクリプト２１２４は、インプットのポインタ２１２６（例えば、前のトランザクション及び前のトランザクションのアウトプットへの参照）がPrevious Tx１及びPrevious Tx１のVout[０]への参照であることを要求する、Unlocking Tx１のインプットVin[０]に対する制約を有する。

【0275】

トランザクションのTxIDは、トランザクションが終了するまで知られていないので、トランザクションロックスクリプトは、アンロックトランザクションアンロックスクリプトが参照すべきTxIDを直接指定することはできないが、基本的には、ロックスクリプトがインプットのポインタ（ロックスクリプトを持つ前のトランザクションのTxIDを含む）を抽出することによって、これを実行し、そのTxIDを使用して、前のトランザクションのフィールドに注入し、前のトランザクションの一部のフィールドが、想定される値に等しいことを検証できる。言い換えると、前のトランザクションがある値に設定されたフィールドを持ち、前のトランザクションのロックスクリプトがアンロックトランザクションインプットからTxIDを取得し、そのTxIDが参照するトランザクションを注入し、そのフィールドが特定の値に設定されていることをチェックし、そのフィールドがその特定の値に設定されていない場合、アンロックトランザクションインプットが異なる前のトランザクションを指している場合でなければならない。したがって、特定の値をチェックすることによって、前のトランザクションのアウトプットのロックスクリプトは、アンロックトランザクションインプットが前のトランザクションのアウトプットを参照しているかどうかを確認できる。

【0276】

このように、Previous Tx１は、その第１アウトプットが、特定のトランザクションの第１アウトプットを同様にアンロックするトランザクション（Previous Tx２）によってのみ移転可能であると述べており、Previous Tx２は、その第１アウトプットは、Previous Tx１の第１アウトプットを同様にアンロックするトランザクションによってのみ移転可能であると述べている。

【0277】

相互依存ロックスクリプトは、とりわけ、互いに条件を設定する複数のスマートコントラクトを可能にする。例えば、スマートコントラクト１は「AliceはCarolに１BTCを拠出することに同意するが、BobがCarolに２BTCを拠出する場合に限る」であり、スマートコントラクト２は「BobはCarolに２BTCを拠出することに同意するが、AliceがCarolに１BTCを拠出することに同意する場合に限る」である。有効であるためには、アンロックトランザクションは両方のスマートコントラクトをアンロックしなければならない。

【0278】

上述のように、ロックスクリプトは、特定のプロパティを持つトランザクションへの依存関係を符号化することができ、それらのプロパティは、そのトランザクションのフィールドを含むことができる。これは、ロックスクリプトを、特定のロックスクリプトを有するトランザクションに依存させることが可能であることを意味する。

【0279】

例えば、図２１の例では、（Previous Tx１のVout[０]の）ロックスクリプト#１は、（Previous Tx２のVout[０]の）ロックスクリプト２１２４を参照するようUnlocking Tx１のVin[１]を制限し、ロックスクリプト#３ ２１２４は、Previous Tx１のVout[０]のロックスクリプト#１を参照するようUnlocking Tx１のVout[０]を制限する。ここでは、これは、別のロックスクリプトに対する依存関係を符号化するロックスクリプトと呼ぶことができる。

【0280】

相互に依存するロックスクリプトを実装することは、因果関係の競合条件を作り出す可能性があり、第１ロックスクリプトは第２ロックスクリプトへの依存関係を符号化し、第２ロックスクリプトは第１ロックスクリプトへの依存関係を符号化する。なぜなら、Previous Tx１及びPrevious Tx２のうちの一方が他方よりも先に存在する可能性があるからである。ロックスクリプトAがロックスクリプトBへの依存関係をハードコードする場合、ロックスクリプトBはすでに既知であり確定されている必要があり、ロックスクリプトBが未知のロックスクリプトAへの依存関係をハードコードすることは不可能である。これは、少なくともロックスクリプトの１つにおいて、決定可能な依存関係を有することによって対処することができる。

【0281】

例えば、ロックスクリプトAはロックスクリプトXに依存し、ロックスクリプトXはアンロックスクリプトA内で提供され、ロックスクリプトBはアンロックスクリプトB内で提供されるロックスクリプトYに依存する。アンロックトランザクションが作成されると、ロックスクリプトAとロックスクリプトBの両方が既知であるため、アンロックトランザクションのアンロックスクリプトAはロックスクリプトBをそのデータとして含み、アンロックトランザクションのアンロックスクリプトBはロックスクリプトAをそのデータとして含むことが可能となる。

【0282】

一部の変形では、アンロックトランザクションインプットを検証するために、そのアンロックスクリプトは、Previous Tx１及びPrevious Tx２を参照しなければならない。他の変形では、アンロックスクリプトは、Previous Tx１と同じロックスクリプトを持つ２つ（又はそれ以上）の前のトランザクションを参照することで十分である。

【0283】

いくつかの変形では、アンロックスクリプトが特定の前のトランザクション又は複数の前のトランザクションの集合を参照するという要件を課す代わりに、要件がアンロックスクリプトが特定の前のトランザクション又は複数の前のトランザクションの集合を参照しないことであってよいという点で、その要件は排他的であってよい。これらのバリエーションの組み合わせも可能であり、どんな前のトランザクションが参照されるかについて、ブール論理を効果的に実装することができる。例えば、アンロックトランザクションインプットを検証するために、そのアンロックスクリプトは、Previous Tx１及びPrevious Tx２への参照を持たなければならず、Previous TxAへの参照を持たず、Previous TxB又はPrevious TxCのいずれかへの参照を持たなければならない。他の論理表現も可能であってよい。

【0284】

状態機械
上記の技術を使用して、状態機械は、ブロックチェーントランザクションを使用して実装できる。ここで、トランザクションは、状態を有し、トランザクションマトリクスによるような状態機械構造によって符号化され、そして次の状態を許容される。アンロックトランザクションは、そのようなブロックチェーントランザクションのアウトプットをアンロックすることができ、事実上、状態機械の状態遷移を引き起こす。

【0285】

図２２は、ブロックチェーントランザクションを使用して実装される状態機械の例２２００を示す。具体的には、図２２は、ブロックチェーントランザクションを使用して第１の状態から第２の状態に遷移する状態機械を示す。いくつかの例では、状態機械の状態遷移は、（１）現在状態、（２）１つ以上のインプット２２２６、及び（３）状態規則セット２２０６が与えられると、次の状態を決定するものとして説明される。図２２の例２２００は、状態規則セット２２０６と、パラメータに埋め込まれた第１状態２２２８Aとを有する前のトランザクション２２０２を示す。いくつかの実施形態では、アンロックトランザクション２２０４は、決定されたソースからのインプット２２２６を受け入れるために作成される。インプット２２２６は、第１状態２２２８Aと組み合わせて、状態規則セット２２０６を参照して、アンロックトランザクション２２０４のパラメータに埋め込まれた第２状態２２２８Bを決定するために使用可能であってもよい。

【0286】

実施形態では、状態規則セット２２０６は、ロックスクリプトによって課されるアンロックトランザクション２２０４に対する制約によって表すことができる状態トランザクションマトリクスを含む。そのような実施形態では、制約は、現在状態及び次の状態が決定されるインプットによってパラメータ化され得る。制約は、アンロックトランザクション２２０４が、特定のフィールドに次の状態値を含むアウトプットを含むことを確かめるためのチェックを含むことができる。

【0287】

実施形態では、現在状態は、トランザクションのアウトプットのロックスクリプトの一部など、トランザクションに埋め込まれたパラメータとして表現され、アンロックトランザクション２２０４は、アンロックトランザクション２２０４に埋め込まれた次の状態値を有してもよい。次の状態値は、アンロックトランザクション２２０４のフィールド値のセットに対する現在状態であってもよく、上記のように、アンロックトランザクション２２０４が生成されるときにアクセス可能であってもよい。

【0288】

いくつかの実施形態では、少なくとも１つのインプットが、アンロックトランザクション２２０４が生成されるときに決定されるパラメータ内の外部データとして提供される。セキュアであるために、このようなパラメータは、決定されたソースに由来する。これは決定性状態遷移を提供することができる。最後に、自己複製ロックスクリプトのスクリプトを使用することによって、トラストレスな決定性状態機械の実施形態を作成することができる。さらに、異なるロックスクリプトがトランザクションの異なるトランザクションインプット及びアウトプットに課されることを可能にすることによって、並行の（concurrent）トラストレスな決定性状態機械を実装することができる。

【0289】

図２３は、この点を示す。この例では、トラストレスな決定性状態機械システム２３００は、状態規則セット２３０６内の第１状態２３２８A（「S１」）における前のトランザクション２３０２を含んでもよい。状態規則セット２３０６は、次の状態に対して２つの可能な状態２３３０A（「S２」又は「S３」）を提供する。状態規則セット２３０６は、前のトランザクション２３０２のアウトプットのロックスクリプト内に符号化されてもよい。現在状態２３２８Aは、Lock time（Lock time）フィールドに埋め込まれてもよいし、ロックスクリプトに埋め込まれてもよい。次の状態、本例ではS２ ２３２８Bは、前のトランザクションのアウトプットをアンロックして状態遷移を実行するアンロックトランザクションのアウトプットのロックスクリプト内に符号化される。

【0290】

例２３００に見られるように、アンロックトランザクション２３０４は、インプットとして、そのアンロックスクリプト内のインプット２３２６と、前のトランザクション２３０２のフィールド値のセットに埋め込まれた第１状態２３２８A（「S１」）とを取り込み、状態規則セット２３０６から適切な第２状態２３２８B（「S２」）を決定する。さらに、例２３００に見られるように、状態遷移マトリクスは、第２状態２３２８Bからの次の状態遷移に可能な新しい状態２３３０B（「S４」又は「S５」）を提供する。状態規則セット２３０６は、現在状態及び１つ以上のインプットによってパラメータ化されたswitch文又は他の条件文（例えば、「if－then－else」）として符号化されてもよいことに留意されたい。現在状態、S２ ２３２８Bは、Lock timeフィールドに埋め込まれてもよいし、ロックスクリプトに埋め込まれてもよい。次の状態、本例ではS２ ２３２８Bは、前のトランザクションのアウトプットをアンロックして状態遷移を実行するアンロックトランザクションのアウトプットのロックスクリプト内に符号化される。

【0291】

実施形態では、各可能な状態は、状態遷移マトリクスのような状態変化のための規則セットで、自己複製ロックスクリプト内で表現され、特定のトランザクションアウトプットは、特定の状態における状態機械を表す。このような実施形態では、トランザクションアウトプットのロックスクリプトは、デジタル資産の制御を、現在のトランザクションアウトプットにリンクされなければならない次のトランザクションに移転しようとするすべてのアンロックトランザクションに複製される。この過程は、終了条件が満たされるまで繰り返されてよい。インプットは確定されておらず、未決定のデータである可能性があるため、状態機械の状態は、特定の外部インプットに基づいて変更することができる。従って、未決定データは、次の状態に影響し得るインプットを提供する。

【0292】

説明のための例として、AliceはBobに資金を貸し付け、BobはAliceに返済することに同意する。本開示に記載されているような、トラストレスな決定性状態機械は、BobがAliceに対して行う支払いを表すスマートコントラクトとして実装することができる。例えば、スマートコントラクトは、Bobが今後３ヶ月間毎月Aliceに支払いを行い、支払いを怠るとBobの債務が回収段階に入るように構築することができる。従って、Bobが毎月支払う限り、現在状態は返済状態のままである。しかし、Bobが支払いを怠ったことを示すインプットを外部のエンティティが提供する場合、状態は滞納状態に分岐する。滞納状態では、Aliceはトランザクションを解放し、それを債務徴収者に引き渡すことができ、その結果、トラストレスな決定性状態機械は債務徴収状態に切り替わる。債務徴収状態では、債務徴収者はBobから債権を回収する。このようなスマートコントラクトは、本明細書に記載するスクリプトのバリエーションを使用して作成することができる。

【0293】

別の例では、Aliceは非常に慈善的な人物で、毎月１単位のデジタル資産を寄付している。彼女の規則では、誰でもデジタル資産を請求できるが、月に１単位しか請求できない。Aliceは、本開示に記載される方法でスマートコントラクトを作成し、デジタル資産の初期プール３ユニットと共にそれを種蒔きする（seed）。Aliceは、任意のエンティティが月に１単位のデジタル資産を取得できるようなスクリプトを構築することができる。デジタル資産の残りの部分は、後続のスマートコントラクトに複製される。

【0294】

図２４は、本開示の例示的なトラストレスな決定性状態機械のためのアンロックスクリプト及びロックスクリプトを示す。

【0295】

図２５は、様々な実施形態による、トラストレスな決定性状態機械のためのプロセス２５００の一例を示すフローチャートである。これを実行するスクリプトの例は、図２４のスクリプトである。プロセス２５００（又は記載の任意の他のプロセス、又はこれらのプロセスの変形及び／又は組み合わせ）の一部又は全部は、実行可能な命令及び／又は他のデータで構成される１つ以上のコンピュータシステムの制御下で実行可能であり、１つ以上のプロセッサ上で集合的に実行する実行可能な命令として実装可能である。実行可能な命令及び／又は他のデータは、非一時的なコンピュータ読み取り可能な記憶媒体（例えば、磁気媒体、光学媒体、又はフラッシュ媒体に永続的に記憶されたコンピュータプログラム）に記憶することができる。これらの命令は、ブロックチェーントランザクション検証プロセスの一部として実行される可能性がある。

【0296】

例えば、プロセス２５００の一部又は全部は、図１の例示的なブロックチェーンネットワーク１００など、例示的なブロックチェーンネットワーク内の検証ノードによって実行され得る。このような検証ノードは、（例えば、データセンター内のサーバ、クライアント計算装置、計算リソースサービスプロバイダの分散システム内の複数の計算装置、又は任意の適切な電子クライアント装置による）任意の適切な計算装置を含んでもよい。プロセス２５００は、自己複製スマートコントラクトのロックスクリプトが検証され、現在状態が直列化された前のトランザクションから得られ、アンロックスクリプトからインプットが得られ、次の状態が少なくとも部分的に状態規則セットに基づいて決定される、一連の動作を含む。

【0297】

ステップ２５０２で、システムは、アンロックトランザクションを受信する。システムは、アンロックトランザクションインプットのアンロックスクリプトを実行することによって開始し、これにより、直列化された前のトランザクション及びロックスクリプトに埋め込まれたインプットがスタックに配置される。これらのインプットは、２５１２で取得することができる。２５０４では、プロセス２５００を実行するシステムが、終了条件が満たされているか否かを判定する。実施形態において、終了条件は、完了すると状態機械遷移を終了させる条件である。終了条件が満たされる場合、プロセス２５００を実行するシステムは、２５０６に進み、それによって、トラストレスな決定性状態機械は、自己複製及び／又は状態の伝搬を停止する。

【0298】

ステップ２５０８において、システムは、前のトランザクションのアウトプットのロックスクリプトがアンロックトランザクションのアウトプットのロックスクリプトと一致することを検証する。ロックスクリプトが一致しない場合、検証は失敗し、アンロックトランザクションは検証されない可能性がある。あるいは、ロックスクリプトが一致する場合、２５１０で、システムは直列化された前のトランザクションから可能な状態のセットのうち現在状態を抽出する。２５１２では、システムは、ロックスクリプトの実行の結果としてスタック上に置かれた１つ以上のインプットを得る。次に、２５１４において、システムは、現在状態及び１つ以上のインプットに基づいて、トラストレスな決定性状態機械の可能な状態セットの次の状態を決定するために、状態規則セットを適用する。２５１６において、システムは、次の状態（例えば、状態変数及び適用可能な場合には、他の状態関連データ）がアンロックトランザクションに埋め込まれていることを検証することができる。システムは、ロックスクリプト内で指定されているように、残りの制約を適用することもできる。２５０２～２５１６の動作が成功裏に完了した後、プロセスは２５１８で終了し、アンロックトランザクションは、プロセスを実行するシステムによって有効であるとみなすことができる。ステップ２５０２～２５１８で実行される動作のうちの１つ以上は、並列を含む様々な順序及び組み合わせで実行され得ることに留意されたい。

【0299】

開示された実施形態を説明する文脈において、別段の規定がない限り、「命令」が通常単独では実行しない動作（例えば、データの送信、計算など）を実行する実行可能な命令（コード、アプリケーション、エージェントなどとも呼ばれる）に関する表現の使用は、命令が機械によって実行されおり、それによって機械に指定された動作を実行させていることを意味する。

【0300】

ブロックチェーントランザクションとしての状態機械
上述の技術及び装置を使用して、状態機械は、ブロックチェーントランザクションを使用して実装され得る。状態機械は、状態遷移マトリクスに沿って状態から状態に変化する状態を有することによって操作され得る。いくつかの状態図は、非常に複雑で、複数の経路を持つことができる。このような場合、状態機械が実行する計算のいくつかは、他の計算と並行に実行することができる。本明細書で説明するように、状態機械は、ブロックチェーントランザクションを使用して動作することができ、部分的に、並行に動作することができる。

【0301】

より詳細に説明されるように、トラストレスな決定性状態機械は、ブロックチェーントランザクションのロックスクリプト及びアンロックスクリプトを使用して実装され得る。ロックスクリプトは、アンロックスクリプトに課すことができる制約を含み、従って、アンロックトランザクション自身の直列化されたフィールド、実行されているロックスクリプトを含む前のトランザクションの直列化されたフィールド、現在状態値、決定されたソースからのインプット（任意）、及び状態機械の一連のフロー条件及び操作を定義する状態遷移マトリクスのような、アンロックトランザクションインプットのアンロックスクリプトへの特定のデータの注入を必要とすることができ、現在状態及び他のインプットから次の状態を計算する方法を規定する。アンロックトランザクションにおけるロックスクリプトの制約の一つは、アンロックトランザクションがロックスクリプトをそのアウトプットの１つの中に複製し、状態機械を伝搬しなければならないことである。

【0302】

図２６は、特定の特徴を有する状態遷移マトリクス２６００を使用する状態機械を示す。状態S１は、現在状態を示すためにハイライトされる。状態機械は、矢印で示される状態遷移に沿って任意の状態に遷移することができる。その状態遷移マトリクスでは、S１－S２－S３－S４－S８－S１２に沿って遷移する可能性があるが、状態S５でもS１からの遷移が必要であってよい。同様に、状態S５はS６とS９に遷移する。状態S９から状態S１０への遷移は、並行に生じる状態S６から状態S７への遷移が起こるまでは、状態遷移が生じてはならないという意味で、条件付きであり又はバリアを有していてもよい。状態S８への遷移は、状態S４と状態S７からの融合として起こる可能性がある。

【0303】

これらの状態の各々は、ブロックチェーントランザクションアウトプットによって表される状態機械によって開始され、各遷移はトランザクションアウトプットの単一パスによって処理され、アンロックトランザクションインプットが前のトランザクションのアウトプットをアンロックすると、図２２又は図２３に示されるような状態遷移が発生する。しかし、ブロックチェーントランザクションのインプット及びアウトプットを用いて、状態の並行処理を達成することができる。これは、スマートコントラクトを複数の並行ステップで実行する必要がある場合に便利である。契約の過程では、契約の過程で業務を並行に実行できることがある。例えば、家を建てる契約には、タイル工事の完成の様々な段階と造園工事の完成の様々な段階があるが、これらは並行して行うことができる。スマートコントラクト内での並行実行を可能にすることにより、コントラクトの異なるフラグメントを、非同期に、互いに独立して実行することができる。

【0304】

図２６は、このような処理のための多くの必要性を示す。１つは、１つの状態から複数のパスを生成することである。これは、スマートコントラクトの枝分かれであり得る。スマートコントラクトが状態S１で始まると仮定する。このスマートコントラクトの分岐は、状態S２と状態S５の２つの状態機械を生成し得る。もう１つの必要性は、スマートコントラクトの複製であり、それぞれが同じ状態にあり、並列に動作する２つの同一の状態機械を持つことである。例えば、スマートコントラクトは、S２－S３－S４のステップの複数のインスタンスを要求し得る。これは、分岐の特別な場合である、２つ以上の新しいトランザクションアウトプットが同じ状態を持つ、スマートコントラクトのクローン化であり得る。

【0305】

もう１つの便利な特徴は、新規契約の創出である。例えば、図２６の状態遷移マトリクス２６００によって表されるスマートコントラクトは、状態S３において、スマートコントラクトの何らかのパーティが、スマートコントラクトに結び付けられ得るが、スマートコントラクトの一部ではない、及び／又はスマートコントラクトが作成された後に作成され得る別個のコントラクトを作成するようなものであり得る。本明細書では、これを創出（spawning）と呼ぶことができる。この新しいコントラクトは、最初に図２６の状態遷移図に提供された最初のスマートコントラクトとは異なり得る。

【0306】

融合とは、状態S４と状態S７の場合のように、２つの状態機械又は２つのスマートコントラクトが融合（merge）することである。以下に説明するように、S２－S３－S４、S５－S６－S７のように、異なるパスを並行に実行することができる。これらの要素を用いて、並行のトラストレスな決定性状態機械をブロックチェーン環境で容易に実装できる。

【0307】

図２７は、１つのインプットVin[０]及び２つのアウトプットVout[０]及びVout[１]を有するトランザクションの例を示す。このトランザクションのアウトプットをアンロックすることによって、２つの独立したトランザクションがブロックチェーン台帳上に置かれ、これらのトランザクションの作成者は、このトランザクションによって彼らに提示された何らかの価値（図示せず）によって補償されることになる。図に示すように、前のトランザクションのアウトプット（Vin[０]が指すもの）のロックスクリプトは、そのアウトプットをアンロックするアンロックトランザクションが状態S２とS５を含むことを要求する。状態S２を含むアンロックトランザクションのアウトプット（図２７のVout[０]）をアンロックするために、将来のアンロックトランザクションは、現在状態がS２であることに基づき次の状態を含むように制約される。S５状態についても同様である。

【0308】

このようにして、トランザクションアウトプットは、状態を持つことができ、アンロックトランザクションがどの状態であることができるかに制約を課すことができる。これにより、ブロックチェーントランザクションは、図２６に示すような状態図に従って処理を実装することができ、トランザクションアウトプットのアンロックは、状態図の状態遷移に対応する。誰かが複数のインプットを持つ１つのトランザクションを作成し、示されたトランザクションの両方のアウトプットをアンロックする場合を避けるために、ロックスクリプトは、そのトランザクションをチェックし、それを許可しないようにすることができる。有効なトランザクションがどのように生成されるかのルール、必要なアウトプットの数などは、ハードコードされた値又はスマートコントラクトが作成された後に提供されるパラメータとしてスマートコントラクト内に符号化される。

【0309】

ブロックチェーントランザクションを使用したスマートコントラクトの枝分かれとクローン化
枝分かれは、ある状態が２つ以上の（必ずしも一意ではない）次の状態に並行に遷移する必要がある場合に使用される。スマートコントラクトは、全ての可能な並行性を伴わず処理できる場合もあるが、並行性が存在すべき場合は、枝分かれがそれを開始し得る。上述のように、ブロックチェーン台帳上のスマートコントラクトトランザクションのアウトプットのロックスクリプトは、アンロックトランザクションのインプットに、及び／又はブロックチェーン台帳上のアンロックトランザクションのアウトプットのロックスクリプトに要件を「課す」ことができる。クローン化は、次の状態の集合がすべて同じ状態であってもよい特定のタイプの枝分かれであってもよい。アンロックトランザクションに関しては、複数のアウトプットが遷移マトリクスを複製し、それぞれの次の状態を埋め込むために制約されてよい。

【0310】

枝分かれ/クローン化は、トラストレスな決定性状態機械の制約をアウトプットの集合に適用することによって達成することができる。上述のように、一連のインデックスは、異なるアウトプットに異なる制約を適用することを可能にする。この一連のインデックスは、遷移マトリクス内でハードコード化すること、又は検証プロセスへのインプットの一部として提供することができる。

【0311】

所与のアンロックトランザクションは、複数のアウトプットを有してもよく、そのうちのいくつかは状態機械とは無関係であってもよく、又は複数の無関係の状態機械に関連していてもよいので、Lock timeフィールドのようなすべてのアウトプットに共通のフィールドに次の状態を埋め込むよりも、トランザクションのロックスクリプトに次の状態を埋め込む方がより実用的である。アウトプットのロックスクリプトのサブセットを制約することについては、前述のとおりである。

【0312】

図２８は、スクリプトが枝分かれ操作にどのように関連するかを示す。図示のように、状態機械２８１０は、前のトランザクション２８２０及びアンロックトランザクション２８３０を使用して実装される。前のトランザクション２８２０のロックスクリプトは、アンロックトランザクション２８３０が少なくとも２つのアウトプットを有するように制約し、各々は、後続のアンロックトランザクションが指定された状態でアウトプットを有する(及び別々のトランザクションである）ように要求する。これにより、これらの状態S２、S３を独立して、かつ可能な場合には並行に実行することができる。

【0313】

状態機械を使用すると、サブタスクは、より高速で並行実行するスマートコントラクトを可能にするのに役立つ。サブタスクを処理するために、複数の状態が使用されてよく、１つの状態機械は通常、一度に単一の状態でのみ使用され得るため、同時並行性は、別々のトランザクションスレッドを有することによって提供され得る。状態機械は、複数のトランザクションロックスクリプトを作成することによって枝分かれできる。前のトランザクションのアウトプットからの現在状態に基づいて、アンロックトランザクションは、図２８に示されるように、ロックスクリプトを有する２つ以上のアウトプットを有するように制約され得る。枝分かれが償還不能になること、及び早期に停止することを防ぐために、各アウトプット値をチェックし、状態機械を継続するのに十分な資金があることを確認するべきである。

【0314】

破線の矢印によって示されるように、アンロックトランザクション２８３０のインプットVin[０]は、前のトランザクション２８２０及びそのトランザクションのアウトプットVout[０]を指す。Vout[０]のロックスクリプトは、現在状態（「S１」）、状態機械のための遷移マトリクスとを含み、アンロックトランザクション２８３０のVout[x]が次の状態（「S３」）となるよう、及びアンロックトランザクション２８３０のVout[y]が別の次の状態(「S２」）となるように制約し、各々が状態遷移マトリクスを伝えるように制約され、場合によっては他の制約も含む。

【0315】

前のトランザクションのアウトプットのロックスクリプトは、<Current State><Transition Matrix><other script>の連結で構成され、一方、アンロックトランザクションのアウトプットのロックスクリプトは、<NextState><TransitionMatrix><other script>の連結で構成されてよい。ロックスクリプト全体を複製する代わりに、ロックスクリプトのサブセットだけが複製されることがあり、他のサブセットは状態を含むように制約されてよい。

【0316】

状態をロックスクリプトに格納する代わりに、状態機械の状態をトランザクションのフィールドに格納することができる。このフィールドは、Lock timeフィールドなどの他の目的には使用できない。実際には、別の未使用のトランザクションフィールドを使用することができる。これは、単一の状態で動作し、複数の状態を格納する必要がある場合にも動作するが、それはより複雑である可能性がある。

【0317】

図２９は、枝分かれ又はクローン化プロセスを実行するために実行され得る疑似コードの例を示す。この擬似コードは、本明細書に記載されるOPコードを使用して実装され得る。この擬似コードは、トランザクションを生成する及び／又はトランザクションを検証するブロックチェーンノードのプロセッサによって実行され得る。いくつかの実施態様において、スクリプトの一部はアンロックスクリプトからのものであり、スクリプトの一部はロックスクリプトからのものである。

【0318】

図２９の擬似コードでは、前のトランザクション、アンロックトランザクション、及び任意的なインプットは、ロックスクリプトがそれらにアクセスできるように注入される。その後、終了条件のチェックが行われてよい。スマートコントラクトが終了していない場合、プロセッサは、前のトランザクションのロックスクリプト及び前のトランザクションの現在状態を抽出し、これは、本明細書に記載される技術を使用して行うことができる。次に、プロセッサは、アンロックトランザクションのアウトプットを通じてループして、それらの各々について、そのロックスクリプトを抽出し、前のトランザクションロックスクリプト内のトランザクションマトリクスをチェックして、それが処理されているアンロックトランザクションアウトプットのロックスクリプト内のトランザクションマトリクスと一致するかどうかを判定する。それらが一致しない場合、プロセッサはそれをスクリプト失敗として処理し、アンロックトランザクションを検証しない。それらが一致する場合、プロセッサは、抽出された現在状態、状態遷移マトリクス、任意にインプット、及びアウトプットインデックス値から、状態機械の次の状態を決定する。次に、プロセッサは、処理中のアンロックトランザクションアウトプットの次の状態に対して決定された次の状態をチェックする。それらが一致しない場合、プロセッサはそれをスクリプトの失敗として処理し、停止し、アンロックトランザクションを検証しない。チェックすべき他の任意の制約がある場合、それらはこのときにチェックすることができる。すべての制約が満たされると、スクリプトは終わる（pass）。

【0319】

作業者創出（worker spawning）スマートコントラクト
前節では、スマートコントラクトを枝分かれアンドクローン化する能力について述べた。このセクションでは、新しいスマートコントラクトをアンロックトランザクション内に強制的に存在させる機能について詳述する。アンロックトランザクションは、完全に異なる状態機械、又は完全に異なるタイプのスマートコントラクトではないが状態機械ではないスマートコントラクトであり得る。

【0320】

状態機械である新しいスマートコントラクトを強制するための制約の例は、図３０に示される。示されるように、前のトランザクションのアウトプットのロックスクリプトは、アンロックトランザクションのアウトプットロックスクリプトが所望の新しいスマートコントラクトスクリプトと等しくなければならないように、又はアウトプットロックスクリプトのハッシュが所望の新しいスマートコントラクトスクリプトのハッシュと等しくなければならないように、アンロックトランザクションのアウトプットに制約を与える。新しいスマートコントラクトスクリプト又はハッシュは、前のトランザクションのアウトプットのロックスクリプトでハードコードされるか、又はアンロックトランザクションのインプットのアンロックスクリプトを介してパラメータとして安全に提供される。アンロックトランザクションアウトプットにおける複数の新しいスマートコントラクトは、それぞれの新しいスマートコントラクトについて前述のように、ロックスクリプト内に対応する制約を持つことによって強制され得る。

【0321】

上述のように、状態機械であってよい新しいスマートコントラクトが作成される。これは、前のトランザクションと同じ状態機械、又は別の完全に異なる状態機械であり得る。新しい状態と遷移マトリクスをチェックできる。これは、別々に(例えば、新しい状態をチェックし、その後、遷移マトリクスの値をチェックする）、又は並行に行うことができる。

【0322】

図３０には示されていないが、新しいスマートコントラクトは状態機械以外であってもよい。そのような場合、次の状態値が必要とされてよく、又は必要とされなくてもよいが、新しいスマートコントラクトは、スクリプト又はそのハッシュの等価性チェックを使用して検証され得る。

【0323】

新しいスマートコントラクトは、前のトランザクションの現在状態からの遷移と、アンロックトランザクションのアウトプットのための新しいスマートコントラクトとで生成することができる。図示の例では、アンロックトランザクションの第１アウトプットセットは、状態遷移マトリクスを複製し、次の状態を埋め込むように制約され、第２アウトプットセットは、新しいスマートコントラクトを含むように制約される。アンロックトランザクションのアウトプットは、新しいロックスクリプトを含むように制約することができ、複数のインデックスを使用することによって、異なるアウトプットに異なる制約を適用することができる。一連の新しいスマートコントラクトは、遷移マトリクスでハードコードすること、又はインプットの一部として提供することができる。

【0324】

状態機械の観点から、状態機械は、呼び出し側状態機械と並行に実行するために、新しい異なる状態機械をインスタンス化することができる。このアプローチを状態機械に適用するために、この操作のためのロックスクリプトは、枝分かれ/クローン操作のものと同様であってよいが、そのロックスクリプトにおける等価性についてチェックされた各新しい状態機械インスタンスの代わりに、新しいスマートコントラクトの存在についてチェックされてもよい。等価性チェックは、トランザクションのための直列化されたトランザクションフィールドのセット、ロックスクリプトバイトコード、又はこれらのハッシュを含む、様々な異なる値の範囲に渡り実行することができる。

【0325】

図３０は、新しいスマートコントラクトの創出を示す。ここに示されるように、状態機械３０１０は、前のトランザクション３０２０及びアンロックトランザクション３０３０を使用して実装される。前のトランザクション３０２０のアウトプットVout[０]のロックスクリプトは、アンロックトランザクション３０３０が少なくとも２つのアウトプット、Vout[x]及びVout[y]を有するよう制約し、各々は、後続のアンロックトランザクションが指定された状態でアウトプットを有すること(及び別個のトランザクションであること）を要求する。具体的には、示されるように、アンロックトランザクション３０３０のインプットVin[０]が、前のトランザクション３０２０のVout[０]をアンロックするために、アンロックトランザクション３０３０は、Vout[x]が遷移マトリクスを有し、状態S４にあるように制約され得る一方、Vout[y]が新しいスマートコントラクトを有するように制約され得る。

【0326】

このアプローチでは、新しいスマートコントラクトを状態機械と並行して処理することができる。明示的には示されていないが、新しいスマートコントラクトは、第２状態機械であり得る。上述したように、新しいスマートコントラクトはそれ自体が状態機械である必要はなく、その場合、結果として生じるスマートコントラクトは状態値のフィールドを持たなくてよい。

【0327】

図３０の破線矢印によって示されるように、アンロックトランザクション３０３０のインプットVin[０]は、前のトランザクション３０２０及びそのトランザクションのアウトプットVout[０]を指す。これは、前のトランザクション３０２０のTxID、及びアウトプットVout[０]を指すように"０"に設定された整数値の形式であり得る。Vout[０]のロックスクリプトは、現在状態("S３"）と、状態機械の遷移マトリクスとを含み、アンロックトランザクション３０３０のVout[x]が次の状態の状態機械("S４"）になるよう、及びアンロックトランザクション３０３０のVout[y]が新しいスマートコントラクト("NSC"）であるように制約し、場合によっては他の制約である。

【0328】

一例として、作業者創出プロセスの一例及びアンロックトランザクションに新たなスマートコントラクトを強制的に存在させるプロセスの疑似コードは、図３１に示すことができる。

【0329】

スマートコントラクトの融合（merging）
２つ以上の状態を同じ次の状態に融合する必要がある場合に、状態の融合又は結合を使用することができる。場合によっては、スマートコントラクトで必要とされない場合、並行に動作している状態機械は同じ状態にあるが、融合しないことがある。例えば、図２６の状態図では、S４とS７が別々にS８に遷移し、２つの別々のトランザクションのままであることが可能である。

【0330】

図３２は、状態機械３２１０の融合動作を示す。この場合、アンロックトランザクション３２３０(インプットVin[０]及びVin[１]、アウトプットVout[x]を有する）は、前のトランザクション３２２０及び前のトランザクション３２２２の両方のVout[０]をアンロックする。これらの技術を用いて、スマートコントラクトは、それ自身の新しいインスタンスをインスタンス化するか、異なるスマートコントラクトをインスタンス化することによって分岐することができ、複数のスマートコントラクトは、同一であるか否かにかかわらず、融合されて、対応する状態機械を介して単一のスマートコントラクトを形成することができる。

【0331】

各々の融合するアンロックトランザクションは、１つのロックスクリプトを持つことができる。このロックスクリプトは、単一のスマートコントラクトの実行を継続する。これは、融合されるスマートコントラクトの１つであるか、まったく新しいスマートコントラクトであるかのいずれかである。いずれの場合も、複数のチェックが実行されてもよい。スマートコントラクトの各々は、アンロックトランザクションへの有効なインプットであるとしてチェックされ得る。これは、前のトランザクションを使用する検証によって実行することができる。

【0332】

図３２に示すように、Vin[０]は、前のトランザクション３２２０及びそのアウトプットVout[０]を示し、一方、Vin[１]は、前のトランザクション３２２２及びそのアウトプットVout[０]を示す。両方のVout[０]のロックスクリプトは、アンロックトランザクション３２３０のVout[x]を、次の状態S８及び状態遷移マトリクスを有するように制約する。これらの制約は、新しいスマートコントラクトがアンロックトランザクションのアウトプットであることをチェックする前のトランザクション３２２２のロックスクリプトによって強制され得る。

【0333】

並行状態機械でこれを達成するために、トランザクションは、結合される必要がある各状態機械のためのインプットを持つ複数のインプットを使用することができる。状態機械遷移マトリクス内で、結合されたすべての独立状態機械の状態をチェックするために、制約が追加され得る。結合状態機械の１つが収束可能な状態にない場合、トランザクションは拒否されてよい。結合操作を確実にするために、アンロックトランザクションの状態に基づいて、２つのアンロックスクリプトがあることを確認するために、状態機械に制約を追加することができる。各スクリプトに対して、各スクリプトが遷移に必要な正しい状態にあることを確認するために、チェックを実行することができる。本明細書の他の箇所で説明するように、相互依存ロック制約もまた、使用され得る。

【0334】

図３３は、弱い依存関係を有するアンロックトランザクションにおけるスマートコントラクトを融合するプロセスの一例としての擬似コードシーケンスを示す。融合では、一連の現在状態(必ずしも一意の状態ではない）から共有された次の状態への遷移が起こる。アンロックトランザクションに関して、そのインプットのセットは、同じアウトプットが遷移マトリクスを複製し、同じ次の状態を埋め込むという制約を共有するロックスクリプトのセットをアンロックすることができる。弱い依存関係の場合、同じアウトプットに対して同じ次の状態を持つ複数の状態機械が存在してよい。

【0335】

図３２及び図３３による融合は、弱い依存関係で起こり得る。ロックスクリプトは、相互依存、枝分かれ、新しいスマートコントラクトの創出など、他の制約が含むことができる。弱い依存関係の例として、融合が偶然に起こる場合、ロックスクリプト１は、状態Aから状態X及び状態Yへの枝分かれであってもよく、ロックスクリプト２は、状態Bから状態Xへの通常の遷移であってもよい。これらの２つのロックスクリプトは、たまたま、アンロックトランザクションのアウトプットに状態Xが含まれるように制約する。

【0336】

図３３の擬似コードシーケンスでは、その擬似コードシーケンスに従ってスクリプトを処理するプロセッサが、前のトランザクション、アンロックトランザクション、及び任意でいくつかのインプットデータを注入し、処理を進める前に終了条件をチェックしてよい。次に、プロセッサは、前のトランザクションロックスクリプト及びアンロックトランザクションロックスクリプトを抽出する。次に、プロセッサは、前のトランザクションロックスクリプト内のトランザクションマトリクスが、アンロックトランザクションロックスクリプト内のトランザクションマトリクスと等しいことをチェックし、もしそうでなければ、中止してもよい。そこから、プロセッサは、前のトランザクションの現在状態値を抽出し、それから及びトランザクションマトリクスとインプット(使用されている場合）から、次の状態を決定し、次の状態をチェックして、それがアンロックトランザクションロックスクリプト内の次の状態と一致するかどうかを決定する。任意で、他の制約をここでチェックできる。

【0337】

図３４は、明示的な依存関係を有するアンロックトランザクションにおけるスマートコントラクトを融合するためのプロセスの例として、擬似コードシーケンスを示す。明示的な依存関係では、複数の状態機械があってよく、そしてそれらが同じアウトプットに対して同じ次の状態を持つことでは十分ではなく、加えてそれらは固有の別個の状態機械であってよい。図３２及び図３４による融合は、明示的な依存関係によって生じ得る。強力な制約がある場合、アンロックトランザクションは、２つ以上の固有の融合状態機械を指すように要求されてよい。

【0338】

図３４の擬似コードシーケンスでは、その擬似コードシーケンスに従ってスクリプトを処理するプロセッサが、前のトランザクション、アンロックトランザクション、及び任意でいくつかのインプットデータを注入し、処理を進める前に終了条件をチェックすることができる。次に、プロセッサは、アンロックトランザクションロックスクリプトを抽出する。次に、プロセッサは、一連のインプットインデックスを通じてループして、対応する前のトランザクションロックスクリプトを抽出し、対応する前のトランザクションロックスクリプト内の遷移マトリクスが、アンロックトランザクションロックスクリプト内の遷移マトリクスと等しいかどうかをチェックし、そうでない場合は中止する。そこから、プロセッサは、前のトランザクションの現在状態値を抽出し、それを現在状態のリストに追加し、他のインプットについて繰り返す。現在状態、及び遷移マトリクスとインプット(使用されている場合）から、プロセッサは次の状態を決定し、次の状態をチェックして、アンロックトランザクションロックスクリプト内の次の状態に一致するかどうかを決定する。任意で、他の制約をここでチェックできる。

【0339】

並列スマートコントラクト/バリア
前述したように、弱い又は強い制約により、２つ以上のスマートコントラクトを１つのスマートコントラクトに融合することができる。また、並列に実行できる２つ以上のスマートコントラクトを持つことも有用である。これは、２つの並行パスが１つのアンロックトランザクションを通過しなければならないという制約があるという点で、並行処理を上回るものであってよい。これはまた、並行状態機械内の「バリア（barrier）」のために使用することができ、特定の遷移は、状態機械内の他の場所で別の遷移が発生するまで発生することは許されない。

【0340】

図３５は、並列処理動作を示す。この場合、アンロックトランザクション３５３０は、前のトランザクション３５２０及び前のトランザクション３５３０の各々に１つの、２つのインプット(Vin[０]、Vin[１]）、及びそれぞれ別々のスマートコントラクトを継続するための２つのアウトプット(Vout[x]、Vout[y]）を有する。アンロックトランザクション３５３０は、スマートコントラクトの前のトランザクションの各々を含むアンロックスクリプトを含む。さらに、各スマートコントラクトのためのロックスクリプトが、その実行を継続するために要求されることがある。並列スマートコントラクトを使用すると、各コントラクトを独立して遷移できないが、代わりに(ロックスクリプト内で定義されている）すべてのコントラクトを並行に行う必要がある。

【0341】

先の例は、スマートコントラクトを枝分かれし、２つのスマートコントラクトを融合し、２つの(又はそれ以上のスマートコントラクトの）並列動作を提供した。これらは、並列スマートコントラクトと組み合わせて使用することができる。バリアは、状態遷移が他の状態遷移と論理的な関係にある場合に使用されてもよい。一例として、それは、他の状態機械が特定の状態にあることを要求するか、又はその状態機械からのインプットデータを要求してよい。

【0342】

この機能を容易にするために、複数のインプットとアウトプットを含むアンロックトランザクションを作成することができる。バリアに必要な状態機械(遷移するもの、又は制約に関係するもの）のそれぞれは、それら自身のアンロックスクリプトに含まれてよい。遷移を実行する各状態機械に対して、ロックスクリプトが使用されてもよい。図２６に示す例では、状態S９からS１０への遷移は許容されるが、S６からS７への遷移が並行に起こる場合にのみ許容される。アンロックトランザクションの場合、状態S６の状態機械のために１つ、及び状態S９の状態機械のために１つの、２つのアンロックスクリプトが存在する。次に、アンロックトランザクションは、２つのロックスクリプトを持つ。１つはS７のままである状態機械用であり、もう１つは現在S１０にある状態機械用である。

【0343】

図３６は、並列トランザクションインプット／アウトプットを必要とする並行状態機械におけるバリアを使用するための例としての擬似コードシーケンスである。この例では、疑似コードシーケンスに従ったスクリプトは、前のトランザクションの各々がアンロックトランザクション内のロックスクリプトと同一のロックスクリプトを持っていることをチェックする。この例では、第１の前のトランザクションに一致するように１つのロックスクリプトが設定されている、等である。次に、その擬似コードシーケンスによるスクリプトは、両方の前のトランザクションから現在状態を抽出し、両方の状態機械のインプットを読み取り、両方の状態遷移に設定されたバリアをチェックする。

【0344】

図３５に戻ると、種々の依存関係が、破線矢印及び番号付きの円で示されている。依存関係#１は、Vin[０]が前のトランザクション３５２０を参照しなければならないこと、依存関係#２は、Vin[０]が指定トランザクション(前のトランザクション３５２０）の第１アウトプット(Vout[０]）を参照しなければならないこと、依存関係#３は、Vin[１]が前のトランザクション３５２２を参照しなければならないこと、及び依存関係#４は、Vin[１]が指定トランザクション(前のトランザクション３５２２）の第１アウトプット(Vout[０]）を参照しなければならないことであってよい。これは、単に２つの依存関係、つまり、Vin[０]がトランザクション３５２０のVout[０]を参照しなければならない依存関係と、Vin[１]がトランザクション３５２２のVout[０]を参照しなければならない依存関係、であってよい。

【0345】

前のトランザクション３５２０のVout[０]のロックスクリプトは、Vout[x]が状態=S８を有し、状態機械１の遷移マトリクスを有することを要求する依存関係#５を課し、Vout[y]が状態=S８を有し、状態機械２の遷移マトリクスを有することを要求する依存関係#６を課す。前のトランザクション３５２２のVout[０]のロックスクリプトは、同様の方法で、依存関係#７及び#８を課す。いくつかの例では、状態機械の制約の代わりに、スマートコントラクトの他の形式の制約であってよい。２つ(又はそれ以上）の前のトランザクションのアウトプットは、２つ(又はそれ以上）のアンロックトランザクションアウトプットを制約するので、並列スマートコントラクトを提供することができる。

【0346】

バリアは、融合とは異なってよい。バリアとは、一連の現在状態(必ずしも一意の状態ではない）からの遷移が並行に起こるように制約される場合である。アンロックトランザクションに関して、そのインプットのセットは、相互に依存するロックスクリプトのセットをアンロックすることであってよく、それらの全ては、アウトプットのセットにそれらのそれぞれの制約を適用してよい。相互依存ロックスクリプトは、要件及び共有される次の状態のセットであってよいが、可能な場合には、要求されなくてよい。相互依存ロックスクリプトは、特定の遷移がこの相互依存関係を必要とするように、遷移マトリクスに埋め込むことができる。

【0347】

図３７は、バリア/並列スマートコントラクトの使用例の状態図を示す。AliceとBobがダンスを学んでおり、ダンスのレッスンに行くとする。ダンス学生の成長を維持する方法として、彼らの成長は状態機械の使用により記録される。第一に、等級の間に状態機械が存在してよく、すべてのダンスのタイプの全体的なダンス能力に関して状態が含まれている。これは、状態S１、S３、S５、最後にS６で表される。これらの等級は、学生がダンス部によりサポートされる最高の等級に達するまで、順次進む。次の等級(例えば、S１～S３）に進むためには、学生は、いくつかのタイプのダンスに到達する必要があってよい。各ダンスのタイプは、より小さな埋め込み状態機械(例えば、S２及びS４）を使用して監視されてよい。この使用例では、以下の操作が可能である。

【0348】

（１）枝分かれ（fork）、及びクローン化（clone）。これは、点S１及びS５で使用され、新しい等級の開始を示すことができ、それによって、各ダンスタイプに１つずつ、複数の状態機械への枝分かれが存在してよい。

【0349】

（２）作業者創出(worker spawning）。これは、特定のダンスの種類がより多くのレッスンを必要とする場合、又は他のダンスタイプとは異なる評価が提供される場合に使用することができる。

【0350】

（３）融合（merge）。このプロセスは、学生が新しい等級に達したときに、点S３及びS６で使用することができる。新しい等級では、埋め込まれたダンス状態機械の最終状態S４で各生徒を評価する必要がある。

【0351】

（４）並列トランザクション（Parallel Transaction）/バリア（barrier）。ある状態機械内の状態遷移を別の状態機械で制約するために使用することができる。この使用例の場合、S２とS４の遷移は並行に起こる必要があると仮定することができる。なぜなら、１回のレッスンで１つのダンスタイプを実行することはできないからである。

【0352】

したがって、本明細書及び図面は、制限的な意味ではなく例示的な意味に考えられるべきである。しかし、特許請求の範囲に記載された本発明の範囲から逸脱することなく、様々な修正及び変更をそれに加えることができることは明らかであろう。同様に、他の変形も本開示の範囲内である。従って、開示された技術は、種々の修正及び代替の構成を容易に受けるが、それらのいくつかの例示された実施形態は、図面に示され、上記で詳細に説明された。しかしながら、本発明を開示された特定の形態に限定する意図はなく、逆に、添付の特許請求の範囲に定義されているように、本発明の範囲内にあるすべての変更、代替の構成及び均等物をカバーすることが意図されていることは理解されるべきである。

【0353】

「a」及び「an」並びに「the」及び類似の参考の用語の、開示された実施形態を説明する文脈における使用は(特に、以下の特許請求の範囲の文脈において）、別段の指示又は明白な矛盾がない限り、単数形及び複数形の両方を含むものと解釈する。「construction」、「having」、「include」及び「include」という用語は、別段の指示がない限り、オープンエンドの用語(すなわち、「含むが、これに限定されない」を意味する）と解釈する。「connected」という用語は、修正されず物理的接続を指す場合、何かの介在がある場合であっても、部分的又は全体的に、内部に含まれ、取り付けられ、又は連結されているものと解釈する。本開示における値の範囲の記載は、特に指示がない限り、個々の値が個々に記載されているかのように、個々の値が範囲内に含まれる個々の値を個々に参照する簡単な方法として機能することを意図するに過ぎない。「セット」(例えば、「アイテムのセット」）又は「サブセット」という用語は、文脈によって別段の注記又は矛盾がない限り、１以上の構成要素からなる空でない集合として解釈されるべきであり、さらに、文脈によって別段の注記又は矛盾がない限り、対応するセットの用語「サブセット」は、必ずしも対応するセットの適切なサブセットを示すものではないが、サブセット及び対応するセットは等しくてもよい。

【0354】

「A、B、及びCの少なくとも１つ」又は「A、B、又はCの少なくとも１つ」の形式のフレーズなどの結合語は、特に別段の記載がない限り、又は文脈によって明確に矛盾しない限り、一般的に使用される文脈と理解され、アイテム、用語などは、A、B、又はC、又はA、B、及びCのセットのいずれかの非空のサブセットであり得ることを示す。例えば、３つの構成要素を有するセットの説明のための例において、「A、B、及びCの少なくとも１つ」及び「A、B、又はCの少なくとも１つ」とは、以下のセットのいずれかを指す:{A}、{B}、{C}、{A}、{A、B}、{A}、{C}、{A、{B、C}}。従って、そのような結合語は、一般に、特定の実施形態が、各々が存在するために、Aの少なくとも１つ、Bの少なくとも１つ、及びCの少なくとも１つを必要とすることを意味するようには意図されない。

【0355】

記載されたプロセスの操作は、他に指示がない限り、又は文脈によって明らかに矛盾しない限り、任意の適切な順序で実行することができる。記載されるプロセス(又はその変形及び／又は組み合わせ）は、実行可能な命令を備えて構成される１つ以上のコンピュータシステムの制御下で実行することができ、ハードウェア又はそれらの組み合わせによって、１つ以上のプロセッサ上で集合的に実行するコード(例えば、実行可能な命令、１つ以上のコンピュータプログラム又は１つ以上のアプリケーション）として実装することができる。コードは、例えば、１つ以上のプロセッサによって実行可能な複数の命令を含むコンピュータプログラムの形式で、コンピュータ読取可能な記憶媒体に記憶することができる。コンピュータ読取可能記憶媒体は、非一時的であってもよい。

【0356】

提供されるあらゆる実施例、又は例示的言語(例えば、「のような」）の使用は、本発明の実施形態をより良く解明することのみを意図したものであり、他に請求されない限り、本発明の範囲を制限するものではない。本明細書中の言葉使いは、主張されていない如何なる要素も本発明の実施に不可欠であることを指示していると解釈されてはならない。

【0357】

本発明を実施するために発明者に知られている最良の形態を含め、本開示の実施形態が記載される。これらの実施形態の変形例は、前述の説明を読むことにより、当業者に明らかになり得る。本発明者らは、当業者がそのような変形を適宜使用することを期待しており、本発明者らは、本開示の実施形態が、具体的に記載された以外の方法で実施されることを意図している。従って、本開示の範囲は、適用法によって許容されるように、本明細書に添付された特許請求の範囲に記載された主題のすべての修正及び均等物を含む。さらに、上述の要素のあらゆる可能な変形における任意の組み合わせは、別段の指示がない限り、又は文脈によって明らかに矛盾しない限り、本開示の範囲に包含される。

【0358】

引用された刊行物、特許出願、及び特許を含む全ての参考文献は、各参考文献が個別にかつ具体的に参考文献として援用され、全体として記載されているのと同じ程度に、参考文献として本明細書に組み込まれる。

【0359】

上述の実施形態は、本発明を限定するものではなく、本発明を例示するものであり、当業者は、添付の特許請求の範囲によって定義されるように、本発明の範囲から逸脱することなく、多くの代替実施形態を設計することができることに留意されたい。特許請求の範囲においては、括弧内に付した引用符号は、クレームを限定するものと解釈してはならない。「含む（comprising、comprises等）」及び類似の語は、いずれかの特許請求の範囲又は明細書全体に列挙されたもの以外の要素又はステップの存在を除外しない。本明細書において、「有する」、「含む」（comprising、comprises）は「有する」、「含む」、「から成る」（including、includes、consisting of）を意味する。要素の単数形は、そのような要素の複数形を除外するものではなく、その逆もまた同様である。本発明は、いくつかの別個の要素を含むハードウェアによって、及び適切にプログラムされたコンピュータによって実施することができる。幾つかの手段を列挙する装置クレームにおいては、これらの手段の幾つかは、一つの同一のハードウェアアイテムによって具体化することができる。特定の措置が相互に異なる従属クレームに記載されているという単なる事実は、これらの措置の組み合わせが有利に利用できないことを示すものではない。

【符号の説明】

【0360】

１００ ブロックチェーンネットワーク
１０２ ノード
１０６ パス

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】

【図13】

【図14】

【図15】

【図16】

【図17】

【図18】

【図19】

【図20】

【図21】

【図22】

【図23】

【図24】

【図25】

【図26】

【図27】

【図28】

【図29】

【図30】

【図31】

【図32】

【図33】

【図34】

【図35】

【図36】

【図37】

【外国語明細書】