JP7452669B2

JP7452669B2 - 秘密計算システム、秘密計算サーバ装置、秘密計算方法および秘密計算プログラム

Info

Publication number: JP7452669B2
Application number: JP2022544975A
Authority: JP
Inventors: 光土田
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 2020-08-26
Filing date: 2020-08-26
Publication date: 2024-03-19
Anticipated expiration: 2040-08-26
Also published as: JPWO2022044173A1; US20230333813A1; WO2022044173A1

Description

本発明は、秘密計算システム、秘密計算サーバ装置、秘密計算方法および秘密計算プログラムに関するものである。

近年、秘密計算と呼ばれる技術の研究開発が盛んに行われている。秘密計算は、第三者に対して計算過程とその結果を秘密にしつつ所定の処理を実行する技術の一つである。秘密計算における代表的な技術の一つとして、マルチパーティ計算技術が挙げられる。マルチパーティ計算技術では、秘密にするデータを複数のサーバ（秘密計算サーバ装置）に分散配置し、秘密にしたまま当該データの任意の演算を実行する。なお、各秘密計算サーバ装置に分散配置したデータをシェアと呼ぶ。以降、特に断りがない限り、本書で「秘密計算」という語を用いた場合は、マルチパーティ計算技術を意味するものとする。

秘密計算の処理の一つとして、指数演算があり、秘密計算における指数演算には、大きく分けて二つがある。一つは、指数の値と底の値の両方を秘密にする方法であり、もう一つは、指数の値は秘密であるが底の値は秘密でない方法である。なお、組合せとしては、底の値は秘密であるが指数の値は秘密でない方法も存在し得るが、乗算の秘密計算から自明に導かれるので秘密計算における指数演算としての問題は生じない。

底の値は秘密でない指数演算の秘密計算であっても、実用上のメリットがある。例えば、底の値が素数である場合や２の冪である場合など、底の値を公開した上で秘密計算を行うことがある。例えば、特許文献１には、指数を秘密にした秘密計算の指数演算の例が記載されている。

国際公開第２０２０／１５２８３１号

Megha Byali, et al. FLASH: Fast and Robust Framework for Privacy-preserving Machine Learning, Proceedings on Privacy Enhancing Technologies 2020 Harsh Chaudhari, et al. Trident: Efficient 4PC Framework for Privacy Preserving Machine Learning, The Network and Distributed System Security Symposium (NDSS) 2020

なお、上記先行技術文献の各開示を、本書に引用をもって繰り込むものとする。以下の分析は、本発明者らによってなされたものである。

ところで、秘密計算には、安全性の程度に種別があり、その代表的な安全性としてセミオネスト安全とマリシャス安全がある。プロトコルに従う範囲で可能な限り入力や計算過程の値に関する情報を得ようとする攻撃をセミオネスト攻撃と呼び、このセミオネスト攻撃に対する安全性が確保されていることをセミオネスト安全という。また、プロトコルを逸脱して情報を得ようとするだけでなく，計算結果を改ざんしようとする攻撃をマリシャス攻撃と呼び、このマリシャス攻撃に対する安全性が確保されていることをマリシャス安全という。

ここで、特許文献１に記載の指数演算の秘密計算は、基本的にセミオネスト安全であり、マリシャス攻撃がなされたときに確率的にそのことを検知することができたとしても、決定的な不正検知をすることができない。その理由は、特許文献１に記載の指数演算の秘密計算が、秘密にするデータを三つの秘密計算サーバ装置に分散配置する方式だからである。三つの秘密計算サーバ装置のうち一つが計算結果を改ざんした場合、残り二つの秘密計算サーバ装置が秘密性を維持した状態で計算結果の改ざんを検証することができない。決定的なマリシャス安全性を確保するためには少なくとも四つ以上の秘密計算サーバ装置を用いた秘密計算を必要とする（例えば、非特許文献１および２参照）。

