WO2021125106A1

WO2021125106A1 - 制御方法、装置、および、プログラム

Info

Publication number: WO2021125106A1
Application number: PCT/JP2020/046396
Authority: WO
Inventors: 勇二海上; 淳児道山; 添田　純一郎; 大森　基司; 哲司渕上; 雄揮廣瀬; 直央西田; 雅裕田口
Original assignee: パナソニックインテレクチュアルプロパティコーポレーションオブアメリカ
Priority date: 2019-12-19
Filing date: 2020-12-11
Publication date: 2021-06-24
Also published as: JPWO2021125106A1; CN114830149A; US20220309495A1

Abstract

第一ユーザと第二ユーザとの第一契約に関する第一情報を示す第一変数と、第二情報が未定であることを示す所定値が設定されている第二変数とを含む第一トランザクションデータを取得し（Ｓ１０２）、取得した第一トランザクションデータを分散台帳に格納し（Ｓ１０５）、分散台帳に格納した第一トランザクションデータに含まれている第二変数を読み出してサーバの書き換え可能な記憶部に格納する格納処理を実行し（Ｓ１０６、Ｓ１０７）、第一ユーザと第三ユーザとの第二契約に関する第三情報を示す第三変数と、第三変数に基づいて第二変数を変更する変更命令とを含む第二トランザクションデータを取得し（Ｓ１０９）、取得した第二トランザクションデータを分散台帳に格納し（Ｓ１１２）、第二トランザクションデータを分散台帳に格納した後に、記憶部に格納されている第二変数を所定値から変更命令に従って変更する変更処理を実行する（Ｓ１１３、Ｓ１１４）。

Description

制御方法、装置、および、プログラム

　本発明は、制御方法、装置、および、プログラムに関する。

　分散台帳を用いて契約に係る情報を管理する技術がある。分散台帳に格納された情報は、書き換えが実質的に不可能であるように管理される。

　分散台帳を用いたシステムにおいて複数の管理者が存在する状況下でも、運用ポリシーまたは運用のタイミングを揃える技術が開示されている。

国際公開第２０１９／０２１７９２号

　本発明は、契約を管理するコンピュータシステムの消費電力の増大を抑制する制御方法などを提供する。

　本発明の一態様に係る制御方法は、分散台帳を保有している複数の装置を備える契約管理システムにおいて、当該複数の装置のうちの一の装置が実行する制御方法であって、第一ユーザと第二ユーザとの第一契約に関する第一情報を示す第一変数と、前記第一契約に関する前記第一情報とは異なる第二情報を示す第二変数であって前記第二情報が未定であることを示す所定値が設定されている第二変数とを含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、前記分散台帳に格納した前記第一トランザクションデータに含まれている前記第二変数を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、前記第一ユーザと第三ユーザとの第二契約に関する第三情報を示す第三変数と、前記第三変数に基づいて前記第二変数を変更する変更命令とを含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第二変数を前記所定値から前記変更命令に従って変更する変更処理を実行する制御方法である。

　なお、これらの包括的または具体的な態様は、システム、装置、集積回路、コンピュータプログラムまたはコンピュータ読み取り可能なＣＤ－ＲＯＭなどの記録媒体で実現されてもよく、システム、装置、集積回路、コンピュータプログラムおよび記録媒体の任意な組み合わせで実現されてもよい。

　本発明の制御方法は、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。

図１は、実施の形態１における契約の流れの一例を模式的に示す説明図である。図２は、実施の形態１における契約管理システムの構成を模式的に示すブロック図である。図３は、実施の形態１における台帳サーバの機能構成を示すブロック図である。図４は、実施の形態１におけるトランザクションデータの第一例を示す説明図である。図５は、実施の形態１におけるトランザクションデータの第二例を示す説明図である。図６は、実施の形態１における契約管理システムの処理を示すシーケンス図である。図７は、実施の形態２における契約管理システムの構成を模式的に示すブロック図である。図８は、実施の形態２におけるトランザクションデータの第一例を示す説明図である。図９は、実施の形態２におけるトランザクションデータの第二例を示す説明図である。図１０は、実施の形態２における取引サーバの処理を示すフロー図である。図１１は、実施の形態２における契約管理システムの処理を示す第一のシーケンス図である。図１２は、実施の形態２における契約管理システムの処理を示す第二のシーケンス図である。図１３は、実施の形態３におけるトランザクションデータの第一例を示す説明図である。図１４は、実施の形態３におけるトランザクションデータの第二例を示す説明図である。図１５は、実施の形態３におけるトランザクションデータの第三例を示す説明図である。図１６は、実施の形態３における契約管理システムの処理を示す第一のシーケンス図である。図１７は、実施の形態３における契約管理システムの処理を示す第二のシーケンス図である。図１８は、実施の形態３における取引サーバの処理を示すフロー図である。図１９は、実施の形態３における契約管理システムの処理を示す第三のシーケンス図である。図２０は、実施の形態３における契約管理システムの処理を示す第四のシーケンス図である。図２１は、変形例１における契約管理システムの構成を模式的に示すブロック図である。図２２は、変形例２における契約管理システムの構成を模式的に示すブロック図である。図２３は、ブロックチェーンのデータ構造を示す説明図である。図２４は、トランザクションデータのデータ構造を示す説明図である。

　（本発明の基礎となった知見）
　本発明者は、「背景技術」の欄において記載した、契約に関する技術に関し、以下の問題が生じることを見出した。

　分散台帳を用いて契約に係る情報を管理する技術がある。分散台帳に格納された情報は、書き換えが実質的に不可能であるように管理される。また、分散台帳を用いて契約に係る処理を実行し、契約を管理する技術がある。このような技術は、例えばスマートコントラクトによって実現され得る。

　ところで、相互に内容が関係する複数の契約が順次に締結される場合がある。例えば、後の契約の内容が確定して初めて、先の契約の内容が確定する場合がある。

　このように締結される契約を分散台帳を用いて管理する場合、先の契約の内容が先に分散台帳に格納され、その後、後の契約の内容が確定した時点において、後の契約の内容が分散台帳に格納されることが想定される。しかし、上記の通り分散台帳に格納された情報の書き換えが実質的に不可能であるように管理されているので、後の契約の内容が確定した時点では、先の契約に係る内容を変更することができない。

　そこで、相互に内容が関係する複数の契約が順次に締結される場合には、後の契約の内容が確定した後に、先の契約の内容を修正した新たな契約の内容を分散台帳で管理する方法がある。

　仮に、新たな契約の内容を、人手により決定して分散台帳で管理するとすれば、人に情報を提示したり人から情報の入力を受けたりする処理が必要となり、上記処理に用いられるコンピュータの消費電力が増大するという問題がある。また、上記処理に必要なコンピュータリソース、例えば、情報を提示するための出力デバイス（表示装置またはスピーカなど）、または、情報の入力を受けるためのデバイス（タッチパネル、キーボード、マウスなど）を多く必要とするという問題もある。

　さらに、人が介在することになるので、人の手間がかかるという問題がある。また、人が、正しくない契約内容を生成して分散台帳に格納してしまうという問題も発生しうる。

　上記態様によれば、第一契約の締結の時点で未定である情報が含まれている場合でも、第一契約に対応するトランザクションデータを分散台帳を用いて管理し、その後に締結される第二契約の内容に基づいて上記の未定である情報を変更することで、上記第一契約および第二契約が管理される。そして、未定である情報の変更の処理は、サーバのコンピュータ処理によってなされ、言い換えれば、人が介在することなく実行される。そのため、コンピュータの消費電力の増大を抑制し、または、コンピュータリソースの必要量を抑制できる。また、人が処理をする手間を低減することができる。このように、上記制御方法は、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。

　また、前記第一契約は、前記第一ユーザおよび前記第二ユーザと異なるユーザである関係ユーザが関係する契約であり、前記第二情報は、前記関係ユーザの識別情報を含み、前記第二契約は、前記第一ユーザと、前記関係ユーザである前記第三ユーザとの契約であり、前記変更処理は、前記記憶部に格納されている前記第二変数を、前記所定値から、前記変更命令に従って前記関係ユーザである前記第三ユーザの識別情報に変更する処理であってもよい。

　上記態様によれば、三者が関係する契約が適切に管理される。具体的には、第一契約に関係する関係ユーザが第一契約の締結の時点で未定である場合でも、その後に締結される第二契約に従って関係ユーザが特定される場合に、第一契約および第二契約が適切に管理される。このように、上記制御方法は、三者が関係する契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。

　また、前記第一トランザクションデータは、前記第一変数と、前記第二変数と、前記第一変数および前記第二変数を前記記憶部に格納する格納命令とを含む第一コントラクトコードを含み、前記格納処理は、前記第一トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部が前記第一コントラクトコードに含まれる前記格納命令を実行したことによって行われてもよい。

　上記態様によれば、第一トランザクションデータを記憶部に格納する処理が、第一トランザクションデータが分散台帳に格納されることに基づいてスマートコントラクトにより自動的に実行され、言い換えれば、人が介在することなく実行される。そのため、コンピュータの消費電力の増大をより一層抑制し、または、コンピュータリソースの必要量をより一層抑制できる。また、人が処理をする手間をより一層低減することができる。このように、上記制御方法は、契約を管理するコンピュータシステムの消費電力の増大をより一層抑制することができる。

　また、前記第一コントラクトコードは、前記記憶部に格納される前記第二変数を設定する設定関数を含み、前記変更処理は、前記設定関数を実行させる命令を含む第三トランザクションデータを取得した場合に、取得した前記第三トランザクションデータが前記分散台帳に格納されたことに基づいて、前記コントラクト実行部が前記設定関数を実行したことで行われてもよい。

　上記態様によれば、第二変数を設定する処理が、第三トランザクションデータが分散台帳に格納されることに基づいてスマートコントラクトにより自動的に実行され、言い換えれば、人が介在することなく実行される。そのため、コンピュータの消費電力の増大をより一層抑制し、または、コンピュータリソースの必要量をより一層抑制できる。また、人が処理をする手間をより一層低減することができる。このように、上記制御方法は、契約を管理するコンピュータシステムの消費電力の増大をより一層抑制することができる。

