JP7600217B2 - ブロックチェーン上のプログラムの格納 - Google Patents

Description

本開示は、ブロックチェーンのトランザクションに実行可能プログラムを格納するための、及びそのようなプログラムを開始するための、ファイルフォーマットに関する。

ブロックチェーンとは、分散型データ構造の形式を指し、ブロックチェーンの複製のコピーは、ピアツーピア(peer-to-peer (P２P))ネットワーク内の複数のノードのそれぞれにおいて維持される。ブロックチェーンは、データのブロックのチェーンを含み、各ブロックは１つ以上のトランザクションを含む。各トランザクションは、１つ以上のブロックに渡り得るシーケンスの中の先行するトランザクションを指してよい。トランザクションは、新しいブロックに含まれるようネットワークへ提出され得る。新しいブロックは、「マイニング」として知られる処理により生成される。「マイニング」は、複数のマイニングノードの各々が「proof-of-work」を実行するために競争する、つまりブロックに含まれることを待っている保留中のトランザクションのプールに基づき、暗号パズルを解くことを含む。

ネットワーク内の各ノードは、転送、マイニング、及び記憶のうちの任意の１、２、又は３つ全部の役割を有することができる。転送ノードは、ネットワークのノードを通じてトランザクションを伝播させる。マイニングノードは、トランザクションのマイニングを実行してブロックにする。記憶ノードは、それぞれ、ブロックチェーンのマイニングされたブロックの彼ら自身のコピーを格納する。トランザクションをブロックチェーンに記録させるために、パーティは、該トランザクションを、伝播させるようにネットワークのノードのうちの１つへ送信する。トランザクションを受信したマイニングノードは、トランザクションをマイニングして新しいブロックにするよう競争してよい。各ノードは、トランザクションが有効であるための１つ以上の条件を含む同じノードプロトコルに関するよう構成される。無効なトランザクションは、伝播されず、マイニングされてブロックにされることもない。トランザクションが検証され、それによってブロックチェーンに受け入れられたと仮定すると、（任意のユーザデータを含む）トランザクションは、従って、不変の公開レコードとしてP２Pネットワークの各ノードに格納されたままである。

最新のブロックを生成するためにproof-of-workパズルを解くことに成功したマイナーは、標準的に、デジタルアセットの新しい額を生成する「生成トランザクション（generation transaction）」と呼ばれる新しいトランザクションにより報酬を受ける。proof-of-workは、ブロックをマイニングするために膨大な量の計算リソースを必要とするので、及び二重支払いの企てを含むブロックは他のノードにより受け入れられない可能性があるので、マイナーが、彼らのブロックに二重支払いトランザクションを含めることによりシステムを騙さないことを奨励する。

「アウトプットに基づく」モデル（UTXOに基づくモデルと呼ばれることもある）では、所与のトランザクションのデータ構造は、１つ以上のインプット及び１つ以上のアウトプットを含む。任意の使用可能アウトプットは、時にUTXO（「unspent transaction output（未使用トランザクションアウトプット）」）と呼ばれる、デジタルアセットの額を指定する要素を含む。アウトプットは、アウトプットを償還（redeem）するための条件を指定するロックスクリプトを更に含んでよい。各インプットは、先行するトランザクション内のそのようなアウトプットへのポインタを含み、ポイントされたアウトプットのロックスクリプトをアンロックするためのアンロックスクリプトを更に含んでよい。従って、トランザクションのペアを考えるとき、それらを、第１トランザクション及び第２トランザクション（又は「ターゲット」トランザクション）と呼ぶ。第１トランザクションは、デジタルアセットの額を指定する、及びアウトプットをアンロックする１つ以上の条件を定義するロックスクリプトを含む、少なくとも１つのアウトプットを含む。第２のターゲットトランザクションは、第１トランザクションのアウトプットへのポインタと、第１トランザクションのアウトプットをアンロックするためのアンロックスクリプトと、を含む少なくとも１つのインプットを含む。

このようなモデルでは、第２のターゲットトランザクションが、伝搬されてブロックチェーンに記録されるようP２Pネットワークへ送信されると、各ノードにおいて適用される有効性のための基準のうちの１つは、アンロックスクリプトが第１トランザクションのロックスクリプト内で定義された１つ以上の条件のうちの全部を満たすことである。もう１つは、第１トランザクションのアウトプットが、別の前の有効なトランザクションによって未だ償還されていないことである。これらの条件のうちのいずれかに従いターゲットトランザクションが無効であると分かった任意のノードは、該トランザクションを伝搬させず、ブロックチェーンに記録させるためにマイニングしてブロックに含めることもしない。

トランザクションモデルの代替のタイプは、アカウントに基づくモデルである。この場合、各トランザクションは、過去の一連のトランザクションにおいて、先行するトランザクションのUTXOに戻って参照することによって移転される量を定義するのではなく、絶対的な口座（アカウント）残高を参照することによって移転される。全てのアカウントの現在の状態は、ブロックチェーンとは別個のマイナーによって格納され、絶えず更新される。

従来、ブロックチェーン内のトランザクションは、デジタルアセット、すなわち、価値のストアとして機能するデータを伝達するために使用される。しかし、ブロックチェーンの上に追加の機能を積み重ねるために、ブロックチェーンを利用することもできる。例えば、ブロックチェーンプロトコルは、トランザクション内の追加ペイロードデータ（つまり、ユーザデータ、又はアプリケーションコンテンツであり、トランザクションがブロックチェーンネットワーク上のトランザクションとしてどのように動作するかに基本的に関連するデータとは対照的である）の記憶を可能にする。例えば、そのようなペイロードデータは、例えばブロックチェーンネットワークのノードにおいて実行するときロックスクリプトを終了し、従って別のトランザクションのインプットとの取引の観点からアウトプットを機能させなくする、ロックスクリプトに含まれるOP_RETURNオペコードにより、アウトプットに基づくモデルにおけるトランザクションの使用不可能アウトプットを含んでよい。現代のブロックチェーンは、単一トランザクション内に格納できる最大データ容量を増加させ、より複雑なデータを組み込むことを可能にしている。例えば、これは、ブロックチェーン上の電子ドキュメント（electronic document）、或いはオーディオ若しくはビデオデータをも格納するために使用され得る。

トランザクションのペイロードには実行可能コードの小さなブロックが含まれることも知られている。つまり、アウトプットに基づくモデルにおけるロック及びアンロックスクリプト以外の、又はアカウントに基づくモデルにおけるスマートコントラクトの動作部分以外の、コードである。実行可能コードは、代わりに、何らかの他の２次的又は「レイヤ２」（つまり、アプリケーションレベル）機能を有する。言い換えると、ブロックチェーンネットワークにより利用されるトランザクションプロトコルの観点から、実行可能コードは、任意の他のペイロードデータと全く同じである。クライアントは、ブロックチェーンネットワークの記憶ノードのうちの１つに格納されたブロックチェーンの部分を検査すること、及び関連トランザクションのペイロードからコードにアクセスすることにより、コードをダウンロードできる。コードは、次に、クライアントコンピュータ上でローカルに実行できる。

しかしながら、トランザクションのペイロードに実行可能コードの小さなブロックが含まれることが知られているが、ブロックチェーン上に自己完結型プログラムを含めることは従来知られていない。

ブロックチェーンは、データの記憶、アクセス、及び分配に革新を起こす可能性により、従来のデータベースサーバに代わる非集中型の耐タンパー性を提供する。しかしながら、ブロックチェーンは、その揺籃期により、基礎技術の広範な知識を有しないでアプリケーション及びソフトウェアを容易に構築するための標準化されたアーキテクチャ及びネットワークプロトコルが欠如している。ブロックチェーンが、インターネットと同じくらい基本的なインフラストラクチャになるところに達するために、ユーザ及びソフトウェアの両者によりブロックチェーン上に格納されたデータにアクセスするための簡単に使用できるプロトコルを開発することが必須である。

以下は、広範なブロックチェーンに対応したアプリケーションを標準化するために適するファイルフォーマットを開示する。本開示は、許可されたアクセスにより個々のコンピュータ上で実行されるようローカルに再構成可能な、ブロックチェーン上の実行可能ソフトウェア（つまり実行可能コード）を格納する手段を確立する。これは、ローカルに又は仮想マシン上で実行可能な、ブロックチェーン上に格納されたファイルのための、新規なブロックチェーンに基づくファイルフォーマットを導入する。

本願明細書に開示される１つの態様によると、プログラムを実行する方法が提供される。前記方法は、消費者パーティのコンピュータ機器により実行される以下のステップを含む。先ず、前記方法は、ブロックチェーンネットワークの複数のノードに渡り維持されるブロックチェーンに記録された第１トランザクションからヘッダファイルを読み出すステップを含む。前記ヘッダファイルは、プログラムヘッダ情報と、前記ブロックチェーンに格納された１つ以上のそれぞれの第２トランザクションの１つ以上のそれぞれのトランザクションIDを含む参照情報と、を含む。前記第２トランザクションの各々は、前記プログラムファイルの本体のそれぞれのセクションを含み、前記セクションのうちの少なくとも１つは実行下のプログラムコードを含む。前記方法は、次に、前記ブロックチェーンから、前記参照情報に基づき前記１つ以上の第２トランザクションのうちの少なくとも１つから、前記プログラムファイルのそれぞれのセクションを読み出すステップと、前記プログラムヘッダ情報と前記少なくとも１つの読み出したセクションとを含むプログラムを実行するステップと、を含む。

実施形態では、前記ファイルを実行可能な者に対する制御を可能にするために、前記ファイルを格納するトランザクション又は前記ファイル自体のいずれかに、許可が符号化できる。

実施形態は、前記ブロックチェーンへのアクセスを高級プログラミング言語に統合して、ローカルソフトウェアと前記ブロックチェーンとの相互作用を実現してもよい。ブロックチェーンハイパーテキストドキュメントの中でトランザクションハイパーリンクにより参照されるデータにアクセスするために、要求－応答プロトコルが提供されてよい。例えば、要求－応答プロトコルは、OP_RETURNフラグにより要求を行うために、ハイパーテキストに対応したウォレットにより実現されてよい。

本開示は、例示的なシステムアーキテクチャ及びコンピュータアーキテクチャ、並びに、コンピュータハードウェアおよびソフトウェアのコンポーネントがどのように開示の技術を実施する際に相互作用するかも議論する。

本開示の実施形態の理解を助け、そのような実施形態がどのように実施され得るかを示すために、例としてのみ、以下の添付の図面を参照する。
ブロックチェーンを実装するためのシステムの概略ブロック図である。 ブロックチェーンに記録されるトランザクションの幾つかの例を概略的に示している。 プログラムを格納するための例示的なトランザクションセットの概略ブロック図である。 クライアントアプリケーションの概略ブロック図である。 本願明細書の実施形態によるブロックチェーンに基づくファイルフォーマットを概略的に示す。 本開示の技術を実施する例示的なコンピュータアーキテクチャの概略ブロック図である。 本願明細書に開示される実施形態による実行可能プログラムファイルにアクセスし及び再構成する例示的な処理を示す。 本願明細書に開示される実施形態による実行可能プログラムファイルにアクセスし及び再構成する例示的な処理を示す。

＜例示的なシステムの概要＞
図１は、ブロックチェーン１５０を実装するための例示的なシステム１００を示す。システム１００は、典型的にはインターネットのような広域インターネットワークであるパケット交換ネットワーク１０１を含む。パケット交換ネットワーク１０１は、パケット交換ネットワーク１０１内にピアツーピア(P２P)オーバレイネットワーク１０６を形成するように配置された複数のノード１０４を含む。各ノード１０４は、異なるピアに属する異なるノード１０４を有するピアのコンピュータ装置を含む。各ノード１０４は、１つ以上のプロセッサ、例えば、１つ以上の中央処理装置（ＣＰＵ）、アクセラレータプロセッサ、特定用途向けプロセッサ、及び/又はフィールドプログラマブルゲートアレイ（ＦＰＧＡ）を含む処理装置を含む。各ノードはまた、メモリ、すなわち、１つ以上の非一時的コンピュータ読取可能媒体の形態のコンピュータ読取可能記憶装置を備える。メモリは、１つ以上のメモリ媒体、例えば、ハードディスクなどの磁気媒体、固体ドライブ（solid-state drive (SSD)）、フラッシュメモリ又はEEPROMなどの電子媒体、及び/又は光ディスクドライブなどの光学的媒体を使用する１つ以上のメモリユニットを含んでもよい。

ブロックチェーン１５０は、データのブロック１５１のチェーンを指し、ブロックチェーン１５０のそれぞれのコピーは、ピアツーピア(peer-to-peer (P２P))ネットワーク１６０内の複数のノードのそれぞれにおいて維持される。チェーン内の各ブロック１５１は、１つ以上のトランザクション１５２を含み、この文脈ではトランザクションは、一種のデータ構造を参照する。データ構造の性質は、トランザクションモデル又はスキームの一部として使用されるトランザクションプロトコルのタイプに依存する。所与のブロックチェーンは、典型的には、全体を通して、１つの特定のトランザクションプロトコルを使用する。１つの一般的なタイプのトランザクションプロトコルでは、各トランザクション１５２のデータ構造は、少なくとも１つのインプット及び少なくとも１つのアウトプットを含む。各アウトプットは、そのアウトプットが暗号的にロックされている(アンロックされ、それによって償還又は使用されるために、そのユーザ１０３の署名を必要とする)ユーザに属するデジタルアセットの数量を表す額（amount）を指定する。各インプットは、先行するトランザクション１５２のアウトプットを逆にポイントし、それによってトランザクションをリンクする。

ノード１０４の少なくとも幾つかは、トランザクション１５２を転送し、それによって伝播する転送ノード１０４Fの役割を引き受ける。ノード１０４の少なくともいくつかは、ブロック１５１をマイニングするマイナー１０４Mの役割を担う。ノード１０４の少なくとも幾つかは、記憶ノード１０４S（「フルコピー（full-copy）」ノードとも呼ばれる）の役割を引き受け、各ノードは、それぞれのメモリに同じブロックチェーン１５０のそれぞれのコピーを格納する。各マイナーノード１０４Mは、マイニングされてブロック１５１にされることを待ってるトランザクション１５２のプール１５４も維持する。所与のノード１０４は、転送ノード１０４、マイナー１０４M、記憶ノード１０４S、又はこれらの２つ若しくは全部の任意の組み合わせであり得る。