本発明の目的は、上述した課題を鑑み、指数演算の秘密計算において決定的な不正検知をすることに寄与する秘密計算システム、秘密計算サーバ装置、秘密計算方法および秘密計算プログラムを提供する。

本発明の第１の視点では、相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置を備え、秘密ではない底と秘密である指数との指数演算の秘密計算をする秘密計算システムであって、前記秘密計算サーバ装置のそれぞれが、前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散部と、前記指数が前記指数のシェアの加算に分解されており、前記再分散部にて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算部と、を有する秘密計算システムが提供される。

本発明の第２の視点では、相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置の一つであって、前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散部と、前記指数が前記指数のシェアの加算に分解されており、前記再分散部にて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算部と、を有する秘密計算サーバ装置が提供される。

本発明の第３の視点では、相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置を用いて、秘密ではない底と秘密である指数との指数演算の秘密計算をする秘密計算方法であって、前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散ステップと、前記指数が前記指数のシェアの加算に分解されており、前記再分散ステップにて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算ステップと、を有する秘密計算方法が提供される。

本発明の第４の視点では、相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置に、秘密ではない底と秘密である指数との指数演算の秘密計算を実行させる秘密計算プログラムであって、前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散ステップと、前記指数が前記指数のシェアの加算に分解されており、前記再分散ステップにて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算ステップと、を有する秘密計算プログラムが提供される。なお、このプログラムは、コンピュータが読み取り可能な記憶媒体に記録することができる。記憶媒体は、半導体メモリ、ハードディスク、磁気記録媒体、光記録媒体等の非トランジェント（non-transient）なものとすることができる。本発明は、コンピュータプログラム製品として具現することも可能である。

本発明の各視点によれば、指数演算の秘密計算において決定的な不正検知をすることに寄与する秘密計算システム、秘密計算サーバ装置、秘密計算方法および秘密計算プログラムを提供することができる。

図１は、第１の実施形態における秘密計算システムの機能構成例を示すブロック図である。図２は、第１の実施形態における秘密計算サーバ装置の機能構成例を示すブロック図である。図３は、第２の実施形態における秘密計算システムの機能構成例を示すブロック図である。図４は、第２の実施形態における秘密計算サーバ装置の機能構成例を示すブロック図である。図５は、秘密計算方法の手順の概略を示すフローチャートである。図６は、秘密計算サーバ装置のハードウェア構成例を示す図である。

以下、図面を参照しながら、本発明の実施形態について説明する。ただし、以下に説明する実施形態により本発明が限定されるものではない。また、各図面において、同一または対応する要素には適宜同一の符号を付している。さらに、図面は模式的なものであり、各要素の寸法の関係、各要素の比率などは、現実のものとは異なる場合があることに留意する必要がある。図面の相互間においても、互いの寸法の関係や比率が異なる部分が含まれている場合がある。

［第１の実施形態］
以下、図１、図２を参照して、第１の実施形態に係る秘密計算システムおよび秘密計算サーバ装置について説明する。

図１は、第１の実施形態における秘密計算システムの機能構成例を示すブロック図である。図１に示すように、第１の実施形態による秘密計算システム１００は、第１の秘密計算サーバ装置１００_１と第２の秘密計算サーバ装置１００_２と第３の秘密計算サーバ装置１００_３と第４の秘密計算サーバ装置１００_４とを備えている。第１の秘密計算サーバ装置１００_１、第２の秘密計算サーバ装置１００_２、第３の秘密計算サーバ装置１００_３、および第４の秘密計算サーバ装置１００_４は、それぞれが互いにネットワーク経由で通信可能に接続されている。

第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）を備える秘密計算システム１００においては、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）の内のいずれかの秘密計算サーバ装置１００_ｉが入力した値に対し、その入力や計算過程の値を知られることなく目的のシェアを計算し、その計算結果を第１～第３の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３）に分散して記憶することができる。

また、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）を備える秘密計算システム１００においては、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）に分散して記憶されているシェアに対し、その計算過程の値を知られることなく目的のシェアを計算し、その計算結果を第１～第３の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）に分散して記憶することができる。

