▶ パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカの特許一覧
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B2)
(11)【特許番号】
(24)【登録日】2024-07-19
(45)【発行日】2024-07-29
(54)【発明の名称】制御方法、装置、および、プログラム
(51)【国際特許分類】
G06Q 10/10 20230101AFI20240722BHJP
G06Q 30/06 20230101ALI20240722BHJP
【ＦＩ】
G06Q10/10
G06Q30/06
【請求項の数】
11
(21)【出願番号】P 2021565560
(86)(22)【出願日】2020-12-11
(86)【国際出願番号】 JP2020046398
(87)【国際公開番号】W WO2021125107
(87)【国際公開日】2021-06-24
【審査請求日】2023-09-13
(31)【優先権主張番号】62/950,505
(32)【優先日】2019-12-19
(33)【優先権主張国・地域又は機関】US
(73)【特許権者】
【識別番号】514136668
【氏名又は名称】パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカ
【氏名又は名称原語表記】Ｐａｎａｓｏｎｉｃ Ｉｎｔｅｌｌｅｃｔｕａｌ Ｐｒｏｐｅｒｔｙ Ｃｏｒｐｏｒａｔｉｏｎ ｏｆ Ａｍｅｒｉｃａ
(74)【代理人】
【識別番号】100109210
【弁理士】
【氏名又は名称】新居 広守
(74)【代理人】
【識別番号】100137235
【弁理士】
【氏名又は名称】寺谷 英作
(74)【代理人】
【識別番号】100131417
【弁理士】
【氏名又は名称】道坂 伸一
(72)【発明者】
【氏名】海上 勇二
(72)【発明者】
【氏名】道山 淳児
(72)【発明者】
【氏名】添田 純一郎
(72)【発明者】
【氏名】大森 基司
(72)【発明者】
【氏名】渕上 哲司
(72)【発明者】
【氏名】廣瀬 雄揮
(72)【発明者】
【氏名】西田 直央
(72)【発明者】
【氏名】田口 雅裕
【審査官】上田 威
(56)【参考文献】
【文献】特開２０１９－１５９９３５（ＪＰ，Ａ）
【文献】特表２０２０－５０４９５４（ＪＰ，Ａ）
【文献】特開２０１８－０５５２０３（ＪＰ，Ａ）
(58)【調査した分野】(Int.Cl.，ＤＢ名)
Ｇ０６Ｑ １０／００ ー ９９／００
(57)【特許請求の範囲】
【請求項1】
分散台帳を保有している複数の装置を備える契約管理システムにおいて、当該複数の装置のうちの一の装置が実行する制御方法であって、第一ユーザと第二ユーザとの第一契約を有効と認める権限を有する権限者を示す第一変数であって、前記権限者が未定であることを示す所定値が設定されている第一変数を含む第一トランザクションデータを取得し、
取得した前記第一トランザクションデータを前記分散台帳に格納し、
前記分散台帳に格納した前記第一トランザクションデータに前記第一変数として含まれている前記所定値を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、
前記第一変数を第三ユーザの識別情報に変更する変更命令を含む第二トランザクションデータを取得し、
取得した前記第二トランザクションデータを前記分散台帳に格納し、
前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数を前記変更命令に従って変更する変更処理を実行し、
前記第一契約を履行する履行処理を実行する履行命令を含む第三トランザクションデータを取得し、
取得した前記第三トランザクションデータを前記分散台帳に格納し、
前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数が前記所定値以外であると判定した場合に、前記履行命令に従って前記履行処理を実行する
制御方法。
【請求項2】
前記履行処理を実行する際には、前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数に前記権限者として前記第三ユーザの識別情報が設定されていると判定した場合に、前記履行命令に従って前記履行処理を実行する
請求項１に記載の制御方法。
【請求項3】
前記第一変数は、前記第一トランザクションデータに付与すべき前記権限者の電子署名をさらに含み、前記履行処理を実行する際には、
前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数に含まれる前記電子署名の検証が成功した場合に、前記履行命令に従って前記履行処理を実行する
請求項１または２に記載の制御方法。
【請求項4】
前記第一トランザクションデータは、前記第一変数と、前記第一変数を前記記憶部に格納する格納命令とを含む第一コントラクトコードを含み、前記格納処理は、前記第一トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部が前記第一コントラクトコードに含まれる前記格納命令を実行したことによって行われる
請求項１～３のいずれか１項に記載の制御方法。
【請求項5】
前記第一トランザクションデータは、前記第一変数と、前記第一変数を前記記憶部に格納する格納命令とを含む第一コントラクトコードを含み、前記格納処理は、前記第一トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部が前記第一コントラクトコードに含まれる前記格納命令を実行したことによって行われ、
前記第一コントラクトコードは、前記記憶部に前記第一変数として格納される前記電子署名を設定する署名設定関数を含み、
前記変更処理は、
前記署名設定関数を実行させることによって、前記第一変数に前記権限者の電子署名を設定する命令を含む第四トランザクションデータを取得した場合に、取得した前記第四トランザクションデータが前記分散台帳に格納されたことに基づいて、前記コントラクト実行部が前記署名設定関数を実行したことで行われる
請求項３に記載の制御方法。
【請求項6】
前記第二トランザクションデータは、前記変更命令を含む第二コントラクトコードを含み、前記変更処理は、前記第二トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部により前記変更命令が実行されたことによって行われる
請求項１～５のいずれか１項に記載の制御方法。
【請求項7】
前記第一トランザクションデータは、前記第一ユーザの電子署名と、前記第二ユーザの電子署名とを含んでいて、前記第一トランザクションデータを前記分散台帳に格納する際には、
前記第一トランザクションデータに含まれている前記第一ユーザの電子署名と、前記第二ユーザの電子署名との両方の検証が成功した場合に、前記第一トランザクションデータを前記分散台帳に格納する
請求項１～６のいずれか１項に記載の制御方法。
【請求項8】
前記制御方法は、さらに、前記第一ユーザと前記第三ユーザとの第二契約に関する第二変数を含む第五トランザクションデータを取得し、
取得した前記第五トランザクションデータを前記分散台帳に格納し、
前記第二トランザクションデータは、前記第五トランザクションデータが前記分散台帳に格納されたことに基づいて提供された前記第二トランザクションデータである
請求項１～７のいずれか１項に記載の制御方法。
【請求項9】
前記第一契約は、前記第一ユーザが前記第二ユーザから材料を購入し、購入した前記材料を、所定の期限までに、所定の納品先に配送する契約を含み、前記第二契約は、前記第三ユーザが、前記第二ユーザから納入された前記材料から製品を製造して前記第一ユーザに納品する契約を含み、
前記第二変数は、前記製品の購入金額を示す変数と、前記製品を納品する期限を示す変数と、前記製品の納品先を示す変数とを含む
請求項８に記載の制御方法。
【請求項10】
分散台帳を保有している複数の装置を備える契約管理システムにおける、当該複数の装置のうちの一の装置であって、処理部と、
前記分散台帳を記憶している台帳記憶部と、
実行部と、
書き換え可能な記憶部とを備え、
前記処理部は、
第一ユーザと第二ユーザとの第一契約を有効と認める権限を有する権限者を示す第一変数であって、前記権限者が未定であることを示す所定値が設定されている第一変数とを含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、
前記実行部は、
前記分散台帳に格納した前記第一トランザクションデータに前記第一変数として含まれている前記所定値を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、
前記処理部は、さらに、
前記第一変数を第三ユーザの識別情報に変更する変更命令を含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、
前記実行部は、さらに、
前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数を前記変更命令に従って変更する変更処理を実行し、
前記処理部は、さらに、
前記第一契約を履行する履行処理を実行する履行命令を含む第三トランザクションデータを取得し、取得した前記第三トランザクションデータを前記分散台帳に格納し、
前記実行部は、さらに、
前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数が前記所定値以外であると判定した場合に、前記履行命令に従って前記履行処理を実行する
装置。
【請求項11】
請求項１～９のいずれか１項に記載の制御方法をコンピュータに実行させるプログラム。【発明の詳細な説明】
【技術分野】
【0001】
本発明は、制御方法、装置、および、プログラムに関する。
【背景技術】
【0002】
分散台帳を用いて契約に係る情報を管理する技術がある。分散台帳に格納された情報は、書き換えが実質的に不可能であるように管理される。
【0003】
分散台帳を用いたシステムにおいて複数の管理者が存在する状況下でも、運用ポリシーまたは運用のタイミングを揃える技術が開示されている。
【先行技術文献】
【特許文献】
【0004】
【文献】国際公開第２０１９／０２１７９２号
【発明の概要】
【発明が解決しようとする課題】
【0005】
本発明は、契約を管理するコンピュータシステムの消費電力の増大を抑制する制御方法などを提供する。
【課題を解決するための手段】
【0006】
本発明の一態様に係る制御方法は、分散台帳を保有している複数の装置を備える契約管理システムにおいて、当該複数の装置のうちの一の装置が実行する制御方法であって、第一ユーザと第二ユーザとの第一契約を有効と認める権限を有する権限者を示す第一変数であって、前記権限者が未定であることを示す所定値が設定されている第一変数を含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、前記分散台帳に格納した前記第一トランザクションデータに前記第一変数として含まれている前記所定値を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、前記第一変数を第三ユーザの識別情報に変更する変更命令を含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数を前記変更命令に従って変更する変更処理を実行し、前記第一契約を履行する履行処理を実行する履行命令を含む第三トランザクションデータを取得し、取得した前記第三トランザクションデータを前記分散台帳に格納し、前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数が前記所定値以外であると判定した場合に、前記履行命令に従って前記履行処理を実行する制御方法である。
【0007】
なお、これらの包括的または具体的な態様は、システム、装置、集積回路、コンピュータプログラムまたはコンピュータ読み取り可能なＣＤ－ＲＯＭなどの記録媒体で実現されてもよく、システム、装置、集積回路、コンピュータプログラムおよび記録媒体の任意な組み合わせで実現されてもよい。
【発明の効果】
【0008】
本発明の制御方法は、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。
【図面の簡単な説明】
【0009】
【発明を実施するための形態】
【0010】
（本発明の基礎となった知見）
本発明者は、「背景技術」の欄において記載した、契約に関する技術に関し、以下の問題が生じることを見出した。
本発明者は、「背景技術」の欄において記載した、契約に関する技術に関し、以下の問題が生じることを見出した。
【0011】
分散台帳を用いて契約に係る情報を管理する技術がある。分散台帳に格納された情報は、書き換えが実質的に不可能であるように管理される。また、分散台帳を用いて契約に係る処理を実行し、契約を管理する技術がある。このような技術は、例えばスマートコントラクトによって実現され得る。
【0012】
ところで、契約が締結された後に、締結されたその契約が有効と認められた場合に、その契約が履行されるという契約がある。上記契約は、締結された当初の状態のままでは履行されず、言い換えれば、締結された当初は無効の状態であるといえる。
【0013】
このような契約を分散台帳を用いて管理する場合、契約の内容が分散台帳に格納され、その後に、有効と認められたか否かを示す情報が分散台帳に格納されることが想定される。しかし、上記の通り分散台帳に格納された情報の書き換えが実質的に不可能であるように管理されているので、契約が有効と認められた時点では、契約に係る内容を変更することができない。
【0014】
そこで、締結された契約が有効と認められた場合にその契約が履行されるという契約を管理する場合には、契約が有効と認められた後に、有効と認められた契約であることを示す情報を追加した新たな契約の内容を分散台帳で管理する方法がある。
【0015】
仮に、新たな契約の内容を、人手により決定して分散台帳で管理するとすれば、人に情報を提示したり人から情報の入力を受けたりする処理が必要となり、上記処理に用いられるコンピュータの消費電力が増大するという問題がある。また、上記処理に必要なコンピュータリソース、例えば、情報を提示するための出力デバイス（表示装置またはスピーカなど）、または、情報の入力を受けるためのデバイス（タッチパネル、キーボード、マウスなど）を多く必要とするという問題もある。
【0016】
さらに、人が介在することになるので、人の手間がかかるという問題がある。また、人が、正しくない契約内容を生成して分散台帳に格納してしまうという問題も発生しうる。
【0017】
本発明は、契約を管理するコンピュータシステムの消費電力の増大を抑制する制御方法などを提供する。
【0018】
このような問題を解決するために、本発明の一態様に係る制御方法は、分散台帳を保有している複数の装置を備える契約管理システムにおいて、当該複数の装置のうちの一の装置が実行する制御方法であって、第一ユーザと第二ユーザとの第一契約を有効と認める権限を有する権限者を示す第一変数であって、前記権限者が未定であることを示す所定値が設定されている第一変数を含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、前記分散台帳に格納した前記第一トランザクションデータに前記第一変数として含まれている前記所定値を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、前記第一変数を第三ユーザの識別情報に変更する変更命令を含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数を前記変更命令に従って変更する変更処理を実行し、前記第一契約を履行する履行処理を実行する履行命令を含む第三トランザクションデータを取得し、取得した前記第三トランザクションデータを前記分散台帳に格納し、前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数が前記所定値以外であると判定した場合に、前記履行命令に従って前記履行処理を実行する制御方法である。
【0019】
上記態様によれば、第一契約の締結の時点で、権限者として未定である情報が第一契約に含まれる場合でも、第一契約に対応するトランザクションデータが分散台帳を用いて管理され、また、その後に設定される権限者が、情報の変更により適切に管理される。そして、第一契約の権限者が未定でないことを確認したうえで、履行処理が実行されるように管理される。未定である情報の変更の処理は、サーバのコンピュータ処理によってなされ、言い換えれば、人が介在することなく実行される。そのため、コンピュータの消費電力の増大を抑制し、または、コンピュータリソースの必要量を抑制できる。また、人が処理をする手間を低減することができる。このように、上記制御方法は、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。
【0020】
また、前記履行処理を実行する際には、前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数に前記権限者として前記第三ユーザの識別情報が設定されていると判定した場合に、前記履行命令に従って前記履行処理を実行してもよい。
【0021】
上記態様によれば、権限者として第三ユーザの識別情報が設定されていることを確認したうえで、履行処理が実行されるように適切に管理される。このように、上記制御方法は、三者が関係する契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。
【0022】
また、前記第一変数は、前記第一トランザクションデータに付与すべき前記権限者の電子署名をさらに含み、前記履行処理を実行する際には、前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数に含まれる前記電子署名の検証が成功した場合に、前記履行命令に従って前記履行処理を実行してもよい。
【0023】
上記態様によれば、権限者の第一トランザクションデータに対する署名が付されていることから、権限者が確かに第一契約を参照して第一契約を有効と認めたことが確認可能となる。よって、上記制御方法は、権限者が契約を有効と認めたことを確認可能としながら、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。
【0024】
また、前記第一トランザクションデータは、前記第一変数と、前記第一変数を前記記憶部に格納する格納命令とを含む第一コントラクトコードを含み、前記格納処理は、前記第一トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部が前記第一コントラクトコードに含まれる前記格納命令を実行したことによって行われてもよい。
【0025】
上記態様によれば、第一トランザクションデータを記憶部に格納する処理が、第一トランザクションデータが分散台帳に格納されることに基づいてスマートコントラクトにより自動的に実行され、言い換えれば、人が介在することなく実行される。そのため、コンピュータの消費電力の増大をより一層抑制し、または、コンピュータリソースの必要量をより一層抑制できる。また、人が処理をする手間をより一層低減することができる。このように、上記制御方法は、契約を管理するコンピュータシステムの消費電力の増大をより一層抑制することができる。
【0026】
また、前記第一トランザクションデータは、前記第一変数と、前記第一変数を前記記憶部に格納する格納命令とを含む第一コントラクトコードを含み、前記格納処理は、前記第一トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部が前記第一コントラクトコードに含まれる前記格納命令を実行したことによって行われ、前記第一コントラクトコードは、前記記憶部に前記第一変数として格納される前記電子署名を設定する署名設定関数を含み、前記変更処理は、前記署名設定関数を実行させることによって、前記第一変数に前記権限者の電子署名を設定する命令を含む第四トランザクションデータを取得した場合に、取得した前記第四トランザクションデータが前記分散台帳に格納されたことに基づいて、前記コントラクト実行部が前記署名設定関数を実行したことで行われてもよい。
【0027】
上記態様によれば、第一コントラクトコードに含めて予め用意された署名設定関数を利用して権限者の署名を記憶部に格納する。第一コントラクトコードに含めて予め用意された署名設定関数を用いるので、人が処理をする手間をより一層低減し、コンピュータの消費電力の増大をより一層抑制し、または、コンピュータリソースの必要量をより一層抑制できる。
【0028】
また、前記第二トランザクションデータは、前記変更命令を含む第二コントラクトコードを含み、前記変更処理は、前記第二トランザクションデータが前記分散台帳に格納されたことに基づいて、前記一の装置が備えるコントラクト実行部により前記変更命令が実行されたことによって行われてもよい。
【0029】
上記態様によれば、第二情報を変更する処理が、第二トランザクションデータが分散台帳に格納されることに基づいてスマートコントラクトにより自動的に実行され、言い換えれば、人が介在することなく実行される。そのため、コンピュータの消費電力の増大をより一層抑制し、または、コンピュータリソースの必要量をより一層抑制できる。また、人が処理をする手間をより一層低減することができる。このように、上記制御方法は、契約を管理するコンピュータシステムの消費電力の増大をより一層抑制することができる。
【0030】
また、前記第一トランザクションデータは、前記第一ユーザの電子署名と、前記第二ユーザの電子署名とを含んでいて、前記第一トランザクションデータを前記分散台帳に格納する際には、前記第一トランザクションデータに含まれている前記第一ユーザの電子署名と、前記第二ユーザの電子署名との両方の検証が成功した場合に、前記第一トランザクションデータを前記分散台帳に格納してもよい。
【0031】
上記態様によれば、第一契約に相当する第一トランザクションデータに、第一契約を締結した第一ユーザおよび第二ユーザそれぞれの電子署名が含まれる。そのため、各電子署名を検証することで、第一ユーザおよび第二ユーザが第一契約を確かに締結したことを証明することができる。よって、上記制御方法は、契約をより一層適切に管理することができる。
【0032】
また、前記制御方法は、さらに、前記第一ユーザと前記第三ユーザとの第二契約に関する第二変数を含む第五トランザクションデータを取得し、取得した前記第五トランザクションデータを前記分散台帳に格納し、前記第二トランザクションデータは、前記第五トランザクションデータが前記分散台帳に格納されたことに基づいて提供された前記第二トランザクションデータであってもよい。
【0033】
上記態様によれば、第一契約の締結の時点より後に、第二契約の締結によって第三ユーザが決まった場合に、第五トランザクションデータが分散台帳に格納されたことに基づいて自動的に、権限者の変更のための第二トランザクションデータが分散台帳に格納され、権限者が変更される。よって、人が処理をする手間をより一層低減し、コンピュータの消費電力の増大をより一層抑制し、または、コンピュータリソースの必要量をより一層抑制できる。
【0034】
また、前記第一契約は、前記第一ユーザが前記第二ユーザから材料を購入し、購入した前記材料を、所定の期限までに、所定の納品先に配送する契約を含み、前記第二契約は、前記第三ユーザが、前記第二ユーザから納入された前記材料から製品を製造して前記第一ユーザに納品する契約を含み、前記第二変数は、前記製品の購入金額を示す変数と、前記製品を納品する期限を示す変数と、前記製品の納品先を示す変数とを含んでもよい。
【0035】
上記態様によれば、材料契約を有効と認める権限者が材料契約の締結の時点で未定である場合でも、その後に締結される製造委託契約によって特定された製造者を権限者とするように変更することにより、材料契約が適切に管理される。このように、上記制御方法は、第一ユーザと第二ユーザとの材料契約、および、材料契約の権限者を適切に管理することができる。
【0036】
また、本発明の一態様に係る装置は、分散台帳を保有している複数の装置を備える契約管理システムにおける、当該複数の装置のうちの一の装置であって、処理部と、前記分散台帳を記憶している台帳記憶部と、実行部と、書き換え可能な記憶部とを備え、前記処理部は、第一ユーザと第二ユーザとの第一契約を有効と認める権限を有する権限者を示す第一変数であって、前記権限者が未定であることを示す所定値が設定されている第一変数とを含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、前記実行部は、前記分散台帳に格納した前記第一トランザクションデータに前記第一変数として含まれている前記所定値を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、前記処理部は、さらに、前記第一変数を第三ユーザの識別情報に変更する変更命令を含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、前記実行部は、さらに、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数を前記変更命令に従って変更する変更処理を実行し、前記処理部は、さらに、前記第一契約を履行する履行処理を実行する履行命令を含む第三トランザクションデータを取得し、取得した前記第三トランザクションデータを前記分散台帳に格納し、前記実行部は、さらに、前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数が前記所定値以外であると判定した場合に、前記履行命令に従って前記履行処理を実行する装置である。
【0037】
上記態様により、上記制御方法と同様の効果を奏する。
【0038】
また、本発明の一態様に係るプログラムは、上記の制御方法をコンピュータに実行させるためのプログラムである。
【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】
また、実行部１３は、第三トランザクションデータが分散台帳に格納された後に、記憶部１４に格納されている第一変数が所定値以外であると判定した場合に、履行命令に従って履行処理を実行する。
【0086】
履行処理を実行する際には、第三トランザクションデータを分散台帳に格納した後に、記憶部１４に格納されている第一変数の権限者として、第三ユーザの識別情報が設定されていると判定した場合に、履行命令に従って履行処理を実行するようにしてもよい。
【0087】
このとき、第三トランザクションデータを分散台帳に格納した後に、記憶部１４に格納されている第一変数に含まれる電子署名の検証が成功した場合に、履行命令に従って履行処理を実行するようにしてもよい。ここで、第一変数は、第一トランザクションデータに付与すべき権限者の電子署名をさらに含んでいるとする。
【0088】
記憶部１４は、変数を格納している記憶領域を有する記憶装置である。変数は、契約に関する情報を示す変数であり、具体的には、第一変数および第二変数を含む。記憶部１４に格納されている変数は、実行部１３により設定され、また、読み出される。記憶部１４は、書き換え可能な記憶装置、例えば、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）などのメモリ、または、ＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）もしくはＳＳＤ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ）などのストレージにより実現される。
【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】
ステップＳ１１３において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納される金額を示す変数と、納期を示す変数と、製品納品先とを示す変数に、トランザクションデータＴＢで初期化関数の引数として渡された金額と納期と製品納品先とをそれぞれ設定する。
【0145】
ステップＳ１１４において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納される、スマートコントラクトＣＡの材料納品先を示す変数にＣ社の識別情報を設定する。
【0146】
図９に移り、ステップＳ１２１において、台帳サーバ１０Ｃの処理部１１は、トランザクションデータＴＡに付すべき署名を算出する。
【0147】
ステップＳ１２２において、台帳サーバ１０Ｃの処理部１１は、トランザクションデータＴＣを生成する。生成されるトランザクションデータＴＣには、ステップＳ１２１で算出された署名が含まれている。
【0148】
ステップＳ１２３において、台帳サーバ１０Ｃの処理部１１は、ステップＳ１２２で生成したトランザクションデータＴＣについての署名を生成してトランザクションデータＴＣに付与し、署名を付与したトランザクションデータＴＣを台帳サーバ１０Ａおよび１０Ｂに送信する。
【0149】
ステップＳ１２４において、台帳サーバ１０Ａ等のそれぞれは、ステップＳ１２３で署名が付与され、または、送信されたトランザクションデータＴＣを分散台帳に格納する。
【0150】
台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ１２４でトランザクションデータＴＣを分散台帳に格納したことに基づいてスマートコントラクトＣＡの署名設定関数を実行することで、下記ステップＳ１２５が実現される。
【0151】
ステップＳ１２５において、台帳サーバ１０Ａ等それぞれの処理部１１は、トランザクションデータＴＣで署名設定関数の引数として渡された署名を、記憶部１４に格納される材料納品先署名に設定する。
【0152】
ステップＳ１２６において、台帳サーバ１０Ａの処理部１１は、トランザクションデータＴＤを生成する。
【0153】
ステップＳ１２７において、台帳サーバ１０Ａの処理部１１は、ステップＳ１２６で生成したトランザクションデータＴＤについての署名を生成してトランザクションデータＴＤに付与し、署名を付与したトランザクションデータＴＤを台帳サーバ１０Ｂおよび１０Ｃに送信する。
【0154】
ステップＳ１２８において、台帳サーバ１０Ａ等のそれぞれは、ステップＳ１２７で署名が付与され、または、送信されたトランザクションデータＴＤを分散台帳に格納する。
【0155】
台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ１２８でトランザクションデータＴＤを分散台帳に格納したことに基づいてスマートコントラクトＣＡの支払関数を実行することで、下記ステップＳ１２９およびＳ１３０が実現される。
【0156】
ステップＳ１２９において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている材料納品先署名の検証処理を実行する。
【0157】
ステップＳ１３０において、台帳サーバ１０Ａ等それぞれの処理部１１は、ステップＳ１２９の材料納品先署名の検証処理が成功したと判定した場合に、支払処理を実行する。
【0158】
なお、ここでは、材料契約および製造委託契約に係るスマートコントラクトのコードおよびトランザクションデータの生成を台帳サーバ１０Ａ（つまりＡ社）が行うこととして説明したが、その代わりに、それぞれＢ社およびＣ社が行うようにしてもよい。
【0159】
以上の一連の処理により、契約管理システム１は、Ａ社とＢ社とで締結される、有効と認める権限者が設定される契約を適切に管理することができる。このように、契約管理システム１は、Ａ社、Ｂ社およびＣ社が関係する契約を適切に管理しながら、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。
【0160】
（実施の形態２）
本実施の形態において、契約を管理するコンピュータシステムの消費電力の増大を抑制する契約管理システムおよびその制御方法などについて、実施の形態１とは異なる形態を説明する。
本実施の形態において、契約を管理するコンピュータシステムの消費電力の増大を抑制する契約管理システムおよびその制御方法などについて、実施の形態１とは異なる形態を説明する。
【0161】
本実施の形態の契約管理システムは、材料契約を有効と認める権限者が定められている場合に、契約をより一層適切に管理する。ここでは、材料契約を有効と認める上記権限者をオーナーと呼ぶことにするが、この呼び方に限定されない。
【0162】
【0163】
図１０は、本実施の形態におけるトランザクションデータの第一例であるトランザクションデータＴＡ１を示す説明図である。トランザクションデータＴＡ１は、第一トランザクションデータに相当する。トランザクションデータＴＡ１は、例えば、台帳サーバ１０Ａにより生成される。
【0164】
図１０に示されるように、トランザクションデータＴＡ１は、「スマートコントラクトＣＡ１のコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。
【0165】
「スマートコントラクトＣＡ１のコード」は、変数部と、初期化関数と、支払関数と、署名設定関数とを含む。
【0166】
変数部は、スマートコントラクトＣＡ１が用いる変数であって、記憶部１４に格納されている変数を示す。スマートコントラクトＣＡ１が用いる変数は、金額、材料納品先、納期、材料納品先署名およびオーナーを含む。金額、材料納品先、納期および材料納品先署名については、実施の形態１のスマートコントラクトＣＡにおけるものと同じである（図４参照）。オーナーは、材料契約のオーナーを示す。
【0167】
初期化関数と支払関数とについては、実施の形態１のスマートコントラクトＣＡにおけるものと同じである（図４参照）。
【0168】
署名設定関数は、引数として署名を受け付ける。また、署名設定関数は、実行されると、当該署名設定関数を実行した者（実行者ともいう）がオーナーであるか否かを判定し、実行者がオーナーであると判定した場合に、記憶部１４に格納されている材料納品先署名に、引数として受け付けた署名を設定する。なお、実行者がオーナーでないと判定した場合には、所定のエラー処理を行ってもよい。エラー処理は、例えば、実行者がオーナーでないことを示すエラーメッセージを端末２０Ａ等の表示画面に表示する、または、上記エラーメッセージを音声で出力するなどの処理を含む。
【0169】
「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とについては、実施の形態１のスマートコントラクトＣＡにおけるものと同じである（図４参照）。
【0170】
図１１は、本実施の形態におけるトランザクションデータの第二例であるトランザクションデータＴＢ１を示す説明図である。トランザクションデータＴＢ１は、例えば、台帳サーバ１０Ａにより生成される。
【0171】
図１１に示されるように、トランザクションデータＴＢ１は、「スマートコントラクトＣＢ１のコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。
【0172】
「スマートコントラクトＣＢ１のコード」は、変数部と初期化関数とを含む。スマートコントラクトＣＢ１が用いる変数は、実施の形態１におけるスマートコントラクトＣＢにおけるものと同じである。
【0173】
初期化関数は、引数として、金額と、納期と、製品納品先と、コントラクトアドレスと、材料納品先とを受け付ける。また、初期化関数は、実行されると、記憶部１４に格納されている、金額を示す変数、納期を示す変数、製品納品先を示す変数、材料納品先を示す変数、およびオーナーを示す変数に値を設定する。具体的には、初期化関数は、実行されると、金額を示す変数に引数として受け付けた金額を設定し、納期を示す変数に引数として受け付けた納期を設定し、製品納品先を示す変数に引数として受け付けた金額を設定する。また、初期化関数は、実行されると、引数から特定されるスマートコントラクトの材料納品先を示す変数に、引数として受け付けた材料納品先を設定し、また、引数から特定されるスマートコントラクトのオーナーを示す変数に引数として受け付けた材料納品先を設定する。
【0174】
「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とについては、実施の形態１のスマートコントラクトＣＢにおけるものと同じである（図５参照）。
【0175】
図１２は、本実施の形態における台帳サーバの処理を示すフロー図である。図１２に示されるフロー図は、実施の形態１の図９のステップＳ１２５の処理として実行される処理を示しており、つまり、ステップＳ１２５の処理の変形例を示している。なお、ステップＳ１２５は、図９における場合と同様に、台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ１２４でトランザクションデータＴＣを分散台帳に格納したことに基づいてスマートコントラクトＣＡ１の署名設定関数を実行することで実現される。
【0176】
図１２に示されるように、ステップＳ１２５Ａにおいて、台帳サーバ１０Ａ等それぞれの処理部１１は、署名設定関数の実行者がオーナーであるか否かを判定する。署名設定関数の実行者は、署名設定関数を実行させる命令の送信者、つまりトランザクションデータＴＣ（図６参照）の送信者であるので、トランザクションデータＴＣを含む通信パケットの送信者またはトランザクションデータＴＣの署名から特定され得る。実行者がオーナーであると判定した場合（ステップＳ１２５ＡでＹｅｓ）には、ステップＳ１２５Ｂに進み、そうでない場合（ステップＳ１２５ＡでＮｏ）には、ステップＳ１２５Ｃに進む。
【0177】
ステップＳ１２５Ｂにおいて、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている材料納品先署名に、トランザクションデータＴＣで署名設定関数の引数として渡された署名を設定する。
【0178】
ステップＳ１２５Ｃにおいて、台帳サーバ１０Ａ等それぞれの処理部１１は、エラー処理を実行する。なお、ステップＳ１２５Ｃは、なされなくてもよい。
【0179】
図１２に示される処理により、署名設定関数を実行することによって材料納品先署名を設定できる者を、材料契約を有効と認める者として定められている権限者であるオーナーに限定することができる。
【0180】
（実施の形態３）
本実施の形態において、契約を管理するコンピュータシステムの消費電力の増大を抑制する契約管理システムおよびその制御方法などについて、実施の形態１および２とは異なる形態を説明する。
本実施の形態において、契約を管理するコンピュータシステムの消費電力の増大を抑制する契約管理システムおよびその制御方法などについて、実施の形態１および２とは異なる形態を説明する。
【0181】
本実施の形態の契約管理システムは、材料契約を有効と認める権限者であるオーナーの署名を、製造委託契約に対応するトランザクションデータに当初から格納しておくことで、トランザクションデータが送受信される回数を削減することに寄与する。
【0182】
本実施の形態では、実施の形態１と同様に、材料契約に相当するスマートコントラクトＣＡを含むトランザクションデータＴＡを用いる（図４参照）。ただし、署名設定関数は用いられないので、スマートコントラクトＣＡに含められていなくてもよい。
【0183】
図１３は、本実施の形態におけるトランザクションデータの例であるトランザクションデータＴＢ２を示す説明図である。トランザクションデータＴＢ２は、第二トランザクションデータに相当する。トランザクションデータＴＢ２は、例えば、台帳サーバ１０Ａにより生成される。
【0184】
図１３に示されるように、トランザクションデータＴＢ２は、「スマートコントラクトＣＢ２のコード」と、「初期化関数に渡す引数」と、「署名１」と、「署名２」と、「送信日時」とを含む。
【0185】
「スマートコントラクトＣＢ２のコード」は、変数部と初期化関数とを含む。スマートコントラクトＣＢ２が用いる変数は、実施の形態１におけるスマートコントラクトＣＢにおけるものと同じである。
【0186】
初期化関数は、引数として、金額と、納期と、製品納品先と、コントラクトアドレスと、材料納品先と、材料納品先署名とを受け付ける。また、初期化関数は、実行されると、記憶部１４に格納されている、金額を示す変数、納期を示す変数、製品納品先を示す変数、材料納品先を示す変数、および材料納品先署名を示す変数に値を設定する。具体的には、初期化関数は、実行されると、金額を示す変数に引数として受け付けた金額を設定し、納期を示す変数に引数として受け付けた納期を設定し、製品納品先を示す変数に引数として受け付けた金額を設定する。また、初期化関数は、実行されると、引数から特定されるスマートコントラクトの材料納品先を示す変数に、引数として受け付けた材料納品先を設定し、また、引数から特定されるスマートコントラクトの材料納品先署名を示す変数に、引数として受け付けた材料納品先署名を設定する。
【0187】
「初期化関数に渡す引数」は、スマートコントラクトＣＢ２の初期化関数に渡す引数であり、納期（２０１９年２月１日）と、金額（５００万円）と、製品納品先（Ａ社の識別情報）と、コントラクトアドレス（スマートコントラクトＣＡのアドレス）と、材料納品先（Ｃ社の識別情報）と、材料納品先署名（Ｃ社の署名ＳＣ）とを含む。
【0188】
「署名１」と、「署名２」と、「送信日時」とについては、実施の形態１のスマートコントラクトＣＢにおけるものと同じである（図５参照）。
【0189】
【0190】
【0191】
ステップＳ１０７Ａにおいて、台帳サーバ１０Ｃの処理部１１は、ステップＳ１０４で受信したトランザクションデータＴＡに付すべき署名を算出し、算出した署名を台帳サーバ１０Ａに送信する。
【0192】
ステップＳ１０８Ａにおいて、台帳サーバ１０Ａの処理部１１は、スマートコントラクトＣＢ２のコードを取得する。スマートコントラクトＣＢ２のコードの取得は、台帳サーバ１０Ａが当該コードを生成することによってなされてもよいし、Ａ社の担当者による操作に基づいて端末２０Ａから送信されたコードを受信することによってなされてもよい。
【0193】
ステップＳ１０９Ａにおいて、台帳サーバ１０Ａの処理部１１は、トランザクションデータＴＢ２を生成する。生成されるトランザクションデータＴＢ２には、ステップＳ１０８Ａで取得したスマートコントラクトＣＢ２のコードが含まれていて（図１３参照）、また、ステップＳ１０７Ａで台帳サーバ１０Ｃから受信した、トランザクションデータＴＡに付すべき署名が初期化関数の引数として設定されている。
【0194】
ステップＳ１１０において、実施の形態１における場合と同様に、台帳サーバ１０Ａの処理部１１は、ステップＳ１０９Ａで生成したトランザクションデータＴＢ２についての署名を生成してトランザクションデータＴＢ２に付与して台帳サーバ１０Ｃに送信する。
【0195】
ステップＳ１１１において、実施の形態１における場合と同様に、台帳サーバ１０Ｃの処理部１１は、ステップＳ１１０で送信されたトランザクションデータＴＢについての署名を付与して台帳サーバ１０Ａおよび１０Ｂそれぞれに送信する。これにより、すべての台帳サーバ１０Ａ等が、台帳サーバ１０Ａおよび１０Ｃそれぞれの署名を付与されたトランザクションデータＴＢを有する状態になる。
【0196】
ステップＳ１１２Ａにおいて、実施の形態１のステップＳ１１２と同様に、台帳サーバ１０Ａ等のそれぞれは、ステップＳ１１１で署名が付与され、または、送信されたトランザクションデータＴＢ２を分散台帳に格納する。
【0197】
台帳サーバ１０Ａ等それぞれの処理部１１が、ステップＳ１１２ＡでトランザクションデータＴＢを分散台帳に格納したことに基づいてスマートコントラクトＣＢ２の初期化関数を実行することで、下記ステップＳ１１３およびステップＳ１１４Ａが実現される。
【0198】
ステップＳ１１３において、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている金額を示す変数と、納期を示す変数と、製品納品先とを示す変数に、トランザクションデータＴＢで初期化関数の引数として渡された金額と納期と製品納品先とをそれぞれ設定する。
【0199】
ステップＳ１１４Ａにおいて、台帳サーバ１０Ａ等それぞれの処理部１１は、記憶部１４に格納されている、スマートコントラクトＣＡの材料納品先署名を示す変数にＣ社の署名を設定する。
【0200】
ステップＳ１１４Ａが実行された後に実施の形態１のステップＳ１２６～Ｓ１３０と同じ処理が実行される（不図示）。
【0201】
図１４に示される一連の処理により、契約管理システム１は、材料契約を有効と認める権限者であるオーナーの署名を製造委託契約に対応するトランザクションデータに当初から入れておくことで、トランザクションデータが送受信される回数を削減しながら、契約を管理するコンピュータシステムの消費電力の増大を抑制することができる。
【0202】
なお、権限者は任意の者に設定され得るが、例えば製品のサプライチェーンにおける契約群を想定する場合には、当該契約より下流の契約の締結者が権限者に設定されてもよい。サプライチェーンにおける上流の契約の内容が、下流の契約の内容に影響をおよぼすからである。より具体的には、サプライチェーンにおける上流の契約における納期が、下流の契約の納期に影響を及ぼしたり、サプライチェーンにおける上流の契約における金額が、下流の契約の金額に影響をおよぼしたりするからである。
【0203】
例えば、図１に示されるサプライチェーンでは、Ａ社とＢ社とで締結される材料契約よりも、Ａ社とＣ社とで締結される製造委託契約のほうが下流であるという理由で、材料契約を有効と認める権限者をＣ社と設定してもよい。
【0204】
より複雑なサプライチェーンを例として説明する。
【0205】
図１５は、サプライチェーンの変形例を示す説明図である。
【0206】
図１５に示されるサプライチェーンでは、製品の販売者であるＡ社は、材料メーカであるＢ社およびＦ社それぞれと材料契約を締結している。Ｂ社の材料納品先はＤ社であり、Ｆ社の材料納品先はＧ社である。
【0207】
一方、販売者であるＡ社は、製品メーカであるＰ社と製造委託契約を締結している。Ｐ社は、製品に使用する部品の供給に係る契約である部品供給契約をＤ社およびＧ社それぞれと締結している。Ｐ社は、Ｄ社およびＧ社から納品された部品から製品を製造し、Ａ社に納品する。
【0208】
このようなサプライチェーンでは、例えば、Ａ社とＢ社とで締結される材料契約の権限者が、その材料契約より下流の契約である部品供給契約または製造委託契約の締結者であるＤ社またはＰ社に設定されてよい。また、同様に、Ｄ社とＰ社とで締結される部品供給契約の権限者が、その部品供給契約より下流の契約である製造委託契約の締結者であるＡ社に設定されてよい。
【0209】
また、例えば、Ａ社とＦ社とで締結される材料契約の権限者が、その材料契約より下流の契約である部品供給契約または製造委託契約の締結者であるＧ社またはＰ社に設定されてよい。また、同様に、Ｇ社とＰ社とで締結される部品供給契約の権限者が、その部品供給契約より下流の契約である製造委託契約の締結者であるＡ社に設定されてよい。
【0210】
（補足）
上記各実施の形態、又は、変形例におけるブロックチェーンについて補足的に説明する。
上記各実施の形態、又は、変形例におけるブロックチェーンについて補足的に説明する。
【0211】
図１６は、ブロックチェーンのデータ構造を示す説明図である。
【0212】
ブロックチェーンは、その記録単位であるブロックがチェーン（鎖）状に接続されたものである。それぞれのブロックは、複数のトランザクションデータと、直前のブロックのハッシュ値とを有している。具体的には、ブロックＢ２には、その前のブロックＢ１のハッシュ値が含まれている。そして、ブロックＢ２に含まれる複数のトランザクションデータと、ブロックＢ１のハッシュ値とから演算されたハッシュ値が、ブロックＢ２のハッシュ値として、ブロックＢ３に含められる。このように、前のブロックの内容をハッシュ値として含めながら、ブロックをチェーン状に接続することで、記録されたトランザクションデータの改ざんを有効に防止する。
【0213】
仮に過去のトランザクションデータが変更されると、ブロックのハッシュ値が変更前と異なる値になり、改ざんしたブロックを正しいものとみせかけるには、それ以降のブロックすべてを作り直さなければならず、この作業は現実的には非常に困難である。この性質を使用して、ブロックチェーンに改ざん困難性が担保されている。
【0214】
図１７は、トランザクションデータのデータ構造を示す説明図である。
【0215】
図１７に示されるトランザクションデータは、トランザクション本体Ｐ１と、電子署名Ｐ２とを含む。トランザクション本体Ｐ１は、当該トランザクションデータに含まれるデータ本体である。電子署名Ｐ２は、トランザクション本体Ｐ１のハッシュ値に対して、当該トランザクションデータの作成者の署名鍵で署名する、より具体的には、作成者の秘密鍵で暗号化することで生成されたものである。
【0216】
トランザクションデータは、電子署名Ｐ２を有するので、改ざんが実質的に不可能である。これにより、トランザクション本体の改ざんが防止される。
【0217】
なお、上記実施の形態において、各構成要素は、専用のハードウェアで構成されるか、各構成要素に適したソフトウェアプログラムを実行することによって実現されてもよい。各構成要素は、ＣＰＵまたはプロセッサなどのプログラム実行部が、ハードディスクまたは半導体メモリなどの記録媒体に記録されたソフトウェアプログラムを読み出して実行することによって実現されてもよい。ここで、上記実施の形態のコンテンツ管理システムなどを実現するソフトウェアは、次のようなプログラムである。
【0218】
すなわち、このプログラムは、コンピュータに、分散台帳を保有している複数の装置を備える契約管理システムにおいて、当該複数の装置のうちの一の装置が実行する制御方法であって、第一ユーザと第二ユーザとの第一契約を有効と認める権限を有する権限者を示す第一変数であって、前記権限者が未定であることを示す所定値が設定されている第一変数を含む第一トランザクションデータを取得し、取得した前記第一トランザクションデータを前記分散台帳に格納し、前記分散台帳に格納した前記第一トランザクションデータに前記第一変数として含まれている前記所定値を読み出して前記一の装置の書き換え可能な記憶部に格納する格納処理を実行し、前記第一変数を第三ユーザの識別情報に変更する変更命令を含む第二トランザクションデータを取得し、取得した前記第二トランザクションデータを前記分散台帳に格納し、前記第二トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数を前記変更命令に従って変更する変更処理を実行し、前記第一契約を履行する履行処理を実行する履行命令を含む第三トランザクションデータを取得し、取得した前記第三トランザクションデータを前記分散台帳に格納し、前記第三トランザクションデータを前記分散台帳に格納した後に、前記記憶部に格納されている前記第一変数が前記所定値以外であると判定した場合に、前記履行命令に従って前記履行処理を実行する制御方法を実行させるプログラムである。
【0219】
以上、一つまたは複数の態様に係る契約管理システムなどについて、実施の形態に基づいて説明したが、本発明は、この実施の形態に限定されるものではない。本発明の趣旨を逸脱しない限り、当業者が思いつく各種変形を本実施の形態に施したものや、異なる実施の形態における構成要素を組み合わせて構築される形態も、一つまたは複数の態様の範囲内に含まれてもよい。
【産業上の利用可能性】
【0220】
本発明は、契約を管理する契約管理システムに利用可能である。
【符号の説明】
【0221】
１ 契約管理システム
１０Ａ、１０Ｂ、１０Ｃ 台帳サーバ
１１ 処理部
１２ 台帳記憶部
１３ 実行部
１４ 記憶部
２０Ａ、２０Ｂ、２０Ｃ 端末
Ｂ１、Ｂ２、Ｂ３ ブロック
ＣＡ、ＣＡ１、ＣＢ、ＣＢ１、ＣＢ２ スマートコントラクト
Ｎ ネットワーク
Ｐ１ トランザクション本体
Ｐ２ 電子署名
ＴＡ、ＴＡ１、ＴＢ、ＴＢ１、ＴＢ２、ＴＣ、ＴＤ トランザクションデータ
１０Ａ、１０Ｂ、１０Ｃ 台帳サーバ
１１ 処理部
１２ 台帳記憶部
１３ 実行部
１４ 記憶部
２０Ａ、２０Ｂ、２０Ｃ 端末
Ｂ１、Ｂ２、Ｂ３ ブロック
ＣＡ、ＣＡ１、ＣＢ、ＣＢ１、ＣＢ２ スマートコントラクト
Ｎ ネットワーク
Ｐ１ トランザクション本体
Ｐ２ 電子署名
ＴＡ、ＴＡ１、ＴＢ、ＴＢ１、ＴＢ２、ＴＣ、ＴＤ トランザクションデータ
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】