　また、前記第二トランザクションデータは、前記第三変数と、前記変更命令とを含む第二コントラクトコードを含み、前記変更処理は、前記第二トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部により前記変更命令が実行されたことによって行われてもよい。

　上記態様によれば、第二情報を変更する処理が、第二トランザクションデータが分散台帳に格納されることに基づいてスマートコントラクトにより自動的に実行され、言い換えれば、人が介在することなく実行される。そのため、コンピュータの消費電力の増大をより一層抑制し、または、コンピュータリソースの必要量をより一層抑制できる。また、人が処理をする手間をより一層低減することができる。このように、上記制御方法は、契約を管理するコンピュータシステムの消費電力の増大をより一層抑制することができる。

　また、前記第一トランザクションデータは、前記第一ユーザの電子署名と、前記第二ユーザの電子署名とを含んでいて、前記第一トランザクションデータを前記分散台帳に格納する際には、前記第一トランザクションデータに含まれている前記第一ユーザの電子署名と、前記第二ユーザの電子署名との両方の検証が成功した場合に、前記第一トランザクションデータを前記分散台帳に格納してもよい。

　上記態様によれば、第一契約に相当する第一トランザクションデータに、第一契約を締結した第一ユーザおよび第二ユーザそれぞれの電子署名が含まれる。そのため、各電子署名を検証することで、第一ユーザおよび第二ユーザが第一契約を確かに締結したことを証明することができる。よって、上記制御方法は、契約をより一層適切に管理することができる。

　また、前記第二トランザクションデータは、前記第一ユーザの電子署名と、前記第三ユーザの電子署名とを含んでいて、前記第二トランザクションデータを前記分散台帳に格納する際には、前記第二トランザクションデータに含まれている前記第一ユーザの電子署名と、前記第三ユーザの電子署名との両方の検証が成功した場合に、前記第二トランザクションデータを前記分散台帳に格納してもよい。

　上記態様によれば、第二契約に相当する第二トランザクションデータに、第二契約を締結した第一ユーザおよび第三ユーザそれぞれの電子署名が含まれる。そのため、各電子署名を検証することで、第一ユーザおよび第三ユーザが第二契約を確かに締結したことを証明することができる。よって、上記制御方法は、契約をより一層適切に管理することができる。

　また、前記第一契約は、前記第一ユーザが前記第二ユーザから材料を購入し、購入した前記材料を納品先に配送することを定めた契約を含み、前記第一情報は、前記材料の購入金額と、前記材料を納品する期限とを含み、前記第二情報は、前記材料の納品先を含み、前記第二契約は、前記第三ユーザが、前記第二ユーザから納入された前記材料から製品を製造して前記第一ユーザに納品することを定めた契約を含み、前記第三情報は、前記製品の購入金額と、前記製品を納品する期限と、前記製品の納品先とを含んでもよい。

　上記態様によれば、材料契約における材料の納品先が材料契約の締結の時点で未定である場合でも、その後に締結される製造委託契約によって特定された製造者を、材料契約における材料納品先とするように変更することにより、材料契約および製造委託契約が適切に管理される。このように、上記制御方法は、第一ユーザと第二ユーザとの材料契約、および、第一ユーザと第三ユーザとの製造委託契約という、三者が関係する契約を適切に管理することができる。

　また、本発明の一態様に係る装置は、分散台帳を保有している複数の装置を備える契約管理システムにおける、当該複数の装置のうちの一の装置であって、処理部と、前記分散台帳を記憶している台帳記憶部と、実行部と、書き換え可能な記憶部とを備え、前記処理部は、第一ユーザと第二ユーザとの第一契約に関する第一情報を示す第一変数と、前記第一契約に関する前記第一情報とは異なる第二情報を示す第二変数であって前記第二情報が未定であることを示す所定値が設定されている第二変数とを含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、前記実行部は、前記分散台帳に格納した前記第一トランザクションデータに含まれている前記第二変数を読み出して前記記憶部に格納する格納処理を実行し、前記処理部は、さらに、前記第一ユーザと第三ユーザとの第二契約に関する第三情報を示す第三変数と、前記第三変数に基づいて前記第二変数を変更する変更命令とを含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、前記実行部は、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第二変数を前記所定値から前記変更命令に従って変更する変更処理を実行する装置である。

　上記態様により、上記制御方法と同様の効果を奏する。

　また、本発明の一態様に係るプログラムは、上記の制御方法をコンピュータに実行させるためのプログラムである。

　上記態様により、上記制御方法と同様の効果を奏する。

　なお、これらの包括的または具体的な態様は、システム、装置、集積回路、コンピュータプログラムまたはコンピュータ読み取り可能なＣＤ－ＲＯＭなどの記録媒体で実現されてもよく、システム、装置、集積回路、コンピュータプログラムまたは記録媒体の任意な組み合わせで実現されてもよい。

　以下、実施の形態について、図面を参照しながら具体的に説明する。

　なお、以下で説明する実施の形態は、いずれも包括的または具体的な例を示すものである。以下の実施の形態で示される数値、形状、材料、構成要素、構成要素の配置位置及び接続形態、ステップ、ステップの順序などは、一例であり、本発明を限定する主旨ではない。また、以下の実施の形態における構成要素のうち、最上位概念を示す独立請求項に記載されていない構成要素については、任意の構成要素として説明される。

　（実施の形態１）
　本実施の形態において、契約を管理するコンピュータシステムの消費電力の増大を抑制する契約管理システムおよびその制御方法などについて説明する。

　図１は、本実施の形態における契約の流れの一例を模式的に示す説明図である。

　具体的には、図１は、サプライチェーンを構成するＡ社、Ｂ社およびＣ社の三者が関係する契約と、その契約によってなされる物の納品とを模式的に示している。Ａ社を第一ユーザともいい、Ｂ社を第二ユーザともいい、Ｃ社を第三ユーザともいう。

　まず、図１の（１）に示されるように、Ａ社とＢ社との間で材料契約（第一契約に相当）が締結される。材料契約は、Ａ社がＢ社から材料を購入し、Ｂ社がその材料を納品先（材料納品先ともいう）に納品することを定めた契約である。材料契約には、材料の納期、材料の購入の金額、および、材料納品先が含まれる。

　ここで、Ａ社とＢ社との契約の締結の時点では、材料の購入の金額と、材料の納期とが決定しているが、材料納品先が未定である場合を想定する。材料納品先が未定であるので、材料契約における材料納品先には、未定を示す情報が設定されている。

　材料契約の締結後に、図１の（２）に示されるように、Ａ社とＣ社との間で製造委託契約（第二契約に相当）が締結される。製造委託契約は、Ｃ社が材料から製品を製造して、製造された製品をＡ社に納品することを定めた契約である。材料はＢ社から納品される。製造委託契約には、製品の納期、製品の購入の金額、および、製品の納品先（製品納品先ともいう）が含まれる。

　また、図１の（２）で製品を製造するのがＣ社に特定されたことに応じて、先に締結された材料契約における材料納品先がＣ社に設定される（図１の（３））。

　その後、Ｂ社は、製造した材料をＣ社に納品することで、材料契約を履行する（図１の（４））。また、Ｃ社は、Ｂ社から納品された材料から製品を製造し、製造した製品をＡ社に納品することで、製造委託契約を履行する（図１の（５））。

　このような、契約と契約の履行とに係る処理を、分散台帳を用いて実行するには、材料契約の内容を定めた１つのスマートコントラクトＣＡと、製造委託契約の内容を定めた１つのスマートコントラクトＣＢとが用いられることが想定される。

　この場合、スマートコントラクトＣＡにおける材料納品先は、Ａ社とＢ社との材料契約の締結時には未定と設定され、その後、Ａ社とＣ社との製造委託契約の締結時にスマートコントラクトＣＢが実行する処理によって変更または設定されることが想定される。材料納品先の変更または設定を可能とするため、材料納品先は書き換え可能な記憶領域に保存される。

　このようにすることで、上記のコンピュータの消費電力の増大、または、デバイスを多く必要とするという問題を回避でき、また人が介在することに起因する問題を回避することができる。

　なお、スマートコントラクトＣＡおよびＣＢは、材料契約および製造委託契約の内容を管理する機能を少なくとも有するが、さらに、契約の履行（例えば、材料または製品の製造、製造した物の納品、代金の支払など）に関する処理をする機能を有してもよい。

　このような契約の形態を適切に管理する技術について以下で詳細に説明する。

　図２は、本実施の形態における契約管理システム１の構成を模式的に示すブロック図である。

　図２に示されるように、契約管理システム１は、台帳サーバ１０Ａ、１０Ｂおよび１０Ｃと、端末２０Ａ、２０Ｂおよび２０Ｃとを備える。

　台帳サーバ１０Ａ、１０Ｂおよび１０Ｃを「台帳サーバ１０Ａ等」ともいい、端末２０Ａ、２０Ｂおよび２０Ｃを「端末２０Ａ等」ともいう。

　台帳サーバ１０Ａと端末２０ＡとはＡ社に属していて、台帳サーバ１０Ｂと端末２０ＢとはＢ社に属していて、台帳サーバ１０Ｃと端末２０ＣとはＣ社に属している。ここでは、契約管理システム１は、三者が関係する契約を管理する例を示すが、契約に関係する者の数は４以上であってもよい。

　契約管理システム１が備える各装置は、ネットワークＮに直接的に又は間接的に接続されていて、ネットワークＮを介して互いに通信可能である。

　ネットワークＮは、どのような通信回線またはネットワークから構成されてもよく、例えば、インターネット、携帯電話のキャリアネットワーク、インターネットプロバイダのアクセスネットワーク、または公衆アクセスネットワークなどを含み得る。

　台帳サーバ１０Ａは、契約管理システム１において分散台帳を用いて契約を管理する複数の台帳サーバ１０Ａ等のうちの１つである。台帳サーバ１０Ａを装置ともいう。

　台帳サーバ１０Ａは、分散台帳を保有している。台帳サーバ１０Ａが保有している分散台帳には、トランザクションデータが格納される。分散台帳に格納されるトランザクションデータには、契約に関するスマートコントラクトに係るコントラクトコード（単にコードともいう）を含むトランザクションデータが含まれる。また、台帳サーバ１０Ａは、分散台帳が格納されている記憶領域とは別に、書き換え可能な記憶領域を有し、契約に関する変数を書き換え可能な記憶領域に格納している。