なお、上記計算結果のシェアは、第１～第４の秘密計算サーバ装置１００_１～１００_４とシェアを送受信することで、復元してもよい。あるいは、第１～第４の秘密計算サーバ装置１００_１～１００_４ではない外部にシェアを送信することで、復号してもよい。

さらに、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）を備える秘密計算システム１００においては、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）が相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができる。例えば、第４の秘密計算サーバ装置１００_４が第１～第３の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３）に送信する情報に不正があるか否かを、第１～第３の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３）の間で秘密を維持しながら検証することができる。

第１～第３の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３）は、第４の秘密計算サーバ装置１００_４から受け取った情報を第１～第３の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３）のそれぞれが保持しているシェアと組み合わせた計算結果を第１～第３の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３）の間で照らし合わせることで、第４の秘密計算サーバ装置１００_４から受け取った情報に不正（例えば改ざん）があるか否かを検証することができる。

例えば上記のように、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）が相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができるシェアの構成として以下の構成を採用することができる。

各参加者 Pi(i=0,1,2,3) に対する x∈Zq のシェアを以下のように定める。

上記のようにシェアを構成すると、非特許文献１に記載の方法にしたがって、通常の加算および乗算と共に、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）が相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができる。

そこで、次に考えるのが指数演算である。すなわち、ここで考える指数演算は、秘密ではない底と秘密である指数との指数演算の秘密計算であるので、秘密分散されていないbと秘密分散されている[x]^qとを入力とし、[b^x]^qを得る演算である。

ここで、x=-σ_x ¹-σ_x ²+μ_x ¹+μ_x ² mod qであることを考えると、以下のようにb^xは分解することができる。

つまり、各b^{-σ_x ¹}, b^{-σ_x ²}, b^{μ_x ¹}, b^{μ_x ²}が得られればb^xも計算できることになる。ただし、{-σ_x ¹, -σ_x ², μ_x ¹, μ_x ²}は、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）に分散して保持されているシェアを構成する値であるので、同時に第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）のうち一つに揃うことはない。また、求めたいものは、b^xを秘密計算で得るためのシェア[b^x]^qである。

そこで、本実施形態では、図２に示すように、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）が、それぞれの内部で完結した演算によって、少なくとも指数xのシェアを含む入力に対して再分散を出力する再分散部１０１_ｉ（ｉ＝１，２，３，４）と、再分散部１０１_ｉ（ｉ＝１，２，３，４）にて再分散して得られたシェアを用いて乗算を行うことで指数演算の秘密計算をする乗算部１０２_ｉ（ｉ＝１，２，３，４）とを備える。

そして、再分散部１０１_ｉ（ｉ＝１，２，３，４）は、以下のように、秘密分散されていない底bと秘密分散されている指数[x]^qとを入力とし、底bに関する指数[x]^qの指数演算の結果[b^x]^qの再分散を出力する。

も同様に定める。

上記定義から解るように、この再分散の演算では自己が保有しているシェア以外を０として扱う。つまり、自己が保有していないシェアを得るために他の秘密計算サーバ装置と通信を行う必要がない。この再分散は、秘密計算サーバ装置のそれぞれで完結した演算であり、このような再分散を局所的再分散(local reshare)と呼ぶことがある。

一方、乗算部１０２_ｉ（ｉ＝１，２，３，４）は、再分散部１０１_ｉ（ｉ＝１，２，３，４）にて再分散して得られたシェアを用いて、以下のように底bに関する指数[x]^qの指数演算の結果[b^x]^qを得る。

このように、本実施形態では、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）のそれぞれが、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）のそれぞれの内部で完結した演算によって、少なくとも指数xのシェアを含む入力に対して再分散を出力する再分散部１０１_ｉ（ｉ＝１，２，３，４）と、指数xが指数のシェアの加算に分解されており、再分散部１０１_ｉ（ｉ＝１，２，３，４）にて再分散して得られたシェアを用いて乗算を行うことで指数演算の秘密計算をする乗算部１０２_ｉ（ｉ＝１，２，３，４）とを備えることで、秘密分散されていないbと秘密分散されている[x]^qとを入力とし、[b^x]^qを得る指数演算を行うことができる。

