▶ パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカの特許一覧
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B2)
(11)【特許番号】
(24)【登録日】2024-10-23
(45)【発行日】2024-10-31
(54)【発明の名称】制御方法、装置、及び、プログラム
(51)【国際特許分類】
G06Q 20/40 20120101AFI20241024BHJP
【ＦＩ】
G06Q20/40 330
【請求項の数】
11
(21)【出願番号】P 2021565562
(86)(22)【出願日】2020-12-11
(86)【国際出願番号】 JP2020046402
(87)【国際公開番号】W WO2021125109
(87)【国際公開日】2021-06-24
【審査請求日】2023-09-13
(31)【優先権主張番号】62/950,522
(32)【優先日】2019-12-19
(33)【優先権主張国・地域又は機関】US
(73)【特許権者】
【識別番号】514136668
【氏名又は名称】パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカ
【氏名又は名称原語表記】Ｐａｎａｓｏｎｉｃ Ｉｎｔｅｌｌｅｃｔｕａｌ Ｐｒｏｐｅｒｔｙ Ｃｏｒｐｏｒａｔｉｏｎ ｏｆ Ａｍｅｒｉｃａ
(74)【代理人】
【識別番号】100109210
【弁理士】
【氏名又は名称】新居 広守
(74)【代理人】
【識別番号】100137235
【弁理士】
【氏名又は名称】寺谷 英作
(74)【代理人】
【識別番号】100131417
【弁理士】
【氏名又は名称】道坂 伸一
(72)【発明者】
【氏名】海上 勇二
(72)【発明者】
【氏名】道山 淳児
(72)【発明者】
【氏名】添田 純一郎
(72)【発明者】
【氏名】大森 基司
(72)【発明者】
【氏名】渕上 哲司
(72)【発明者】
【氏名】廣瀬 雄揮
(72)【発明者】
【氏名】西田 直央
(72)【発明者】
【氏名】田口 雅裕
【審査官】藤原 拓也
(56)【参考文献】
【文献】国際公開第２０１８／１４２９４８（ＷＯ，Ａ１）
【文献】米国特許出願公開第２０１９／０２７８７６７（ＵＳ，Ａ１）
【文献】米国特許出願公開第２０１８／００９６３６０（ＵＳ，Ａ１）
【文献】中村誠吾ほか，"ブロックチェーン システム設計"，第１版，株式会社リックテレコム，2018年08月02日，Ｐ．１７８－１８６，ISBN:978-4-86594-115-9
【文献】知念祐一郎ほか，"ＲＡ：スマートコントラクトの安全性解析にむけたシンボリック実行ツール "，コンピュータセキュリティシンポジウム２０１９論文集，情報処理学会，2019年10月04日，Ｐ．５６９－５７６，ISSN:1882-0840
(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】
このように、通信部１０１は、他のサーバ１０との間で通信を行う。なお、この通信は、ＴＬＳ（Transport Layer Security）によりなされてもよく、ＴＬＳ通信用の暗号鍵は通信部１０１で保持してもよい。
【0051】
＜トランザクションデータ生成部１０２＞
トランザクションデータ生成部１０２は、実行トランザクションデータを生成する。本実施の形態では、実行トランザクションデータは、分散台帳１０７に格納されている親スマートコントラクトをスマートコントラクト実行部１０５に実行させるための実行情報を含む。この実行情報は、親スマートコントラクトを識別する識別子と、親スマートコントラクトに入力する値（引数）とを含む。なお、親スマートコントラクトを識別する識別子は、親スマートコントラクトが格納されている分散台帳１０７における格納場所（アドレス）であってもよいし、識別番号であってもよいし、親スマートコントラクトの名称であってもよい。
トランザクションデータ生成部１０２は、実行トランザクションデータを生成する。本実施の形態では、実行トランザクションデータは、分散台帳１０７に格納されている親スマートコントラクトをスマートコントラクト実行部１０５に実行させるための実行情報を含む。この実行情報は、親スマートコントラクトを識別する識別子と、親スマートコントラクトに入力する値（引数）とを含む。なお、親スマートコントラクトを識別する識別子は、親スマートコントラクトが格納されている分散台帳１０７における格納場所（アドレス）であってもよいし、識別番号であってもよいし、親スマートコントラクトの名称であってもよい。
【0052】
トランザクションデータ生成部１０２は、生成した実行トランザクションデータを状態記憶部１０４に一時的に格納してもよい。トランザクションデータ生成部１０２は、サーバ１０ａ～１０ｃのうちの１つのサーバ１０のみが備えていてもよい。トランザクションデータ生成部１０２は、通信部１０１を介して、生成した実行トランザクションデータを他のサーバ１０に送信する。
【0053】
また、トランザクションデータ生成部１０２は、後述するスマートコントラクト実行部１０５により生成された子スマートコントラクトを含む第１トランザクションデータを生成してもよい。トランザクションデータ生成部１０２は、生成した第１トランザクションデータを状態記憶部１０４に一時的に格納してもよい。トランザクションデータ生成部１０２は、通信部１０１を介して、生成した第１トランザクションデータを他のサーバ１０に送信する。
【0054】
ここで、第１トランザクションデータについて説明する。
【0055】
図３は、第１トランザクションデータを模式的に示す説明図である。第１トランザクションデータは、第１子スマートコントラクトと、引数としての親スマートコントラクトの識別子と、第１トランザクションデータを生成したサーバ１０の署名と、第１トランザクションデータの送信日時とを含む。図３では、サーバＡにより生成された第１トランザクションデータが例示されており、「初期化機能」は、スマートコントラクトＡが実行されたときに最初に実行される機能を示す。初期化機能は、管理スマートコントラクトに含まれる管理機能を呼び出して実行する機能を含む。初期化機能は、管理スマートコントラクトの識別子を含む。管理スマートコントラクトの識別子は、管理スマートコントラクトの分散台帳１０７における格納場所（アドレス）であってもよいし、識別番号であってもよいし、管理スマートコントラクトの名称であってもよい。「親ＩＤ」は、親スマートコントラクトの識別子を示す。「スマートコントラクトＡ」は、サーバＡが親スマートコントラクトを実行することで生成した子スマートコントラクトを示す。「自分の識別子」は、サーバＡが親スマートコントラクトを実行することで生成した子スマートコントラクトの識別子を示し、具体的には、子スマートコントラクトが格納されている分散台帳１０７における格納場所（アドレス）であってもよいし、識別番号であってもよいし、子スマートコントラクトの名称であってもよい。
【0056】
第１トランザクションデータは、管理スマートコントラクトをスマートコントラクト実行部１０５に実行させるための実行情報を含む。この実行情報は、管理スマートコントラクトを識別する識別子と、管理スマートコントラクトに入力する値（引数）とを含む。なお、管理スマートコントラクトを識別する識別子は、管理スマートコントラクトが格納されている分散台帳１０７における格納場所（アドレス）であってもよいし、識別番号であってもよいし、管理スマートコントラクトの名称であってもよい。
【0057】
なお、他のサーバ１０により生成される第２トランザクションデータも第１トランザクションデータと同様であるため、説明を省略する。
【0058】
＜トランザクションデータ検証部１０３＞
トランザクションデータ検証部１０３は、通信部１０１がトランザクションデータを受信したとき、そのトランザクションデータの正当性を検証する。例えば、トランザクションデータ検証部１０３は、通信部１０１が受信したトランザクションデータに、正しい方法で生成された電子署名が付与されているかなどを検証する。なお、この検証はスキップされてもよい。ここで、通信部１０１が受信するトランザクションデータは、第２トランザクションデータである。
トランザクションデータ検証部１０３は、通信部１０１がトランザクションデータを受信したとき、そのトランザクションデータの正当性を検証する。例えば、トランザクションデータ検証部１０３は、通信部１０１が受信したトランザクションデータに、正しい方法で生成された電子署名が付与されているかなどを検証する。なお、この検証はスキップされてもよい。ここで、通信部１０１が受信するトランザクションデータは、第２トランザクションデータである。
【0059】
また、トランザクションデータ検証部１０３は、トランザクションデータ生成部１０２がトランザクションデータを生成したとき、そのトランザクションデータの正当性を検証する。例えば、トランザクションデータ検証部１０３は、トランザクションデータ生成部１０２が生成したトランザクションデータに、正しい方法で生成された電子署名が付与されているかなどを検証する。なお、この検証はスキップされてもよい。ここで、トランザクションデータ生成部１０２が生成したトランザクションデータは、実行トランザクションデータ又は第１トランザクションデータである。
【0060】
また、トランザクションデータ検証部１０３は、他のサーバ１０とともに、トランザクションデータの正当性について合意するためのコンセンサスアルゴリズムを実行する。
【0061】
ここで、コンセンサスアルゴリズムには、ＰＢＦＴ（Practical Byzantine Fault Tolerance）が用いられてもよいし、その他の公知のコンセンサスアルゴリズムが用いられてもよい。公知のコンセンサスアルゴリズムとしては、例えばＰｏＷ（Proof of Work）またはＰｏＳ（Proof of Stake）などがある。コンセンサスアルゴリズムにＰＢＦＴが用いられる場合、トランザクションデータ検証部１０３は、他のサーバ１０のそれぞれからトランザクションデータの検証が成功したか否かを示す報告を受け取り、当該報告の数が所定の数を超えたか否かを判定する。そして、トランザクションデータ検証部１０３は、当該報告の数が所定の数を超えたとき、コンセンサスアルゴリズムによってトランザクションデータの正当性が検証されたと判定すればよい。
【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】
（２）上記の実施の形態における各装置は、構成する構成要素の一部または全部は、１個のシステムＬＳＩ（Large Scale Integration：大規模集積回路）から構成されているとしてもよい。システムＬＳＩは、複数の構成部を１個のチップ上に集積して製造された超多機能ＬＳＩであり、具体的には、マイクロプロセッサ、ＲＯＭ、ＲＡＭなどを含んで構成されるコンピュータシステムである。前記ＲＡＭには、コンピュータプログラムが記録されている。前記マイクロプロセッサが、前記コンピュータプログラムにしたがって動作することにより、システムＬＳＩは、その機能を達成する。
【0148】
また、上記の各装置を構成する構成要素の各部は、個別に１チップ化されていても良いし、一部またはすべてを含むように１チップ化されてもよい。
【0149】
また、ここでは、システムＬＳＩとしたが、集積度の違いにより、ＩＣ、ＬＳＩ、スーパーＬＳＩ、ウルトラＬＳＩと呼称されることもある。また、集積回路化の手法はＬＳＩに限るものではなく、専用回路または汎用プロセッサで実現してもよい。ＬＳＩ製造後に、プログラムすることが可能なＦＰＧＡ（Field Programmable Gate Array）や、ＬＳＩ内部の回路セルの接続や設定を再構成可能なリコンフィギュラブル・プロセッサを利用しても良い。
【0150】
さらには、半導体技術の進歩または派生する別技術によりＬＳＩに置き換わる集積回路化の技術が登場すれば、当然、その技術を用いて機能ブロックの集積化を行ってもよい。バイオ技術の適用等が可能性としてありえる。
【0151】
（３）上記の各装置を構成する構成要素の一部または全部は、各装置に脱着可能なＩＣカードまたは単体のモジュールから構成されているとしてもよい。前記ＩＣカードまたは前記モジュールは、マイクロプロセッサ、ＲＯＭ、ＲＡＭなどから構成されるコンピュータシステムである。前記ＩＣカードまたは前記モジュールは、上記の超多機能ＬＳＩを含むとしてもよい。マイクロプロセッサが、コンピュータプログラムにしたがって動作することにより、前記ＩＣカードまたは前記モジュールは、その機能を達成する。このＩＣカードまたはこのモジュールは、耐タンパ性を有するとしてもよい。
【0152】
（４）本開示は、上記に示す方法であるとしてもよい。また、これらの方法をコンピュータにより実現するコンピュータプログラムであるとしてもよいし、前記コンピュータプログラムからなるデジタル信号であるとしてもよい。
【0153】
また、本開示は、前記コンピュータプログラムまたは前記デジタル信号をコンピュータで読み取り可能な記録媒体、例えば、フレキシブルディスク、ハードディスク、ＣＤ－ＲＯＭ、ＭＯ、ＤＶＤ、ＤＶＤ－ＲＯＭ、ＤＶＤ－ＲＡＭ、ＢＤ（Ｂｌｕ－ｒａｙ（登録商標） Ｄｉｓｃ）、半導体メモリなどに記録したものとしてもよい。また、これらの記録媒体に記録されている前記デジタル信号であるとしてもよい。
【0154】
また、本開示は、前記コンピュータプログラムまたは前記デジタル信号を、電気通信回線、無線または有線通信回線、インターネットを代表とするネットワーク、データ放送等を経由して伝送するものとしてもよい。
【0155】
また、本開示は、マイクロプロセッサとメモリを備えたコンピュータシステムであって、前記メモリは、上記コンピュータプログラムを記録しており、前記マイクロプロセッサは、前記コンピュータプログラムにしたがって動作するとしてもよい。
【0156】
また、前記プログラムまたは前記デジタル信号を前記記録媒体に記録して移送することにより、または前記プログラムまたは前記デジタル信号を、前記ネットワーク等を経由して移送することにより、独立した他のコンピュータシステムにより実施するとしてもよい。
【0157】
（５）上記実施の形態及び上記変形例をそれぞれ組み合わせるとしてもよい。
【産業上の利用可能性】
【0158】
本開示は、制御方法、サーバ、及び、プログラムに利用でき、例えば取引において不正取引を適切に検知することができる制御方法、サーバ、及び、プログラムなどに利用可能である。
【符号の説明】
【0159】
１０、１０ａ～１０ｃ サーバ
１０１ 通信部
１０２ トランザクションデータ生成部
１０３ トランザクションデータ検証部
１０４ 状態記憶部
１０５ スマートコントラクト実行部
１０６ 記録部
１０７ 分散台帳
１０１ 通信部
１０２ トランザクションデータ生成部
１０３ トランザクションデータ検証部
１０４ 状態記憶部
１０５ スマートコントラクト実行部
１０６ 記録部
１０７ 分散台帳
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】