　台帳サーバ１０Ｂおよび１０Ｃは、それぞれ、台帳サーバ１０Ａと同じ機能を有する装置であり、台帳サーバ１０Ａとは独立に動作する。

　端末２０Ａは、Ａ社に所属するユーザが使用する情報端末である。端末２０Ａは、ユーザによって操作され、例えば、スマートコントラクトのコードを生成したり、スマートコントラクトのコードを台帳サーバ１０Ａ等に配置したりするために用いられる。端末２０Ａは、例えばパーソナルコンピュータ、スマートフォンまたはタブレットなどである。

　端末２０Ｂおよび２０Ｃは、それぞれ、端末２０Ａと同じ機能を有し、Ｂ社およびＣ社に所属するユーザが使用する情報端末であり、端末２０Ａとは独立に動作する。

　なお、Ａ社、Ｂ社およびＣ社には、それぞれ、１以上の端末が属していてもよい。

　なお、端末２０Ａが、台帳サーバ１０Ａの機能をさらに備えてもよい。その場合、端末２０Ａは、分散台帳を用いて契約を管理する装置に相当する。同様に、端末２０Ｂが、台帳サーバ１０Ｂの機能をさらに備えてもよい。その場合、端末２０Ｂは、分散台帳を用いて契約を管理する装置に相当する。さらに、端末２０Ｃが、台帳サーバ１０Ｃの機能をさらに備えてもよい。その場合、端末２０Ｃは、分散台帳を用いて契約を管理する装置に相当する。

　図３は、本実施の形態における台帳サーバ１０Ａの機能構成を示すブロック図である。

　図３に示されるように、台帳サーバ１０Ａは、処理部１１と、台帳記憶部１２と、実行部１３と、記憶部１４とを備える。

　処理部１１は、トランザクションデータに関する処理を実行する機能部である。処理部１１は、台帳サーバ１０Ａが備えるプロセッサ（例えばＣＰＵ（Ｃｅｎｔｒａｌ　Ｐｒｏｃｅｓｓｉｎｇ　Ｕｎｉｔ））がメモリを用いてプログラムを実行することで実現され得る。

　処理部１１は、トランザクションデータを取得し、取得したトランザクションデータを分散台帳に格納する処理を実行する。また、処理部１１は、トランザクションデータを生成し、生成したトランザクションデータについての電子署名（単に署名ともいう）を生成し、生成した署名を上記トランザクションデータに付与する処理を実行する。

　処理部１１は、新しいトランザクションデータを分散台帳に格納するときには、分散台帳の種別に応じた方式で新しいトランザクションデータを台帳記憶部１２に格納する。また、処理部１１は、台帳サーバ１０Ａ等のうちの他の台帳サーバが備える台帳記憶部１２と通信データを送受信し、他の台帳サーバが備える台帳記憶部１２にも上記トランザクションデータを格納させる。例えば、処理部１１は、分散台帳がブロックチェーンである場合には、新しいトランザクションデータを含むブロックを生成し、生成したブロックについて台帳サーバ１０Ａ等の間でコンセンサスアルゴリズムにより合意形成をしたうえで、上記ブロックを台帳記憶部１２に格納する。

　具体的には、処理部１１は、第一トランザクションデータを取得し、取得した第一トランザクションデータを分散台帳に格納する。第一トランザクションデータは、Ａ社とＢ社との材料契約（つまり第一契約）に関する情報（第一情報ともいう）を示す第一変数と、第一契約に関する第一情報とは異なる情報（第二情報ともいう）を示す第二変数であって第二情報が未定であることを示す所定値が設定されている第二変数とを含んでいる。言い換えれば、第一情報は、第一契約の締結時で特定されている情報であり、第二情報は、第一契約の締結の時点で特定されていない情報である。

　また、処理部１１は、第二トランザクションデータを取得し、取得した第二トランザクションデータを分散台帳に格納する。第二トランザクションデータは、Ａ社とＣ社との製造委託契約（つまり第二契約）に関する情報（第三情報ともいう）を示す第三変数と、第三変数に基づいて第二変数を変更する変更命令とを含んでいる。

　台帳記憶部１２は、分散台帳を記憶している記憶部である。台帳記憶部１２に格納されている分散台帳は、１以上のトランザクションデータを記憶しており、ハッシュ値などの特性を用いて改ざんが困難であるように管理されている（後述）。台帳記憶部１２は、処理部１１から提供されたトランザクションデータを分散台帳に格納する。分散台帳には、過去から現在までのトランザクションデータが格納されている。分散台帳に記録された情報の改ざんが困難であるという特性に基づいて、上記トランザクションデータが改ざんされないように管理されている。

　なお、分散台帳は、例えばブロックチェーンであり、この場合を例として説明するが、他の方式の分散台帳（例えば、ＩＯＴＡまたはハッシュグラフ等）を採用することも可能である。なお、分散台帳は、新しいデータの格納の際にコンセンサスアルゴリズム（例えば、ＰＢＦＴ（Ｐｒａｃｔｉｃａｌ　Ｂｙｚａｎｔｉｎｅ　Ｆａｕｌｔ　Ｔｏｌｅｒａｎｃｅ）、ＰｏＷ（Ｐｒｏｏｆ　ｏｆ　Ｗｏｒｋ）またはＰｏＳ（Ｐｒｏｏｆ　ｏｆ　Ｓｔａｋｅ））を実行するものであってもよいし、実行しないものであってもよい。コンセンサスアルゴリズムを実行しない分散台帳技術の一例としてＨｙｐｅｒｌｅｄｇｅｒ　ｆａｂｒｉｃがある。

　実行部１３は、台帳記憶部１２が記憶している分散台帳に格納されているトランザクションデータを参照して、処理を実行する機能部である。実行部１３は、台帳サーバ１０Ａが備えるプロセッサ（例えばＣＰＵ）がメモリを用いてプログラムを実行することで実現され得る。ここでは、実行部１３は、分散台帳に格納されているトランザクションデータに含まれているスマートコントラクトのコードに従って処理を実行するコントラクト実行部である場合を例として説明する。

　具体的には、実行部１３は、第一トランザクションデータが分散台帳に格納された後に、分散台帳に格納されている第一トランザクションデータに含まれている第二変数を読み出して記憶部１４に格納する格納処理を実行する。

　格納処理は、例えば、第一トランザクションデータが分散台帳に格納されたことに基づいて、実行部１３が第一コントラクトコードを実行したことによって行われる。

　また、実行部１３は、第二トランザクションデータが分散台帳に格納された後に、記憶部１４に格納されている第二変数を、所定値から、第二トランザクションデータに含まれている変更命令に従って変更する変更処理を実行する。

　変更処理は、例えば、第二トランザクションデータが分散台帳に格納されたことに基づいて、実行部１３が第二コントラクトコードを実行したことによって行われる。

　記憶部１４は、変数を格納している記憶領域を有する記憶装置である。変数は、契約に関する情報を示す変数であり、具体的には、第一変数、第二変数および第三変数を含む。記憶部１４に格納されている変数は、実行部１３により設定され、また、読み出される。記憶部１４は、書き換え可能な記憶装置、例えば、ＲＡＭ（Ｒａｎｄｏｍ　Ａｃｃｅｓｓ　Ｍｅｍｏｒｙ）などのメモリ、または、ＨＤＤ（Ｈａｒｄ　Ｄｉｓｋ　Ｄｒｉｖｅ）もしくはＳＳＤ（Ｓｏｌｉｄ　Ｓｔａｔｅ　Ｄｒｉｖｅ）などのストレージにより実現される。

　なお、第一トランザクションデータまたは第二トランザクションデータには、複数の署名が付与されるマルチシグ技術が適用されてもよく、この場合を例として説明するが、第一トランザクションデータまたは第二トランザクションデータに単一の電子署名が付与されるだけでもよい。

　具体的には、第一トランザクションデータは、材料契約の締結者であるＡ社およびＢ社それぞれの電子署名を含んでいてもよい。その場合、処理部１１が第一トランザクションデータを分散台帳に格納する際には、第一トランザクションデータに含まれているＡ社およびＢ社それぞれの電子署名の検証が成功した場合に、第一トランザクションデータを分散台帳に格納する。

　同様に、第二トランザクションデータは、製造委託契約の締結者であるＡ社およびＣ社それぞれの電子署名を含んでいてもよい。その場合、処理部１１が第二トランザクションデータを分散台帳に格納する際には、第二トランザクションデータに含まれているＡ社およびＣ社それぞれの電子署名の検証が成功した場合に、第二トランザクションデータを分散台帳に格納する。

　なお、材料契約および製造委託契約は、以下のようにも説明され得る。

　材料契約は、材料契約の締結者であるＡ社およびＢ社とは異なるユーザ（関係ユーザともいう）が関係する契約であるといえる。

　材料契約における第一情報は、材料契約の締結時に特定されている情報である、材料の購入の金額と、材料の納期とを含む。第一変数は、上記金額を示す変数と、上記納期を示す変数とを含む。

　材料契約における第二情報は、材料契約の締結時に特定されていない情報である材料納品先を含む。材料納品先が関係ユーザに相当する。材料契約の締結時には、材料納品先が特定されておらず、未定である。第二変数は、材料納品先を示す変数を含み、材料納品先を示す変数は、材料契約の締結時には、第二情報が未定であることを示す所定値が設定されている。所定値は、第二変数に設定可能な数値の範囲内において、材料納品先を示すためには実際には使われない数値（例えばゼロ）または所定の予約値が用いられ得る。

　また、製造委託契約は、Ａ社とＣ社との契約であるといえる。製造委託契約における第三情報は、製品の購入金額を示す変数と、製品を納品する期限を示す変数と、製品の納品先を示す変数とを含む。製造委託契約の契約者のうちＡ社と異なる契約者であるＣ社が、材料契約における関係ユーザに該当する。そのため、製造委託契約が締結されたことによって、製造委託契約の契約者のうちＡ社と異なる契約者であるＣ社が、材料契約における関係ユーザに該当すると特定される。

　そこで、変更処理では、記憶部１４に格納されている第二変数としての材料納品先を示す変数を、所定値から、第二トランザクションデータに含まれている変更命令に従って関係ユーザである第三ユーザに変更する。