所与の現在のトランザクション１５２jにおいて、インプット（又はそのそれぞれ）は、トランザクションのシーケンスの中の先行トランザクション１５２iのアウトプットを参照するポインタを含み、このアウトプットが現在のトランザクション１５２jにおいて償還されるか又は「消費される（spent）」ことを指定する。一般に、先行するトランザクションは、プール１５４又は任意のブロック１５１内の任意のトランザクションであり得る。先行するトランザクション１５２iは、必ずしも、現在のトランザクション１５２jが生成された又はネットワーク１０６へ送信されたときに存在する必要はないが、先行するトランザクション１５２iは、現在のトランザクションが有効であるために存在し検証されている必要がある。従って、本願明細書で「先行する」は、ポインタによりリンクされた論理的シーケンスの中で先行するものを表し、必ずしも時系列の中での生成又は送信の時間を表さない。従って、それは、必ずしも、トランザクション１５２i,１５２jが順不同で生成され又は送信されることを排除しない（以下の親のない（orphan）トランザクションに関する議論を参照する）。先行するトランザクション１５２iは、等しく、祖先（antecedent）又は先行（predecessor）トランザクションと呼ばれ得る。

現在のトランザクション１５２jのインプットは、先行するトランザクション１５２iのアウトプットがロックされているユーザ１０３aの署名も含む。また、現在のトランザクション１５２jのアウトプットは、新しいユーザ１０３bに暗号的にロックできる。従って、現在のトランザクション１５２jは、先行するトランザクション１５２iのインプットで定義された量を、現在のトランザクション１５２jのアウトプットで定義された新しいユーザ１０３bに移転することができる。幾つかの場合には、トランザクション１５２が複数のアウトプットを有し、複数のユーザ間でインプット量を分割してよい(変更を行うために、そのうちの１人がオリジナルユーザとなる)。幾つかの場合には、トランザクションが複数のインプットを有し、１つ以上の先行するトランザクションの複数のアウトプットから量をまとめ、現在のトランザクションの１つ以上のアウトプットに再分配することもできる。

上記は「アウトプットベースの」トランザクションプロトコルと呼ばれることがあり、時には「未使用のトランザクションアウトプット(unspent transaction output (UTXO))タイプのプロトコル」(アウトプットはUTXOと呼ばれる)とも呼ばれる。ユーザの合計残高は、ブロックチェーンに格納されている１つの数値で定義されるのではなく、代わりに、ユーザは、ブロックチェーン１５１内の多くの異なるトランザクション１５２に分散されている該ユーザの全てのUTXOの値を照合するために、特別な「ウォレット」アプリケーション１０５を必要とする。

アカウントベースのトランザクションモデルの一部として、別のタイプのトランザクションプロトコルを「アカウントベース」のプロトコルと呼ぶことがある。アカウントベースの場合、各トランザクションは、過去の一連のトランザクションにおいて、先行するトランザクションのUTXOに戻って参照することによって移転される量を定義するのではなく、絶対的な口座（アカウント）残高を参照することによって移転される。全てのアカウントの現在の状態は、ブロックチェーンとは別個のマイナーによって格納され、絶えず更新される。このようなシステムでは、トランザクションは、アカウントの連続したトランザクション記録(いわゆる「ポジション」)を用いて発注される。この値は、送信者により彼らの暗号署名の一部として署名され、トランザクション参照計算の一部としてハッシュされる。さらに、任意的なデータフィールドもトランザクションに署名することができる。このデータフィールドは、例えば、前のトランザクションIDがデータフィールドに含まれている場合、前のトランザクションを遡ってポイントしてよい。

どちらのタイプのトランザクションプロトコルでも、ユーザ１０３が新しいトランザクション１５２jを実行したい場合、ユーザは、自分のコンピュータ端末１０２からP２Pネットワーク１０６のノードの１つ１０４(現在は、通常、サーバ又はデータセンタであるが、原則として、他のユーザ端末でもよい)に新しいトランザクションを送信する。このノード１０４は、各ノード１０４に適用されるノードプロトコルに従って、トランザクションが有効であるかどうかをチェックする。ノードプロトコルの詳細は、問題のブロックチェーン１５０で使用されているトランザクションプロトコルのタイプに対応し、全体のトランザクションモデルを一緒に形成する。ノードプロトコルは、典型的には、ノード１０４に、新しいトランザクション１５２j内の暗号署名が、トランザクション１５２の順序付けされたシーケンスの中の前のトランザクション１５２iに依存する、期待される署名と一致することをチェックすることを要求する。アウトプットベースの場合、これは、新しいトランザクション１５２jのインプットに含まれるユーザの暗号署名が、新しいトランザクションが消費する先行するトランザクション１５２jのアウトプットに定義された条件と一致することをチェックすることを含んでよく、この条件は、典型的には、新しいトランザクション１５２jのインプット内の暗号署名が、新しいトランザクションのインプットがポイントする前のトランザクション１５２iのアウトプットをアンロックすることを少なくともチェックすることを含む。幾つかのトランザクションプロトコルでは、条件は、少なくとも部分的に、インプット及び/又はアウトプットに含まれるカスタムスクリプトによって定義されてもよい。或いは、単にノードプロトコルだけで固定することもできるし、或いは、これらの組み合わせによることもある。いずれにせよ、新しいトランザクション１５２jが有効であれば、現在のノードは新しいトランザクションをP２Pネットワーク１０６内のノード１０４の１つ以上の他のノードに転送する。これらのノード１０４の少なくともいくつかは、同じノードプロトコルに従って同じテストを適用し、新しいトランザクション１５２jを１つ以上のさらなるノード１０４に転送するなど、転送ノード１０４Fとしても機能する。このようにして、新しいトランザクションは、ノード１０４のネットワーク全体に伝播される。

アウトプットベースのモデルでは、与えられたアウトプット(例えば、UTXO)が消費されるかどうかの定義は、ノードプロトコルに従って別の今後の（onward）トランザクション１５２jのインプットによって既に有効に償還されているかどうかである。トランザクションが有効であるための別の条件は、それが消費又は償還を試みる先行するトランザクション１５２iのアウトプットが、別の有効なトランザクションによって未だ消費/償還されていないことである。ここでも、有効でない場合、トランザクション１５２jは、ブロックチェーンに伝播又は記録されない。これは、支払者が同じトランザクションのアウトプットを複数回消費しようとする二重支出を防ぐ。一方、アカウントベースのモデルは、口座残高を維持することによって、二重支出を防ぐ。この場合も、トランザクションの順序が定義されているため、口座残高は、一度に単一の定義された状態を有する。

検証に加えて、ノード１０４Mのうちの少なくともいくつかは、「proof of work」に支えられているマイニングと呼ばれるプロセスで、トランザクションのブロックを最初に作成するために競合する。マイニングノード１０４Mでは、まだブロックに現れていない有効なトランザクションのプールに新しいトランザクションが追加される。そして、マイナーは、暗号パズルを解決しようと試みることにより、トランザクションのプール１５４からトランザクション１５２の新しい有効なブロック１５１を組み立てるために競争する。これは、典型的には、ノンスがトランザクションのプール１５４と連結され、ハッシュされるときに、ハッシュのアウトプットが所定の条件を満たすような「ノンス」値を探すことを含む。例えば、所定の条件は、ハッシュのアウトプットが、所定の数の先行ゼロを有することであってもよい。ハッシュ関数の特性は、インプットに関して予測不可能なアウトプットを持つことである。従って、この探索は、ブルートフォースによってのみ実行することができ、従って、パズルを解決しようとしている各ノード１０４Mにおいて、相当量の処理リソースを消費する。

パズルを解く最初のマイナーノード１０４Mは、これをネットワーク１０６に通知し、その解を証明として提供する。この解は、ネットワーク内の他のノード１０４によって簡単にチェックすることができる(ハッシュが対する解が与えられれば、ハッシュのアウトプットが条件を満たすことを確認することは簡単である)。勝者がパズルを解いたトランザクションのプール１５４は、各ノードで勝者が発表した解をチェックしたことに基づいて、記憶ノード１０４Sとして機能するノード１０４のうちの少なくともいくつかによってブロックチェーン１５０の新しいブロック１５１として記録される。また、新しいブロック１５１nにはブロックポインタ１５５が割り当てられ、チェーン内で前に作成されたブロック１５１n-１を指すようになっている。proof-of-workは、新しいブロックを１５１作成するのに多大な労力を要し、二重の支出を含むブロックは他のノード１０４によって拒否される可能性が高く、従ってマイニングノード１０４Mが二重支払いを彼らのブロックに含まないようにする動機が働くので、二重の支出のリスクを減じるのを助ける。一旦生成されると、ブロック１５１は、同じプロトコルに従ってP２Pネットワーク１０６内の各格納ノード１０４Siで認識され、維持されるため、変更することはできない。また、ブロックポインタ１５５は、ブロック１５１に順序を課す。トランザクション１５２は、P２Pネットワーク１０６内の各記憶ノード１０４Sで順序付けられたブロックに記録されるので、これはトランザクションの不変の公開台帳を提供する。

パズルを解決するために常に競争している異なるマイナー１０４Mは、いつ解を探し始めたかによって、いつでもマイニングされていないトランザクションプール１５４の異なるスナップショットに基づいてパズルを解いているかもしれないことに留意する。パズルを解く者は誰でも、最初に次の新しいブロック１５１nに含まれるトランザクション１５２を定義し、現在のマイニングされていないトランザクションのプール１５４が更新される。そして、マイナー１０４Mは、新たに定義された未解決のプール１５４からブロックを作り出すために、競争を続ける。また、生じ得る「分岐（フォーク、fork）」を解決するためのプロトコルも存在する。これは、２人のマイナー１０４Mが互いに非常に短い時間内にパズルを解決し、ブロックチェーンの矛盾したビューが伝播する場合である。要するに、分岐の枝が伸びるときは常に、最長のものが最終的なブロックチェーン１５０になる。

ほとんどのブロックチェーンでは、勝ったマイナー１０４Mは、何も無いものから新しい量のデジタルアセットを生み出す特別な種類の新しいトランザクションによって自動的に報酬を受けている(通常のトランザクションでは、あるユーザから別のユーザにデジタルアセットの量を移転する)。したがって、勝ったノードは、ある量のデジタルアセットを「マイニング」したと言える。この特殊なタイプのトランザクションは「生成（generation）」トランザクションと呼ばれることもある。それは自動的に新しいブロック１５１nの一部を形成する。この報酬は、マイナー１０４Mがproof-of-work競争に参加する動機を与える。多くの場合、通常の（非生成）トランザクションは、そのトランザクションが含まれたブロック１５１nを生成した勝ったマイナー１０４Mにさらに報酬を与えるために、追加のトランザクション手数料をそのアウトプットの１つにおいて指定する。

マイニングに含まれる計算リソースのために、典型的には、少なくともマイナーノード１０４Mの各々は、１つ以上の物理的サーバユニットを含むサーバ、又はデータセンタ全体の形態をとる。各転送ノード１０４M及び/又は記憶ノード１０４Sは、サーバ又はデータセンタの形態をとることもできる。しかしながら、原則として、任意の所与のノード１０４は、ユーザ端末又は互いにネットワーク接続されたユーザ端末のグループを含むことができる。

各ノード１０４のメモリは、それぞれの１つ以上の役割を実行し、ノードプロトコルに従ってトランザクション１５２を処理するために、ノード１０４の処理装置上で動作するように構成されたソフトウェアを記憶する。ノード１０４に属するいずれの動作も、それぞれのコンピュータ装置の処理装置上で実行されるソフトウェアによって実行され得ることが理解されよう。ノードソフトウェアは、アプリケーションレイヤにおける１つ以上のアプリケーション、又はオペレーティングシステムレイヤ若しくはプロトコルレイヤのような下位レイヤ、又はこれらの任意の組合せの中に実装されてよい。また、本明細書で使用される「ブロックチェーン」という用語は、一般的な技術の種類を指す一般的な用語であり、任意の特定の専有のブロックチェーン、プロトコル又はサービスに限定されない。

また、ネットワーク１０１には、消費者ユーザの役割を果たす複数のパーティ１０３の各々のコンピュータ装置１０２も接続されている。これらは、トランザクションにおける支払人及び被支払人の役割を果たすが、他のパーティの代わりにトランザクションをマイニングし又は伝播することに必ずしも参加しない。それらは必ずしもマイニングプロトコルを実行するわけではない。２つのパーティ１０３及びそれぞれの機器１０２が説明のために示されており、第１パーティ１０３ａ及びそのそれぞれのコンピュータ機器１０２a、幾つかの第２パーティ１０３ｂ及びそのそれぞれのコンピュータ機器１０２bである。より多くのこのようなパーティ１０３及びそれらのそれぞれのコンピュータ機器１０２がシステムに存在し、参加することができるが、便宜上、それらは図示されていないことが理解されよう。各パーティ１０３は、個人又は組織であってもよい。純粋に例示として、第１パーティ１０３ａは、本明細書においてAliceと称され、第２パーティ１０３ｂは、Bobと称されるが、これは限定的なものではなく、本明細書においてAlice又はBobという言及は、それぞれ「第１パーティ」及び「第２パーティ」と置き換えることができることは理解されるであろう。

各パーティ１０３のコンピュータ機器１０２は、１つ以上のプロセッサ、例えば１つ以上のCPU、GPU、他のアクセラレータプロセッサ、特定用途向けプロセッサ、及び/又はFPGAを備えるそれぞれの処理装置を備える。各パーティ１０３のコンピュータ機器１０２は、さらに、メモリ、すなわち、非一時的コンピュータ読取可能媒体又は媒体の形態のコンピュータ読取可能記憶装置を備える。このメモリは、例えば、ハードディスクなどの磁気媒体、ＳＳＤ、フラッシュメモリ又はEEPROMなどの電子媒体、及び/又は光ディスクドライブなどの光学的媒体を使用する１つ以上のメモリユニットを含んでもよい。各パーティ１０３のコンピュータ機器１０２上のメモリは、処理装置上で動作するように配置された少なくとも１つのクライアントアプリケーション１０５のそれぞれのインスタンスを含むソフトウェアを記憶する。所与のノード１０４に属するいずれの動作も、それぞれのコンピュータ機器１０２の処理装置上で実行されるソフトウェアを使用することにより実行され得ることが理解されよう。各パーティ１０３のコンピュータ機器１０２は、少なくとも１つのユーザ端末、例えばデスクトップ又はラップトップコンピュータ、タブレット、スマートフォン、又はスマートウォッチのようなウェアラブルデバイスを備えている。所与のパーティ１０３のコンピュータ装置１０２は、ユーザ端末を介してアクセスされるクラウドコンピューティングリソースのような、１つ以上の他のネットワーク接続されたリソースを含んでもよい。