また、秘密計算システム１００が第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）を備えており、第１～第４の秘密計算サーバ装置１００_ｉ（ｉ＝１，２，３，４）が相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができるので、指数演算の秘密計算において決定的な不正検知をすることに寄与することができる。

［第２の実施形態］
次に、第１の実施形態で説明した指数演算の秘密計算をより具体化した実施形態について説明する。第１の実施形態では、指数演算を単純に積に分解しているが、それだけでは不十分である場合もある。例えば、法qが素数pである場合、フェルマーの小定理を用いると、b^x=b^x’+kq = b^x’+k mod qとなる。すると、指数xが法qを超えた場合、指数演算の結果の値b^xにb^-1を乗する必要がある。第２の実施形態では、法qが素数pである場合(q=pの場合)の構成例について説明する。

図３は、第２の実施形態における秘密計算システムの機能構成例を示すブロック図である。図３に示すように、第２の実施形態による秘密計算システム２００は、第１の秘密計算サーバ装置２００_１と第２の秘密計算サーバ装置２００_２と第３の秘密計算サーバ装置２００_３と第４の秘密計算サーバ装置２００_４とを備えている。第１の秘密計算サーバ装置２００_１、第２の秘密計算サーバ装置２００_２、第３の秘密計算サーバ装置２００_３、および第４の秘密計算サーバ装置２００_４は、それぞれが互いにネットワーク経由で通信可能に接続されている。

そして第１の実施形態と同様に秘密計算ができると共に、第１～第４の秘密計算サーバ装置２００_ｉ（ｉ＝１，２，３，４）を備える秘密計算システム２００においては、第１～第４の秘密計算サーバ装置２００_ｉ（ｉ＝１，２，３，４）が相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができる。

また、図４に示すように、第１～第４の秘密計算サーバ装置２００_ｉ（ｉ＝１，２，３，４）が、それぞれの内部で完結した演算によって、少なくとも指数xのシェアを含む入力に対して再分散を出力する再分散部２０１_ｉ（ｉ＝１，２，３，４）と、再分散部２０１_ｉ（ｉ＝１，２，３，４）にて再分散して得られたシェアを用いて乗算を行うことで指数演算の秘密計算をする乗算部２０２_ｉ（ｉ＝１，２，３，４）とを備えている。

その上でさらに、第１～第４の秘密計算サーバ装置２００_ｉ（ｉ＝１，２，３，４）が、指数xが法pを超えるか否かを判断する指数剰余判定部２０３_ｉ（ｉ＝１，２，３，４）と、指数剰余判定部２０３_ｉ（ｉ＝１，２，３，４）の結果に基づいて値を補正する乗算を行う乗算補正部２０４_ｉ（ｉ＝１，２，３，４）とを備える。

本実施形態においてもシェアの構成は、第１の実施形態と同じである。すなわち、各参加者 Pi(i=0,1,2,3) に対する x∈Zq のシェアを以下のように定める。

ここで、既に説明したように、pを素数とし、フェルマーの小定理を用いると、b^x=b^x’+kp = b^x’+k mod pとなるのであった。一方、x=-σ_x ¹-σ_x ²+μ_x ¹+μ_x ²であったことを考えると、k∈{0,1,2,3}である。つまり、指数xは高々３回法pを超える可能性がある。

指数剰余判定部２０３_ｉ（ｉ＝１，２，３，４）は、指数のシェアの加算の分解に対して、指数が法を超えるか否かを判断する。具体的には、-σ_x ¹-σ_x ²と(-σ_x ¹-σ_x ²)+μ_x ¹と((-σ_x ¹-σ_x ²)+μ_x ¹)+μ_x ²の３回の加算について指数が法を超えるか否かを判断する。