　なお、材料契約において、材料の購入の金額、材料の納期および材料納品先のうちの１以上の情報を第一情報としてもよい。その場合、材料の購入の金額、材料の納期および材料納品先のうち第一情報を除く情報が第二情報となる。

　その場合、製造委託契約は、第一情報そのもの、または、第一情報を特定できる情報を含む。そして、製造委託契約が締結されたことによって、第一情報が特定され、第二トランザクションデータに含まれている変更命令によって、材料契約における第一情報が変更される。

　以降において、トランザクションデータ、および、スマートコントラクトのコードについて説明する。

　図４は、本実施の形態におけるトランザクションデータの第一例であるトランザクションデータＴＡを示す説明図である。トランザクションデータＴＡは、第一トランザクションデータに相当する。トランザクションデータＴＡは、例えば、台帳サーバ１０Ａにより生成される。

　図４に示されるように、トランザクションデータＴＡは、「スマートコントラクトＣＡのコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。

　「スマートコントラクトＣＡのコード」は、スマートコントラクトＣＡが用いる変数であって、記憶部１４に格納されている変数を示す変数部を含む。変数部は、図４において破線枠で示されている。以降でも同様の表現を用いる。スマートコントラクトＣＡが用いる変数は、金額、材料納品先および納期を含む。金額は、材料契約においてＡ社が支払う金額を示す。材料納品先は、材料契約によりＢ社が製造した材料の納品先を示す。納期は、Ｂ社が材料を材料納品先に納品する期日を示す。

　また、「スマートコントラクトＣＡのコード」は、初期化関数を含む。初期化関数は、当該トランザクションデータが分散台帳に格納されたときに実行部１３によって実行される特別な関数である。以降でも同様である。

　初期化関数は、引数として金額と納期とを受け付ける。また、初期化関数は、実行されると、記憶部１４に格納されている、材料納品先を示す変数、金額を示す変数、および納期を示す変数に値を設定する。具体的には、初期化関数は、実行されると、材料納品先を示す変数に所定値を設定し、金額を示す変数に引数として受け付けた金額を設定し、納期を示す変数に引数として受け付けた納期を設定する。

　なお、図４に初期化関数として示した関数を、一般の関数（つまり、初期化関数でない関数）とし、当該トランザクションデータＴＡによってその関数を実行させるようにしても同様の効果を奏する。他のスマートコントラクトのコードに含まれる初期化関数についても同様である。

　「初期化関数に渡す引数」は、スマートコントラクトＣＡの初期化関数に渡す引数であり、納期（２０１９年１月１日）と金額（５００万円）とを含む。この引数として示されている情報が、初期化関数に渡される。

　「署名１」は、トランザクションデータＴＡに付与されている２つの電子署名のうちの１つ目である。署名１には、Ａ社の署名ＳＡが含まれている。

　「署名２」は、トランザクションデータＴＡに付与されている２つの電子署名のうちの２つ目である。署名２には、Ｂ社の署名ＳＢが含まれている。

　「送信日時」は、トランザクションデータＴＡが送信された日時を示す。送信日時には、「２０１８年１０月０１日　１２時００分００秒」が格納されている。

　図４に示されるトランザクションデータＴＡが分散台帳に格納されると、初期化関数が実行されることで、引数として初期化関数に渡された金額および納期が、それぞれ、記憶部１４の金額および納期を示す変数に設定される。

　図５は、本実施の形態におけるトランザクションデータの第二例であるトランザクションデータＴＢを示す説明図である。トランザクションデータＴＢは、第二トランザクションデータに相当する。トランザクションデータＴＢは、例えば、台帳サーバ１０Ａにより生成される。

　図５に示されるように、トランザクションデータＴＢは、「スマートコントラクトＣＢのコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。

　「スマートコントラクトＣＢのコード」は、変数部と初期化関数とを含む。スマートコントラクトＣＢが用いる変数は、金額、製品納品先および納期を含む。金額は、製造委託契約においてＡ社が支払う金額を示す。製品納品先は、製造委託契約によりＣ社が製造した製品の納品先を示す。納期は、Ｃ社が製品を製品納品先に納品する期日を示す。

　初期化関数は、引数として、金額と、納期と、製品納品先と、コントラクトアドレスと、材料納品先とを受け付ける。また、初期化関数は、実行されると、記憶部１４に格納されている、製品納品先を示す変数、金額を示す変数、および納期を示す変数に値を設定する。具体的には、初期化関数は、実行されると、金額を示す変数に引数として受け付けた金額を設定し、納期を示す変数に引数として受け付けた納期を設定し、製品納品先を示す変数に引数として受け付けた製品納品先を設定する。また、初期化関数は、実行されると、引数から特定されるスマートコントラクトの材料納品先を示す変数に、引数として受け付けた材料納品先を設定する。

　「初期化関数に渡す引数」は、スマートコントラクトＣＢの初期化関数に渡す引数であり、納期（２０１９年２月１日）と、金額（５００万円）と、製品納品先（Ａ社の識別情報）と、コントラクトアドレス（スマートコントラクトＣＡのアドレス）と、材料納品先（Ｃ社の識別情報）とを含む。この引数として示されている情報が、初期化関数に渡される。なお、変数である製品納品先に設定されるＡ社の識別情報を、単にＡ社と記載することもある。Ｂ社およびＣ社についても同様である。以降でも同様である。

　「署名１」は、トランザクションデータＴＢに付与されている２つの電子署名のうちの１つ目である。署名１には、Ａ社の署名ＳＡが含まれている。

　「署名２」は、トランザクションデータＴＢに付与されている２つの電子署名のうちの２つ目である。署名２には、Ｃ社の署名ＳＣが含まれている。

　「送信日時」は、トランザクションデータＴＢが送信された日時を示す。送信日時には、「２０１８年１１月０１日　１２時００分００秒」が格納されている。

　図５に示されるトランザクションデータＴＢが分散台帳に格納されると、初期化関数が実行されることで、引数として初期化関数に渡された納期、金額、および製品納品先が、それぞれ、記憶部１４の納期、金額、および製品納品先を示す変数に設定される。また、引数として初期化関数に渡されたコントラクトアドレスと材料納品先とに基づいて、スマートコントラクトＣＡの材料納品先がＣ社に変更される。

　図６は、本実施の形態における契約管理システム１の処理を示すシーケンス図である。図６には、材料契約の締結、製造委託契約の締結、および、材料契約の内容の変更に係る一連の処理が示されている。

　ステップＳ１０１において、台帳サーバ１０Ａの処理部１１は、スマートコントラクトＣＡのコードを取得する。スマートコントラクトＣＡのコードの取得は、台帳サーバ１０Ａが当該コードを生成することによってなされてもよいし、Ａ社の担当者による操作に基づいて端末２０Ａから送信されたコードを受信することによってなされてもよい。

　ステップＳ１０２において、台帳サーバ１０Ａの処理部１１は、トランザクションデータＴＡを生成する。生成されるトランザクションデータＴＡには、ステップＳ１０１で取得したスマートコントラクトＣＡのコードが含まれている（図４参照）。

　ステップＳ１０３において、台帳サーバ１０Ａの処理部１１は、ステップＳ１０２で生成したトランザクションデータＴＡについての署名を生成してトランザクションデータＴＡに付与し、署名を付与したトランザクションデータＴＡを台帳サーバ１０Ｂに送信する。

　ステップＳ１０４において、台帳サーバ１０Ｂの処理部１１は、ステップＳ１０３で送信されたトランザクションデータＴＡを受信し、受信したトランザクションデータＴＡについての署名を生成してトランザクションデータＴＡに付与し、署名を付与したトランザクションデータＴＡを台帳サーバ１０Ａおよび１０Ｃそれぞれに送信する。これにより、すべての台帳サーバ１０Ａ等が、台帳サーバ１０Ａおよび１０Ｂそれぞれの署名を付与されたトランザクションデータＴＡを有する状態になる。

　ステップＳ１０５において、台帳サーバ１０Ａ等のそれぞれは、ステップＳ１０４で署名が付与され、または、送信されたトランザクションデータＴＡを分散台帳に格納する。トランザクションデータＴＡを分散台帳へ格納する際には、コンセンサスアルゴリズムに基づいて合意形成がなされたことを条件として、トランザクションデータＴＡを分散台帳へ格納するようにしてもよい。

　台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ１０５でトランザクションデータＴＡを分散台帳に格納したことに基づいてスマートコントラクトＣＡの初期化関数を実行することで、下記ステップＳ１０６およびステップＳ１０７が実現される。

　ステップＳ１０６において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている金額を示す変数と、納期を示す変数とに、トランザクションデータＴＡで初期化関数の引数として渡された金額と納期とをそれぞれ設定する。

　ステップＳ１０７において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている材料納品先を示す変数に所定値を設定する。所定値は、材料納品先が未定であることを示す値である。

　ステップＳ１０８において、台帳サーバ１０Ａの処理部１１は、スマートコントラクトＣＢのコードを取得する。スマートコントラクトＣＢのコードの取得は、台帳サーバ１０Ａが当該コードを生成することによってなされてもよいし、Ａ社の担当者による操作に基づいて端末２０Ａから送信されたコードを受信することによってなされてもよい。

　ステップＳ１０９において、台帳サーバ１０Ａの処理部１１は、トランザクションデータＴＢを生成する。生成されるトランザクションデータＴＢには、ステップＳ１０８で取得したスマートコントラクトＣＢのコードが含まれている（図５参照）。

　ステップＳ１１０において、台帳サーバ１０Ａの処理部１１は、ステップＳ１０９で生成したトランザクションデータＴＢについての署名を生成してトランザクションデータＴＢに付与し、署名を付与したトランザクションデータＴＢを台帳サーバ１０Ｃに送信する。

　ステップＳ１１１において、台帳サーバ１０Ｃの処理部１１は、ステップＳ１１０で送信されたトランザクションデータＴＢを受信し、受信したトランザクションデータＴＢについての署名を生成してトランザクションデータＴＢに付与し、署名を付与したトランザクションデータＴＢを台帳サーバ１０Ａおよび１０Ｂそれぞれに送信する。これにより、すべての台帳サーバ１０Ａ等が、台帳サーバ１０Ａおよび１０Ｃそれぞれの署名を付与されたトランザクションデータＴＢを有する状態になる。