クライアントアプリケーション１０５は、最初に、１つ以上の適切なコンピュータ読取可能な記憶媒体、例えばサーバからダウンロードされたもの、又はリムーバブルSSD、フラッシュメモリキー、リムーバブルEEPROM、リムーバブル磁気ディスクドライブ、磁気フロッピーディスク又はテープ、光ディスク、例えばCD又はDVD ROM、又はリムーバブル光学ドライブなどのリムーバブル記憶装置上で、任意の所与のパーティ１０３のコンピュータ機器１０２に提供され得る。

クライアントアプリケーション１０５は、少なくとも「ウォレット」機能を備える。これには主に２つの機能を有する。これらのうちの１つは、それぞれのユーザパーティ１０３が、ノード１０４のネットワーク全体にわたって伝播され、それによってブロックチェーン１５０に含まれるトランザクション１５２を作成し、署名し、送信することを可能にすることである。もう１つは、現在所有しているデジタルアセットの量をそれぞれのパーティに報告することである。アウトプットベースのシステムでは、この第２の機能は、当該パーティに属するブロックチェーン１５０全体に散在する様々なトランザクション１５２のアウトプットの中で定義される量を照合することを含む。

注：種々のクライアント機能が所与のクライアントアプリケーション１０５に統合されるとして説明されることがあるが、これは、必ずしも限定的ではなく、代わりに、本願明細書に記載される任意のクライアント機能が２つ以上の異なるアプリケーションのスーツに実装されてよく、例えばAPIを介してインタフェースし、又は一方が他方へのプラグインである。より一般的には、クライアント機能は、アプリケーションレイヤ、又はオペレーティングシステムのような下位レイヤ、又はこれらの任意の組合せにおいて実装され得る。以下は、クライアントアプリケーション１０５の観点で説明されるが、これは限定的ではないことが理解される。

各コンピュータ機器１０２上のクライアントアプリケーション又はソフトウェア１０５のインスタンスは、P２Pネットワーク１０６の転送ノード１０４Fの少なくとも１つに動作可能に結合される。これにより、クライアント１０５のウォレット機能は、トランザクション１５２をネットワーク１０６に送信することができる。クライアント１０５は、また、記憶ノード１０４のうちの１つ、一部、又は全部にコンタクトして、それぞれのパーティ１０３が受領者である任意のトランザクションについてブロックチェーン１５０に問い合わせることができる(又は、実施形態では、ブロックチェーン１５０は、部分的にその公開視認性を通じてトランザクションの信頼を提供する公開的設備であるため、実際には、ブロックチェーン１５０内の他のパーティのトランザクションを検査する)。各コンピュータ機器１０２上のウォレット機能は、トランザクションプロトコルに従ってトランザクション１５２を形成し、送信するように構成される。各ノード１０４は、ノードプロトコルに従ってトランザクション１５２を検証するように構成されたソフトウェアを実行し、転送ノード１０４Fの場合は、ネットワーク１０６全体にトランザクション１５２を伝搬させるためにトランザクション１５２を転送する。トランザクションプロトコルとノードプロトコルは互いに対応し、所与のトランザクションプロトコルは所与のノードプロトコルと共に所与のトランザクションモデルを実装する。同じトランザクションプロトコルが、ブロックチェーン１５０内の全てのトランザクション１５２に使用される(ただし、トランザクションプロトコルは、トランザクションの異なるサブタイプを許可することができる)。同じノードプロトコルは、ネットワーク１０６内の全てのノード１０４によって使用される(ただし、多くのノードは、そのサブタイプに対して定義されたルールに従って異なるトランザクションのサブタイプを異なるように処理し、また、異なるノードは異なる役割を引き受け、従って、プロトコルの異なる対応する側面を実装することができる)。

上述のように、ブロックチェーン１５０は、ブロック１５１のチェーンを含み、各ブロック１５１は、前述のように、proof-of-workプロセスによって作成された１つ以上のトランザクション１５２のセットを含む。各ブロック１５１は、また、ブロック１５１への逐次的順序を定義するように、チェーン内の先に生成されたブロック１５１を遡ってポイントするブロックポインタ１５５を含む。ブロックチェーン１５０はまた、proof-of-workプロセスによって新しいブロックに含まれることを待つ有効なトランザクション１５４のプールを含む。各トランザクション１５２（生成トランザクション以外）は、トランザクションのシーケンスに順序を定義するために、前のトランザクションへのポインタを含む(注：トランザクション１５２のシーケンスは、分岐することが許される)。ブロック１５１のチェーンは、チェーンの最初のブロックであったジェネシスブロック（genesis block (Gb)）１５３にまで戻る。チェーン１５０の初期に１つ以上のオリジナルトランザクション１５２は、先行するトランザクションではなくジェネシスブロック１５３を指し示した。

所与のパーティ１０３、例えばAliceがブロックチェーン１５０に含まれる新たなトランザクション１５２jを送信したいと望む場合、彼女は関連するトランザクションプロトコルに従って(彼女のクライアントアプリケーション１０５のウォレット機能を使用して)新たなトランザクションを定式化する（formulate）。次に、クライアントアプリケーション１０５からトランザクション１５２を、彼女が接続されている１つ以上の転送ノード１０４Fの１つに送信する。例えば、これは、Aliceのコンピュータ１０２に最も近いか又は最も良好に接続されている転送ノード１０４Fであってもよい。任意の所与のノード１０４が新しいトランザクション１５２jを受信すると、ノードプロトコル及びそのそれぞれの役割に従って、それを処理する。これは、最初に、新たに受信されたトランザクション１５２jが「有効」であるための特定の条件を満たしているかどうかをチェックすることを含み、その例については、簡単に詳述する。幾つかのトランザクションプロトコルでは、検証のための条件は、トランザクション１５２に含まれるスクリプトによってトランザクションごとに構成可能であってよい。或いは、条件は単にノードプロトコルの組み込み機能であってもよく、或いはスクリプトとノードプロトコルの組み合わせによって定義されてもよい。

新たに受信されたトランザクション１５２jが、有効であると見なされるテストに合格したという条件で(すなわち、「有効である」という条件で)、トランザクション１５２jを受信した任意の記憶ノード１０４Sは、そのノード１０４Sに維持されているブロックチェーン１５０のコピー内のプール１５４に、新たに有効とされたトランザクション１５２を追加する。さらに、トランザクション１５２jを受信する任意の転送ノード１０４Fは、検証済みトランザクション１５２をP２Pネットワーク１０６内の１つ以上の他のノード１０４に伝播する。各転送ノード１０４Fは同じプロトコルを適用するので、トランザクション１５２jが有効であると仮定すると、これは、P２Pネットワーク１０６全体に間もなく伝播されることを意味する。

ひとたび１つ以上の記憶ノード１０４で維持されるブロックチェーン１５０のコピー内のプール１５４に入ると、マイナーノード１０４Mは、新しいトランザクション１５２を含むプール１５４の最新バージョンのproof-of-workパズルを解決するために競争を開始する(他のマイナー１０４Mは、依然として、プール１５４の古いビューに基づいてパズルを解決しようとしているが、そこに到達した者は誰でも、最初に、次の新しいブロック１５１が終了し、新しいプール１５４が開始する場所を定義し、最終的には、誰かが、Aliceのトランザクション１５２jを含むプール１５４の一部のパズルを解決する)。一旦、新しいトランザクション１５２jを含むプール１５４についてproof-of-workが行われると、ブロックチェーン１５０内のブロック１５１の１つの一部となる。各トランザクション１５２は、以前のトランザクションへのポインタを含むので、トランザクションの順序もまた、不変的に記録される。

異なるノード１０４は、最初に所与のトランザクションの異なるインスタンスを受信する可能性があり、従って、１つのインスタンスがマイニングされてブロック１５０になる前に、どのインスタンスが「有効」であるかについて矛盾するビューを有することがあり、その時点で、全部のノード１０４は、マイニングされたインスタンスのみが有効なインスタンスであることに合意する。ノード１０４が１つのインスタンスを有効であるとして受け入れ、次に第２のインスタンスがブロックチェーン１５０に記録されていることを発見した場合、該ノード１０４は、これを受け入れなければならず、最初に受け入れた未だマイニングされていないインスタンスを破棄する（つまり、無効であるとして扱う）。

＜UTXOに基づくモデル＞
図２は、トランザクションプロトコルの例を示している。これは、UTXOベースのプロトコルの例である。トランザクション１５２(「Tx」と略す)は、ブロックチェーン１５０(各ブロック１５１は１つ以上のトランザクション１５２を含む)の基本的なデータ構造である。以下は、アウトプットベース又は「UTXO」ベースのプロトコルを参照して説明される。しかし、これは、全ての可能な実施形態に限定されるものではない。

UTXOベースのモデルでは、各トランザクション(「Tx」)１５２は、１つ以上のインプット２０２及び１つ以上のアウトプット２０３を含むデータ構造を含む。各アウトプット２０３は、未使用トランザクションアウトプット(UTXO)を含んでもよく、これは、別の新しいトランザクションのインプット２０２のソースとして使用することができる(UTXOが未だ償還されていない場合)。UTXOは、デジタルアセット（値のストア）の量を指定する。それは、情報の中でも特にその元となったトランザクションのトランザクションIDを含む。トランザクションデータ構造はまた、ヘッダ２０１も含んでよく、ヘッダ２０１は、インプットフィールド２０２及びアウトプットフィールド２０３のサイズの指示子を含んでもよいヘッダ２０１を含んでよい。ヘッダ２０１は、トランザクションのIDも含んでもよい。実施形態において、トランザクションIDは、トランザクションデータのハッシュ(トランザクションID自体を除く)であり、マイナー１０４Mに提出された未処理トランザクション１５２のヘッダ２０１に格納される。

例えばAlice１０３aは、問題のデジタルアセットの量をBob１０３bに移転するトランザクション１５２jを作成したいと考えているとする。図２において、Aliceの新しいトランザクション１５２jは「Tx_１」とラベル付けされている。これは、Aliceにロックされているデジタルアセットの量を、シーケンス内の先行するトランザクション１５２iのアウトプット２０３に取り入れ、その少なくとも一部をBobに移転する。先行するトランザクション１５２iは、図２において「Tx_０」とラベル付けされている。Tx０とTx１は、単なる任意のラベルである。これらは、必ずしも、Tx０がブロックチェーン１５１の最初のトランザクションであること、又は、Tx１がプール１５４の直ぐ次のトランザクションであることを意味しない。Tx_１は、まだAliceへのロックされた未使用アウトプット２０３を有する任意の先行する（つまり祖先）トランザクションのいずれかを指し示すことができる。

先行するトランザクションTx０は、Ａｌｉｃｅがその新しいトランザクションTx１を作成するとき、又は少なくとも彼女がそれをネットワーク１０６に送信するときまでに、既に検証され、ブロックチェーン１５０に含まれていてもよい。それは、その時点で既にブロック１５１のうちの１つに含まれていてもよく、或いは、プール１５４内でまだ待機していてもよく、その場合、新しいブロック１５１にすぐに含まれることになる。あるいは、Tx０及びTx１が生成されネットワーク１０２に送信されることができ、あるいは、ノードプロトコルが「孤児（orphan）」トランザクションのバッファリングを許容する場合にはTx１の後にTx０が送信されることもできる。ここでトランザクションのシーケンスの文脈で使用される「先行する」及び「後の」という用語は、トランザクション内で指定されたトランザクションポインタ(どのトランザクションがどの他のトランザクションを指すかなど)によって定義されるシーケンス内のトランザクションの順序を指す。それらは、「先行する」及び「相続する」又は「祖先」及び「子孫」、「親」及び「子」、等により、等しく置き換えられ得る。これは、必ずしも、それらが作成され、ネットワーク１０６に送られ、又は任意の所与のノード１０４に到達する順序を意味しない。それにもかかわらず、先行するトランザクション(祖先トランザクション又は「親」)を指す後続のトランザクション(子孫トランザクション又は「子」)は、親トランザクションが検証されない限り、検証されない。親の前にノード１０４に到着した子は孤児とみなされる。それは、ノードプロトコル及び/又はマイナーの行動に応じて、親を待つために特定の時間、破棄又はバッファリングされることがある。

先行するトランザクションTx０の１つ以上のアウトプット２０３のうちの１つは、本明細書でUTXO０とラベル付けされた特定のUTXOを含む。各UTXOは、UTXOによって表されるデジタルアセットの量を指定する値と、後続のトランザクションが検証されるために、従ってUTXOが正常に償還されるために、後続のトランザクションのインプット２０２の中のアンロックスクリプトによって満たされなければならない条件を定義するロックスクリプトとを含む。典型的には、ロックスクリプトは、特定のパーティ(それが含まれているトランザクションの受益者)に量をロックする。すなわち、ロックスクリプトは、標準的に以下のようなアンロック条件を定義する：後続のトランザクションのインプット内のアンロックスクリプトは、先行するトランザクションがロックされたパーティの暗号署名を含む。

ロックスクリプト(別名scriptPubKey)は、ノードプロトコルによって認識されるドメイン固有の言語で書かれたコードの一部である。そのような言語の特定の例は、「スクリプト」(Script，capital S)と呼ばれる。ロックスクリプトは、トランザクションアウトプット２０３を消費するために必要な情報、例えば、Aliceの署名の必要条件を指定する。トランザクションのアウトプットには、アンロックスクリプトが現れる。アンロックスクリプト(別名：scriptSig)は、ロックスクリプトの基準を満たすために必要な情報を提供するドメイン固有の言語で書かれたコードの一部である。例えば、Bobの署名を含んでもよい。アンロックスクリプトは、トランザクションのインプット２０２に現れる。