指数が法を超えるか否かを判断する方法は、法pが素数であることに注意すれば、法pを超えると偶奇が反転することに着目すればよいことが解る。例えば、a0が偶数でありa1が奇数の場合、(1)a0+a1が法を超えていれば、a0+a1は偶数である。一方、(1)a0+a1が法を超えていなければ、a0+a1は奇数である。そして、偶奇の反転は、最下位ビットの反転で判断することができる。

（秘密計算方法）
以下、秘密計算方法の詳細を説明する。図５は、秘密計算方法の手順の概略を示すフローチャートである。

ステップＡ１では、再分散を行う。つまり、底bと指数xのシェアを含む入力に対して底bに関する指数xの指数演算の結果b^xの再分散と、指数xのシェアを含む入力に対して指数xの最下位ビットの再分散とを計算する。具体的には、以下のような計算を行う。

も同様に定める。

についても上記同様に定める。

ステップＡ２では、指数剰余判定を行う。つまり、指数xが法を超えるか否かを判断する。このために以下のような計算を行う。

ステップＡ１における再分散の結果を用いて、以下の計算をする。なお、以下の値は指数演算の結果のシェアを与えているように見えるが、先述したように指数xが法を超える場合に適切な値を与えない。

そこで、先述した方針に従い、指数xが法pを超えたか否かを、-σ_x ¹-σ_x ²と(-σ_x ¹-σ_x ²)+μ_x ¹と((-σ_x ¹-σ_x ²)+μ_x ¹)+μ_x ²の３回の加算について指数が法を超えるか否かで判断する。

（１）-σ_x ¹-σ_x ²が法を超えたか否かを判断する。なお、以下の計算においてLSB(least significant bit)は最下位ビットを意味する。そして、[k₀]^pは-σ_x ¹-σ_x ²が法pを超えた場合に１となり、超えない場合に０となるように設計された変数である。偶奇の反転を判断するために、途中論理演算が表れるが、最下位ビットの計算に帰着する。

（２）(-σ_x ¹-σ_x ²)+μ_x ¹が法を超えたか否かを判断する。以下の計算において、[k₁]^pは(-σ_x ¹-σ_x ²)+μ_x ¹が法pを超えた場合に１となり超えない場合に０となるように設計された変数である。

（３）((-σ_x ¹-σ_x ²)+μ_x ¹)+μ_x ²が法を超えたか否かを判断する。以下の計算において、[k₂]^pは(-σ_x ¹-σ_x ²)+μ_x ¹が法pを超えた場合に１となり、超えない場合に０となるように設計された変数である。

ステップＡ３では、乗算補正を行う。つまり、ステップＡ２における指数剰余判定の結果に基づいて値を補正する。上記のように計算された,[k₀]^p,[k₁]^p,[k₂]^pを用いて、以下のように[res₀]^pを補正する。

[k₀]^p,[k₁]^p,[k₂]^pは、指数が法を超えた場合に１となり、超えない場合に０となるので、上記式の右辺は、指数が法を超えた場合にb-1が掛けられる式になっている。

ステップＡ４では、補正された[res₃]^pを底bに関する指数xの指数演算の結果[b^x]^pとして出力する。

このように、本実施形態では、法pが素数の場合でも、指数xが法pを超えるか否かを判断し、秘密分散されていない底bと秘密分散されている指数[x]^pとを入力とし、[b^x]^pを得る指数演算を行うことができる。

また、秘密計算システム２００が第１～第４の秘密計算サーバ装置２００_ｉ（ｉ＝１，２，３，４）を備えており、第１～第４の秘密計算サーバ装置２００_ｉ（ｉ＝１，２，３，４）が相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができるので、指数演算の秘密計算において決定的な不正検知をすることに寄与することができる。

［第３の実施形態］
次に、第２の実施形態で説明した指数演算の秘密計算を変形した実施形態について説明する。第２の実施形態では指数が法を超える可能性が３回あったが、底と指数の法が異なる場合は条件判定の数を減らすことができる場合がある。