　ステップＳ１１２において、台帳サーバ１０Ａ等のそれぞれは、ステップＳ１１１で署名が付与され、または、送信されたトランザクションデータＴＢを分散台帳に格納する。トランザクションデータＴＢを分散台帳へ格納する際には、コンセンサスアルゴリズムに基づいて合意形成がなされたことを条件として、トランザクションデータＴＢを分散台帳へ格納するようにしてもよい。

　台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ１１２でトランザクションデータＴＢを分散台帳に格納したことに基づいてスマートコントラクトＣＢの初期化関数を実行することで、下記ステップＳ１１３およびステップＳ１１４が実現される。

　ステップＳ１１３において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている金額を示す変数と、納期を示す変数と、製品納品先とを示す変数に、トランザクションデータＴＢで初期化関数の引数として渡された金額と納期と製品納品先とをそれぞれ設定する。

　ステップＳ１１４において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている、スマートコントラクトＣＡの材料納品先を示す変数にＣ社の識別情報を設定する。

　なお、ここでは、材料契約および製造委託契約に係るスマートコントラクトのコードおよびトランザクションデータの生成を台帳サーバ１０Ａ（つまりＡ社）が行うこととして説明したが、その代わりに、それぞれＢ社およびＣ社が行うようにしてもよい。

　以上の一連の処理により、契約管理システム１は、Ａ社とＢ社との材料契約の締結時に未定である情報を、その後のＡ社とＣ社との製造委託契約の締結に基づいて変更することができる。このように、契約管理システム１は、Ａ社、Ｂ社およびＣ社が関係する契約を適切に管理しながら、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。

　（実施の形態２）
　本実施の形態において、契約を管理するコンピュータシステムの消費電力の増大を抑制する契約管理システムおよびその制御方法などについて、実施の形態１とは異なる形態を説明する。

　本実施の形態の契約管理システムは、契約に関係する各社が提供する台帳サーバ１０Ａ等とは異なる取引サーバを備え、取引サーバが契約を適切に管理することに寄与する。取引サーバは、変更処理として、新たなトランザクションデータを生成して有効なものとして管理するとともに、既に分散台帳に格納されているトランザクションデータを無効なものとして管理する。ここで、既に分散台帳に格納されているトランザクションデータとは、未定である情報を含むトランザクションデータであり、例えば、材料納品先が未定である契約に対応するスマートコントラクトを含むトランザクションデータである。また、新たなトランザクションデータは、新たな契約の内容を含むトランザクションデータであり、例えば、製造委託契約が締結されたことによって材料納品先が変更された、新たな契約の内容を定めたスマートコントラクトを含むトランザクションデータである。

　本実施の形態における契約の流れについては、実施の形態１と同様である（図１参照）。

　図７は、本実施の形態における契約管理システム２の構成を模式的に示すブロック図である。

　図７に示されるように、契約管理システム２は、台帳サーバ１０Ａ、１０Ｂおよび１０Ｃと、端末２０Ａ、２０Ｂおよび２０Ｃと、取引サーバ１０Ｔとを備える。

　台帳サーバ１０Ａ等と、端末２０Ａ等とについては、実施の形態１におけるものと同様である。ただし、製造委託契約に係るスマートコントラクトが異なる（後述するスマートコントラクトＣＢ１）。

　取引サーバ１０Ｔは、複数の台帳サーバ１０Ａ等と同様に、分散台帳を保有しているサーバである。取引サーバ１０Ｔは、台帳サーバ１０Ａ等と同様に、分散台帳にトランザクションデータを格納する。取引サーバ１０Ｔは、分散台帳が格納されている記憶領域とは別に、書き換え可能な記憶領域を有し、契約に関する変数を書き換え可能な記憶領域に格納している。また、取引サーバ１０Ｔは、分散台帳に格納されたトランザクションデータに基づいて、新たなスマートコントラクトを生成して分散台帳に格納する。新たなスマートコントラクトを生成する際には、取引サーバ１０Ｔは、分散台帳に格納されているトランザクションデータに含まれている関連情報を参照する。関連情報は、例えば、分散台帳に格納されているトランザクションデータに関連するスマートコントラクトを特定する情報を含み、例えば、上記スマートコントラクトのアドレス（コントラクトアドレスともいう）を含む。新たなトランザクションデータを分散台帳に格納した後には、取引サーバ１０Ｔは、格納した新たなトランザクションデータに含まれるスマートコントラクトを有効なものとして管理し、材料契約の締結時に格納したトランザクションデータに含まれるスマートコントラクト（つまり、関連情報により特定されるスマートコントラクト）を無効なものとして管理する。

　取引サーバ１０Ｔは、ネットワークＮに直接的に又は間接的に接続されていて、ネットワークＮを介して、台帳サーバ１０Ａ等と互いに通信可能である。

　取引サーバ１０Ｔの機能構成は、台帳サーバ１０Ａ等と同様である（図３参照）。

　図８は、本実施の形態におけるトランザクションデータの第一例であるトランザクションデータＴＢ１を示す説明図である。トランザクションデータＴＢ１は、実施の形態１におけるトランザクションデータＴＢに類似している（図５参照）。以降において、トランザクションデータＴＢ１について、トランザクションデータＴＢと異なる部分を主に説明する。

　図８に示されるように、トランザクションデータＴＢ１は、「スマートコントラクトＣＢ１のコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。

　「スマートコントラクトＣＢ１のコード」は、変数部と初期化関数とを含む。スマートコントラクトＣＢ１が用いる変数は、金額、製品納品元、製品納品先、納期および関連スマートコントラクトアドレスを含む。製品納品元は、製造委託契約によりＣ社が製造した製品の納品元を示す。関連スマートコントラクトは、関連情報の一例であり、当該スマートコントラクトＣＢ１に関連するスマートコントラクトのアドレスを示す。その他の変数は、スマートコントラクトＣＢにおけるものと同じである。

　初期化関数は、引数として、金額と、納期と、製品納品元と、製品納品先と、コントラクトアドレスとを受け付ける。また、初期化関数は、実行されると、記憶部１４に格納されている、金額を示す変数、納期を示す変数、製品納品先を示す変数、および関連スマートコントラクトアドレスを示す変数に値を設定する。具体的には、初期化関数は、実行されると、金額を示す変数に引数として受け付けた金額を設定し、納期を示す変数に引数として受け付けた納期を設定し、製品納品先を示す変数に引数として受け付けた金額を設定し、関連コントラクトアドレスを示す変数に引数として受け付けたコントラクトアドレスを設定する。

　初期化関数に渡す引数は、スマートコントラクトＣＢ１の初期化関数に渡す引数であり、納期（２０１９年２月１日）と、金額（５００万円）と、製品納品元（Ｃ社の識別情報）と、製品納品先（Ａ社の識別情報）と、コントラクトアドレス（スマートコントラクトＣＡのアドレス）とを含む。この引数として示されている情報が、初期化関数に渡される。

　「署名１」、「署名２」および「送信日時」は、実施の形態１のトランザクションデータＴＢにおけるものと同じである。

　図８に示されるトランザクションデータＴＢ１が分散台帳に格納されると、初期化関数が実行されることで、引数として初期化関数に渡された納期、金額、および製品納品先が、それぞれ、記憶部１４の納期、金額、および製品納品先を示す変数に設定される。また、引数として初期化関数に渡されたコントラクトアドレスと製品納品元とに基づいて、以降に示す新たなスマートコントラクトＣＡ１の材料納品先がＣ社に変更される。

　図９は、本実施の形態におけるトランザクションデータの第二例であるトランザクションデータＴＡ１を示す説明図である。トランザクションデータＴＡ１は、材料納品先を設定した新たなスマートコントラクトを含むトランザクションデータであり、取引サーバ１０Ｔが生成するトランザクションデータである。トランザクションデータＴＡ１は、実施の形態１におけるトランザクションデータＴＡに類似している（図４参照）。以降において、トランザクションデータＴＡ１について、トランザクションデータＴＡと異なる部分を主に説明する。

　図９に示されるように、トランザクションデータＴＡ１は、「スマートコントラクトＣＡ１のコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「署名３」と、「送信日時」とを含む。

　「スマートコントラクトＣＡ１のコード」は、変数部と初期化関数とを含む。スマートコントラクトＣＡ１が用いる変数は、スマートコントラクトＣＡと同様に、金額、材料納品先および納期を含む。

　初期化関数は、引数として金額と納期とを受け付ける。また、初期化関数は、実行されると、記憶部１４に格納されている、材料納品先を示す変数、金額を示す変数、および納期を示す変数に値を設定する。具体的には、初期化関数は、実行されると、材料納品先を示す変数にＣ社の識別情報を設定し、金額を示す変数に引数として受け付けた金額を設定し、納期を示す変数に引数として受け付けた納期を設定する。

　「初期化関数に渡す引数」は、スマートコントラクトＣＡ１の初期化関数に渡す引数であり、納期（２０１９年１月１日）と金額（５００万円）とを含む。この引数として示されている情報が、初期化関数に渡される。

　「署名１」は、トランザクションデータＴＡ１に付与されている３つの電子署名のうちの１つ目である。署名１には、取引サーバ１０Ｔの署名ＳＴが含まれている。

　「署名２」は、トランザクションデータＴＡ１に付与されている３つの電子署名のうちの２つ目である。署名２には、Ａ社の署名ＳＡが含まれている。

　「署名３」は、トランザクションデータＴＡ１に付与されている３つの電子署名のうちの３つ目である。署名３には、Ｂ社の署名ＳＢが含まれている。

　「送信日時」は、トランザクションデータＴＡ１が送信された日時を示す。送信日時には、「２０１８年１１月０１日　１２時０５分００秒」が格納されている。

　図９に示されるトランザクションデータＴＡ１が分散台帳に格納されると、初期化関数が実行されることで、引数として初期化関数に渡された金額および納期が、それぞれ、記憶部１４の金額および納期を示す変数に設定され、また、記憶部１４の材料納品先を示す変数にＣ社の識別情報が設定される。

　図１０は、本実施の形態における取引サーバ１０Ｔの処理を示すフロー図である。図１０に示されるフロー図は、取引サーバ１０ＴがトランザクションデータＴＡ１を生成して分散台帳に格納する処理を示している。