図示の例では、Tx_０のアウトプット２０３のUTXO_０は、ロックスクリプト[ChecksigP_A]を含み、これは、UTXO_０が償還されるために(厳密には、UTXO_０を償還しようとする後続のトランザクションが有効であるために)、Aliceの署名SigP_Aを必要とする。[ChecksigPA]は、Ａｌｉｃｅの公開鍵と秘密鍵のペアからの公開鍵PAを含む。Tx_１のインプット２０２は、Tx_１を指すポインタ(例えば、そのトランザクションID、実施形態ではトランザクションTx_０全体のハッシュであるTxID_０による)を含む。Tx_１のインプット２０２は、Tx_０の任意の他の可能なアウトプットの中でそれを識別するために、Tx_０内のUTXO_０を識別するインデックスを含む。Tx１のインプット２０２は、さらに、Ａｌｉｃｅが鍵ペアからのＡｌｉｃｅの秘密鍵をデータの所定の部分(暗号において「メッセージ」と呼ばれることもある)に適用することによって作成された、Ａｌｉｃｅの暗号署名を含むアンロックスクリプト<SigPA>を含む。有効な署名を提供するためにAliceが署名する必要があるデータ(又は「メッセージ」)は、ロックスクリプトにより、又はノードプロトコルにより、又はこれらの組み合わせによって定義され得る。

新しいトランザクションTx１がノード１０４に到着すると、ノードはノードプロトコルを適用する。これは、ロックスクリプトとアンロックスクリプトを一緒に実行して、アンロックスクリプトがロックスクリプトで定義されている条件(この条件は１つ以上の基準を含むことができる)を満たしているかどうかをチェックすることを含む。実施形態では、これは、２つのスクリプトの連結を含む。

ここで、「||」は連結を表し、「<...>」はスタックにデータを配置することを意味し、「[...]」はアンロックスクリプトに含まれる機能である（本例では、スタックベースの言語）。同等に、スクリプトは。、スクリプトを連結するのではなく共通のスタックにより１つずつ実行されてよい。いずれの方法でも、一緒に実行する場合、スクリプトは、Tx_０のアウトプット内のロックスクリプトに含まれるAliceの公開鍵P_Aを使用して、Tx_１のインプット内のロックスクリプトが、データの期待部分に署名するAliceの署名を含むことを認証する。また、データの期待部分(「メッセージ」)も、この認証を実行するためにTx０に含まれる必要がある。実施形態において、署名されたデータは、Tx０の全体を含む(従って、別個の要素は、データの署名された部分がすでに本質的に存在するので、データの署名された部分の指定にクリアに含まれる必要がある)。

公開－秘密暗号法による認証の詳細は、当業者には周知であろう。基本的に、Aliceが彼女の秘密鍵によりメッセージを暗号化することによってメッセージに署名した場合、Aliceの公開鍵とそのメッセージが明らか(暗号化されていないメッセージ)ならば、ノード１０４のような別のエンティティは、そのメッセージの暗号化されたバージョンがAliceによって署名されていなければならないことを認証することができる。署名は、典型的には、メッセージをハッシュし、ハッシュに署名し、署名としてメッセージのクリアなバージョンにこれをタグ付けすることによって、公開鍵の所有者が署名を認証することを可能にする。従って、実施形態では、特定のデータ片又はトランザクションの部分等に署名するという言及は、データ片又はトランザクションの部分のハッシュに署名することを意味し得る。

Tx_１内のアンロックスクリプトが、Tx_０のロックスクリプトで指定された１つ以上の条件を満たす場合(示される例では、Ａｌｉｃｅの署名がTx_１内で提供され、認証されている場合)、ノード１０４は、Tx_１が有効であるとみなす。それがマイニングノード１０４Mである場合、これは、proof-of-workを待つトランザクションのプール１５４にそれを追加することを意味する。それが転送ノード１０４Fである場合、それはトランザクションTx１をネットワーク１０６内の１つ以上の他のノード１０４に転送し、それによって、それがネットワーク全体に伝搬されることになる。一旦、Tx１が検証され、ブロックチェーン１５０に含まれると、これは、Tx０からのUTXO０を消費したものとして定義する。Tx１は、未使用トランザクションアウトプット２０３を使用する場合にのみ有効であることに留意されたい。別のトランザクション１５２によってすでに消費されたアウトプットを消費しようとする場合、Tx１は、たとえ他のすべての条件が満たされていても無効となる。従って、ノード１０４は、先行するトランザクションTx０において参照されたUTXOが既に使用されているかどうか(既に別の有効なトランザクションへの有効なインプットを形成しているかどうか)もチェックする必要がある。これが、ブロックチェーン１５０がトランザクション１５２に定義された順序を課すことが重要である理由の１つである。実際には、所与のノード１０４は、トランザクション１５２が消費されたUTXO２０３をマークする別個のデータベースを維持することができるが、最終的には、UTXOが消費されたかどうかを定義するのは、ブロックチェーン１５０内の別の有効なトランザクションへの有効なインプットを既に形成しているかどうかである。

所与のトランザクション１５２の全部のアウトプット２０３の中で指定された総量が全部のそのインプット２０２により指される総量より大きい場合、これは、殆どのトランザクションモデルにおいて無効の別の基礎である。従って、このようなトランザクションは、伝播されず、マイニングされてブロック１５１にされることもない。

UTXOベースのトランザクションモデルでは、所定のUTXOを全体として使用する必要があることに注意する。UTXOで定義されている量のうち、別の分量が消費されている一方で、分量を「残しておく」ことはできない。ただし、UTXOからの量は、次のトランザクションの複数のアウトプットに分割できる。例えば、Tx０のUTXO０で定義された量は、Tx１の複数のUTXOに分割できる。したがって、ＡｌｉｃｅがＢｏｂにUTXO０で定義された量のすべてを与えることを望まない場合、彼女は残りの量を使って、Tx１の第２のアウトプットの中で自分自身にお釣りを与えるか、又は別のパーティに支払うことができる。

実際には、Aliceは通常、勝ったマイナーのための手数料も含める必要がある。なぜなら、今日では、生成トランザクションの報酬だけでは、マイニングを動機付けるには通常十分ではないからである。Ａｌｉｃｅがマイナーのための手数料を含まない場合、Tx０はマイナーのノード１０４Mによって拒否される可能性が高く、したがって、技術的には有効であるが、それは依然として伝搬されず、ブロックチェーン１５０に含まれない（マイナーのプロトコルは、マイナーが望まない場合には、マイナー１０４Mにトランザクション１５２を受け入れるよう強制しない)。一部のプロトコルでは、マイニング料金は、独自の別個のアウトプット２０３を必要としない(すなわち、別個のUTXOを必要としない)。代わりに、インプット２０２によって指される総量と、所与のトランザクション１５２のアウトプット２０３の中で指定される総量との間の差は、勝ったマイナー１０４に自動的に与えられる。例えば、UTXO０へのポインタがTx１への唯一のインプットであり、Tx１は１つのアウトプットUTXO１しか持っていないとする。UTXO０で指定されたデジタルアセットの量がUTXO１で指定された量より多い場合、その差は自動的に勝ったマイナー１０４Mへ行く。しかし、代替的又は追加的に、必ずしも、トランザクション１５２のUTXO２０３のうちの独自のものにおいて、マイナー手数料を明示的に指定できることは除外されない。

Alice及びBobのデジタルアセットは、ブロックチェーン１５０内の任意のトランザクション１５２の中で彼らにロックされた未使用UTXOで構成されている。従って、典型的には、所与のパーティ１０３のアセットは、ブロックチェーン１５０を通して、様々なトランザクション１５２のUTXO全体に分散される。ブロックチェーン１５０内のどこにも、所与のパーティ１０３の総残高を定義する１つの数値は記憶されていない。各パーティへのロックされた、別の将来の（onward）トランザクションに未だ消費されていない全ての様々なUTXOの値をまとめることは、クライアントアプリケーション１０５におけるウォレット機能の役割である。これは、記憶ノード１０４Sのいずれかに記憶されたブロックチェーン１５０のコピーを、例えば、各パーティのコンピュータ機器０２に最も近いか、又は最も良好に接続されている記憶ノード１０４Sに問い合わせることによって行うことができる。