例えば、底の法p’と指数の法q’をp’=3q’+1を満たす素数とし、[b^x]^p’ ← exp(b,[x]^q’)を実行することを考える。このとき、-σ_x ¹, -σ_x ², μ_x ¹, μ_x ²∈[0, q’-1]かつb∈[0, p’-1]であれば、x=-σ_x ¹-σ_x ²+μ_x ¹+μ_x ²が法を超えるのは１回に削減できる。

本実施形態は、第２の実施形態で説明した構成および計算の手順を踏襲することができるので、ここでは説明を省略するが、本実施形態においても秘密分散されていない底bと秘密分散されている指数[x]^pとを入力とし、[b^x]^pを得る指数演算を行うことができる。また、本実施形態でも相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができるので、指数演算の秘密計算において決定的な不正検知をすることに寄与することができる。

［第４の実施形態］
次に、法が２のべき乗の場合の実施形態について説明する。法が２のべき乗の場合、すなわち、q=2^mの場合もb∈Z₂ ^mとして、秘密分散されていないbと秘密分散されている[x]^qとを入力とし、以下のように[b^x]^qを得る指数演算を考えることができる。ただし、ここでは底bは奇数である場合のみを考える。

この場合も、第１の実施形態と同様に、秘密分散されていない底bと秘密分散されている指数[x]^qとを入力とし、底bに関する指数[x]^qの指数演算の結果[b^x]^qの再分散を定めることができる。

も同様に定める。

ここで、本実施形態の場合（法が２のべき乗の場合）も、法が素数である場合と同様に、指数xが法を超えた場合に補正をする必要があるか否かを検討する。

底bが奇数の場合、底bと法2^mは互いに素になる。すると、オイラーの定理から以下の関係式が成り立つ。

つまり、指数が2^mを超える場合も補正を加える必要がない。従って、上記再分散から下記計算を行うことで底bに関する指数[x]^qの指数演算を行うことができる。

本実施形態は、第１の実施形態で説明した構成および計算の手順を踏襲することができるので、ここでは説明を省略するが、本実施形態においても秘密分散されていない底bと秘密分散されている指数[x]^qとを入力とし、[b^x]^qを得る指数演算を行うことができる。また、本実施形態でも相互に送受信する情報に不正（例えば改ざん）があるか否かを検証することができるので、指数演算の秘密計算において決定的な不正検知をすることに寄与することができる。

［ハードウェア構成例］
図６は、秘密計算サーバ装置のハードウェア構成例を示す図である。すなわち、図６に示すハードウェア構成例は、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）のハードウェア構成例である。図６に示すハードウェア構成を採用した情報処理装置（コンピュータ）は、上記説明した秘密計算方法をプログラムとして実行することで、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）の各機能を実現することを可能にする。

ただし、図６に示すハードウェア構成例は、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）の各機能を実現するハードウェア構成の一例であり、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）のハードウェア構成を限定する趣旨ではない。秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）は、図６に示さないハードウェアを含むことができる。

図６に示すように、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）が採用し得るハードウェア構成１０は、例えば内部バスにより相互に接続される、ＣＰＵ（Central Processing Unit）１１、主記憶装置１２、補助記憶装置１３、およびＩＦ（Interface）部１４を備える。

ＣＰＵ１１は、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）が実行する秘密計算プログラムに含まれる各指令を実行する。主記憶装置１２は、例えばＲＡＭ（Random Access Memory）であり、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）が実行する秘密計算プログラムなどの各種プログラムなどをＣＰＵ１１が処理するために一時記憶する。