　ステップＳ２０１において、取引サーバ１０Ｔの処理部１１は、台帳記憶部１２が有する分散台帳にトランザクションデータが新たに格納されたか否かを判定する。トランザクションデータが新たに格納されたと判定した場合（ステップＳ２０１でＹｅｓ）にはステップＳ２０２に進み、そうでない場合（ステップＳ２０１でＮｏ）には、ステップＳ２０１を再び実行する。つまり、処理部１１は、トランザクションデータが新たに格納されるまで、ステップＳ２０１で待機する。

　ステップＳ２０２において、取引サーバ１０Ｔの処理部１１は、新たに分散台帳に格納されたトランザクションデータに関連情報が含まれているか否かを判定する。関連情報が含まれていると判定した場合（ステップＳ２０２でＹｅｓ）にはステップＳ２０３に進み、そうでない場合（ステップＳ２０２でＮｏ）には、図１０に示されている一連の処理を終了する。

　ステップＳ２０３において、取引サーバ１０Ｔの処理部１１は、新たに分散台帳に格納されたトランザクションデータに含まれている関連情報に基づいて関連スマートコントラクトを特定する。例えば、図８に示されるトランザクションデータＴＢ１が新たに分散台帳に格納されたときには、処理部１１は、関連スマートコントラクトとしてスマートコントラクトＣＡを特定する。

　ステップＳ２０４において、取引サーバ１０Ｔの処理部１１は、ステップＳ２０３で特定された関連スマートコントラクトの変数に所定値が含まれているか否かを判定する。所定値が含まれていると判定した場合には、ステップＳ２０５に進み、そうでない場合には、図１０に示されている一連の処理を終了する。例えば、処理部１１は、関連スマートコントラクトとして特定されたスマートコントラクトＣＡに材料納品先として所定値が含まれている（図４参照）ことを特定し、ステップＳ２０５に進む。

　ステップＳ２０５において、取引サーバ１０Ｔの処理部１１は、所定値が設定されている変数に設定すべき値を、新たに格納されたトランザクションデータに基づいて特定する。

　ステップＳ２０６において、取引サーバ１０Ｔの処理部１１は、ステップＳ２０５で特定した値を変数に設定したスマートコントラクトＣＡ１のコードを生成する。

　ステップＳ２０７において、取引サーバ１０Ｔの処理部１１は、ステップＳ２０６で生成したスマートコントラクトＣＡ１のコードを含めたトランザクションデータＴＡ１を生成する。

　ステップＳ２０８において、取引サーバ１０Ｔの処理部１１は、ステップＳ２０７で生成したトランザクションデータＴＡ１に署名を付与する。取引サーバ１０Ｔが署名を付与したトランザクションデータＴＡ１は、台帳サーバ１０Ａに送信され、台帳サーバ１０Ａの署名を付与される。その後、トランザクションデータＴＡ１は、台帳サーバ１０Ｂに送信され、台帳サーバ１０Ｂの署名を付与され、その後、台帳サーバ１０Ａおよび１０Ｃならびに取引サーバ１０Ｔに送信される。

　ステップＳ２０９において、取引サーバ１０Ｔの処理部１１は、ステップＳ２０８で署名が付与されたトランザクションデータＴＡ１を分散台帳に格納する。このとき、台帳サーバ１０Ａ等もトランザクションデータＴＡ１を分散台帳に格納する。これにより、台帳サーバ１０Ａ等および取引サーバ１０Ｔの全ての分散台帳にトランザクションデータＴＡ１が格納された状態になる。

　図１１および図１２は、本実施の形態における契約管理システム２の処理を示すシーケンス図である。

　図１１および図１２に示されるシーケンス図について、図６のシーケンス図と同じ処理、および、図１０のフロー図と同じ処理については、同じ符号を付し、詳細な説明を省略する。

　ステップＳ１０１～Ｓ１０５において、台帳サーバ１０Ａ等、および、取引サーバ１０Ｔの処理部１１は、スマートコントラクトＣＡのコードを含むトランザクションデータＴＡを取得して分散台帳に格納する。

　ステップＳ１０６～Ｓ１０７において、台帳サーバ１０Ａ等、および、取引サーバ１０Ｔの処理部１１は、ステップＳ１０５でトランザクションデータＴＡを分散台帳に格納したことに基づいて、スマートコントラクトＣＡの初期化関数を実行することで、記憶部１４に格納されている、金額、納期および材料納品先を設定する。

　ステップＳ１０８Ａ～Ｓ１１２Ａにおいて、台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１によってスマートコントラクトＣＢ１を含むトランザクションデータＴＢ１が生成され、台帳サーバ１０Ａおよび１０Ｃにより署名が付与された後に、分散台帳に格納される。

　ここで、ステップＳ１０８Ａでは、図６のステップＳ１０８と比較して、取得するコードの内容と初期化関数に渡す引数とが異なる。また、ステップＳ１０９ＡおよびＳ１１２Ａでは、それぞれ、図６のステップＳ１０９およびステップＳ１１２と比較して、トランザクションデータの内容が異なる。

　台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１が、ステップＳ１１２ＡでトランザクションデータＴＢ１を分散台帳に格納したことに基づいて、スマートコントラクトＣＢ１の初期化関数を実行することで、下記ステップＳ１１３Ａが実現される。

　ステップＳ１１３Ａにおいて、台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１は、記憶部１４に格納されている金額を示す変数と、納期を示す変数と、製品納品先を示す変数と、関連スマートコントラクトアドレスを示す変数とに、トランザクションデータＴＢ１で初期化関数の引数として渡された金額と納期と製品納品先とコントラクトアドレスとをそれぞれ設定する。

　図１２に移り、取引サーバ１０Ｔの処理部１１は、ステップＳ２０１～Ｓ２０９において、ステップＳ１１２Ａで分散台帳に新たなトランザクションデータＴＢ１が格納されたことに基づいて、スマートコントラクトＣＡ１を含むトランザクションデータＴＡ１を生成し、分散台帳に格納する（図１０参照）。ここで、スマートコントラクトＣＡ１の材料納品先はＣ社と特定される。

　台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１が、ステップＳ２０９でトランザクションデータＴＡ１を分散台帳に格納したことに基づいて、スマートコントラクトＣＡ１の初期化関数を実行することで、下記ステップＳ２１０およびＳ２１１が実現される。

　ステップＳ２１０において、台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１は、記憶部１４に格納されている金額を示す変数と、納期を示す変数とに、トランザクションデータＴＡ１で初期化関数の引数として渡された金額と納期をそれぞれ設定する。

　ステップＳ２１１において、台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１は、記憶部１４に格納されている材料納品先を示す変数にＣ社の識別情報を設定する。この後、台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれは、スマートコントラクトＣＡ１を有効なものとして管理し、スマートコントラクトＣＡを無効なものとして管理する。

　以上の一連の処理により、契約管理システム２は、Ａ社とＢ社との材料契約の締結時に未定である情報を、その後のＡ社とＣ社との製造委託契約の締結に基づいて取引サーバ１０Ｔによって変更することができる。このように、契約管理システム２は、Ａ社、Ｂ社およびＣ社が関係する契約を適切に管理しながら、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。

　（実施の形態３）
　本実施の形態において、契約を管理するコンピュータシステムの消費電力の増大を抑制する契約管理システムおよびその制御方法などについて、実施の形態１および２とは異なる形態を説明する。

　本実施の形態では、材料契約の内容を定めたスマートコントラクトが、さらに、当該スマートコントラクトの材料納品先を設定する関数（後述する設定関数に相当）を含んでいる。そして、その後に締結される製造委託契約の内容を定めたスマートコントラクトが設定関数を実行する命令を送信する。材料契約の内容を定めたスマートコントラクトは、変更処理として、上記命令を受けて設定関数を実行することによって、材料納品先を設定する。なお、設定関数は、すでに設定されている材料納品先を変更する関数である、ともいえる。

　以降において、（１）実施の形態１の契約管理システム１をベースとして設定関数を利用する形態と、（２）実施の形態２の契約管理システム２をベースとして設定関数を利用する形態とについてそれぞれ説明する。

　（１）契約管理システム１をベースとして設定関数を利用する形態
　図１３は、本実施の形態におけるトランザクションデータの第一例であるトランザクションデータＴＡ２を示す説明図である。トランザクションデータＴＡ２は、第一トランザクションデータに相当する。

　図１３に示されるように、トランザクションデータＴＡ２は、「スマートコントラクトＣＡ２のコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。

　ここで、トランザクションデータＴＡ２は、図４に示されるトランザクションデータＴＡに類似するが、スマートコントラクトのコードが異なる。この点について詳細に説明する。

　「スマートコントラクトＣＡ２のコード」は、変数部と初期化関数と設定関数とを含む。変数部と初期化関数とは、スマートコントラクトＣＡのコードに含まれるものと同じであるので説明を省略する。

　設定関数は、引数として材料納品先を受け付ける関数である。設定関数は、記憶部１４に格納されている、材料納品先を示す変数を、引数として受け付けた材料納品先を設定する関数である。

　図１４は、本実施の形態におけるトランザクションデータの第二例であるトランザクションデータＴＢ２を示す説明図である。トランザクションデータＴＢ２は、第二トランザクションデータに相当する。

　図１４に示されるように、トランザクションデータＴＢ２は、「スマートコントラクトＣＢ２のコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。

　ここで、トランザクションデータＴＢ２は、図５に示されるトランザクションデータＴＢに類似するが、スマートコントラクトのコードと、初期化関数に渡す引数とが異なる。この点について詳細に説明する。

　「スマートコントラクトＣＢ２のコード」は、変数部と初期化関数とを含む。変数部は、スマートコントラクトＣＢのコードに含まれるものと同じであるので説明を省略する。

　初期化関数は、引数として、金額と納期と製品納品先とを受け付ける。初期化関数は、実行されると、記憶部１４に格納されている、製品納品先を示す変数、金額を示す変数、および納期を示す変数に値を設定する。具体的には、初期化関数は、実行されると、金額を示す変数に引数として受け付けた金額を設定し、納期を示す変数に引数として受け付けた納期を設定し、製品納品先を示す変数に引数として受け付けた金額を設定する。

　トランザクションデータＴＢ２の初期化関数に渡す引数は、納期と金額と製品納品先とである。

