(57)【要約】【課題】量子情報｜φ＞Ｋ　がｔ個のセンタの共同で秘密鍵Ｋに相当するものであることを検証する。【解決手段】ＫをＳｈａｍｉｒの秘密分散方式により分散情報Ｓ１　〜ＳＱ　に分散し、Ｓ１　〜ＳＱ　をセンタＰ１　〜ＰＱ　にそれぞれ秘密に配布保持し、Ｑ個のセンタ中の任意のｔ個のセンタＰ１　〜Ｐｔ　により、検証対象量子情報｜φ＞を以下に順次処理する。Ｐｑ　（ｑ＝１，…，ｔ）はＳｑ　を、ｔ個の分散情報からＫを生成するための合成用情報Ｙｑ　を生成し、Ｐｑ−１　よりの｜φ［ｑ−１］＞をユニタリ変換し、｜φ［ｑ］＞として次のＰｑ＋１　へ送信し、Ｐｔ　　よりの｜φ［ｔ］＞を基底Ｚ，…，Ｚで観測し、その結果のビット例が予め決めた条件を満すか検証する。【選択図】　　　図３
2004032521.tif 000002
【特許請求の範囲】
【請求項１】
一つの秘密情報Ｋが分散された複数の分散情報Ｓ１　，…，ＳＱ　を、複数のセンタ装置Ｐ１　，…，ＰＱ　にそれぞれ一つずつ秘密に保持させ、
センタ装置Ｐ１　，…，ＰＱ　から任意に選んだｔ個以上のセンタ装置により、その一つでそれが保持する分散情報に基づき被検証量子情報｜φ＞をユニタリ変換し、その変換された量子情報を他の一つの装置へ送信し、その装置でその保持する分散情報に基づき受信した量子情報をユニタリ変換して、更に他の一つの装置へ送信することを順次繰返し、
最後にユニタリ変換された量子情報を観測し、その観測結果から、被検証量子情報｜φ＞が、秘密情報Ｋを量子情報に変換したものと同等のものか否かを検証することを特徴とする量子情報分散検証方法。
【請求項２】
各センタ装置で上記分散情報Ｓｑ　より、上記分散の方法と対応した秘密情報Ｋの分散生成方法における合成用情報
Ｙｑ　＝（ｙ（ｑ，１，１），…，ｙ（ｑ，１，ｎ＋１），ｙ（ｑ，２，１），…，ｙ（ｑ，２，ｎ＋１），…，ｙ（ｑ，ｍ，１），…，ｙ（ｑ，ｍ，ｎ＋１））
を生成し、
受信量子情報に対し、
【数１】
2004032521.tif 000004
Ｖ［ｑ］＝Ｖ１［ｑ］，…，Ｖｍ［ｑ］
Ｖｉ［ｑ］＝Ｖ（（π／４）ｙ（ｑ，ｉ，１）），…，Ｖ（（π／４）ｙ（ｑ，ｉ，ｎ＋１）），ｉ＝１，…，ｍ
の変換により上記ユニタリ変換を行うことを特徴とする請求項１記載の量子情報分散検出方法。
【請求項３】
上記秘密情報Ｋを量子情報｜φ＞Ｋ　に直接変換したものは、情報ビット列Ａを分割し、その分割された各部分ビット列と関連する関連ビットをそれぞれ生成し、情報ビット列Ａと関連ビットを、秘密情報Ｋの対応ビットに応じた基底により量子状態に符号化したものであり、
上記観測結果のビット列を上記分割と同様に分割し、この各分割された各部分ビット列と、対応する関連ビットの観測結果とが上記関連と同一の関連をもつか否かにより上記検証を行うことを特徴とする請求項１又は２記載の量子情報分散検証方法。
【請求項４】
１つの秘密情報Ｋが分散処理された複数の分散情報の１つをそれぞれ保持する複数のセンタ装置中の所定数のセンタ装置が順次処理して、被検証量子情報が、秘密情報Ｋの量子情報と同等のものか否かを検証するシステムにおける１つのセンタ装置であって、
上記分散情報の１つを秘密に保持する記憶部と、
上記記憶部に保持されている分散情報から合成用情報Ｙｑを生成する演算部と、
前段のセンタ装置Ｐｑ−１から受信した量子情報｜φ［ｑ−１］＞に対して上記合成用情報Ｙｑを用いてユニタリ変換して量子情報｜φ［ｑ］＞を生成するユニタリ変換部と、
前段センタ装置Ｐｑ−１から量子情報｜φ［ｑ−１］＞を受信し、量子情報｜φ［ｑ］＞を次段センタ装置Ｐｑ＋１へ送信する通信部とを備えることを特徴とする量子情報分散検証用センタ装置。
【請求項５】
上記合成用情報Ｙｑは
（ｙ（ｑ，１，１），…，ｙ（ｑ，１，ｎ），ｙ（ｑ，２，１），…，ｙ（ｑ，２，ｎ），…，ｙ（ｑ，ｎ，１），…，ｙ（ｑ，ｍ，ｎ））
であり、
上記ユニタリ変換部は
【数２】
2004032521.tif 000005
Ｖｉ［ｑ］＝Ｖ（（π／４）ｙ（ｑ，ｉ，１）），…，Ｖ（（π／４）ｙ（ｑ，ｉ，ｍ））（ｉ＝１，…，ｍ）
の変換を｜φ［ｑ−１］＞に対し行うものであることを特徴とする請求項４記載の量子情報分散生成用センタ装置。
【請求項６】
ユニタリ変換部よりの変換された量子化情報を基底Ｚ，…，Ｚで観測する観測部と、
上記観測された情報ビット列を所定数ごとに取り出し、これら取り出したビットと次のビットとの関連性が予め決められたものであるか否かを検証して被検証量子情報の正当性を検証する検証部とを備えることを特徴とする請求項４又は５記載の量子情報分散検証用センタ装置。
【請求項７】
請求項４〜６の何れかに記載した量子情報分散検証用センタ装置としてコンピュータを機能させるための量子情報分散検証用プログラム。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
この発明は、量子暗号、量子現金などの方式における秘密鍵などの秘密情報Ｋと対応する量子情報を、複数のセンタ装置が共同して処理することにより、その正当性を検証する方法、およびその装置とそのプログラムに関する。
【０００２】
【従来の技術】
従来より、暗号処理などを行なう機能において、秘密鍵Ｋを複数の情報Ｓ１，…，ＳＱ　に分散し、各分散情報Ｓｑを各センタ装置Ｐｑに保管しておいて、これらＱ個のセンタ装置の中の任意のｋ個のセンタ装置が協力することにより、秘密鍵Ｋを用いた処理と同等の処理を行なう方法が、「分散暗号方式」もしくは「しきい値暗号方式」として提案されている（Ｙ．Ｄｅｓｍｅｄｔ　ａｎｄ　Ｙ　Ｆｒａｎｋｅｌ，“Ｔｈｒｅｓｈｏｌｄ　Ｃｒｙｐｔｏｓｙｓｔｅｍｓ”，Ｐｒｏｃ．ｏｆ　Ｃｒｙｐｔｏ’８９，ｐｐ．３０７−３１５，ＬＮＣＳ，Ｓｐｒｉｎｇｅｒ−Ｖｅｒｌａｇ（１９９０））。
【０００３】
【発明が解決しようとする課題】
量子暗号や量子現金などの方式においては、秘密情報に基づいた量子情報を生成し、また量子情報の正当性検証などを行なうが、そのような方式に適用できる「分散暗号方式」や「しきい値暗号方式」は、提案されていない。秘密情報を分散した形での量子情報検証方式が実現できれば、量子暗号や量子現金などの方式において秘密情報の盗難や漏洩に対する安全度を高めることができる。
【０００４】
【課題を解決するための手段】
この発明によれば、一つの秘密情報Ｋが分散された複数の分散情報Ｓ１　，…，ＳＱ　を、複数のセンタ装置Ｐ１　，…，ＰＱ　にそれぞれ一つずつ秘密に保持させ、センタ装置Ｐ１　，…，ＰＱ　から任意に選んだｔ個以上のセンタ装置により、その一つでそれが保持する分散情報に基づき被検証量子情報｜φ＞をユニタリ変換し、その変換された量子情報を他の一つの装置へ送信し、その装置でその保持する分散情報に基づき受信した量子情報をユニタリ変換して、更に他の一つの装置へ送信することを順次繰返し、
最後にユニタリ変換された量子情報を観測し、その観測結果から、被検証量子情報｜φ＞が、秘密情報Ｋを量子情報に変換したものと同等のものか否かを検証する。
【０００５】
【発明の実施の形態】
基本（量子情報検証）方式
まず、分散方式の基本となる検証方式の説明を行なう。
ここでは、（一つの）センタ装置Ｐ０　が以下の秘密鍵などの秘密情報Ｋを保持している。
Ｋ＝（ｂ（１，１），…，ｂ（１，ｎ），ｂ（１，ｎ＋１），ｂ（２，１），…，ｂ（２，ｎ），ｂ（２，ｎ＋１），…，ｂ（ｍ，１），…，ｂ（ｍ，ｎ），ｂ（ｍ，ｎ＋１））
ここで、ｂ（ｉ，ｊ）∈｛０，１｝、ｉ＝１，…，ｍ、ｊ＝１，…，ｎ＋１
この秘密情報Ｋの量子情報｜φ＞Ｋ　は下記で与えられる。
｜φ＞Ｋ　＝｜φ１　＞，｜φ２　＞，…，｜φｍ　＞
で構成される。ここで、
｜φｉ　＞＝｜Ψａ（ｉ，１）ｂ（ｉ，１）＞，…，｜Ψａ（ｉ，ｎ）ｂ（ｉ，ｎ）＞，｜Ψｃｉｂ（ｉ，ｎ＋１）＞，ｉ＝１，…，ｍ
であり、各量子ビット｜Ψａ（ｉ，ｊ）ｂ（ｉ，ｊ）＞（または｜Ψｃｉｂ（ｉ，ｊ）＞）は以下の４状態のうちのひとつであり、添え字の値に対応して下記式（１）のように選ばれる。
｜Ψ００＞＝｜０＞
｜Ψ１０＞＝｜１＞
｜Ψ０１＞＝（｜０＞＋｜１＞）／√２　　　　　（１）
｜Ψ１１＞＝（｜０＞−｜１＞）／√２
つまり値ｂ（ｉ，ｊ）は基底を定め、ｂ（ｉ，ｊ）が０ならばａ（ｉ，ｊ）又はｃｉは基底Ｚ（｜０＞，｜１＞）で符号化され、ｂ（ｉ，ｊ）が１ならばａ（ｉ，ｊ）又はｃｉは基底Ｘ（（｜０＞＋｜１＞）／√２），（｜０＞−｜１＞）／√２）で符号化される。例えば光子の偏光方向を利用する場合は｜０＞は０°、｜１＞は９０°、（｜０＞＋｜１＞）／√２は４５°、（｜０＞−｜１＞）／√２は１３５°であり、ｂｉ＝０で、ａｉ＝０なら０°、ａｉ＝１なら９０°に符号化され、ｂｉ＝１でａｉ＝０なら４５°に、ａｉ＝１なら１３５°に符号化される。
【０００６】
センタ装置Ｐ０　は、量子情報｜φ＞が与えられた時に、Ｋに対応する基底で量子情報｜φ＞を観測し、
ｃｉ＝ａ（ｉ，１）（＋）…（＋）ａ（ｉ，ｎ）　　　　　　（２）
ｉ＝１，…，ｍ、Ａ（＋）ＢはＡとＢの排他的論理和を表わし、
であるかを検証する。全てのｉ＝１，…，ｍにおいて検証に合格すればこの量子情報｜φ＞を正当なもの、つまり、Ｋの量子情報と同等のものとみなし、この検証式中のひとつでも不合格ならば｜φ＞を不正なものとみなす。
つまり情報列Ａ＝（ａ（１，１），…，ａ（１，ｎ），ａ（２，１），…，ａ（２，ｎ），…，ａ（ｍ，１），…，ａ（ｍ，ｎ））
をｎビットごとに分割し、この分割された部分ビット列ａ（ｉ，１），…，ａ（ｉ，ｎ）（ｉ＝１，…，ｍ）ごとに関連情報ビットｃｉを挿入した情報列の各ビットａ（ｉ，ｊ）を、Ｋのビット列の対応するｂ（ｉ，ｊ）を基底として、またｃｉをｂ（ｉ，ｎ＋１）を基底として量子状態に符号化して量子情報｜φ＞Ｋ　が作られたものであり、関連情報ビットｃｉは式（２）により生成されたものである。従って式（２）が成立するかにより検証ができる。
【０００７】
分散（量子情報検証）方式
分散
秘密情報Ｋを保持するセンタ装置Ｐ０は、まずＳｈａｍｉｒの秘密分散法（例えば岡本・山本著「現代暗号」（産業図書発行）２０９〜２１８頁参照）により秘密情報Ｋに関するＱ個の分散情報を生成する。ここでは、Ｎ＝ｍ（ｎ＋１）とし、有限体ＧＦ（２Ｎ）（要素数が２Ｎ個）上の演算により分散情報を生成する。ｆ（ｘ）をＧＦ（２Ｎ）上の秘密の（ｔ−１）次多項式とし、ここでｔ＜Ｑであり、ｆ（ｘ）の定数項ｆ（０）＝Ｋとする。
【０００８】
ｘｑ生成部１０４からＧＦ（２Ｎ）に属するｘｑ（ｑ＝１，…，Ｑ）を生成し、関数演算部１０５でｆ（ｘ）に各ｘｑを代入した関数値Ｓｑ＝ｆ（ｘｑ）を演算して分散情報Ｓｑとする。なお、
Ｋ＝（ｂ（１，１），…，ｂ（１，ｎ），ｂ（１，ｎ＋１），ｂ（２，１），…，ｂ（２，ｎ），ｂ（２，ｎ＋１），…，ｂ（ｍ，１），…，ｂ（ｍ，ｎ），ｂ（ｍ，ｎ＋１））
は、ＧＦ（２Ｎ）のバイナリ（２進）表現とする。ｘｑ（ｑ＝１，…，Ｑ）は、ＧＦ（２Ｎ）でのＱ個の異なる値として公開しても良い。また、Ｓｑ＝（ｓ（ｑ，１），…，ｓ（ｑ，Ｎ）），（ｓ（ｑ，ｊ）∈｛０，１｝）をＧＦ（２Ｎ）のバイナリ表現とする。
【０００９】
センタ装置Ｐ０は、図に示すように各センタ装置Ｐｑ（ｑ＝１，…，Ｑ）に分散情報Ｓｑを秘密に配送する。
これらの分散情報Ｓ１　，…，ＳＱ　と秘密情報Ｋとは以下の関係にあることが知られている。
Ｑ個のセンタ装置Ｐ１　，…，ＰＱ　中の任意のｔ個のセンタ装置が協力して、センタ装置Ｐ０　が保持する秘密情報Ｋを生成することができる。ここでは表記を簡単にするために、Ｐ１　，…，Ｐｔ　を共同作業を行なうｔ個のセンタ装置とする。
【００１０】
まず、ｔ個のセンタ装置が確定すると、各センタ装置Ｐｑ　は、Ｌａｇｒａｎｇｅの補間公式を用いて、ＧＦ（２Ｎ）上の以下の値Ｙｑ　（合成用情報）を計算する。
Ｙｑ　＝Ｓｑ　Πｘｉ　／（ｘｉ　−ｘｑ　）　　　　　　　　…（３）
Πはｉ＝ｑを除く、１＜ｉ＜ｔを満す各ｉを与えた時の積であり、
（ｙ（ｑ，１，１），ｙ（ｑ，１，２），…，ｙ（ｑ，１，ｎ＋１），ｙ（ｑ，２，１），ｙ（ｑ，２，２），…，ｙ（ｑ，２，ｎ＋１），…，ｙ（ｑ，ｍ，１），ｙ（ｑ，ｍ，２），…，ｙ（ｑ，ｍ，ｎ＋１））
をＹｑ　のＧＦ（２Ｎ）のバイナリ表現とし、ｙ（ｑ，ｉ，ｊ）∈｛０，１｝，ｑ＝１，…，ｔ，ｉ＝１，…，ｍ，ｊ＝１，…，ｎ＋１である。このとき、ＧＦ（２Ｎ）上で以下の関係を満足する。
Ｋ＝Σｑ＝１ｔＹｑ　
【００１１】
量子情報分散検証
このような分散情報Ｓ１　，…，ＳＱ　がそれぞれ秘密に保持されているセンタ装置Ｐ１　，…，ＰＱ　から任意にｔ個を選んで、これらｔ個のセンタ装置の共同処理により、与えられた量子情報｜φ＞が、秘密情報Ｋの量子情報｜φ＞Ｋ　と同等のものであることを検証とする。いま選択したｔ個のセンタ装置をＰ１　，…，Ｐｔ　とし、また以下では説明を簡単にするために図２に示すようにセンタ装置Ｐ１　からセンタ装置Ｐｔ　の順序でのｔ個のセンタ装置による共同作業を示すが、この順序は任意でよい。｜φ［０］＞＝｜φ＞とし、センタ装置Ｐ０　を｜φ＞の送信装置とする。
また、ユニタリ変換Ｖを以下のように定義する。
【数３】
2004032521.tif 000003
【００１２】
各センタ装置Ｐｑ（ｑ＝１，…，ｔ）には図３に示すように記憶部１１に分散情報Ｓｑ　が秘密に記憶されている。この分散情報Ｓｑ　と秘密分散時に用いられた変数値ｘｑ　（ｑ＝１，…，Ｑ）とが合成用情報生成部１２に入力されて、式（３）が演算され、合成用情報Ｙｑ　が生成される。
Ｙｑ　＝（ｙ（ｑ，１，１），…，ｙ（ｑ，１，ｎ＋１），ｙ（ｑ，２，１），…，ｙ（ｑ，２，ｎ＋１），…，ｙ（ｑ，ｍ，１），…，ｙ（ｑ，ｍ，ｎ＋１））
【００１３】
受信部１３に前段のセンタ装置Ｐｑ−１　から量子情報｜φ［ｑ−１］＞が受信され、その量子情報｜φ［ｑ−１］＞は合成用情報Ｙｑ　により、ユニタリ変換部１４で以下のユニタリ変換Ｖ［ｑ］により量子情報｜φ［ｑ］＞に変換される。
Ｖ［ｑ］＝Ｖ１［ｑ］，Ｖ２［ｑ］，…，Ｖｍ［ｑ］
ここで、
Ｖｉ［ｑ］＝Ｖ（（π／４）ｙ（ｑ，ｉ，１）），…，Ｖ（（π／４）ｙ（ｑ，ｉ，ｎ＋１））
つまり各（π／４）ｙ（ｑ，ｉ，ｊ）を式（３）に代入して、｜φ［ｑ−１］＞の（ｑ，ｉ，ｊ）番目の量子ビット｜Ψ（ｑ，ｉ，ｊ）＞が変換される。ｙ（ｑ，ｉ，ｊ）が０であれば｜Ψ（ｑ，ｉ，ｊ）＞はそのままであり、ｙ（ｑ，ｉ，ｊ）が１であれば、｜Ψ（ｑ，ｉ，ｊ）＞は方向を加味して４５°変換される。
このユニタリ変換の出力量子情報｜φ［ｑ］＞は送信部１５により次段のセンタ装置Ｐｑ＋１　へ送信される。
【００１４】
このようにして、センタ装置Ｐ１　，…，Ｐｔ　で順次処理され、最後のセンタ装置Ｐｔ　ではその処理結果の量子情報｜φ［ｔ］＞は、図３中に破線で示すように観測部２１で基底（Ｚ，Ｚ，…，Ｚ）を用いて観測される。つまり｜φ［ｔ］＞の各量子ビットが符号化される際の基底を定める値ｂ（ｉ，ｊ）が全て０であったとしてその符号対象ａ（ｉ，ｊ）が復号されることになる。（ｎ＋１）の整数倍の量子ビットの復号結果（観測結果）をｃ１，…，ｃｍで表わすと、観測結果は
（ａ（１，１），…，ａ（１，ｎ），ｃ１，ａ（２，１），…，ａ（２，ｎ），ｃ２，…，ａ（ｍ，１），…，ａ（ｍ，ｎ），ｃｍ）
と表わせる。
【００１５】
この観測結果に対し、検証部２２では次式が成立するかを検証する。
ｃｉ＝ａ（ｉ，１）（＋）…（＋）ａ（ｉ，ｎ），ｉ＝１，…，ｍ
全てのｉ＝１，…，ｍにおいて検証に合格すれば、この量子情報｜φ＞を正当なものとみなし、この中の一つでも不合格ならば｜φ＞を不正なものとみなす。つまり、センタ装置Ｐ１　，…，Ｐｔ　で各受信した量子情報｜φ［ｑ］＞（ｑ＝１，…，ｔ）に対しユニタリ変換Ｖを行うことは、等価的にΣｑ＝ｐｔＹｑ　を行ったこと、逆に検証対象の｜φ＞に対し、順次Ｙｑ（ｑ＝１，…，ｔ）を減算したとも云える。秘密情報Ｋは先に述べたようにＫ＝Σｑ＝１ｔＹｑで生成できるものであるから、｜φ＞は量子状態でΣｑ＝１ｔＹｑを行って生成されたものとみなすと、｜φ＞に対しＹｑ（ｑ＝１，…，ｔ−１）を量子状態で順次減算したものは、量子状態でΣｑ＝１ｔＹｑを生成する場合の１つのＹｑ、例えばＹ１（Ｓ１と対応）を量子状態にしたものとなり、前記手順ではこれの量子状態に対し、更に１回ユニタリ変換をしているから、｜φ［０］＞になり、これはΣｑ＝１ｔＹｑの手法によりＫと同等の量子情報｜φ＞Ｋ　を生成する場合のＹ１（つまりＳ１）と対応する電子情報の１つ前の量子情報｜φ［０］＞であり、これはａ（ｉ，ｊ）をｂ（ｉ，ｊ）＝０、つまり基底Ｚで量子状態に符号化したものと相当することになる。
【００１６】
このような関係にあるから、また秘密情報Ｋを直接変換した量子情報｜φ＞Ｋ　に対する検証は式（２）が全てのｉ＝１，…，ｍについて成立すれば、正しい量子情報とみなせるから、前記｜φ［ｔ］＞を基底（Ｚ，Ｚ，…，Ｚ）で観測した結果に対し、検証部２２での検証がｉ＝１，…，ｍについて全て合格すれば、検証対象の｜φ＞＝｜φ［０］＞は秘密情報Ｋの量子情報｜φ＞Ｋ　と同等のものとみなせる。
【００１７】
各センタ装置Ｐｑで行う処理手順は図４に示すようになる。分散情報Ｓ１　を配布を受けてこれを秘密に保持し（Ｓ１）、前段のセンタ装置Ｐｑ−１　から量子情報｜φ［ｑ−１］＞を受信すると（Ｓ２）、秘密に保持している分散情報Ｓｑ　について式（３）により合成用情報Ｙｑ　を生成し（Ｓ３）、この合成用情報Ｙｑ　により｜φ［ｑ−１］＞をユニタリ変換し（Ｓ４）、その変換結果の量子情報｜φ［ｑ］＞を次段のセンタ装置Ｐｑ＋１　へ送信する（Ｓ５）。
終段のセンタ装置Ｐｔ　又は検証用装置（図示せず）は図４中に破線で示すように最終的に得られた量子情報｜φ［ｔ］＞を基底Ｚ，…，Ｚで観測し（Ｓ６）、その観測結果に対し式（２）の検証式が成立するかを調べ、全てのｉ＝１，…，ｍについて合格すれば正当なものとし、一つでも不合格であれば、正当なものでないと判断し、その結果を検証依頼者の装置へ送信する（Ｓ７）。
【００１８】
なお検証の際にｉ＝１，…，ｍについて全て合格することを条件としたが、９０％以上式（２）が成立すれば、合格としてもよい。このようにすると誤検出、誤動作が多少許され、それだけ高速動作させ、あるいは安価に構成することも可能となる。
各量子ビットが取り得る量子状態は式（１）に限らず、
｜Ψ００＞＝｜Ψｘ　＞
｜Ψ１０＞＝｜Ψｘ′＞
｜Ψ０１＞＝｜Ψｙ　＞
｜Ψ１１＞＝｜Ψｙ′　＞
の４状態でもよい。｜Ψｘ　＞と｜Ψｘ　′＞は互いに直交しており、｜Ψｙ　＞と｜Ψｙ　′＞も互いに直交しているが、｜Ψｘ　＞と｜Ψｙ　＞は非直交である。ｂ（ｉ，ｊ）が０なら基底Ｘ（｜Ψｘ　＞，｜Ψｘ　′＞）で、１なら基底Ｙ（｜Ψｙ　＞，｜Ψｙ′＞）でａ（ｉ，ｊ）を符号化する。また関連情報ｃｉとしてはａ（ｉ，１），…，ａ（ｉ，ｎ）と関連性をもたせるものであればどのようなものでもよい。
【００１９】
上述したセンタ装置はコンピュータによりプログラムを実行させて機能させることもできる。この場合は図４に示した処理手順をコンピュータに実行させるためのプログラムを、コンピュータにＣＤ−ＲＯＭ、可撓性磁気ディスクなどの記録媒体からインストールし、あるいは通信回線を通じてダウンロードして、そのプログラムをコンピュータに実行させればよい。
【００２０】
【発明の効果】
分散秘密情報を持つＱ個のセンタ装置の中の任意のｔ個のセンタ装置が共同作業を行なうことにより、秘密情報Ｋを持つ単独のセンタ装置が量子情報の正当性検証をすることと同等の検証結果を得ることが可能である。これら分散情報の中のいかなるｔ−１個の情報を得てもＫに関する情報は一切得られない。また、これらセンタ装置による共同作業において各センタ装置が保持する秘密情報は外部に漏れることはない。
【図面の簡単な説明】
【図１】センタ装置Ｐ０　が秘密情報を分散して秘密に配布するシステム構成例を示す図。
【図２】ｔ個のセンタ装置が協力して量子情報｜φ＞を分散検証するシステム構成例を示す図。
【図３】分散検証を符号センタ装置の１つの機能構成例を示す図。
【図４】図３に示したセンタ装置の処理手順の例を示す流れ図。
【図１】
2004032521.tif 000006
【図２】
2004032521.tif 000007
【図３】
2004032521.tif 000008
【図４】
2004032521.tif 000009