補助記憶装置１３は、例えば、ＨＤＤ（Hard Disk Drive）であり、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）が実行する秘密計算プログラムなどの各種プログラムなどを中長期的に記憶しておくことが可能である。秘密計算プログラムなどの各種プログラムは、非一時的なコンピュータ可読記録媒体（non-transitory computer-readable storage medium）に記録されたプログラム製品として提供することができる。補助記憶装置１３は、非一時的なコンピュータ可読記録媒体に記録された秘密計算プログラムなどの各種プログラムを中長期的に記憶することに利用することが可能である。ＩＦ部１４は、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）間の入出力に関するインターフェイスを提供する。

上記のようなハードウェア構成１０を採用した情報処理装置は、先述した秘密計算方法をプログラムとして実行することで、秘密計算サーバ装置１００_ｉ，２００_ｉ（ｉ＝１，２，３，４）の各機能を実現する。

上記の実施形態の一部又は全部は、以下の付記のようにも記載され得るが、以下には限られない。
［付記１］
相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置を備え、秘密ではない底と秘密である指数との指数演算の秘密計算をする秘密計算システムであって、
前記秘密計算サーバ装置のそれぞれが、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散部と、
前記指数が前記指数のシェアの加算に分解されており、前記再分散部にて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算部と、
を有する秘密計算システム。
［付記２］
前記秘密計算サーバ装置のそれぞれが
前記指数が法を超えるか否かを判断する指数剰余判定部と、
前記指数剰余判定部の結果に基づいて値を補正する乗算を行う乗算補正部と、
をさらに備える付記１に記載の秘密計算システム。
［付記３］
前記指数剰余判定部は、前記指数のシェアの加算の分解に対して、各回の加算において前記指数の最下位ビットの反転を判断することで、前記指数が法を超えるか否かを判断する、付記２に記載の秘密計算システム。
［付記４］
前記再分散部は、前記底と前記指数のシェアを含む入力に対して前記底に関する前記指数の指数演算の再分散と、前記指数のシェアを含む入力に対して前記指数の最下位ビットの再分散とを出力する付記３に記載の秘密計算システム。
［付記５］
相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置の一つであって、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも指数のシェアを含む入力に対して再分散を出力する再分散部と、
前記指数が前記指数のシェアの加算に分解されており、前記再分散部にて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算部と、
を有する秘密計算サーバ装置。
［付記６］
相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置を用いて、秘密ではない底と秘密である指数との指数演算の秘密計算をする秘密計算方法であって、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散ステップと、
前記指数が前記指数のシェアの加算に分解されており、前記再分散ステップにて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算ステップと、
を有する秘密計算方法。
［付記７］
前記指数が法を超えるか否かを判断する指数剰余判定ステップと、
前記指数剰余判定部の結果に基づいて値を補正する乗算を行う乗算補正ステップと、
をさらに有する付記６に記載の秘密計算方法。
［付記８］
前記指数剰余判定ステップは、前記指数のシェアの加算の分解に対して、各回の加算において前記指数の最下位ビットの反転を判断することで、前記指数が法を超えるか否かを判断する付記７に記載の秘密計算方法。
［付記９］
前記再分散ステップは、前記底と前記指数のシェアを含む入力に対して前記底に関する前記指数の指数演算の再分散と、前記指数のシェアを含む入力に対して前記指数の最下位ビットの再分散とを出力する付記８に記載の秘密計算方法。
［付記１０］
相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置に、秘密ではない底と秘密である指数との指数演算の秘密計算を実行させる秘密計算プログラムであって、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散処理と、
前記指数が前記指数のシェアの加算に分解されており、前記再分散処理にて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算処理と、
を有する秘密計算プログラム。

なお、引用した上記の特許文献及び非特許文献等の各開示は、本書に引用をもって繰り込むものとする。本発明の全開示（請求の範囲を含む）の枠内において、さらにその基本的技術思想に基づいて、実施形態ないし実施例の変更・調整が可能である。また、本発明の全開示の枠内において種々の開示要素（各請求項の各要素、各実施形態ないし実施例の各要素、各図面の各要素等を含む）の多様な組み合わせ、ないし、選択（部分的削除を含む）が可能である。すなわち、本発明は、請求の範囲を含む全開示、技術的思想にしたがって当業者であればなし得るであろう各種変形、修正を含むことは勿論である。特に、本書に記載した数値範囲については、当該範囲内に含まれる任意の数値ないし小範囲が、別段の記載のない場合でも具体的に記載されているものと解釈されるべきである。さらに、上記引用した文献の各開示事項は、必要に応じ、本発明の趣旨に則り、本発明の開示の一部として、その一部又は全部を、本書の記載事項と組み合わせて用いることも、本願の開示事項に含まれるものと、みなされる。