　図１５は、本実施の形態におけるトランザクションデータの第三例であるトランザクションデータＴＡ３を示す説明図である。トランザクションデータＴＡ３は、スマートコントラクトＣＡ２の設定関数を実行させるための関数である。トランザクションデータＴＡ３を分散台帳に格納することは、スマートコントラクトＣＡ２の設定関数を実行させる命令を送信することに相当する。

　図１５に示されるように、トランザクションデータＴＡ３は、「実行される関数」と、「設定関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。

　「実行される関数」は、当該スマートコントラクトが分散台帳に格納されることによって実行される関数を示す。図１５では、実行される関数として、スマートコントラクトＣＡ２の設定関数が設定されている。

　「設定関数に渡す引数」は、当該スマートコントラクトＣＡ２によって実行される関数である設定関数に渡す引数であり、材料納品先（Ｃ社の識別情報）を含む。

　「署名１」は、トランザクションデータＴＡ３に付与されている２つの電子署名のうちの１つ目である。署名１には、Ａ社の署名ＳＡが含まれている。

　「署名２」は、トランザクションデータＴＡ３に付与されている２つの電子署名のうちの２つ目である。署名２には、Ｂ社の署名ＳＣが含まれている。

　「送信日時」は、トランザクションデータＴＡ３が送信された日時を示す。送信日時には、「２０１８年１１月０１日　１２時００分００秒」が格納されている。

　図１５に示されるトランザクションデータＴＡ３が分散台帳に格納されることで、引数である材料納品先にＣ社の識別情報が設定されてスマートコントラクトＣＡ２の設定関数が実行され、その結果、スマートコントラクトＣＡ２の材料納品先がＣ社に変更される。

　図１６および図１７は、本実施の形態における契約管理システムの処理を示すシーケンス図である。

　図１６および図１７に示されるシーケンス図について、図６のシーケンス図と同じ処理については、同じ符号を付し、詳細な説明を省略する。

　ステップＳ１０１Ｂ～Ｓ１０５において、台帳サーバ１０Ａ等の処理部１１は、スマートコントラクトＣＡ２のコードを含むトランザクションデータＴＡ２を取得して分散台帳に格納する。トランザクションデータＴＡ２を分散台帳に格納することは、スマートコントラクトＣＡ２の設定関数を実行させる命令を送信することに相当する。

　ここで、ステップＳ１０１Ｂでは、図６のステップＳ１０１と比較して、取得するコードの内容が異なる。また、ステップＳ１０２ＢおよびステップＳ１０５Ｂでは、それぞれ、図６のステップＳ１０２およびステップＳ１０５と比較して、トランザクションデータの内容が異なる。

　ステップＳ１０６～Ｓ１０７において、台帳サーバ１０Ａ等の処理部１１は、ステップＳ１０５でトランザクションデータＴＡ２を分散台帳に格納したことに基づいて、スマートコントラクトＣＡ２の初期化関数を実行することで、記憶部１４に格納されている、金額、納期および材料納品先を設定する。

　ステップＳ１０８Ｂ～Ｓ１１２Ｂにおいて、台帳サーバ１０Ａの処理部１１によってスマートコントラクトＣＢ２を含むトランザクションデータＴＢ２が生成され、台帳サーバ１０Ａおよび１０Ｃにより署名が付与されたあとに、分散台帳に格納される。

　ここで、ステップＳ１０８Ｂでは、図６のステップＳ１０８と比較して、取得するコードの内容と初期化関数に渡す引数とが異なる。また、ステップＳ１０９ＢおよびＳ１１２Ｂでは、それぞれ、図６のステップＳ１０９およびステップＳ１１２と比較して、トランザクションデータの内容が異なる。

　台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ１１２ＢでトランザクションデータＴＢ２を分散台帳に格納したことに基づいて、スマートコントラクトＣＢ２の初期化関数を実行することで、ステップＳ１１３が実現される。

　図１７に移り、ステップＳ３０１において、台帳サーバ１０Ｃの処理部１１は、トランザクションデータＴＡ３を生成する（図１５参照）。

　ステップＳ３０２において、台帳サーバ１０Ｃの処理部１１は、ステップＳ３０１で生成したトランザクションデータＴＡ３に署名を付与して、台帳サーバ１０Ａに送信する。

　ステップＳ３０３において、台帳サーバ１０Ａの処理部１１は、ステップＳ３０２で台帳サーバ１０Ｃの処理部１１から取得したトランザクションデータＴＡ３に署名を付与して、台帳サーバ１０Ｂおよび１０Ｃに送信する。

　ステップＳ３０４において、台帳サーバ１０Ａ等のそれぞれは、ステップＳ３０３で署名が付与され、または、送信されたトランザクションデータＴＡ３を分散台帳に格納する。トランザクションデータＴＡ３を分散台帳へ格納する際には、コンセンサスアルゴリズムに基づいて合意形成がなされたことを条件として、トランザクションデータＴＡ３を分散台帳へ格納するようにしてもよい。

　台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ３０４でトランザクションデータＴＡ３を分散台帳に格納したことに基づいて、スマートコントラクトＣＡ２の設定関数を実行することで、下記ステップＳ３０５が実現される。

　ステップＳ３０５において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている材料納品先を示す変数にＣ社の識別情報を設定する。

　以上の一連の処理により、本形態の契約管理システムは、設定関数を含むスマートコントラクトを用いて、Ａ社、Ｂ社およびＣ社が関係する契約を適切に管理しながら、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。

　（２）契約管理システム２をベースとして設定関数を利用する形態
　図１８は、本実施の形態における取引サーバ１０Ｔの処理を示すフロー図である。

　図１８に示される取引サーバ１０Ｔの処理は、実施の形態２の取引サーバ１０Ｔの処理（図１０参照）と類似している。異なる箇所を主に説明する。

　ステップＳ２０１～Ｓ２０５において、取引サーバ１０Ｔは、分散台帳にトランザクションデータが新たに格納された場合に、当該トランザクションデータに含まれるスマートコントラクトＣＢに関連するスマートコントラクトの所定値に設定すべき値を特定する。

　ステップＳ２０６Ｂにおいて、取引サーバ１０Ｔの処理部１１は、ステップＳ２０５で特定した値を、スマートコントラクトＣＡ２の設定関数に引数として渡すトランザクションデータＴＡ３を生成する。

　ステップＳ２０８Ｂにおいて、取引サーバ１０Ｔの処理部１１は、ステップＳ２０６Ｂで生成したトランザクションデータＴＡ３に署名を付与する。

　ステップＳ２０９Ｂにおいて、取引サーバ１０Ｔの処理部１１は、ステップＳ２０８Ｂで署名を付与したトランザクションデータＴＡ３を分散台帳に格納する。このとき、ステップＳ２０８Ｂで署名を付与したトランザクションデータＴＡ３が、台帳サーバ１０Ａなどの処理部１１によって分散台帳に格納される。

　図１９および図２０は、本実施の形態における契約管理システムの処理を示すシーケンス図である。

　本実施の形態における契約管理システムの処理は、図１１に示される処理と類似している。図１１に示される処理と異なる個所について説明する。

　図１９に示される処理は、図１１におけるステップＳ１０１～Ｓ１０５の処理に相当する部分を抜き出したものである。

　ステップＳ１０１Ｂ～Ｓ１０５Ｂにおいて、台帳サーバ１０Ａ等および取引サーバ１０Ｔの処理部１１は、スマートコントラクトＣＡ２のコードを含むトランザクションデータＴＡ２を取得して分散台帳に格納する。

　ステップＳ１０６以降の処理は、図１１におけるステップＳ１０６以降の処理と同じであるので図示を省略する。

　図２０に示される処理は、図１２に示される処理と類似している。図１２に示される処理と異なる部分について説明する。

　図２０において、ステップＳ２０１～Ｓ２０９Ｂにおいて、ステップＳ１１２Ａ（図１１参照）で分散台帳に新たなトランザクションデータＴＢ１が格納されたことに基づいてトランザクションデータＴＡ３を生成し、分散台帳に格納する。ここで、スマートコントラクトＣＡ２の材料納品先がＣ社と特定され、トランザクションデータＴＡ３に、設定関数に渡す引数として設定される。

　台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１が、ステップＳ２０９でトランザクションデータＴＡ３を分散台帳に格納したことに基づいて設定関数を実行することで、下記ステップＳ２１０Ｂが実現される。

　ステップＳ２１０Ｂにおいて、台帳サーバ１０Ａ等および取引サーバ１０Ｔそれぞれの処理部１１は、上記設定関数を実行することで、記憶部１４に格納されている材料納品先を示す変数に、トランザクションデータＴＡ３で設定関数の引数として渡された材料納品先を設定する。

　（変形例１）
　図２１は、本変形例における契約管理システム３の構成を模式的に示すブロック図である。本変形例における契約管理システム３は、実施の形態２の契約管理システム２、または、実施の形態３の形態（２）の契約管理システムの変形例である。

　図２１に示される契約管理システム３は、台帳サーバ１０Ａ、１０Ｂおよび１０Ｃと、端末２０Ａ、２０Ｂおよび２０Ｃと、取引サーバ１０Ｔとを備える。

　契約管理システム３では、台帳サーバ１０Ａ、１０Ｂおよび１０Ｃは、一か所にまとめて配置されている。より一般的には、台帳サーバ１０Ａ、１０Ｂおよび１０Ｃは、それぞれ、必ずしもＡ社、Ｂ社およびＣ社に配置されている必要はなく、ネットワークＮに直接的にまたは間接的に接続され得る任意の場所に配置されていてよい。

　このような台帳サーバ１０Ａ等の配置によっても、実施の形態２の契約管理システム２、または、実施の形態３の形態（２）の契約管理システムと同様の機能を有し、同様の効果を発揮する。

　（変形例２）
　図２２は、本変形例における契約管理システム４の構成を模式的に示すブロック図である。本変形例における契約管理システム４は、実施の形態２の契約管理システム２、または、実施の形態３の形態（２）の契約管理システムの変形例である。

　図２２に示される契約管理システム４は、取引サーバ１０Ｔ、１０Ｕおよび１０Ｖと、端末２０Ａ、２０Ｂおよび２０Ｃとを備える。