スクリプトコードは、概略的に表現されることが多い(すなわち、正確な言語ではない)ことに注意する。例えば、[Checksig P_A]を[ChecksigP_A]=OP_DUPOP_HASH１６０<H(P_A)>OP_EQUALVERIFYOP_CHECKSIGを意味するように記述し得る。「OP_....」は、スクリプト言語の特定のオペコードを表す。OP_CHECKSIG(「Checksig」とも呼ばれる)は、２つのインプット(署名と公開鍵)を取り込み、楕円曲線デジタル署名アルゴリズム(Elliptic Curve Digital Signature Algorithm (ECDSA))を使用して署名の妥当性を検証するスクリプトオペコードである。ランタイムでは、署名(「sig」')の発生はスクリプトから削除されるが、ハッシュパズルなどの追加要件は、「sig」インプットによって検証されるトランザクションに残る。別の例として、OP_RETURNは、トランザクション内にメタデータを格納することができ、それによってメタデータをブロックチェーン１５０に不変に記録することができるトランザクションの使用不可能アウトプットを生成するためのスクリプト言語のオペコードである。例えば、メタデータは、ブロックチェーンに格納することが望ましいドキュメントを含むことができる。

署名PAは、デジタル署名である。実施形態において、これは楕円曲線secp２５６k１を使用するECDSAに基づく。デジタル署名は、特定のデータに署名する。実施形態では、所与のトランザクションについて、署名はトランザクションインプットの一部、及びトランザクションアウトプットの全部又は一部に署名する。署名するアウトプットの特定の部分はSIGHASHフラグに依存する。SIGHASHフラグは、署名の最後に含まれる４バイトのコードであり、どのアウトプットが署名されるかを選択する(従って、署名の時点で固定される)。

ロックスクリプトは、それぞれのトランザクションがロックされているパーティの公開鍵を含んでいることを表す「scriptPubKey」と呼ばれることがある。アンロックスクリプトは、対応する署名を提供することを表す「scriptSig」と呼ばれることがある。しかし、より一般的には、UTXOが償還される条件が署名を認証することを含むことは、ブロックチェーン１５０の全てのアプリケーションにおいて必須ではない。より一般的には、スクリプト言語は、１つ以上の条件を定義するために使用され得る。したがって、より一般的な用語「ロックスクリプト」及び「アンロックスクリプト」が好ましい。

＜クライアントソフトウェア＞
図４は、本開示の技術の実施形態を実装するためのクライアントアプリケーション１０５の例示的な実装を示す。クライアントアプリケーション１０５は、トランザクションエンジン４０４と、ユーザインタフェース（UI）レイヤ４０１と、を含む。トランザクションエンジン４０４は、上述の方式に従いトランザクション１５２を形成する、トランザクション及び／又は他のデータをサイドチャネル３０１を介して受信及び／又は送信する、及び／又はP２Pネットワーク１０６を通じて伝播されるようにトランザクションを送信するような、クライアント１０５の基礎にあるトランザクション関連機能を実装するよう構成される。更に、本願明細書に開示される実施形態によると、少なくともBobのクライアント１０５b（及び場合によっては他のクライアント）のトランザクションエンジン４０１は、データ転送エンジン４０３、プログラムランチャー４０５、及び任意でハイパードキュメントエンジン４０２を更に含む。ハイパードキュメントエンジン４０２、データ転送エンジン４０３、及びトランザクションエンジン４０４は一緒に、「スマートウォレット」機能４０６を形成してよい（ハイパードキュメントエンジン４０２はこの任意的部分である）。これらの種々のモジュールの機能は、間もなく更に詳細に議論される。スマートウォレット機能４６０は、ここでは単に略して「スマートウォレット」とも呼ばれてよい。

UIレイヤ４０１は、それぞれのユーザコンピュータ機器１０２のユーザ入力／出力（I/O）手段を介して、機器１０２のユーザ出力手段によりそれぞれのユーザ１０３へ情報を出力すること及び機器１０２のユーザ入力手段によりそれぞれのユーザ１０３から入力を受信することを含む、ユーザインタフェースをレンダリングするよう構成される。例えば、ユーザ出力手段は、視覚出力を提供する１つ以上のディスプレイスクリーン（タッチ又は非タッチスクリーン）、オーディオ出力を提供する１つ以上のスピーカ、及び／又は触覚出力を提供する１つ以上の触覚出力装置、等を含み得る。ユーザ入力手段は、例えば、（出力手段のために使用されるディスプレイと同じ又は異なり得る）１つ以上のタッチスクリーンの入力センサマトリックス、マウス、トラックパッド、若しくはトラックボールのような１つ以上のカーソルに基づく装置、会話若しくは音声入力を受信する１つ以上のマイクロフォン及び会話若しくは音声認識アルゴリズム、手動若しくは身体ジェスチャの形式で入力を受信する１つ以上のジェスチャに基づく入力装置、又は１つ以上の機械的ボタン、スイッチ、若しくはジョイスティック、等を含み得る。

スマートウォレット４０６のトランザクションエンジン４０３は、ブロックチェーン１５０条のトランザクション１５２のペイロード（例えば、アウトプットに基づくトランザクションモデルにおける使用不可能アウトプット）に格納されたコードにアクセスするよう動作し、そこからのコードをプログラムランチャー４０５に渡す。コードランチャー４０５は、このコードを実行し、プログラムの任意のユーザに見える効果をUIレイヤ４０１を通じてユーザ１０３bに提示する。特に、ここに開示される実施形態によると、コードランチャー４０５は、ブロックチェーン１５０上の複数のトランザクション１５２からプログラムファイルを再構成し、再構成したプログラムファイルを実行するよう構成される。これは、間もなく更に詳細に議論される。

注：本願明細書において種々の機能が同じクライアントアプリケーション１０５に統合されるとして説明されることがあるが、これは、必ずしも限定的ではなく、代わりに、それらは２つ以上の異なるアプリケーションのスーツに実装されてよく、例えば一方が他方へのプラグインであるか、又はAPI（application programming interface）を介してインタフェースする。例えば、モジュール４０１、４０２、４０３、４０４、４０５のうちのいずれかの機能は、任意の組合せで２つ以上の別個のアプリケーションに実装されてよい。また、記載の機能の一部又は全部が、例えばオペレーティングシステムレイヤに実装されることを除外しない。本願明細書のどこかで、単一の又は所与のアプリケーション１０５等を参照する場合、これが単に例であること、より一般的には、記載の機能が任意の形式のソフトウェアで実装され得ることが理解される。

＜ブロックチェーンに基づくプログラムファイルフォーマット＞
基本技術インフラストラクチャとしてのブロックチェーン技術の統合をサポートするために、望ましくは、上位アプリケーションを構築しアクセスする直接的処理が存在することが望ましい。これを行うために、開発者が、トランザクション内に含むだけでなく、ブロックチェーントランザクション内に格納されたコードを実行するようソフトウェアを構築するために、標準データフォーマットを提供することが望ましい。これは、データ要求のため及びローカルコンピュータ、中央処理ユニット（CPU）、及びコンピュータ記憶装置上でソフトウェアの接続を実現するためにブロックチェーンと直ちに相互作用できる専用スマートウォレットを含んでよい。ブロックチェーンデータを従来のプログラミング言語に統合することができるが、より広範なアプリケーションが、ブロックチェーン上に開発可能であり、よりセキュア且つ耐タンパー性デスクトップ及びモバイルアプリケーションを強化する。

本願明細書に開示されるシステムは、ロック及びアンロックスクリプト等のために使用されるスクリプト言語以外のプログラミング言語を含むために、トランザクションに対応したファイルフォーマットを提供することにより、ソフトウェアとブロックチェーンとの間の直接相互作用を実現する。C、C++、及びJavaのような現在のプログラミング言語には、特定のメモリアドレスへの参照として機能するポインタ（pointers）と呼ばれるオブジェクトがある。本開示は、特定のトランザクションデータ又はメタデータへの参照として機能するプログラミング言語に統合可能なブロックチェーンポインタ（blockchain pointer）と呼ばれてよい同様のオブジェクトを提供する。

幾つかの実施形態は、自身のTxIDにより参照されるリンクされたハイパードキュメントによりデータ要求に対する要求及び応答のためのシステムも利用し得る。

図５は、本願明細書に開示される実施形態により、ブロックチェーン１５０上の複数のトランザクション１５２に渡りプログラムファイルを格納するブロックチェーンに基づくプログラムファイルフォーマットを示す。図５の左側ａ）は、ブロックチェーン１５０上の複数のトランザクション１５２に渡り格納されるフラグメントフォームのプログラムファイルを示す。フラグメントフォームのプログラムファイルは、ブロックチェーン１５０上の第１トランザクション１５２Yに格納されるヘッダファイル５０１と、１つ以上の本体セクション５０２i…５０２nと、を含む。本体セクションの各々は、ブロックチェーン上のそれぞれの第２トランザクション１５２Zに格納される（更に詳細に後述する図６も参照）。アウトプットに基づくモデルでは、ヘッダファイル５０１及び本体セクション５０２の各々は、そのそれぞれの第１又は第２トランザクション１５２Y、１５２Zの使用不可能（un-spendable）アウトプット（例えば、UTXO）に格納されてよい。

この例は図３に概略的に示される。以下の例示的なシナリオでは、Alice１０３aは、第１及び第２トランザクション１５２Y、１５２Zを作成し、それらをブロックチェーン１５０上に記録させるために、（直接に又は第三者を介して）それらをブロックチェーンネットワーク１０６へとブロードキャストする提供者パーティである。Bob１０３bは、プログラムファイル５０７を再構成するために、ヘッダファイル５０１及びセクション５０２をそれぞれの第１及び第２トランザクション１５２Y、１５２Zから読み出す消費者パーティである。

図３に示すように、アウトプットに基づくモデルでは、第１トランザクション１５２Yは、ブロックチェーン１５０上の何からの他の先行するトランザクション１５２のアウトプットを逆に指す少なくとも１つのインプット２０２Yを含む。先行するトランザクションのアウトプットは、Aliceに対してロックされたアウトプットであり得る。つまり、従って、Aliceは、第１トランザクション１５２Yをブロックチェーン１５０上に記録させるために、彼女自身からデジタルアセットの額を支払っている。第１トランザクション１５２Yは、標準的に、少なくとも１つの使用可能アウトプット２０３Y_０を含むよう要求されることができる。これは、受取人に対してアウトプット２０３Y_０をロックするロックスクリプトを含む。ロックスクリプトは、ブロックチェーンネットワーク１０６により利用されているトランザクションプロトコルにより認識される関連するスクリプト言語、例えばScript言語で作成される。使用可能アウトプット２０３Y_０の中で指定される額は、ダスト（つまり無視できる）量であり、及び／又は受取人はAlice自身であることができる。つまり、従って、Aliceは、第１トランザクション１５２Yをブロックチェーン１５０上に記録させるために、彼女自身で（及びマイニング手数料を）支払っている。代替として、全てのトランザクションに使用可能アウトプットを含める必要がないトランザクションモデル又はプロトコルが利用され得ることを排除するものではない。何れの方法も、第１トランザクション１５２Yは、使用不可能アウトプット２０３Y_１も含む。実施形態では、これは、スクリプト言語の特定のオペコードを、使用不可能アウトプット２０３Y_１のロックスクリプトに含むことにより、実施される。これは、ブロックチェーンネットワーク１０６のノードのうちの１つで実行するとき、それが含まれるロックスクリプトの実行を終了するオペコードである。これは、スクリプト言語で作成されていない他の任意のペイロードが、使用不可能アウトプットに含まれることを可能にし、その他の場合にブロックチェーンネットワーク１０６上のトランザクションとしてのトランザクション１５２Yの機能に影響を与えない。

本願明細書に開示される実施形態によると、このメカニズムは、第１トランザクション１５２Yの使用不可能アウトプット２０３Y_１に、ヘッダファイル５０１を含めるために、従って、ヘッダファイル５０１をブロックチェーン１５０上の第１トランザクション１５２Yに格納するために、使用される。ヘッダファイル５０１は、ブロックチェーンネットワーク１０６により利用されるトランザクションプロトコルに従いロックスクリプト内で使用されるスクリプト言語（例えば、Script）以外のフォーマット又は言語で作成される。

同様のメカニズムは、ブロックチェーン１５０上のそれぞれの第２トランザクション１５２Zの使用不可能アウトプット２０３Z_１に本体セクション５０２の各々を含めるために使用されてよい。各本体部分５０２は、ロックスクリプトで使用されるスクリプト言語（例えば、Script）以外の言語で作成されたプログラムコードを含む。

代替の実装では、ヘッダファイル５０１及び本体セクション５０２が、他のトランザクションプロトコル又はモデルにおける異なるメカニズムに従いトランザクションペイロードとして含まれ得ることを排除しない。例えば、代替の実装では、ブロックチェーンネットワーク１０６は、アカウントに基づくモデルを利用してよく、ヘッダファイル５０１及び本体部分５０２の各々は、それぞれのトランザクション１５２Y、１５２Zのデータフィールド又はスマートコントラクトに含まれてよい。この場合、ヘッダファイル５０１及び本体セクション５０２の各々は、スマートコントラクトを実行するためにノード１０４により認識されるもの以外の言語で作成されてよい。

図５に戻り、ヘッダファイル５０１は、少なくとも一部のプログラムヘッダ情報５０３と、１つ以上のトランザクションID５０４のリストと、を含む。プログラムヘッダ情報５０３は、再構成されるとプログラムファイル５０７のヘッダの少なくとも一部を形成する、プログラムファイルの基本ヘッダ情報を含む。これは、例えば、プログラムのバージョン番号、ターゲットコンピュータシステムのバージョン番号、プログラム又は再構成されたプログラムファイルのサイズ、記述子、予約された変数、日付け／タイムスタンプ、及び／又は再構成されたプログラムがエラーを含まないことをチェックするためのチェックサム、のうちの任意の１つ以上又は全部を含んでよい。

リスト５０４に含まれるトランザクションIDは、ブロックチェーン１５０上のそれぞれの他の第２トランザクション１５２Zに格納されたプログラムファイルのそれぞれの本体部分５０２へのポインタとして機能する。図５の右側ｂ）に示すように、消費者パーティBob１０３bは、ヘッダファイル５０１に含まれるそれぞれのトランザクションID５０４によりポイントされる１つ以上の本体セクション５０２i…５０２nの各々とヘッダ情報ヘッダ５０３を結合することにより形成される未フラグメントフォームでプログラムファイル５０７のインスタンスを再構成する。

実施形態ではヘッダファイル５０１は、１つ以上の条件５０５の指示、及び１つ以上の条件を評価するコードスタブ（code stub）５０６も含んでよい。これらの部分の機能は、後に更に詳細に議論される。

図６は、ここではクライアント機器とも呼ばれる消費者パーティ１０３bのコンピュータ機器１０２bの例示的なコンピュータアーキテクチャを示す。このアーキテクチャは、単一のユーザ装置でローカルに実装されてよく、又はユーザ装置、サーバリソース又はそれらの組合せを含み得る複数の装置に渡り分散されてよい。

クライアント機器１０２bは、ハードウェア６０８と、入力／出力（I/O）装置６０７と、ソフトウェアと、を含む。ハードウェア６０８は、CPUのような少なくとも１つのプロセッサ６０９を含む。ハードウェア６０８は、ランダムアクセスメモリ（RAM）及びハード記憶装置６１１（つまり、ハードディスク又は固体ドライブ（SSD）のような不揮発性メモリ）も含む。中央処理ユニット（CPU）６０９は、算術ロジック及び入力／出力動作を実行することにより機械レベルの命令を実行する、電子回路を含む。RAM６１０は、ソフトウェアとCPU６０９を有するハードディスク６１１との間の仲介として機能するデータ及び機械レベル命令の一時記憶を提供する。

ユーザ１０３bは、入力／出力装置６０７と相互作用でき、コマンドは、オペレーティングシステム６０２においてソフトウェアへと中継される命令／データへと変換される。I/O装置６０７の種々のオプションは、図４を参照して既に上述した。

ソフトウェアは、オペレーティングシステム６０２と、オペレーティングシステム６０２を実行するプログラムランチャー４０５及びスマートウォレット機能４０６と、を含む。オペレーティングシステム６０２は、コンピュータハードウェア及びソフトウェアリソースを管理するシステムソフトウェアを含む。

以下の定義は、本願明細書においても採用されてよい。

仮想マシン：コンピュータシステムのエミュレーション。

システム仮想マシン：オペレーティングシステム全体を実行するための機能を提供する仮想マシン。ハイパーバイザは、ハードウェアを共有し管理するために、ネイティブ実行（機械コード、コンピュータのCPUにより直接実行される）を使用し、複数の独立した環境が単一の物理マシンに存在することを可能にする。

ハイパーバイザ：仮想マシンを生成し実行する、コンピュータソフトウェア、ファームウェア、又はハードウェア。

ダイナミンクリンカー：実行されると（「ランタイムにおいて」）永久記憶からRAMへとライブラリの内容をコピーし、ジャンプテーブルを満たしポインタを再配置することにより、実行可能ファイルにより必要な共有ライブラリをロードしリンクするオペレーティングシステムの一部。特定のオペレーティングシステム及び実行可能フォーマットは、ダイナミンクリンカーがどのように機能するか、及びそれがどのように実装されるかを決定する。

ライブラリ：コンピュータプログラムにより使用されるリソース群（構成データ、文書、予め記述されたコード、及びサブルーチン、クラス、値又はタイプ仕様）。

共有ライブラリ：実行可能ファイル及び更に共有オブジェクトファイルにより共有されるファイル。使用されるモジュールは、プログラムのための単一のモノリシック実行可能ファイルを生成するとき、リンカによりコピーされるのではなく、ランタイムに個々の共有オブジェクトからメモリへとロードされる。

アセンブラ：演算及びアドレッシングモードのための記憶及びシンタックスの組合せをそれらの等価な数値（機械コード）へと変換することによりオブジェクトコードを生成するコンピュータプログラム。

コンパイラ：あるプログラミング言語で記述されたコンピュータコードを別のものに（標準的には高級言語から低級言語へ）変換して実行可能プログラムを生成するコンピュータプログラム。

実行可能ファイル又は実行可能プログラム：コンピュータに符号化命令に従い指示されたタスクを実行させるファイル。最も一般的には、用語「実行」又は「実行可能」は、本願明細書では、任意の方法で実行するソフトウェアを表すことができ、必ずしも例えば低級機械コード命令等の実行に限定されないことに留意する。例えば、「実行する」は、本願明細書では、コンパイル、従って高級言語の実行、アセンブリング、従ってアセンブリレベル言語の実行、又はインタープリットされた言語を解釈することも表し得る。

図６は、第１トランザクション１５２Y及び第２トランザクション１５２Zを含む、ブロックチェーンネットワーク１０６に格納されたブロックチェーン１５０のトランザクション１５２も示す。

動作中、消費者パーティBob１０３bは、I/O装置６０７のうちの少なくとも１つを使用して、ブロックチェーン１５０に格納された第１トランザクション１５２Yからヘッダファイル５０１を選択しアクセスする（本願明細書でこの文脈で使用される「第１」及び「第２」は単に任意のラベルである）。幾つかの実施形態では、これは、ハイパーテキストドキュメント６０１内のハイパーリンクを選択することにより達成されてよい。たと、これは、HTMLで作成されてよいが、従来のハイパーリンクにおけるようにURLへの代わりにブロックチェーン１５０上のトランザクション１５２のトランザクションIDへのリンクを可能にする追加のタイプのタグにより補強される。そのような実施形態では、スマートウォレット４０６のハイパードテキストエンジン４０２は、UIレイヤ４０１を通じてBobにハイパーテキストドキュメント６０１をレンダリングし、ハイパーリンクの選択を検出する。それに応答して、ウォレット４０６のデータ転送エンジン４０３をトリガして、ブロックチェーンネットワーク１０６を介して（記憶ノード１０４Sをクエリすることにより）ブロックチェーン１５０上のリンク付けされたトランザクション（第１トランザクション１５２Y）からヘッダファイル５０１を読み出す。

ハイパーテキストドキュメント６０１は、Bobのコンピュータ機器１０２b上のローカルストアから又はWebを介して、アクセスされ得る。代替として、ハイパーテキストドキュメント６０１自体は、ブロックチェーン１５０上のソーストランザクション１５２X内のペイロードデータとして、例えばアウトプットに基づくモデルにおける使用不可能アウトプット内に、格納され得る。この場合、予備ステップで、データ転送エンジン４０３は、ブロックチェーンネットワーク１０６を介してブロックチェーン上のソーストランザクション１５２Xからハイパーテキストドキュメント６０１にアクセスし、それをハイパーテキストエンジン４０２に渡して、ユーザ１０３bに対してレンダリングする。

代替の実施形態では、必ずしも、ヘッダファイル５０１にリンクするためにハイパーテキストドキュメント６０１を使用する必要はない。代わりに、データ転送エンジン４０２は、知られている方法でブロックチェーン１５０を直接クエリすることにより、ヘッダファイル５０１を読み出してよい。例えば、第１トランザクション１５２Yの使用可能アウトプット２０３Y_０（おそらくダスト額のための）は、Bob１０３bにアドレスされてよく、従って、彼が従来のウォレット機能を用いてブロックチェーン１５０上でそれを見付けることを可能にする。及び／又は、Alice１０３a又は第三者は、第１トランザクション１５２Yのアドレスを、オフチェーンのサイドチャネル（図示しない）を介してBobにシグナリングしてよい。そのような実施形態では、ハイパーテキストエンジン４０２は、ウォレット機能４０６の部分として必要ない。

アクセスされる手段が何であろうと、ヘッダファイル５０１は、ウォレット４０６のデータ転送エンジン４０３により読み出され、プログラムランチャー４０５に渡される。プログラムランチャー４０５は、読み出されたヘッダファイル５０１から１つ以上のトランザクションID５０４を読み出し、（ここでも、１つ以上の記憶ノード１０４Sにクエリすることにより）ウォレット４０６のデータ転送エンジン４０３にブロックチェーン上のそれぞれの第２トランザクション５０２からそれぞれの本体セクション５０２を読み出させるために、これらをポインタとして使用するよう構成される。プログラムランチャー４０５は、次に、プログラムファイル５０７を再構成するために、プログラムヘッダ情報５０３を、１つ以上の読み出した本体セクション５０２と結合する。プログラムランチャー４０５は、再構成されたプログラムファイルを実行してよい。代替又は追加で、それは、再構成されたプログラムファイル５０７をメモリに格納し、又はチェーン１５０上の別のトランザクション１５２に戻してよく、及び／又は、それは、実行又は格納のために第三者に再構成されたファイル５０７を通信してよい。

本体セクション５０２の少なくとも１つの少なくとも部分は、所望のアプリケーションのプログラムコードを含む。実施形態では、本体セクション５０２のうちの１つ以上は、プログラムコードにより操作されるべきデータ（つまり、ターゲットデータ又はオペランドデータ）、及び／又はプログラムコードをコンパイル及び／又はリンクする際に使用するための１つ以上のライブラリも含んでよい。

プログラムファイル５０７の本体セクション５０２のプログラムコードは、C、C++、Java Script、Python、Basic、等のような任意の適切な言語で記述されてよい。それは、ロックスクリプトのために使用されるスクリプト言語（例えば、Script）以外の言語で記述される。従って、このコードは、実施形態において非スクリプトコードと呼ばれてよい。プログラムは、開発者により望まれる任意のアプリケーション機能、例えばゲーム、オフィスツール、通信クライアント、又は診断ツール、等を有してよい。消費者パーティ１０３bは、エンドユーザ、又はマイナーのようなノード１０４のオペレータであってよい。消費者機器（クライアント機器）１０２bは、ユーザ機器、サーバリソース、又はそれらの組合せを含んでよい。幾つかの場合には、消費者機器１０２bは、追加で、純粋な消費者ではなく、ブロックチェーンネットワーク１０６のノード１０４の役割を果たしてよい。

実施形態では、プログラムランチャー４０５は、仮想マシンの形式をとってよい。それは、コンパイラ６０３、アセンブラ６０４、及び／又はリンカ６０５を含んでよい。それは、１つ以上の予め格納されたライブラリ６０６を含んでよい。プログラムファイル５０７の実行は、高級コードのコンパイル、アセンブリレベルコードのアセンブリング、及び／又はリンク付けを含んでよい。リンキングの場合には、これは、異なるトランザクションからのセクション５０２の間のリンク付け、所与のセクション５０２内の部分のリンク付け、及び／又は予め格納されたライブラリ６０６のうちの１つとのリンク付けを含んでよい。更なる代替の実施形態では、プログラムファイル５０７の実行は、インタープリットされた言語の高級コードのインタープリットを含んでよい。更に別の代替では、プログラムは、既に、低級機械コードを含んでよく、この場合には、実行は機械コードの実行を含む。

注：ヘッダファイル５０１自体は、プログラムコードの部分を含む本体セクション（図示しない）を含んでよく、これは、トランザクションID５０４によりポイントされる１つ以上の本体セクション５０２と一緒に、最終的な再構成されたプログラムファイル５０７内のセクションのうちの１つとして含まれてよいことも排除されない。

実施形態では、ヘッダファイル５０１は、任意で、本体セクション５０２のうちの１つ以上、又は全部を実行するための１つ以上の条件を指定する部分５０５を含んでよい。これらは、どんな環境下で本体セクション５０２が実行できるかを制御する。例えば、これらは、ファイルを再構成するまたは実行するために、本体セクションのうちの１つ以上又は全部に誰がアクセスできるかを決定する１つ以上のアクセス制御を含んでよい。より一般的には、条件５０５は、本体セクション５０２のうちの１つ以上又は全部に関連付けられる任意の条件、例えば、どんなオペレーティングシステム上でクライアント機器１０２bが使用されているか（例えば、BobがWindowsプログラムをMac上で実行しようと試みていないかチェックするため）、又はクライアント機器１０２bが十分なメモリを有するかどうかという条件（conduction）のような互換性条件、を含み得る。望ましくは、ヘッダファイル５０１は、条件５０５を評価するためのコードスタブ（code stub）５０６も含む。これは、本体セクション５０２のうちの１つではなく、最終的な再構成されたプログラムファイル５０７に含まれる必要はない。代わりに、ヘッダファイル５０１がブロックチェーン１５０から読み出されると、コードスタブ５０６がコードランチャーにより自動的に実行される。しかしながら、本体セクションのように、コードスタブ５０６は、ロックスクリプトのために使用されるスクリプト言語以外の言語（例えば、非スクリプト言語以）で記述されてよい。

実行すると、コードスタブ５０６は、条件５０５を評価するための関連機能を実施する。代替として、評価が、Bobの機器１０２bに予め格納されたコードにより又はAlice若しくは第三者により実行されることが排除されない。図５に別個の要素として概略的に示したが、幾つかの実施形態では、コードスタブ５０６を利用するので、条件５０５はスタブ５０６のコー＾殿統合部分としてスタブ５０６に統合され得ることにも留意する。代替として、しかしながら、条件５０５は、実際に、ヘッダファイル５０１の個別の部分で指定され、コードスタブ５０６により参照され得る。

条件５０５は、例えば１つ以上のアクセス条件を含んでよく、それにより、本体セクション５０２のうちの１つ以上へのアクセスは、プログラムファイル１０７を再構成しようと試みている消費者パーティのアイデンティティを条件とする。この場合、評価は、消費者パーティ１０３bのアイデンティティがアクセス条件５０５の中で指定されたアイデンティティと同じであることをチェックすることを含む。それは、消費者パーティ１０３bのアイデンティティを認証することも含んでよい。適切な認証及びアイデンティティチェック技術は、それら自体が、当業者に馴染みのあるものである。

別の代替又は追加の例として、条件５０５は、プログラムファイル１０７を再構成しようとしている費者パーティ１０３bのクライアントコンピュータ機器１０２bの互換性（つまり、本体セクション５０２のうちの１つ以上との互換性）に関する条件である、１つ以上の互換性条件を含んでよい。この場合、評価は、コンピュータ機器１０２bが互換性条件５０５の中で指定された１つ以上の技術仕様に適合することをチェックすることを含む。適切な互換性チェック技術は、それら自体が、当業者に馴染みのあるものである。

ヘッダファイル５０１内に指定された条件５０５が満たされない場合、コードランチャー４０５は、ｉ）ブロックチェーン１５０からの本体セクション５０２のうちの１つ以上又は全部に全くアクセスしないか、又はｉｉ）少なくとも最終的な再構成されたプログラムファイル５０７にそれらを含まない。これは、プログラムファイル５０７が再構成されないこと、又は削減された機能のみを有する（消費者パーティ１０３及び／又は彼のコンピュータ機器１０２bが関連する条件５０５を満たさない任意の本体セクション５０２が欠如している）プログラムファイル５０７のバージョンが生成されることを意味してよい。

実施形態では、ヘッダファイル５０１内のリスト５０４は、プログラムファイル５０７の複数の本体セクションを格納する複数のトランザクションIDをポイントする。幾つかのそのような実施形態では、本体部分のうちの異なるものに関連付けられた異なるそれぞれの条件５０５が存在してよい。これは、アクセスの異なるティアを生成するために使用できる。この例示的な適用は、テキストファイルから読み出される及びそれに書き込まれるプログラムであり得る。「READ」機能及び「WRITE」機能は、コードの２つの別個の部分であり、それぞれ、それ自体のアクセス制御を有する。

幾つかの実施形態では、ヘッダファイル５０１は、AliceとBobとの間で共有される共有シークレットに基づき暗号化された暗号化形式でチェーン１５０上に格納され得る。これは、公衆ではなくBob（及び共有シークレットを知る任意の他の者）のみが、ヘッダファイル５０１にアクセスし、従ってプログラムファイル５０７を再構成することを可能にする。共有シークレットは、オフチェーンのサイドチャネル（示されない）を介するAliceとBobとの間の鍵交渉処理又はオンチェーン処理により取得され得る。代替として、他の実施形態では、ヘッダファイル５０１は、暗号化される必要がなく、代わりに、ブロックチェーン１５０を介して公衆に自由に利用可能にされてよい。

トランザクションに格納されたデータは、UTXOセット内に存続できる。実施形態では、情報を更新するために、データを含むアウトプットを使用できる。前のデータはブロックチェーンに記録されるが、最新の情報のみがUTXOセット内に存在する。従って、ブロックチェーンポインタは、常に、最新データとしてUTXOセット内に格納されたデータを参照できる。

最新のUTXOのレコードは、各記憶及び／又はマイニングノード１０４S、１０４MにおけるUTXOセットに格納される。これは、ブロックチェーン１５０の最新状態の反映であり、標準的に、ブロックチェーン１５０の完全なコピーを格納する全部のマイナー及び幾つかのノードにより保持される。ブロックチェーンに記録されると、既存のトランザクションは変更できない。代わりに、従って、実施形態では、更新は、チェーンに新しいトランザクションを後に追加することにより実施できる。ここで、新しいトランザクションは、更新されているデータを格納する既存のトランザクションの使用可能アウトプットを使用する。従って、既存のトランザクション（更新されているもの）は、少なくとも使用可能アウトプット（及び、データが含まれる場合には、OP_RETURN等の下で使用不可能アウトプットである可能性がある）を含み得る。検証されると、使用可能アウトプットは、記憶及び／又はマイニングノード１０４S、１０４Mの一部又は全部において維持されるUTXOセットに含まれる。更新するために、既存のトランザクションの使用可能UTXOを使用し、更新されたデータを新しいトランザクションに（例えば、ここでも、OP_RETURNオペコード等を用いて新しいトランザクションの新しい使用不可能アウトプットに）含んでよい。検証されると、この新しいトランザクションは、今やUTXOセットに含まれる。従って、最新の情報は、各記憶及び／又はマイニングノード１０４S/Mにより維持されるUTXOセット内で常に利用可能である。

上述の概念の幾つかの例示的な実装の詳細は、以下に詳細に議論される。

実行可能ファイルは、実行時にコードにより必要とされる任意のデータ、ライブラリ、又はスクリプトと共に、アセンブリレベルコードで構成される。標準的に、これは、オペレーティングシステムに依存して標準化されたフォーマットで構成される。例えば、Windowsにおけるポータブル実行可能（portable executable (PE)）フォーマット、Linux（登録商標）における実行可能及びリンク可能フォーマット（executable and linkable format (ELF)）である。構造はフォーマットにより変化するが、それは、標準的に以下のコンポーネントで構成される：
・マシン及びバージョン情報、ファイルサイズ、及びファイルデータへのポインタのような情報を指定するプログラムヘッダ；
・ファイルに含まれるデータを参照するセクションヘッダテーブル；
・実行のためのコード及び他の要件を含むデータセクション。

必要なデータが格納されているメモリアドレスへの参照が、ファイル内で指定される。このファイル及びその依存関係の各々は、ディスクに格納され、実行時にファイル内で指定された命令に基づきメモリ内で再構成される。

ここで、ファイル及び依存関係をローカルディスクに格納する代わりに、それがブロックチェーン上に非集中化方法で格納される同様の実行可能ファイルフォーマットが開示される。このファイルフォーマットは、本願明細書では、ブロックチェーン実行可能フォーマット（blockchain executable format (BEF)）と呼ばれてよい。

アセンブリレベルコード、必要なライブラリ及び場合によっては重要なデータも、ブロックチェーン１５０上に格納され、圧縮され、及び参照される。各コンポーネントは、個別のトランザクション１５２に格納され、ヘッダファイル５０１は、任意のヘッダ情報５０３、条件５０５及び／又はスタブ５０６と一緒にTxID５０４を保持するだけでよい。構成、リンク付け、及び実行処理は、全部、以下の図に示すように統合スマートウォレット／仮想マシンにより実行できる。

ヘッダファイル５０１は、以上に列挙された情報（バージョン、チェックサム、等）の一部又は全部を含むヘッダ５０３を有する。BEFファイル５０７をフラグメント化するとき、実行可能ファイルスタブ５０６及びヘッダ５０３は、再アセンブリ及び任意のアクセスチェック５０５のために必要なTxID５０４と一緒に単一のトランザクション１５２Yに格納される。このトランザクション１５２Yは、ファイル５０７の圧縮バージョンとも呼ばれる。スタブ５０６は、ファイル５０７全体のアクセス条件をチェックする実行可能コードである。

BEF実行は、以下のように生じ得る。方法は、以下の図７A～７Bにも示される。

図７Aのステップでは、初期ファイル要求が、前のブロックチェーンに埋め込まれたHTML文書、ユーザ入力又はローカル実行コードから開始され、ブロックチェーンネットワーク１０６へ送信される。それに応答して、ヘッダファイル５０１が返され、スマートウォレット４０６により解釈される。

ステップS０で、ヘッダファイル５０１を含むトランザクションのTxIDが、ユーザ１０３bにより選択される。これは、ハイパーテキスト文書内の既存のハイパーリンク、ローカルに保存されたアドレス、又はローカルで実行されているコード内のブロックチェーンポインタにより行うことができる。

ステップS１で、スマートウォレット４０６は、ヘッダファイル５０１を含むトランザクション１５２Yを参照するTxID要求によりBEFファイルを要求する。

ステップS２で、ネットワーク１０６は、トランザクション情報により応答し、スマートウォレット４０６により解釈される。

図７Bのステップは、スマートウォレットがヘッダファイル５０１内に置かれた互換性及び検証条件５０５をどのようにチェックするかを示す。例えば、これは、スタブ５０６を実行することにより行われてよい。全部の要件が満たされる場合、ウォレット４０６は、ヘッダファイル５０１のTxIDリスト５０３内でアドレスされた本体５０２の部分を要求し、実行可能ファイル５０７がローカルにアセンブリングされる。実行可能ファイルは、必要な任意のローカルライブラリと一緒に、リンカ６０５に渡される。リンカ６０５は、次に、メモリ６１０又は６１１内にCPU６０９上で実行されるファイルを生成する。結果は、UI装置６０７を通じてユーザに提示され、ブロックチェーン１５０に書き込まれ、又は追加スクリプト内で使用され得る。

ステップS３で、読み出したトランザクションの中のファイルフォーマット構造フラグが分かると、ウォレット４０６は、BEFファイル５０７をインタープリットし、BEF文書内で参照される任意の更なるトランザクションがあれば要求する（適用可能な場合には任意のアクセス／鍵条件をチェックする）。

ステップS４で、アセンブリングされたファイル５０７、及び任意のローカルライブラリは、仮想マシン内のリンカ６０５に渡される。

ステップS５で、機械コード及び任意のデータは、実行時にディスク６１１からプリングされ、メモリ６１０内でアセンブリングされ、CPU６０９上で実行される。

ステップS６で、アウトプットは、プログラムコードに従いインタープリットされる。これは（図示しないが）、（ｉ）ユーザ１０３bへのディスプレイ出力、（ｉｉ）in-Script計算のためのスタックへのプッシュ、（ｉｉｉ）仮想マシン４０５で実行する別のコードへの入力としての供給、及び／又は（ｉｖ）スマートウォレット４０６により生成された別のトランザクションによる、新しいデータとしての又は既存データの更新としてのブロックチェーン１５０への書き込み、を含んでよい。

BEFファイルの構造は、図５に示される。スマートウォレット４０６によりインタープリットされることが期待されるBEFファイルのフォーマットが提示される。アセンブリングされた構造５０７は、従来のWindowsPEファイルに似ているが、圧縮のために、ファイルは幾つかの異なるトランザクションへと分解されて、データを独立して管理させ、望ましい場合にはアクセスを制限させることを可能にする。ヘッダファイル５０１は、再構成のために全部の必要なTxIDポインタ５０４を含む。図５の左側ａ）は、幾つかのトランザクション１５２Y、１５２Zに渡り分散されたフラグメント化された実行可能ファイルを示す。ヘッダファイル５０１は、STUBプログラム５０６、ヘッダ詳細５０３、並びに、実行のために必要なSECTIONSテーブル及びデータを保持するトランザクションへの参照５０４を含む。右側の構造は、ローカルにアセンブリングされた構造を示す。

スタブ５０６は、ファイル５０７が実行可能な場所、又はどの条件下で実行できるかを制御するために使用できる。ヘッダファイル５０１の残りの部分は、結果として生じるプログラムのフロー及びフォーマットを決定するコードも含んでよい。これは、簡易なローダであることができ、又は複数のUTXO及びトランザクションを使用できる。インタープリットされたコードは、ユーザ相互作用に依存して又は所定のオートマトン（automata）使用例のために、異なる形式のソフトウェアへとセグメント化できる。ヘッダファイル５０１は、以下の形式を有することができる。これは、部分５０３、５０４、及び５０５を示す。スタブ５０６は、このフォーマットに付加されることができる。

UTXO再配置テーブルは、１つ以上の他のトランザクション１５２Z内の１つ以上のセクションへのポインタ５０４のリストである。本実装では、それは、実際に、TxIDだけでなく、参照されたTxID内の特定のUTXOを識別する。従って、例えば、それは、TxID_zの使用不可能UTXO_１を参照してよい。

ヘッダの末尾は、異なるセクション５０２の順序情報を含む。複数のセクション５０２がアセンブリングされるとき、標準の困憊離／実行と同様に、実行のために順序が維持されるべきである。これは、ヘッダファイル５０１に（例えば、ヘッダ情報５０１に）アセンブルシーケンスを含むことにより実施されてよい。

代替として、ヘッダファイル５０１は、単一の他のTxIDへのポインタのみを含んでよい。この場合、アセンブリングされるべき複数のセクション５０１が存在する場合、最後のセクション５０２以外のそれぞれは、それ自体が、少なくとも順序付きチェーンの中の次のTxIDへのポインタを含む小さなヘッダ部分を含む。プログラムランチャー４０５は、次に、ファイル５０７全体を再構成するための全部のセクション５０２を一緒に集めるために、チェーン内の各ポインタに従う。実施形態では、各セクション５０２のヘッダ部分は、上述の表に示したフォーマットのような、ヘッダファイル５０１と同じフォーマットの一部又は全部を含み得る。アプローチの組合せが使用され得る。例えば、ヘッダファイル５０１は、ファイル５０７全体の幾つかのセクション５０２へのリスト５０４を含み、それらのセクションのうちの少なくとも１つは、それ自体が、１つ以上の他のセクションを指すヘッダ部分を含む。ここでも、プログラムランチャー４０５は、ファイル５０７全体を再構成するために必要なセクション５０２を集めるために、各ポインタに従う。

例えば、上述のヘッダフォーマットの末尾にある順序情報は、別個のトランザクションに格納され特定の検証条件が満たされる場合にウォレット４０６により読み出され得るファイルの次の部分への参照を含んでよい。これは、誤った使用でエラーが発生する可能性があり、署名の必要性、又はこれに続くUTXOが正しいタイプではないこと、又は鍵のような許可を必要とすること、又は支払い条件を満たすことを示す（flag）ことができる。

これは、鍵検証、又はXORに基づく復号のような選択的復号関数の形式で実装されてよい。ブロックチェーン上の１つ又は種々のUTXOの中の１つ以上のデータからコードを再構成すると、方法は、コードがアセンブリングされた後に、OEP（original execution point）へとジャンプする。この実行可能ファイルは、次に、リンカ６０５に渡され、ローカルコンピュータ上で実行される。データは、初期ディスクイメージファイル（例えば、ISO）としてロードされ、仮想マシン又は場合によってはブラウザで再構成される。

ヘッダファイル５０１は、公衆に又は選択された鍵により読み取り可能な単一の開始トランザクションの中で独立に再構成される（例えば、XOR暗号化ソフトウェアリンク、又はPCT/IB２０１７/０５０８５６に開示され得ように符号化される）。スマートウォレット４０６により受信されインタープリットされるこの情報は、仮想マシン４０５が、ソフトウェアのバージョンを決定し互換性を保証することを可能にする。それを行う方法の例は、次の段落で説明される。

スタブプログラムを実行する：上述のように、装置、仮想マシン、又はブラウザに組み込まれたスマートウォレット４０６は、情報を取り入れ、トランザクション内の参照フラグを介してそれが実行可能イメージファイルであると決定する。実行されるべきBEFファイルの第１部分は、PEフォーマットのものと類似する、STUBである。PEフォーマットでは、DOS STUBが、ファイルがDOSで実行されていないことを検証し、実行されている場合には、「このプログラムはDOSモードで実行できません」と出力し、実行を停止する。BEFファイルの文脈では、STUBは、実行環境（Windows、Linux（登録商標）、又は指定された仮想マシン）を指定するために使用でき、アクセス認証を開始するために使用することもできる。クライアント証明書（credentials）はインタープリットされることができ、仮想マシンのセキュア領域等へのアクセスのために十分な情報が提示された場合には、STUBプログラムは、ユーザ名及びパスワードのようなアイデンティティ検証をユーザに促すために使用できる。プロトコルは、失敗した場合に、以下のようなアクセス証明書を証明することに指定されることもできる。（Ｉ）ユーザにメッセージを出力し、実行を終了する、（ＩＩ）実行データの指定された部分のみをアセンブリングすることによる限定機能、（ＩＩＩ）入力データへの限定アクセス、及び／又は（ＩＶ）実行可能ファイルにアクセスを試みたＩＰアドレスをブラックリストに載せる。

＜結論＞
上記の実施形態は、単なる例示として説明したものであることが理解されるであろう。

より一般的には、本願明細書に開示される１つの態様によると、プログラムを実行する方法であって、前記方法は、消費者パーティのコンピュータ機器により、ブロックチェーンネットワークの複数ののードに渡り維持されるブロックチェーン上に記録された第１トランザクションからヘッダファイルを読み出すステップを含む方法が提供される。前記ヘッダファイルは、プログラムヘッダ情報と、前記ブロックチェーン上に格納された１つ以上のそれぞれの第２トランザクションの１つ以上のそれぞれのトランザクションIDを含む参照情報と、を含み、前記第２トランザクションの各々は、プログラムファイルの本体のそれぞれのセクションを含み、前記セクションのうちの少なくとも１つは実行可能プログラムコードを含む。前記方法は、前記ブロックチェーンから、前記参照情報に基づき前記１つ以上の第２トランザクションのうちの少なくとも１つから、前記プログラムファイルのそれぞれのセクションを読み出すステップと、前記プログラムヘッダ情報と前記少なくとも１つの読み出したセクションとを含むプログラムを実行するステップと、を更に含む。

実施形態では、前記プログラムの前記実行は、
前記ヘッダ情報及び前記少なくとも１つの読み出したセクションから、前記プログラムを含むプログラムファイルを再構成し、前記再構成したプログラムファイルを前記消費者パーティの前記コンピュータ機器のメモリに格納し、前記消費者パーティの前記コンピュータ機器で前記再構成したプログラムファイルを実行することを含んでよい。

代替として、前記消費者パーティは、各セクションを個別に実行し、次に、単一の実行可能ファイルとして全てのアセンブリングすることなく、次のセクションへ渡し得る。

実施形態では、前記コードは、アセンブリレベルコードを含んでよく、前記実行は、前記アセンブリレベルコードのアセンブリング及び前記アセンブリングされたコードの実行を含んでよい。代替として、実施形態では、前記コードは、高級言語を含んでよく、前記実行は、前記プログラムファイルの前記高級コードをコンパイルすること、及び例えばジャストインタイム（just-in-time (JIT)）コンパイルを用いてコンパイルされたプログラムを実行することを含んでよい。別の代替として、前記プログラムファイルは、未処理機械コードを含んでよく、前記実行は、前記機械コードを実行することを含んでよい。更に別の代替では、前記コードは、高級言語を含んでよく、前記実行は、高級コードをインタープリットすることを含んでよい。

実施形態では、前記実行は、リンクすること、例えば、異なるトランザクションからの異なるセクションの間の又は所与のトランザクションからの所与のセクション内の異なるサブセクションの間のリンク付けを更に含んでよい。

実施形態では、前記参照情報は、複数の第２トランザクションの複数のトランザクションＩＤを含んでよく、各第２トランザクションは、前記プログラムファイルのそれぞれの本体セクションを格納する。

前記異なるセクションは、プログラムコード、１つ以上のライブラリ、及び／又はプログラムにより操作されるべきデータを含んでよい。

実施形態では、前記読み出すステップは、前記ブロックチェーンから、前記複数の第２トランザクションのうちの２つ以上からそれぞれのセクションを読み出すステップを含んでよく、
実行される前記プログラムは、前記プログラムヘッダ情報と、前記２つ以上の第２トランザクションからの読み出したセクションと、を含んでよい。

代替として、前記ヘッダファイル内の前記参照情報は、単一の第２トランザクション内の単一の本体セクションのみを参照する単一のトランザクションIDのみを含み得る。

実施形態では、前記第２トランザクションのうちの少なくとも１つの中の前記本体セクションのうちの少なくとも１つは、それ自体が、更なる本体セクションを含む第３トランザクションへの少なくとも参照を含むヘッダ部分を含んでよい。この場合、実行されるプログラムは、前記プログラムヘッダと、前記第２及び第３トランザクションからの前記本体セクションと、を含んでよい。

実施形態では、前記ヘッダファイルは、１つ以上の条件を更に含んでよく、
前記方法は、前記条件を評価するステップを含んでよく、前記プログラムのセクションのうちの少なくとも１つの読み出し又は実行は、前記評価の結果を条件とする。

実施形態では、前記評価は、前記消費者パーティの前記コンピュータ機器により実行されてよい。

実施形態では、前記ヘッダファイルは、前記１つ以上の条件を評価するための実行可能コードスタブを含んでよい。この場合、前記方法は、前記評価を実行するために、前記消費者パーティの前記コンピュータ機器上で前記コードスタブを実行するステップを含んでよい。

実施形態では、前記条件は、前記消費者パーティのアイデンティティに関する条件である少なくとも１つのアクセス条件を含んでよい。この場合、前記評価は、前記消費者パーティの前記アイデンティティが前記少なくとも１つのアクセス条件により指定されるアイデンティティと一致することを検証することを含み、前記プログラムのセクションのうちの少なくとも１つの読み出し又は実行は、前記検証の肯定的結果を条件とする。

実施形態では、前記条件は、前記消費者パーティのコンピュータ機器の互換性に関する条件である少なくとも１つの互換性条件を含んでよい。この場合、前記評価は、前記消費者パーティの前記コンピュータ機器が前記互換性条件により指定される１つ以上の技術的基準を満たすことをチェックすることを含み、前記プログラムのセクションのうちの少なくとも１つの読み出し又は実行は、前記チェックの肯定的結果を条件とする。

互換性のための前記技術的基準は、前記消費者パーティの前記コンピュータ機器のハードウェアについて設定される１つ以上の基準を含み得る。代替として又は追加で、互換性のための前記技術的基準は、前記消費者パーティの前記コンピュータ機器にインストールされたソフトウェアについて設定された１つ以上の基準、例えば、オペレーティングシステムに関する１つ以上の基準、及び／又はインストールされる必要がある１つ以上の姉妹アプリケーションについての１つ以上の基準を含み得る。

実施形態では、前記条件は、前記複数のセクションのうちの各々に関連付けられたそれぞれの条件を含んでよく、前記それぞれの条件のうちの少なくとも幾つかは互いに異なる。前記方法は、前記複数のセクションのうちの各々に関連付けられた前記条件を評価するステップを含んでよく、各々のそのようなセクションの読み出し又は実行は、前記評価の結果を条件とする。

これは、有利なことに、アクセス又は操作性の異なるティアを提供し、それにより、前記条件に依存して（例えば、前記消費者パーティの前記アイデンティティに依存して）、幾つかのセクションは使用可能にされ、幾つかはモジュラに基づかない。

実施形態では、前記条件は、前記セクションの一部又は全部の各々について、前記消費者パーティのアイデンティティについてのそれぞれのアクセス条件を含んでよく、前記評価は、前記消費者パーティの前記アイデンティティがそれぞれのセクション毎の前記それぞれの条件により指定されるそれぞれのアイデンティティと一致することを検証することを含み、前記それぞれのセクションの読み出し又は実行は、前記それぞれの検証の肯定的結果を条件とする。

実施形態では、前記条件は、前記セクションの一部又は全部の各々について、前記消費者パーティのコンピュータ機器の前記それぞれのセクションとの互換性についてのそれぞれの互換性条件を含んでよく、前記評価は、前記消費者パーティの前記コンピュータ機器がそれぞれのセクション毎の前記それぞれの条件により指定されるそれぞれの１つ以上の技術的基準を満たすことを検証することを含み、前記それぞれのセクションの読み出し又は実行は、前記それぞれのチェックの肯定的結果を条件とする。

更なる代替又は追加の実施形態では、非スクリプトコードがブロックチェーントランザクションで標準的に使用されるロック／アンロックスクリプトよりも更に多様であるので、１つ以上のアクセス条件は、開発者の望む任意のユーザ定義された条件を含んでよい。

実施形態では、前記プログラムヘッダ情報は、前記プログラムファイルのバージョン番号、前記プログラムファイルが実行されるべきシステムのバージョン番号、前記プログラムファイルのサイズ、記述子、予約された変数のリスト、日付け及び／又はタイムスタンプ、チェックサム、及び／又は前記本体セクションの順序情報、のうちの１つ以上を含んでよい。

例えば、実施形態では、前記プログラムヘッダ情報は、バージョン及びサイズ情報のうちの最小のものを含む。

実施形態では、前記ブロックチェーン及びブロックチェーンネットワークは、アウトプットに基づくモデルに従い動作するよう構成されてよく、各トランザクションは、少なくとも１つのアウトプットと少なくとも１つのインプットとを含み、各アウトプットはロックスクリプトを含み、各インプットは、別のトランザクションのアウトプットへのポインタと、ポイントされたアウトプットのロックスクリプトをアンロックするためのアンロックスクリプトと、を含み、前記スクリプトはスクリプト言語で作成される。この場合、前記ヘッダファイル及び前記プログラムコードは、前記スクリプト言語以外の言語で作成されて（記述されて）よい
実施形態では、前記ヘッダファイル及び前記１つ以上のセクションの各々は、前記ブロックチェーン上の前記それぞれの第１又は第２トランザクションの少なくとも１つの使用不可能アウトプットに格納されてよい。

例えば、各使用不可能アウトプットは、ブロックチェーンネットワークのノードにより実行されるとスクリプトを終了する、スクリプト言語のオペコードの包含により、使用不可能にされてよい。例えば、前記オペコードはOP_RETURNであってよい（スクリプト言語はScriptである）。

実施形態では、前記ヘッダファイル内の前記参照情報は、各第２トランザクション内の個々のそれぞれのアウトプットの識別子を含んでよく、前記読み出しは、前記識別されたアウトプットから読み出されるセクションの各々を読み出すことを含んでよい。

実施形態では、前記第１トランザクションに格納されるような前記ヘッダファイルは、前記消費者パーティと前記プログラムを提供する提供者パーティとの間で共有される共有シークレットに基づき暗号化された暗号化形式で格納されてよい。この場合、前記ヘッダファイルの読み出しは、前記共有シークレットに基づき前記ヘッダファイルを復号することを含む。

代替として、前記ヘッダファイルは、暗号化されず、従ってチェーン上で公衆に自由に利用可能であってよい。

本願明細書に開示される別の態様によると、コンピュータ可読記憶装置上に具現化され、消費者パーティのコンピュータ機器上で実行すると本願明細書に開示されたいずれかの方法のステップを実行するよう構成される、コンピュータプログラムが提供される。

別の態様によると、消費者パーティの機器であって、
１つ以上のメモリユニットを含むメモリと、
１つ以上の処理ユニットを含む処理機器と、
を含み、
前記メモリは、前記処理機器上で実行するよう構成されるコードを格納し、前記コードは実行されると本願明細書に開示されたに任意の実施形態に従い前記消費者パーティの方法を実行するよう構成される、機器が提供される。

本願明細書に開示された別の態様によると、ブロックチェーンに記録するためのトランザクションのグループであって、前記グループは、コンピュータ可読データ媒体上に具現化され、ヘッダファイルを含む第１トランザクションと、１つ以上の第２トランザクションであって、それぞれが前記プロ具ファイルの本体のそれぞれのセクションを含み、前記セクションのうちの少なくとも１つは実行化のプログラムコードを含む、１つ以上の第２トランザクションと、を含み、前記ヘッダファイルは、プログラムヘッダ情報と、前記ブロックチェーンに格納された前記第２トランザクションのうちの１つ以上の１つ以上のそれぞれのトランザクションIDのセットとを含み、プログラムファイルが前記プログラムヘッダ情報及び前記セクションのうちの少なくとも１つから構成されることを可能にする、トランザクションのグループが提供される。

本明細書に開示される別の態様によれば、方法であって、第１パーティ、第２パーティ、関連し得る任意の第３者、及び／又はノードのネットワークの動作を含む方法を提供することができる。

本明細書に開示される別の態様によれば、第１パーティのコンピュータ機器、第２パーティのコンピュータ機器、任意の第３者のコンピュータ機器、及び／又はノードのネットワークを備えるシステムを提供することができる。

開示された技術の他の変形例又は使用事例は、本明細書で開示されると、当業者に明らかになり得る。本開示の範囲は、記載された実施形態によって限定されるものではなく、添付の特許請求の範囲によってのみ限定される。

Claims (20)

1. プログラムを実行する方法であって、前記方法は、消費者パーティのコンピュータ機器により、
   ブロックチェーンネットワークの複数のノードに渡り維持されるブロックチェーンに記録された第１トランザクションからヘッダファイルを読み出すステップであって、前記ヘッダファイルは、プログラムヘッダ情報と、前記ブロックチェーンに格納された１つ以上のそれぞれの第２トランザクションの１つ以上のそれぞれのトランザクションＩＤを含む参照情報と、を含み、前記第２トランザクションの各々は、プログラムファイルの本体のそれぞれのセクションを含み、前記セクションのうちの少なくとも１つは実行可能プログラムコードを含む、ステップと、
   前記ブロックチェーンから、前記参照情報に基づき前記１つ以上の第２トランザクションのうちの少なくとも１つから、前記プログラムファイルのそれぞれのセクションを読み出すステップと、
   前記プログラムヘッダ情報と前記少なくとも１つの読み出したセクションとを含むプログラムを実行するステップと、
   を含む方法。
2. 前記プログラムの前記実行は、
   前記プログラムヘッダ情報及び前記少なくとも１つの読み出したセクションから、前記プログラムを含むプログラムファイルを再構成し、前記再構成したプログラムファイルを前記消費者パーティの前記コンピュータ機器のメモリに格納し、前記消費者パーティの前記コンピュータ機器で前記再構成したプログラムファイルを実行することを含む、請求項１に記載の方法。
3. 前記参照情報は、複数の第２トランザクションの複数のトランザクションＩＤを含み、各第２トランザクションは、前記プログラムファイルのそれぞれの本体セクションを格納する、請求項１又は２に記載の方法。
4. 前記読み出すステップは、前記ブロックチェーンから、前記複数の第２トランザクションのうちの２つ以上からそれぞれのセクションを読み出すステップを含み、
   実行される前記プログラムは、前記プログラムヘッダ情報と、前記２つ以上の第２トランザクションからの読み出したセクションと、を含む、請求項３に記載の方法。
5. 前記第２トランザクション自体のうちの少なくとも１つの中の本体セクションのうちの少なくとも１つは、更なる本体セクションを含む第３トランザクションへの少なくとも参照を含むヘッダ部分を含み、
   実行される前記プログラムは、プログラムヘッダと、前記第２及び第３トランザクションからの本体セクションと、を含む、請求項１～４のいずれかに記載の方法。
6. 前記ヘッダファイルは、１つ以上の条件を更に含み、
   前記方法は、前記条件を評価するステップを含み、前記プログラムのセクションのうちの少なくとも１つの読み出し又は実行は、前記評価の結果を条件とする、請求項１～５のいずれかに記載の方法。
7. 前記評価は、前記消費者パーティの前記コンピュータ機器により実行される、請求項６に記載の方法。
8. 前記ヘッダファイルは、前記１つ以上の条件を評価するための実行可能コードスタブを含み、
   前記方法は、前記評価を実行するために、前記消費者パーティの前記コンピュータ機器で前記コードスタブを実行するステップを含む請求項７に記載の方法。
9. 前記条件は、前記消費者パーティのアイデンティティについての条件である少なくとも１つのアクセス条件を含み、
   前記評価は、前記消費者パーティの前記アイデンティティが前記少なくとも１つのアクセス条件により指定されるアイデンティティと一致することを検証することを含み、前記プログラムのセクションのうちの少なくとも１つの読み出し又は実行は、前記検証の肯定的結果を条件とする、請求項６～８のいずれかに記載の方法。
10. 前記条件は、前記消費者パーティの前記コンピュータ機器の互換性についての条件である少なくとも１つの互換性条件を含み、
    前記評価は、前記消費者パーティの前記コンピュータ機器が前記互換性条件により指定される１つ以上の技術的基準を満たすことをチェックすることを含み、前記プログラムのセクションのうちの少なくとも１つの読み出し又は実行は、前記チェックの肯定的結果を条件とする、請求項６～９のいずれかに記載の方法。
11. 前記条件は、複数のセクションの各々に関連付けられたそれぞれの条件を含み、前記それぞれの条件のうちの少なくとも一部は互いに異なり、
    前記方法は、前記複数のセクションのうちの少なくとも一部の各々に関連付けられた条件を評価するステップを含み、それぞれのそのようなセクションの読み出し又は実行は、前記評価の結果を条件とする、請求項３、４、又は５に従属する、請求項６～１０のいずれかに記載の方法。
12. 前記条件は、前記セクションの一部又は全部の各々について、前記消費者パーティのアイデンティティについてのそれぞれのアクセス条件を含み、前記評価は、前記消費者パーティの前記アイデンティティがそれぞれのセクション毎の前記それぞれの条件により指定されるそれぞれのアイデンティティと一致することを検証することを含み、前記それぞれのセクションの読み出し又は実行は、それぞれの検証の肯定的結果を条件とする、請求項１１に記載の方法。
13. 前記条件は、前記セクションの一部又は全部の各々について、前記消費者パーティのコンピュータ機器の前記それぞれのセクションとの互換性についてのそれぞれの互換性条件を含み、前記評価は、前記消費者パーティの前記コンピュータ機器がそれぞれのセクション毎のそれぞれの条件により指定されるそれぞれの１つ以上の技術的基準を満たすことを検証することを含み、前記それぞれのセクションの読み出し又は実行は、それぞれのチェックの肯定的結果を条件とする、請求項３、４、又は５に従属する、請求項６～１２のいずれかに記載の方法。
14. 前記プログラムヘッダ情報は、前記プログラムファイルのバージョン番号、前記プログラムファイルが実行されるべきシステムのバージョン番号、前記プログラムファイルのサイズ、記述子、予約された変数のリスト、日付け及び／又はタイムスタンプ、チェックサム、及び／又は本体セクションの順序情報、のうちの１つ以上を含む、請求項１～１３のいずれかに記載の方法。
15. 前記ブロックチェーン及びブロックチェーンネットワークは、アウトプットに基づくモデルに従い動作するよう構成され、各トランザクションは、少なくとも１つのアウトプットと少なくとも１つのインプットとを含み、各アウトプットはロックスクリプトを含み、各インプットは、別のトランザクションのアウトプットへのポインタと、ポイントされたアウトプットのロックスクリプトをアンロックするためのアンロックスクリプトと、を含み、
    前記ロックスクリプト及び前記アンロックスクリプトは、それぞれスクリプト言語で作成され、前記ヘッダファイル及び前記プログラムコードは、前記スクリプト言語以外の言語で作成される、請求項１～１４のいずれかに記載の方法。
16. 前記ヘッダファイル及び前記１つ以上のセクションの各々は、前記ブロックチェーン上の前記それぞれの第１又は第２トランザクションの少なくとも１つの使用不可能アウトプットに格納される、請求項１５に記載の方法。
17. 前記ヘッダファイル内の前記参照情報は、各第２トランザクション内の個々のそれぞれのアウトプットの識別子を含み、前記読み出しは、識別されたアウトプットから読み出されるセクションの各々を読み出すことを含む、請求項１５又は１６に記載の方法。
18. 前記第１トランザクションに格納される前記ヘッダファイルは、前記消費者パーティと前記プログラムを提供する提供者パーティとの間で共有される共有シークレットに基づき暗号化された暗号化形式で格納され、前記ヘッダファイルの読み出しは、前記共有シークレットに基づき前記ヘッダファイルを復号することを含む、請求項１～１７のいずれかに記載の方法。
19. コンピュータ可読記憶装置上に具現化され、消費者パーティのコンピュータ機器上で実行すると請求項１～１８のいずれかに記載の方法を実行するよう構成される、コンピュータプログラム。
20. 消費者パーティの機器であって、
    １つ以上のメモリユニットを含むメモリと、
    １つ以上の処理ユニットを含む処理機器と、
    を含み、
    前記メモリは、前記処理機器上で実行するよう構成されるコードを格納し、前記コードは実行すると請求項１～１８のいずれかに記載の方法を実行するよう構成される、機器。

Images