１００，２００秘密計算システム
１００_ｉ，２００_ｉ秘密計算サーバ装置
１０１_ｉ，２０１_ｉ再分散部
１０２_ｉ，２０２_ｉ乗算部
２０３_ｉ指数剰余判定部
２０４_ｉ乗算補正部
１０ハードウェア構成
１１ＣＰＵ（Central Processing Unit）
１２主記憶装置
１３補助記憶装置
１４ＩＦ（Interface）部

Claims

相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置を備え、秘密ではない底と秘密である指数との指数演算の秘密計算をする秘密計算システムであって、
前記秘密計算サーバ装置のそれぞれが、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散部と、
前記指数が前記指数のシェアの加算に分解されており、前記再分散部にて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算部と、
を有する秘密計算システム。
前記秘密計算サーバ装置のそれぞれが
前記指数が法を超えるか否かを判断する指数剰余判定部と、
前記指数剰余判定部の結果に基づいて値を補正する乗算を行う乗算補正部と、
をさらに備える請求項１に記載の秘密計算システム。
前記指数剰余判定部は、前記指数のシェアの加算の分解に対して、各回の加算において前記指数の最下位ビットの反転を判断することで、前記指数が法を超えるか否かを判断する、請求項２に記載の秘密計算システム。
前記再分散部は、前記底と前記指数のシェアを含む入力に対して前記底に関する前記指数の指数演算の再分散と、前記指数のシェアを含む入力に対して前記指数の最下位ビットの再分散とを出力する請求項３に記載の秘密計算システム。
相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置の一つであって、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも指数のシェアを含む入力に対して再分散を出力する再分散部と、
前記指数が前記指数のシェアの加算に分解されており、前記再分散部にて再分散して得られたシェアを用いて乗算を行うことで指数演算の秘密計算をする乗算部と、
を有する秘密計算サーバ装置。
相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置を用いて、秘密ではない底と秘密である指数との指数演算の秘密計算をする秘密計算方法であって、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散ステップと、
前記指数が前記指数のシェアの加算に分解されており、前記再分散ステップにて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算ステップと、
を有する秘密計算方法。
前記指数が法を超えるか否かを判断する指数剰余判定ステップと、
指数剰余判定部の結果に基づいて値を補正する乗算を行う乗算補正ステップと、
をさらに有する請求項６に記載の秘密計算方法。
前記指数剰余判定ステップは、前記指数のシェアの加算の分解に対して、各回の加算において前記指数の最下位ビットの反転を判断することで、前記指数が法を超えるか否かを判断する請求項７に記載の秘密計算方法。
前記再分散ステップは、前記底と前記指数のシェアを含む入力に対して前記底に関する前記指数の指数演算の再分散と、前記指数のシェアを含む入力に対して前記指数の最下位ビットの再分散とを出力する請求項８に記載の秘密計算方法。
相互にネットワークで接続した少なくとも４台以上の秘密計算サーバ装置に、秘密ではない底と秘密である指数との指数演算の秘密計算を実行させる秘密計算プログラムであって、
前記秘密計算サーバ装置のそれぞれの内部で完結した演算によって、少なくとも前記指数のシェアを含む入力に対して再分散を出力する再分散処理と、
前記指数が前記指数のシェアの加算に分解されており、前記再分散処理にて再分散して得られたシェアを用いて乗算を行うことで前記指数演算の秘密計算をする乗算処理と、
を有する秘密計算プログラム。