　契約管理システム４では、取引サーバ１０Ｔ、１０Ｕおよび１０Ｖが、それぞれ、台帳サーバ１０Ａ、１０Ｂおよび１０Ｃの機能を兼ねている。なお、取引サーバ１０Ｔ、１０Ｕおよび１０Ｖは、実施の形態３の変形例１の台帳サーバ１０Ａ等と同じように一か所にまとめて配置されているが、実施の形態３のようにＡ社、Ｂ社およびＣ社に配置されていてもよい。

　このような取引サーバ１０Ｔ等の配置によっても、実施の形態２の契約管理システム２、または、実施の形態３の形態（２）の契約管理システムと同様の機能を有し、同様の効果を発揮する。

　（補足）
　上記各実施の形態、又は、変形例におけるブロックチェーンについて補足的に説明する。

　図２３は、ブロックチェーンのデータ構造を示す説明図である。

　ブロックチェーンは、その記録単位であるブロックがチェーン（鎖）状に接続されたものである。それぞれのブロックは、複数のトランザクションデータと、直前のブロックのハッシュ値とを有している。具体的には、ブロックＢ２には、その前のブロックＢ１のハッシュ値が含まれている。そして、ブロックＢ２に含まれる複数のトランザクションデータと、ブロックＢ１のハッシュ値とから演算されたハッシュ値が、ブロックＢ２のハッシュ値として、ブロックＢ３に含められる。このように、前のブロックの内容をハッシュ値として含めながら、ブロックをチェーン状に接続することで、記録されたトランザクションデータの改ざんを有効に防止する。

　仮に過去のトランザクションデータが変更されると、ブロックのハッシュ値が変更前と異なる値になり、改ざんしたブロックを正しいものとみせかけるには、それ以降のブロックすべてを作り直さなければならず、この作業は現実的には非常に困難である。この性質を使用して、ブロックチェーンに改ざん困難性が担保されている。

　図２４は、トランザクションデータのデータ構造を示す説明図である。

　図２４に示されるトランザクションデータは、トランザクション本体Ｐ１と、電子署名Ｐ２とを含む。トランザクション本体Ｐ１は、当該トランザクションデータに含まれるデータ本体である。電子署名Ｐ２は、トランザクション本体Ｐ１のハッシュ値に対して、当該トランザクションデータの作成者の署名鍵で署名する、より具体的には、作成者の秘密鍵で暗号化することで生成されたものである。

　トランザクションデータは、電子署名Ｐ２を有するので、改ざんが実質的に不可能である。これにより、トランザクション本体の改ざんが防止される。

　なお、上記実施の形態において、各構成要素は、専用のハードウェアで構成されるか、各構成要素に適したソフトウェアプログラムを実行することによって実現されてもよい。各構成要素は、ＣＰＵまたはプロセッサなどのプログラム実行部が、ハードディスクまたは半導体メモリなどの記録媒体に記録されたソフトウェアプログラムを読み出して実行することによって実現されてもよい。ここで、上記実施の形態のコンテンツ管理システムなどを実現するソフトウェアは、次のようなプログラムである。

　すなわち、このプログラムは、コンピュータに、分散台帳を保有している複数の装置を備える契約管理システムにおいて、当該複数の装置のうちの一の装置が実行する制御方法であって、第一ユーザと第二ユーザとの第一契約に関する第一情報を示す第一変数と、前記第一契約に関する前記第一情報とは異なる第二情報を示す第二変数であって前記第二情報が未定であることを示す所定値が設定されている第二変数とを含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、前記分散台帳に格納した前記第一トランザクションデータに含まれている前記第二変数を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、前記第一ユーザと第三ユーザとの第二契約に関する第三情報を示す第三変数と、前記第三変数に基づいて前記第二変数を変更する変更命令とを含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第二変数を前記所定値から前記変更命令に従って変更する変更処理を実行する制御方法を実行させるプログラムである。

　以上、一つまたは複数の態様に係る契約管理システムなどについて、実施の形態に基づいて説明したが、本発明は、この実施の形態に限定されるものではない。本発明の趣旨を逸脱しない限り、当業者が思いつく各種変形を本実施の形態に施したものや、異なる実施の形態における構成要素を組み合わせて構築される形態も、一つまたは複数の態様の範囲内に含まれてもよい。

　本発明は、契約を管理する契約管理システムに利用可能である。

　１、２、３、４　　契約管理システム
　１０Ａ、１０Ｂ、１０Ｃ　　台帳サーバ
　１０Ｔ、１０Ｕ、１０Ｖ　　取引サーバ
　１１　　処理部
　１２　　台帳記憶部
　１３　　実行部
　１４　　記憶部
　２０Ａ、２０Ｂ、２０Ｃ　　端末
　Ｂ１、Ｂ２、Ｂ３　　ブロック
　ＣＡ、ＣＡ１、ＣＡ２、ＣＢ、ＣＢ１、ＣＢ２　　スマートコントラクト
　Ｎ　　ネットワーク
　Ｐ１　　トランザクション本体
　Ｐ２　　電子署名
　ＴＡ、ＴＡ１、ＴＡ２、ＴＡ３、ＴＢ、ＴＢ１、ＴＢ２　　トランザクションデータ

Claims

　分散台帳を保有している複数の装置を備える契約管理システムにおいて、当該複数の装置のうちの一の装置が実行する制御方法であって、
　第一ユーザと第二ユーザとの第一契約に関する第一情報を示す第一変数と、前記第一契約に関する前記第一情報とは異なる第二情報を示す第二変数であって前記第二情報が未定であることを示す所定値が設定されている第二変数とを含む第一トランザクションデータを取得し、
　取得した前記第一トランザクションデータを前記分散台帳に格納し、
　前記分散台帳に格納した前記第一トランザクションデータに含まれている前記第二変数を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、
　前記第一ユーザと第三ユーザとの第二契約に関する第三情報を示す第三変数と、前記第三変数に基づいて前記第二変数を変更する変更命令とを含む第二トランザクションデータを取得し、
　取得した前記第二トランザクションデータを前記分散台帳に格納し、
　前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第二変数を前記所定値から前記変更命令に従って変更する変更処理を実行する
　制御方法。
　前記第一契約は、前記第一ユーザおよび前記第二ユーザと異なるユーザである関係ユーザが関係する契約であり、
　前記第二情報は、前記関係ユーザの識別情報を含み、
　前記第二契約は、前記第一ユーザと、前記関係ユーザである前記第三ユーザとの契約であり、
　前記変更処理は、
　前記記憶部に格納されている前記第二変数を、前記所定値から、前記変更命令に従って前記関係ユーザである前記第三ユーザの識別情報に変更する処理である
　請求項１に記載の制御方法。
　前記第一トランザクションデータは、前記第一変数と、前記第二変数と、前記第一変数および前記第二変数を前記記憶部に格納する格納命令とを含む第一コントラクトコードを含み、
　前記格納処理は、前記第一トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部が前記第一コントラクトコードに含まれる前記格納命令を実行したことによって行われる
　請求項１または２に記載の制御方法。
　前記第一コントラクトコードは、前記記憶部に格納される前記第二変数を設定する設定関数を含み、
　前記変更処理は、
　前記設定関数を実行させる命令を含む第三トランザクションデータを取得した場合に、取得した前記第三トランザクションデータが前記分散台帳に格納されたことに基づいて、前記コントラクト実行部が前記設定関数を実行したことで行われる
　請求項３に記載の制御方法。
　前記第二トランザクションデータは、前記第三変数と、前記変更命令とを含む第二コントラクトコードを含み、
　前記変更処理は、前記第二トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部により前記変更命令が実行されたことによって行われる
　請求項１～４のいずれか１項に記載の制御方法。
　前記第一トランザクションデータは、前記第一ユーザの電子署名と、前記第二ユーザの電子署名とを含んでいて、
　前記第一トランザクションデータを前記分散台帳に格納する際には、
　前記第一トランザクションデータに含まれている前記第一ユーザの電子署名と、前記第二ユーザの電子署名との両方の検証が成功した場合に、前記第一トランザクションデータを前記分散台帳に格納する
　請求項１～５のいずれか１項に記載の制御方法。
　前記第二トランザクションデータは、前記第一ユーザの電子署名と、前記第三ユーザの電子署名とを含んでいて、
　前記第二トランザクションデータを前記分散台帳に格納する際には、
　前記第二トランザクションデータに含まれている前記第一ユーザの電子署名と、前記第三ユーザの電子署名との両方の検証が成功した場合に、前記第二トランザクションデータを前記分散台帳に格納する
　請求項１～６のいずれか１項に記載の制御方法。
　前記第一契約は、前記第一ユーザが前記第二ユーザから材料を購入し、購入した前記材料を納品先に配送することを定めた契約を含み、
　前記第一情報は、前記材料の購入金額と、前記材料を納品する期限とを含み、
　前記第二情報は、前記材料の納品先を含み、
　前記第二契約は、前記第三ユーザが、前記第二ユーザから納入された前記材料から製品を製造して前記第一ユーザに納品することを定めた契約を含み、
　前記第三情報は、前記製品の購入金額と、前記製品を納品する期限と、前記製品の納品先とを含む
　請求項１～７のいずれか１項に記載の制御方法。
　分散台帳を保有している複数の装置を備える契約管理システムにおける、当該複数の装置のうちの一の装置であって、
　処理部と、
　前記分散台帳を記憶している台帳記憶部と、
　実行部と、
　書き換え可能な記憶部とを備え、
　前記処理部は、第一ユーザと第二ユーザとの第一契約に関する第一情報を示す第一変数と、前記第一契約に関する前記第一情報とは異なる第二情報を示す第二変数であって前記第二情報が未定であることを示す所定値が設定されている第二変数とを含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、
　前記実行部は、前記分散台帳に格納した前記第一トランザクションデータに含まれている前記第二変数を読み出して前記記憶部に格納する格納処理を実行し、
　前記処理部は、さらに、前記第一ユーザと第三ユーザとの第二契約に関する第三情報を示す第三変数と、前記第三変数に基づいて前記第二変数を変更する変更命令とを含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、
　前記実行部は、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第二変数を前記所定値から前記変更命令に従って変更する変更処理を実行する
　装置。
　請求項１～８のいずれか１項に記載の制御方法をコンピュータに実行させるプログラム。