(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公表特許公報(A)
(11)【公表番号】
(43)【公表日】2023-12-06
(54)【発明の名称】分散ネットワークにおける検証鍵生成
(51)【国際特許分類】
H04L 9/08 20060101AFI20231129BHJP
【ＦＩ】
H04L9/08 D
H04L9/08 F
【審査請求】未請求
【予備審査請求】未請求
(21)【出願番号】P 2023523329
(86)(22)【出願日】2020-12-21
(85)【翻訳文提出日】2023-02-22
(86)【国際出願番号】 EP2020087410
(87)【国際公開番号】W WO2022002428
(87)【国際公開日】2022-01-06
(31)【優先権主張番号】63/046,371
(32)【優先日】2020-06-30
(33)【優先権主張国・地域又は機関】US
(81)【指定国・地域】
【公序良俗違反の表示】
（特許庁注：以下のものは登録商標）
１．ＳＭＡＬＬＴＡＬＫ
(71)【出願人】
【識別番号】521435190
【氏名又は名称】デフィニティ スティフトゥング
【氏名又は名称原語表記】ＤＦＩＮＩＴＹ ＳＴＩＦＴＵＮＧ
【住所又は居所原語表記】Ｇｅｎｆｅｒｓｔｒａｓｓｅ １１， ８００２ Ｚｕｅｒｉｃｈ Ｓｗｉｔｚｅｒｌａｎｄ
(74)【代理人】
【識別番号】110002664
【氏名又は名称】弁理士法人相原国際知財事務所
(72)【発明者】
【氏名】カメニッシュ， ヤン
(72)【発明者】
【氏名】ドライヴェールズ， マヌ
(72)【発明者】
【氏名】グランストルム， ヨハン
(72)【発明者】
【氏名】カシツィン， ロマン
(72)【発明者】
【氏名】ネヴェン， グレゴリー
(72)【発明者】
【氏名】ピニョレ， イヴォンヌ アン
(72)【発明者】
【氏名】ウィリアムズ， ドミニク
(57)【要約】
本発明のいくつかの実施形態は、分散ネットワークにおいて公開鍵署名方式の検証鍵を生成するコンピュータ実装方法に関する。本方法は、第１サブネットワークのノードのサブセットが、第１分散鍵生成プロトコルを実行して、第１分散鍵生成プロトコルは、第１サブネットワーク用の検証鍵と、第１サブネットワークのノードに対応する複数の共有秘密鍵とを共同で生成する。本方法は、第２サブネットワークについて、第１サブネットワークの複数のノードのサブセットが、第２分散鍵生成プロトコルを実行するステップを備え、第２分散鍵生成プロトコルは、第２サブネットワークの検証鍵と、第２サブネットワークのノードに対応する複数の共有秘密鍵とを共同で生成する。さらなるステップは、第１サブネットワークのノードのサブセットが、第２サブネットワークの検証鍵に、第１サブネットワークのノードの共有秘密鍵の許容可能なサブセットに署名するステップを含み、それにより、第２サブネットワークの検証鍵上に共同署名を生成する。さらなる態様は、分散ネットワーク、分散ネットワークの複数のノード、および対応するコンピュータプログラム製品に関する。
【選択図】 図８ａ、図８ｂ、図８ｃ
【選択図】 図８ａ、図８ｂ、図８ｃ
【特許請求の範囲】
【請求項1】
分散ネットワークにおいて公開鍵署名方式の検証鍵を生成するコンピュータ実装方法であって、前記分散ネットワークは複数のノードを有し、前記複数のノードは２つ以上のサブネットワークに分割され、前記複数のノードの各々は１つ以上の計算ユニットを実行するように構成され、前記計算ユニットは前記複数のノードの前記複数のサブネットワークにわたる決定論的かつ複製される方法で計算を実行し、それにより一連の実行状態をトラバースするように構成されており、前記方法は、第１サブネットワークのノードのサブセットが、前記第１サブネットワーク用の検証鍵と、前記第１サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第１分散鍵生成プロトコルを実行するステップと、
前記第１サブネットワークの複数のノードのサブセットが、第２サブネットワークについて、前記第２サブネットワーク用の検証鍵と、前記第２サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第２分散鍵生成プロトコルを実行するステップと、
前記第１サブネットワークのノードのサブセットが、前記第１サブネットワークのノードの前記複数の共有秘密鍵の許容可能なサブセットとともに前記第２サブネットワークの前記検証鍵に署名するステップであって、それにより前記第２サブネットワークの前記検証鍵上に共同署名を生成するステップと、を備えるコンピュータ実装方法。
【請求項2】
前記第２サブネットワークが、前記第２サブネットワークの前記検証鍵に対応する前記複数の共有秘密鍵の許容可能なサブセットとともに前記第２サブネットワークの状態情報パッケージに署名するステップであって、それにより前記第２サブネットワークの前記状態情報パッケージ上に共同署名を生成するステップをさらに備え、前記状態情報パッケージは、前記第２サブネットワークの実行状態または実行状態のハッシュを含む、請求項１に記載のコンピュータ実装方法。
【請求項3】
前記第１サブネットワークが、前記第１サブネットワークの前記検証鍵に対応する複数の共有秘密鍵の許容可能なサブセットとともに前記第１サブネットワークの状態情報パッケージに署名するステップであって、それにより前記第１サブネットワークの前記状態情報パッケージ上に共同署名を生成するステップをさらに備え、前記状態情報パッケージは、前記第１サブネットワークの実行状態または実行状態のハッシュを含む、請求項１に記載のコンピュータ実装方法。
【請求項4】
前記分散ネットワークは複数の第２サブネットワークを有し、前記第１サブネットワークの前記状態情報パッケージはリストを含み、前記リストは、前記複数の第２サブネットワークのノード検証鍵と、
前記複数の第２サブネットワークの複数のノードと、を有する請求項３に記載のコンピュータ実装方法。
【請求項5】
前記第２サブネットワークについて前記第２分散鍵生成プロトコルを実行するステップは、前記第１サブネットワークのノードが、前記第２検証鍵と前記第１サブネットワークのノードに対応する複数の第１共有秘密鍵セットとを生成するステップであって、前記第１サブネットワークの各ノードが前記第１共有秘密鍵セットのうちの１つの共有秘密鍵を保持するステップと、
秘密再配布プロトコルが、前記第１共有秘密鍵セットの共有秘密鍵を前記第２サブネットワークの前記複数のノードに再配布するステップであって、それにより前記第２サブネットワークの第２検証鍵に対応する第２共有秘密鍵セットを生成するステップと、を備える請求項１に記載のコンピュータ実装方法。
【請求項6】
前記第２サブネットワークの検証鍵を、前記第１サブネットワークの共同署名とともに公開するステップであって、それにより前記第２サブネットワークの検証鍵の証明書を提供するステップをさらに備える、請求項１に記載のコンピュータ実装方法。
【請求項7】
ノードが、特に前記分散ネットワークの前記第２サブネットワークへの接続または再接続を希望するキャッチアップノードが、前記状態情報パッケージを検証するステップをさらに備え、前記状態情報パッケージを検証するステップは、前記第１サブネットワークの検証鍵で前記証明書を検証することにより、前記状態情報パッケージの共同署名に対応する前記第２サブネットワークの検証鍵を検証するステップと、
前記状態情報パッケージの共同署名に対応する前記第２サブネットワークの検証済み検証鍵を用いて、前記状態情報パッケージの前記共同署名を検証するステップと、を含む請求項６に記載のコンピュータ実装方法。
【請求項8】
前記分散ネットワークが、複数のブロックのブロックチェーンを生成するステップをさらに備え、前記状態情報パッケージが、前記ブロックチェーンの後続の複数のブロック、特に後続の複数のブロックの有効性を検証するブロック検証情報を含む、前記請求項１から８までのいずれか１項に記載のコンピュータ実装方法。
【請求項9】
前記ブロック検証情報は、前記ブロックチェーンの複数のブロックの有効性の検証に必要な検証鍵セットを含む、請求項８に記載のコンピュータ実装方法。
【請求項10】
前記第２サブネットワークの状態情報パッケージは、前記第２サブネットワークの検証鍵および前記証明書を含む、請求項７に記載のコンピュータ実装方法。
【請求項11】
前記状態情報パッケージは、前記第２サブネットワークの検証鍵の生成に使用された分散鍵生成プロトコルの鍵生成情報をさらに含む、請求項１から１０までのいずれか１項に記載のコンピュータ実装方法。
【請求項12】
前記状態情報パッケージは、前記分散ネットワークへの接続または再接続を希望するキャッチアップノードの実行状態が、直近の実行状態との同期を可能にする情報一式を含む、請求項１から１１までのいずれか１項に記載のコンピュータ実装方法。
【請求項13】
前記状態情報パッケージを前記ブロックチェーンのブロックの所定の時間間隔で追加するステップをさらに備える、請求項８から１２までのいずれか１項に記載のコンピュータ実装方法。
【請求項14】
前記状態情報パッケージは、前記実行状態をマークルツリー（Merkle-tree）構造として、特に前記マークルツリー構造のハッシュルートとして提供する、請求項２から１３までのいずれか１項に記載のコンピュータ実装方法。
【請求項15】
前記第２サブネットワークの最新ノードから前記第２サブネットワークへの接続または再接続を希望するキャッチアップノードが、前記マークルツリー構造の複数のリーフハッシュを請求するステップと、前記キャッチアップノードが、それ自身の状態の前記複数のリーフハッシュを前記最新ノードの前記複数のハッシュと比較するステップと、
前記最新ノードからの前記キャッチアップノードが、異なる複数のリーフハッシュを有する複数のリーフに対応する状態情報だけを請求する、請求項１４に記載のコンピュータ実装方法。
【請求項16】
前記分散鍵生成プロトコルは、しきい値分散鍵生成プロトコルである、請求項１から１５までのいずれか１項に記載のコンピュータ実装方法。
【請求項17】
前記秘密再配布プロトコルは、しき値鍵再配布プロトコルである、請求項５に記載のコンピュータ実装方法。
【請求項18】
前記共同署名は多重署名である、請求項１から１７までのいずれか１項に記載のコンピュータ実装方法。
【請求項19】
前記分散鍵生成プルトコルは、前記キャッチアップノードが、未知のノードからの１つ以上の接続を受諾するステップと、
前記未知のノードとの通信交換を前記状態情報パッケージおよび前記証明書に関する通信に制限するステップと、
前記状態情報パッケージおよび前記証明書が一度受信されると、前記未知のノードとの通信を停止するステップと、を備える請求項１から１８までのいずれか１項に記載のコンピュータ実装方法。
【請求項20】
複数のノードを有する分散ネットワークであって、前記複数のノードは２つ以上のサブネットワークに分割され、前記複数のノードの各々は１つ以上の計算ユニットを実行するように構成され、前記計算ユニットは前記複数のノードの前記複数のサブネットワークにわたる決定論的かつ複製される方法で計算を実行し、それにより一連の実行状態をトラバースするように構成されており、前記分散ネットワークは、第１サブネットワークのノードのサブセットが、前記第１サブネットワーク用の検証鍵と、前記第１サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第１分散鍵生成プロトコルを実行するように構成され、
前記第１サブネットワークの複数のノードのサブセットが、第２サブネットワークについて、前記第２サブネットワーク用の検証鍵と、前記第２サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第２分散鍵生成プロトコルを実行するように構成され、
前記第１サブネットワークのノードのサブセットが、前記第１サブネットワークのノードの前記複数の共有秘密鍵の許容可能なサブセットとともに前記第２サブネットワークの前記検証鍵に署名するステップであって、それにより前記第２サブネットワークの前記検証鍵上に共同署名を生成するように構成されている、分散ネットワーク。
【請求項21】
請求項２０に記載された分散ネットワークの複数のノードであって、前記ノードは、前記第１サブネットワーク用の検証鍵と、前記第１サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第１分散鍵生成プロトコルに参加し、
前記第２サブネットワーク用の検証鍵と、前記第２サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第２分散鍵生成プロトコルに参加し、
前記第１サブネットワークのノードの共有秘密鍵の許容可能なサブセットを含む前記第２サブネットワークの検証鍵の共同署名に参加するように構成されている、ノード。
【請求項22】
分散ネットワークを動作させるコンピュータプログラム製品であって、前記分散ネットワークが複数のノードを備え、前記コンピュータプログラム製品が、それとともに具体化されたプログラム命令を有するコンピュータ可読記憶媒体を備え、前記プログラム命令が、前記複数のノードのうちの１つ以上に所定の方法を実行させるため前記複数のノードのうちの１つ以上によって実行可能であり、前記方法は、前記複数のノードの前記複数のサブネットワークにわたら決定論的かつ複製される方法で計算を実行し、それにより一連の実行状態をトラバースするステップと、
第１サブネットワークのノードのサブセットが、前記第１サブネットワーク用の検証鍵と、前記第１サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第１分散鍵生成プロトコルを実行するステップと、
前記第１サブネットワークの複数のノードのサブセットが、第２サブネットワークについて、前記第２サブネットワーク用の検証鍵と、前記第２サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成された、第２分散鍵生成プロトコルを実行するステップと、
前記第１サブネットワークのノードのサブセットが、前記第１サブネットワークのノードの前記複数の共有秘密鍵の許容可能なサブセットとともに前記第２サブネットワークの前記検証鍵に署名するステップであって、それにより前記第２サブネットワークの前記検証鍵上に共同署名を生成するステップと、
を備えるコンピュータプログラム製品。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、分散ネットワークにおける公開鍵署名方式の検証鍵を生成するコンピュータ実装方法に関する。
【0002】
さらなる態様は、分散ネットワーク、分散ネットワークの複数のノード、対応するコンピュータプログラム製品、および非一時的媒体上に符号化されたソフトウェアアーキテクチャに関する。
【背景技術】
【0003】
分散ネットワークでは、複数のノードが分散して配置される。分散ネットワークの計算では、ソフトウェアとデータが複数のノードに分散される。ノードはコンピューティングリソースを構築し、分散ネットワークは分散コンピューティング技術を使用し得る。
【0004】
分散ネットワークの一例として、ブロックチェーンネットワークがある。ブロックチェーンネットワークは、複数のブロックからなり、合意に基づく電子台帳である。各ブロックは、複数のトランザクションおよびその他の情報からなる。さらに、各ブロックは前のブロックのハッシュを含むことで連鎖しているので、ブロックチェーンに書き込まれたすべてのトランザクションが永続的に変更不可能な記録として作成される。トランザクションは、例えば、スマートコントラクトとして知られる小規模なプログラムを呼び出し得る。トランザクションがブロックチェーンに書き込まれるためには、ネットワークによる「検証」および合意が必須である。言い換えれば、ネットワークノードは、ブロックチェーンに書き込まれるブロックにおいてコンセンサスに到達する必要がある。このようなコンセンサスは、さまざまなコンセンサスプロトコルで達成され得る。
【0005】
ブロックチェーンネットワークの１つの形態において、コンセンサスプロトコルは、プルーフオブワークアルゴリズムで達成される。一般に、プルーフオブワークコンセンサスプロトコルでは、コンセンサスプロトコルに参加する当時者に何らかの作業が必要とされ、通常、コンピュータによる処理時間に相当する。ビットコインなどのプルーフオブワークに基づく暗号通貨システムでは、計算集約型のパズルを解くことで、トランザクションを検証して新たなブロックを作成する。
【0006】
他の形態のコンセンサスプロトコルは、プルーフオブステークアルゴリズムに基づく。このようなプルーフオブステークプロトコルは、時間を要し、エネルギー集約型である計算が不要であるとの利点を有する。プルーフオブステークに基づくブロックチェーンネットワークでは、例えば、次のブロックの作成者は、ランダム選択の組み合わせ、ならびにネットワークのそれぞれのノードのステークを通して選出される。ブロックチェーンネットワークで使用されるコンセンサスプロトコルは、「Byzantine fault tolerant」（ＢＴＦ）合意プロトコルを適用することで、ブロックに含まれるトランザクションのファイナリティに高速で到達するように設計可能である。「同期」ＢＦＴプロトコルは、安全のためネットワーク共時態仮定に依存するが、「非同期」ＢＦＴプロトコルはそれに依存しない。非同期ＢＦＴプロトコルは、典型的には、参加ノードの破損について１／３（３分の１）未満であれば許容可能である。
【0007】
暗号通貨とは別に、分散ネットワークは、さまざまな他のアプリケーションに使用され得る。特に、それらは分散型および分散計算能力およびサービスの提供に使用され得る。この目的のために、それらの分散ネットワークは、複数のクラッシュノードおよびさまざまな敵対的攻撃があったとしても複数のアプリケーションを確実に実行し、複数のノードにわたる状態を格納する状態機械レプリケーションプロトコルを使用し得る。
【0008】
分散計算サービスを提供するそのような分散ネットワークの１つの課題は、公開鍵署名方式の検証鍵を生成して配布するメカニズムを提供するところにある。そのような検証鍵は、例えば、公開鍵署名方式の署名の検証に使用され得る公開鍵である。
【0009】
そのような分散ネットワークのもう１つの課題は、（もはや）最新でないノードの分散ネットワークへの接続または再接続を可能にするメカニズムを提供するところある。そのようなノードは、例えば、クラッシュして分散ネットワークへの参加を再開したいノード、または新たに参加したいノードであり得る。
【先行技術文献】
【非特許文献】
【0010】
【非特許文献1】Paul Feldman. A practical scheme for non-interactive verifiable secret sharing. In 28th Annual Symposium on Foundations of Computer Science, pages 427-437, Los Angeles, California, October 12-14, 1987. IEEE Computer Society Press.
【非特許文献2】Torben P. Pedersen. A threshold cryptosystem without a trusted party (extended abstract) (rump session). In Donald W. Davies, editor, Advances in Cryptology - EUROCRYPT’91, volume 547 of Lecture Notes in Computer Science, pages 522-526, Brighton, UK, April 8-11, 1991. Springer, Heidelberg, Germany.
【非特許文献3】Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, and Tal Rabin. Secure distributed key generation for discrete-log based cryptosystems. In Jacques Stern, editor, Advances in Cryptology - EUROCRYPT’99, volume 1592 of Lecture Notes in Computer Science, pages 295-310, Prague, Czech Republic, May 2-6, 1999. Springer, Heidelberg, Germany.
【非特許文献4】Herzberg, Amir; Jarecki, Stanislaw; Hugo, Krawczyk; Yung, Moti (1995). Proactive Secret Sharing Or: How to Cope With Perpetual Leakage. CRYPTO '95: Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology. London, UK: Springer-Verlag. pp. 339-352. ISBN 978-3-540-60221-7.
【非特許文献5】Ran Canetti, Nikolaos Makriyannis, Udi Peled: UC Non-Interactive, Proactive, Threshold ECDSA. IACR Cryptol. ePrint Arch. 2020: 492 (2020).
【非特許文献6】David A. Schultz, Barbara Liskov, Moses D. Liskov: MPSS: Mobile Proactive Secret Sharing. ACM Trans. Inf. Syst. Secur. 13(4): 34:1-34:32 (2010).
【発明の概要】
【課題を解決するための手段】
【0011】
本発明の一態様の１つの目的は、分散ネットワークにおいて検証鍵を生成および配布する新規で有利な方法を提供するところある。
【0012】
本発明の実施形態のさらなる態様のさらなる目的は、最新ではない分散ネットワークのノードの分散ネットワークへの接続または再接続、特に効率的かつ安全な方法での接続または再接続を可能にする方法を提供するところにある。
【0013】
本発明の第１の態様の実施形態では、分散ネットワークにおいて公開鍵署名方式の検証鍵を生成するコンピュータ実装方法が提供される。分散ネットワークは複数のノードを備え、複数のノードは２つ以上のサブネットワークに再分割され、複数のノードの各々は１つ以上の計算ユニットを実行するように構成される。計算ユニットは、決定論的かつ複製される方法で複数のノードのサブネットワークにわたる計算を実行し、それにより一連の実行状態をトラバースするように構成される。本方法は、第１サブネットワークのノードのサブセットが第１分散鍵生成プロトコルを実行するステップを備え、第１分散鍵生成プロトコルは、第１サブネットワーク用の検証鍵と、第１サブネットワークのノードのサブセットに対応する複数の共有秘密鍵と、を共同で生成するように構成される。本方法は、第２サブネットワークについて、第１サブネットワークの複数のノードのサブセットが、第２分散鍵生成プロトコルを実行するステップをさらに備え、第２分散鍵生成プロトコルは、第２サブネットワーク用の検証鍵と、第２サブネットワークのノードのサブセットに対応する複数の共有秘密鍵とを共同で生成するように構成される。さらなるステップでは、第１サブネットワークのノードのサブセットが、第２サブネットワーク用の検証鍵に、第１サブネットワークのノードの共有秘密鍵の許容可能なサブセットについて署名するステップを備え、それにより、第２サブネットワーク用の検証鍵上に共同署名を生成する。
【0014】
そのような具体化された方法では、複数のノードは、サブネットワークと称されるサブセットに細分される。単一のサブネットワーク内のすべてのノードは、同じ一連の実行状態をトラバースする。第１サブネットワークとして示される１つの特定のサブネットワークは、第２サブネットワークとして示される少なくとも１つの他のサブネットワークと同様に、それ自体のサブネットワーク用の検証鍵を生成するように構成される。一実施形態では、第１サブネットワークは、複数の第２サブネットワーク、またはより一般的には分散ネットワークのすべてのサブネットワーク用の検証鍵を生成するように構成される。サブネットワーク用の検証鍵は、経時的に一定のままであるので、静的検証鍵としても示され得る。
【0015】
いくつかの実施形態では、第１サブネットワークは、サブネットワークへのノード割り当ておよび鍵レジストリを含んでおり、グローバルに必要なプロトコル構成の制御や変更を行う管理委員会として機能し得る。いくつかの実施形態では、第１サブネットワーク、より具体的には第１サブネットワークのノードのサブセットは、第１分散鍵生成プロトコルを実行する。それにより、第１サブネットワークは、第１検証鍵として示されるそれ自体の検証鍵と、サブネットに、特に第１サブネットワークのすべてのノードに対応する共有秘密鍵と、を生成する。第２サブネットワークが新たなサブネットワークとして作成されるとき、第１サブネットワークは、より具体的には第１サブネットワークのノードのサブセットは、この新たなサブネットワークについて第２分散鍵生成プロトコルを実行し、それにより、新たな第２サブネットワーク用の第２検証鍵、ならびにサブセット用の、特に第２サブネットワークのすべてのノードに対応する複数の共有秘密鍵を生成する。本方法は、第１サブネットワークのノードのサブセットが、それらの共有秘密鍵を使用して（新たな）第２サブネットワークの公開検証鍵に署名し、それにより、第１サブネットワークが発行した第２ネットワークの検証鍵の証明書として機能する共同署名を生成するステップをさらに備える。このことは、第２サブネットワーク(複数可)の検証鍵の有効性が認められ得ることを保証する。より具体的には、第２サブネットワークの各々の新たな検証鍵は、第１サブネットワークに属する検証鍵にリンクされる。共同署名は、共有秘密鍵の許容可能なサブセットを用いて実行される。許容可能なサブセットは、一般に、アクセス構造として定義され得、分散ネットワークのそれぞれのセキュリティ要件に依存し得る。いくつかの実施形態では、共同署名は、しきい値署名であり得、許容サブセットは、共有秘密鍵の最小個数として定義され得る。このような分散ネットワークは、分散ネットワークのサブネットワークの検証鍵を容易に効率的かつ安全に分散させる。分散ネットワーク内のすべてのノードは、１つ以上の第２サブネットワークのそれぞれの検証鍵を用いて、その第２サブネットワークの情報への署名の有無を検証し得る。管理サブネットワークとして機能する第１サブネットワークも、これに該当する。さらに、そのようなサブネットワーク編成では、第１サブネットワークが新たなサブネットワークの作成を制御しており、新たなサブネットワークの不正な作成を回避し得る。さらなる利点として、第１サブネットワークの公開検証鍵が、単一のルートオブトラストとして機能することで、第２サブネットワークのすべての検証鍵の検証を可能にする。
【0016】
一実施形態では、その方法は、第２サブネットワークが、第２サブネットワークの検証鍵に対応する共有秘密鍵の許容可能なサブセットを有している第２サブネットワークの状態情報パッケージに署名するステップをさらに備え、それにより、第２サブネットワークの状態情報パッケージ上に共同署名を生成する。その状態情報パッケージは、第２サブネットワークの実行状態または実行状態のハッシュを含む。
【0017】
そのような具体化された方法は、効率的かつ安全な方法でのネットワークへの再接続を可能にする状態情報パッケージを、もはや最新でないノードに提供する。状態情報パッケージは、直近の実行状態または直近の実行状態のハッシュを含む。状態情報パッケージ上の共同署名は、それぞれの第２検証鍵を用いて検証可能である。
【0018】
複数のノードの各々は、１つ以上の計算ユニットを実行する。より具体的には、同一のサブネットワーク内のノードの各々は、１つ以上の計算ユニットを含み得る同一の一連の計算ユニットを実行する。計算ユニットは、ネットワーク上で実行され、それ自体のユニットまたは実行状態を有するソフトウェアの一部として定義され得る。ノードの計算ユニットは、決定論的かつ複製される方法でサブネットワークにわたる計算を実行し、それにより一連の実行状態をトラバースする。言い換えれば、サブネットワーク内のノードの計算ユニットは、決定論的に同じ計算を実行して同じ実行状態をトラバースするが、サブネットワーク内の異なるノードは、実行状態のチェーンのなかで異なる位置にあり得る。いくつかの実施形態では、計算ユニットは、決定論的プログラムとして定義され得る。サブネットワークの共有秘密鍵は、サブネットワークのノードのサブセットが共同で保持する。サブセットは、特に、小さいサブネットワークではサブネットワークのすべてのノードを備え得、また、大きいサブネットワークではノードの一部のみを備え得る。サブセットは経時的に変化し得、サブセットのノードの数は経時的に動的に適応され得る。サブネットワークの検証鍵は格納され、管理委員会として機能し得る第１サブネットワークのレジストリを通してシステム内のすべてのノードに提供され得る。検証鍵の各々について、対応する複数の共有秘密鍵が存在する。これらの共有秘密鍵の各々は、サブセットに対応するノードだけに知られており、それぞれの共有鍵は、サブセットのそれぞれのノードが秘密を保持する。共有秘密鍵という用語は、いくつかの実施形態による秘密鍵を包含するものとする。検証鍵は公開鍵として示され得、秘密鍵は共有署名鍵または署名鍵として示され得る。本発明の実施形態による公開鍵署名方式は、例えば、ＲＳＡなどの公開鍵署名方式および暗号化方式の鍵、またはシュノアまたはＤＳＡなどの公開鍵署名方式の鍵を備え得る。状態情報パッケージは、ネットワークの直近の実行状態または直近の実行状態のハッシュを備える。これは、キャッチアップノードが再び最新になったときに、その「古い」状態を、状態情報パッケージが提供する最新の状態と同期させることを可能にする。したがって、そのような状態情報パッケージでは、キャッチアップノードは、その古い状態を、ある種の早送りモードでネットワークの現状に同期させ得る。状態情報パッケージが実行状態のハッシュのみを含む実施形態では、ハッシュの肯定的な検証では、それぞれのノードが最初にハッシュを検証したうえで、完了実行状態のみをダウンロードし得るとの利点を有する。これにより、完全な状態の不必要なダウンロードを回避し得る。ハッシュの肯定的な検証では、(完了)実行状態自体を別々にフェッチすることができる。図示および説明を容易にするために、以下では、実行状態という用語は、必要に応じて実行状態のハッシュを含むか、または示し得る。一実施形態では、本方法は、第１サブネットワークが、第１サブネットワークの検証鍵に対応する秘密鍵シェアの許容可能なサブセットを有している第１サブネットワークの状態情報パッケージに署名するステップをさらに備え、それにより、第１サブネットワークの状態情報パッケージ上に共同署名を生成する。状態情報パッケージは、第１サブネットワークの実行状態または実行状態のハッシュを含む。
【0019】
そのような具体化された方法では、第１サブネットワークの複数のノードに、効率的かつ安全な方法で第１サブネットワークへの再接続を可能にする状態情報パッケージを、もはや最新ではない第１サブネットワークの複数のノードに提供する。さらにそれは、第２サブネットワークの複数のノードが、第１サブネットワークの状態情報パッケージを検証することを可能にし得る。状態情報パッケージ上の共同署名は、それぞれの第１検証鍵を用いて検証可能である。
【0020】
一実施形態では、分散ネットワークは、複数の第２サブネットワークを備える。さらなる実施形態では、第１サブネットワークの状態情報パッケージは、第２サブネットワークのリストと、複数の第２サブネットワークに対応するノード検証鍵と、第２サブネットワークの複数のノードとを備える。このことは、その状態を多かれ少なかれ完全に失ったノードが属するサブネットワークを探し出すことを可能にする。特に、これにより、自身が属する第２サブネットワークが不明であるノードが、これを探し出すことを可能にする。より具体的には、ノードは、まず、最初に第１検証鍵を用いて第１サブネットワークの状態情報パッケージを検証可能である。そして、第１サブネットワークが検証した状態情報パッケージから、そのノードが属する第２サブネットワークを確認可能であり、このサブネットワークから別の状態情報パッケージを請求して、それぞれの第２サブネットワークに再接続する。
【0021】
一実施形態では、第２サブネットワーク用の第２分散鍵生成プロトコルを実行するステップは、第１サブネットワークのノードが、第２検証鍵と、第１サブネットワークのノード用の第２検証鍵に対応する第１共有秘密鍵セットと、を生成するステップを備え、第１サブネットワークの各ノードは、第１共有秘密鍵セットのうちの１つの共有秘密鍵を保持する。さらに、本方法は、秘密再配布プロトコルが、第１共有秘密鍵セットの共有秘密鍵を第２サブネットワークの複数のノードに再配布して、それにより、第２サブネットワークの第２検証鍵に対応する第２共有秘密鍵セットを作成するさらなるステップを備える。
【0022】
したがって、第２分散鍵生成プロトコルは、２段階で実行され得る。言い換えると、２つの段階を包含し得る。最初に、第１サブネットワークのノードのノードまたはサブセットは、第２サブネットワークの検証鍵および対応する複数の共有秘密鍵を生成する。この第１共有秘密鍵セットは、第１サブネットワークのノードのサブセットが保持する。次いで、第１サブネットワークの複数のノードは、これらの共有鍵を第２サブネットワークの複数のノードに再配布する。そのような共有の再配布は、共有の再共有と称され得る。共有の再共有は、特に、第１共有セットの共有を第２サブネットワークの複数のノードと共有することで実行され得る。
【0023】
より具体的には、一実施形態では、再配布は、第１サブネットワークのノードのサブセットが、第２検証鍵に対応する第１共有秘密鍵セットの共有秘密鍵の共有を生成するステップを備え得る。次いで、再配布は、共有秘密鍵の共有を第２サブネットワークの複数のノードに通信するステップ、言い換えると再共有するステップを備え得る。最後に、第２サブネットワークの複数のノードが、共有秘密鍵の共有からの個々の共有秘密鍵を計算するステップが実行され得る。言い換えれば、第２サブネットワークの複数のノードは、第１共有セットの共有のうちの受信された共有から、第２共有秘密鍵セットを再構築する。本発明のいくつかの実施形態では、第１サブネットワークの複数のノードは、第２分散鍵生成プロトコルにおけるディーラーとして機能し、第２サブネットワークの複数のノードは、共有秘密鍵の受信者として機能する。
【0024】
一実施形態では、本方法は、管理委員会として機能する第１サブネットワークの共同署名とともに新たな第２サブネットワーク用に新たに生成した第２検証鍵を公開するステップをさらに含む。これは、第２サブネットワークの検証鍵用の証明書を提供する。そのような証明書は、新たな第２検証鍵の検証を可能にする。新たな検証鍵の公開は、さまざまな方法で実行され得る。それぞれの方法は、特に、それぞれの分散ネットワークの通信および通信チャネルに依存し得る。この点において、公開という用語は、一般に、分散ネットワークへの接続または再接続を希望する複数のノード用に、新たな第２検証鍵を利用可能にする任意の種類の機構を指し示すものとする。
【0025】
一実施形態では、方法は、ノードが、特に、第２サブネットワークのうちの１つへの接続または再接続を希望するキャッチアップノードが、第２サブネットワークの状態情報パッケージを検証するステップをさらに備える。状態情報パッケージの検証は、２つのサブステップを含む。第１サブステップは、第１サブネットワークの検証鍵で証明書を検証することで、状態情報パッケージの共同署名に対応する第２サブネットワークの検証鍵を検証するステップを含む。これにより、対応するノードは、信頼できる第２サブネットワークの検証鍵を取得する。さらなるサブステップにおいて、ノードは、状態情報パッケージ上の共同署名を、状態情報パッケージの共同署名に対応する第２サブネットワークの検証された検証鍵で検証し得る。その結果、ノードは、信頼できる直近の実行状態を含む状態情報パッケージを取得する。一実施形態では、本方法は、分散ネットワークが、ブロックのブロックチェーンを生成するステップを含む。各ブロックは、実行状態のチェーンの実行状態に対応する。
【0026】
したがって、本発明の実施形態の方法は、複数のブロックのブロックチェーンを利用する分散ネットワークに有利に適用され得る。複数のブロックは、特に、ノードの計算ユニットによって処理される複数の入力ブロックであり得る。複数の入力ブロックは、特に、複数のノードの計算ユニットによって実行される実行メッセージを含み得る。ノードの実行状態は、対応するブロックの実行メッセージの実行結果に対応する。一実施形態では、状態情報パッケージは、ブロックチェーンの複数の後続ブロックの、特に複数の後続ブロックの有効性を検証するブロック検証情報を含む。状態情報パッケージは、ある時点における複数の実行状態のチェーンのうちの実行状態の一種のスナップショットを構築し、ｉ番目のブロックごとに、例えば、５００番目のブロックごとにのみ提供され得る。例えば、キャッチアップノードが、ネットワークが既に実行状態６００にある期間にネットワークへの再接続を希望すると、キャッチアップノードは、実行状態５００の状態情報パッケージしか得られない。したがって、実行状態６００を完全にキャッチアップするために、それぞれのノードは、ブロック検証情報の助けを借りて、後続のブロック５０１から６００まで自体を実行して検証する必要がある。ブロック検証情報は、特に、ブロックチェーンの複数のブロックの、特に状態情報パッケージの実行状態に続く複数のブロックの有効性を検証するために必要とされる検証鍵セットを含み得る。
【0027】
一実施形態では、状態情報パッケージは、第２サブネットワークの検証鍵の生成に使用された分散鍵生成プロトコルの鍵生成情報を備える。
【0028】
そのような鍵生成情報は、特に、キャッチアップノードが分散鍵生成プロトコルへの参加再開のために必要とされる情報一式を備え得る。分散鍵生成への参加再開のために必要とされる各情報は、それぞれの分散鍵生成プロトコルに依存する。一実施形態では、鍵生成情報は、分散鍵生成プロトコルの完了書類を含み得る。別の実施形態では、分散鍵生成プロトコルの要約を含み得る。この要約は、キャッチアップノードの共有秘密鍵の抽出を可能とすることで、分散鍵生成プロトコルおよび共同署名の生成に再参加可能とする。鍵生成情報のそのような支給は、複数のノードの効率的な再開をさらに容易にする。より具体的には、それは、再開ノードが、その実行状態の更新が可能となるだけでなく、署名実行に再参加可能とすることも容易にする。
【0029】
一実施形態では、状態情報パッケージは、完了証明書を備える。
【0030】
これにより、キャッチアップノードは、効率的な方法でキャッチアップパッケージの共同署名を検証可能になる。
【0031】
一般論では、状態情報パッケージは、分散ネットワークへの接続または再接続を希望するキャッチアップノードの実行状態を、現期間の実行状態と同期させることを可能にする情報セット一式を、本発明のいくつかの実施形態において備える。それぞれのセットの特定の情報は、それぞれのネットワークの技術的実装に依存し得る。
【0032】
一実施形態では、本方法は、状態情報パッケージを、所定の期間のブロックのうちの１つ、特に、所定の期間の最初のブロックに追加するさらなるステップを備える。
【0033】
これは、キャッチアップノード向けの状態情報パッケージへの容易なアクセスと同様に、この方法の効率的な実装を容易にする。
【0034】
一実施形態では、状態情報パッケージは、マークルツリー（Merkle-tree）構造として、特にマークルツリー構造のハッシュルートとして、実行状態を提供する。これは、メモリ効率の良い格納を可能にする。一実施形態では、本方法は、最新のノードから分散ネットワークへの接続または再接続を希望するキャッチアップノードが、マークルツリー構造のリーフハッシュを請求するステップと、キャッチアップノードが、それ自体の状態のリーフハッシュを最新ノードのリーフハッシュと比較するステップと、キャッチアップノードが、最新ノードから、異なるリーフハッシュを有するリーフに対応する状態情報のみを請求するステップとをさらに備える。
【0035】
このことは、迅速かつ効率的な状態の同期をさらに容易にする。
【0036】
一実施形態では、分散鍵生成プロトコルは、しきい値分散鍵生成プロトコルである。他の実施形態では、分散鍵生成プロトコルは、多重署名プロトコルまたは集約署名プロトコルである。異なる分散鍵生成プロトコルは、有効な鍵の生成に２つ以上のノードが必要であるという点で共通する。
【0037】
そのような実施形態は、ノードのキャッチアップをさらに容易にする。通常、ノードは、既知のノードからの通信のみを受諾する。そのような既知のノードは、特に信頼できるノードを包含する。これらは、特に、例えば同じサブネットワークの複数のノード、および分散ネットワークの通信方式または通信プロトコルにしたがって通信を行うそれぞれのノードに割り当てられるノードであり得る。キャッチアップノードが通信し得るノードセットの拡大は、キャッチアップノードのより迅速なキャッチアップを補助し得る。
【0038】
本発明の他の態様の一実施形態では、分散ネットワークが提供される。
【0039】
本発明の他の態様の一実施形態では、分散ネットワークの複数のノードが提供される。本発明の他の態様の一実施形態では、分散ネットワークを動作させるコンピュータプログラム製品が提供される。コンピュータプログラム製品は複数のプログラム命令が取り込まれたコンピュータ可読記憶媒体を備えており、複数のプログラム命令は、複数のノードのうちの１つ以上で本発明の方法の態様を実行可能である。
【0040】
本発明の他の態様の一実施形態では非一時的コンピュータ可読媒体上に符号化されたソフトウェアアーキテクチャが提供される。ソフトウェアアーキテクチャは、分散ネットワークの１つ以上のノードを動作させるように構成される。符号化されたソフトウェアアーキテクチャは、複数のノードのうちの１つ以上が実行可能なプログラム命令を備えており、複数のノードのうちの１つ以上で本発明の方法の態様のステップを備える方法を実行する。
【0041】
本発明の一態様の特徴および利点は、必要に応じて本発明の他の態様に適用し得る。
【0042】
他の有用な実施形態は、従属請求項および以下の説明に列記されている。
【0043】
以下の詳細な説明から、本発明はよりよく理解され、上記以外の目的が明らかになるであろう。そのような説明は、添付の図面を参照して行われる。
【図面の簡単な説明】
【0044】
【発明を実施するための形態】
【0045】
最初に、本発明の実施形態のいくつかの態様全般および用語を紹介する。
【0046】
いくつかの実施形態では、分散ネットワークは、分散方式で配置された複数のノードを備える。このような分散ネットワークの計算では、ソフトウェアとデータが複数のノードにわたって分散される。複数のノードは計算リソースを構築し、分散ネットワークは、特に分散計算技術を使用し得る。
【0047】
いくつかの実施形態では、分散ネットワークは、ブロックチェーンネットワークとして具体化され得る。「ブロックチェーン」という用語には、電子的なコンピューターベースの分散型台帳のすべての形態を含み得る。いくつかの実施形態では、ブロックチェーンネットワークは、プルーフオブワークブロックチェーンネットワークとして具体化され得る。他の実施形態では、ブロックチェーンネットワークは、プルーフオブステークブロックチェーンネットワークとして具体化され得る。
【0048】
検証鍵とは、広く公開されることを意図した公開鍵署名方式のビット列である。検証鍵は公開鍵とも称されて、例えば、公開鍵署名方式のデジタル署名の検証用として使用され得る。
【0049】
本発明のいくつかの実施形態の公開鍵署名方式は、例えば、ＲＳＡなどの公開鍵署名方式および暗号化方式の鍵、またはシュノア署名やＤＳＡなどの公開鍵署名方式の鍵を備え得る。
【0050】
秘密鍵（ｓｋ）は、公開鍵、特に検証鍵に関連するビット列で、暗号化動作、特にメッセージのデジタル署名を可能にする。
【0051】
分散鍵生成（ＤＫＧ）は、一連のディーラー（秘密情報の保持者）が公開鍵、特に検証鍵を生成し、一連の受信者に対応する秘密鍵の共有秘密鍵の提供を可能とするプロトコルである。
【0052】
秘密再配布プロトコルは、秘密再共有プロトコルとも称され得、秘密鍵の共有秘密鍵を更新するプロトコルである。いくつかの実施形態では、プロトコルは、新規のまたは更新された共有秘密鍵を、その共有秘密鍵の以前の保持者に提供し得る。他の実施形態では、プロトコルは、新規のまたは更新された共有秘密鍵を、新規の、特に、異なる一連の受信者に提供し得る。
【0053】
検証可能な秘密分散（ＶＳＳ）とは、単一のディーラーがランダムな秘密ｓ、一連の受信者に対する秘密共有のしきい値ｓ１、・・・、ｓｎ、および各受信者がその共有ｓｉの正当性の検証に使用可能な証拠を生成可能にするプロトコルである。
【0054】
いくつかの実施形態では、フェルドマンプロトコル（the Feldman protocol [Fel87]）、ジョイントフェルドマンプロトコル（joint Feldman protocol [Ped91]）、およびＧＪＫＲプロトコル（the GJKR protocol [GJKR99]）を分散鍵生成プロトコルとして使用し得る。これらのプロトコルは、例えば、非特許文献１（the Feldman protocol [Fel87]）、非特許文献２（joint Feldman protocol [Ped91]）、および非特許文献３（the GJKR protocol [GJKR99]）に公開されており、それらの対応する開示は、参照して本明細書に組み込まれる。
【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】
本発明の動作を実行するコンピュータ可読プログラム命令は、アセンブラ命令、命令セットアーキテクチャ（ＩＳＡ）命令、機械命令、機械依存命令、マイクロコード、ファームウェア命令、状態設定データ、またはSmalltalk、Ｃ＋＋などのオブジェクト指向プログラミング言語、および「Ｃ」プログラミング言語または同様のプログラミング言語などの従来の手続き型プログラミング言語を含む１つ以上のプログラミング言語の任意の組合せで記述されたソースコードまたはオブジェクトコードのいずれかであり得る。
【0110】
本発明の態様は、本発明の実施形態による方法、ネットワーク、装置（システム）、およびコンピュータプログラム製品のフローチャートおよび／またはブロック図を参照して本明細書で説明される。
【0111】
本発明の実施形態によるコンピュータ可読プログラム命令は、汎用コンピュータ、専用コンピュータ、または他のプログラマブルデータ処理装置のプロセッサに提供されて、機械を生成し得る。これにより、コンピュータまたは他のプログラマブルデータ処理装置のプロセッサで実行される命令が、フローチャートおよび／またはブロック図のブロックまたはブロックに指定された機能／動作を実装するための手段が生成される。これらのコンピュータ可読プログラム命令はまた、コンピュータ、プログラマブルデータ処理装置、および／または他のデバイスに特定の方法で機能するように指示可能であるコンピュータ可読記憶媒体に格納され得る。その格納された命令を有するコンピュータ可読記憶媒体は、フローチャートおよび／またはブロック図または複数のブロックにおいて指定された機能／動作の態様を実装する命令を含む製品を備える。
【0112】
コンピュータ可読プログラム命令はまた、コンピュータ、他のプログラマブルデータ処理装置、または他のデバイス上にロードすることで、コンピュータ、他のプログラマブルデータ処理装置、または他のデバイス上で実行される一連の動作ステップをコンピュータ、他のプログラマブル装置、または他のデバイス上で実行されるコンピュータ実装プロセスを生成し得る。これにより、コンピュータ、他のプログラマブルデータ処理装置、または他のデバイス上で実行される命令は、フローチャートおよび／またはブロック図または複数のブロックにおいて指定される機能／動作を実装する。
【0113】
図示したフローチャートおよびブロック図に、本発明のさまざまな実施形態による、ネットワーク、システム、方法、およびコンピュータプログラム製品の可能な実装形態のアーキテクチャ、機能、および動作を示す。この点に関して、フローチャートまたはブロック図の各ブロックは、特定の論理機能を実装する１つ以上の実行可能命令を備える、モジュール、セグメント、または命令の一部を表し得る。いくつかの代替的な実装形態では、ブロックに記載された機能は、図に記載された順序から外れて発生し得る。例えば、連続して示される２つのブロックは、実際には、実質的に同時に実行され得る。また、これらのブロックは、関与する機能に応じて逆の順序でも実行され得る。
【0114】
本明細書には、本発明の現状で好ましい実施形態が示され記載されているが、本発明は、それらに限定されるものではなく、特許請求の範囲内で、他の方法でさまざまに具体化され実施され得ることが明確に理解されるべきである。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7a】
【図7b】
【図8a】
【図8b】
【図8c】
【図9】
【図10】
【図11】
【図12】
【図13a】
【図13b】
【図14】
【図15】
【国際調査報告】