【SPDZプロトコル②】SPDZの前処理フェーズについて
Created
2021/10/12 7:04
Tags
SPDZ
はじめに
この記事では、秘密分散法をベースにしたマルチパーティ計算(MPC : Multi-party Computation)のプロトコルであるSPDZについて解説します。SPDZは複雑なプロトコルのため、2部構成にして紹介しています。今回の記事はPart 2 になります。
以下の前回のPart 1の記事では、SPDZの概要とオンラインフェーズについて解説しました。
Part 2となるこの記事では、SPDZの前処理フェーズについて解説します。
前処理フェーズの仕組み
前処理フェーズでは、オンラインフェーズで使用する値を生成することが目的です。
オンラインフェーズで使用する値は以下の5種類です。
- グローバル鍵 のシェア
- 参加者の秘密鍵
- 乱数のシェア
- 乗算時と出力時に使う値
- 乗算トリプル
今回説明する前処理フェーズでは、上記の値をそれぞれ3つのフェーズに分けて生成します。
- 初期化フェーズ
- のシェア
- ペアフェーズ
- トリプルフェーズ
各フェーズ内では、4つのサブプロトコルが使用されているため、先にサブプロトコルの説明を行った後に各フェーズについて説明していきます。
それでは、サブプロトコルについて見ていきましょう。
サブプロトコル
平文のゼロ知識証明
平文のゼロ知識証明プロトコル(ZKPoPK)は、各参加者 が生成した暗号文が、本当に が生成したものなのかを証明するために使用します。
ここで、簡単にゼロ知識証明について説明します。例えばAさんが平文 の暗号文 を保持しているとします。このとき、Aさんが第三者のBさんに、暗号文 に対応する平文 を保持していることを、平文 に関する情報を一切漏洩させずに証明することを目指します。
このように、秘密情報を保持していることを第三者に証明する際に、秘密情報に関する情報を一切漏洩せずに証明することをゼロ知識証明といいます。
しかしながら、ZKPoPKのアルゴリズムの詳細は複雑であるため、本記事では割愛いたします。ご興味のある方は、原論文を参照していただければと思います。
再シェア化
再シェア化()は、平文 の暗号文 を入力とし、シェア と、必要であるならば新たな暗号文 を生成するサブプロトコルです。
数式で表現すると、 と書けます。
第二引数の には二種類の値 が入ります。この値によって以下の2つの処理を行います。
- の場合
- と新たな暗号文 を生成する
- の場合
- のみ生成する
ここで、なぜ新たな暗号文を生成する仕組みが必要であるかを説明します。実は、前処理フェーズで使用するSHE(制限付き準同型暗号)は、乗算を2回以上行うとエラーが発生します。それを避けるために、一度 と等価な新しい暗号文 を生成して、乗算回数をリセットする必要があります。そのため、 という引数を用意し、必要に応じて新しい暗号文を生成できるようにしています。
以下が詳細な再シェア化のアルゴリズムです。
- 各参加者 は、 を取得する
- ただし、 とする
- は を計算し、ブロードキャストする
- はZKPoPK を利用し、 は 自身が作成したものであると証明する
- 全ての参加者は を計算し、さらに を計算する
- 演算子 は、暗号文の空間 上の加算を意味する
- 全ての参加者は を復号し、 を得る
- は を計算し、その他のは を計算し、シェアとする
- の場合は、全ての参加者はを計算し、暗号文を得る
- 演算子 は、上の減算を意味する
Angle化
Angle化() は任意の平文 に対するシェア を生成するためのサブプロトコルです。
のシェア と、 の暗号文 を入力とし、 を生成します。
以下が詳細なアルゴリズムです。
- 全ての参加者は、 を計算する
- 演算子 は、上の乗算を意味する
- 全ての参加者は、 を計算し、は のシェア を取得する
- を出力する
Bracket化
Bracket化()は任意の平文 に対するシェア を生成するためのサブプロトコルです。
のシェア と の暗号文 を入力とし、 を生成します。
以下が詳細なアルゴリズムです。
- 全ての参加者 は、それぞれ を計算する
- 全ての参加者 は、それぞれ を計算する
- のシェアである を が取得する
- ただし、
- を出力する
以上が、サブプロトコルの説明でした。
次に前処理フェーズのプロトコルを見ていきましょう。
前処理フェーズのプロトコル
前処理フェーズでは、初期化フェーズ、ペアフェーズ、トリプルフェーズがあります。
それぞれについて説明していきます。
初期化フェーズ
初期化フェーズでは、 のシェアと を生成します。
以下がそのプロトコルです。
- 全ての参加者が公開鍵 を取得する
- は秘密鍵 を取得する
- は を生成する
- ただし、とする
- は以下を計算しブロードキャストする
- ただし、 は を表す
- はZKPoPK を利用し、は 自身が作成したものであると証明する
- 全ての参加者は を計算し、 のシェア を得る
ペアフェーズ
ペアフェーズでは、 を生成します。
以下がそのプロトコルです。
- 各 は を生成する
- ただし、 とする
- 各 は を計算しブロードキャストする
- ただし， とする
- はZKPoPK を利用し、 は 自身が作成したものであると証明する
- 各参加者は以下の2つを計算し を得る
なお、オンラインフェーズで必要とするについては、最後の化の処理を省略することによって、同様に生成することができます。
トリプルフェーズ
トリプルフェーズでは、乗算に使用する を生成します。
以下がそのプロトコルです。
- 各 は、 を生成する
- ただし、 とする
- 各 は以下を計算しブロードキャストする
- はZKPoPK を利用し、 は 自身が作成したものであると証明する
- 全ての参加者は、, を計算する
- 全ての参加者は、 と を生成する
- 全ての参加者は、 を計算する
- 全ての参加者は、() を計算する
- を生成する
注意点として、7の処理は、 をそのまま適用すると6の乗算と合わせて乗算回数が2回になってしまい、誤差が大きくなるのを防ぐために実施しています。
以上で初期化フェーズ、ペアフェーズ、トリプルフェーズの説明をしました。これらのプロトコルを実行することで、オンラインフェーズで使用する各種の値を生成することができます。
まとめ
この記事では、SPDZの前処理フェーズについて説明しました。
この記事の要点は以下の通りです。
- SPDZは、前処理フェーズ及びオンラインフェーズから構成されるpreprocessing-modelを採用している。
- 前処理フェーズではSHE(制限付き準同型暗号)を使用し、高い効率性と安全性を実現しながら、オンラインプロトコルで使用する値を生成することができる。
- 前処理フェーズは、初期化フェーズ、ペアフェーズ、トリプルフェーズから構成される。
- 内部のサブプロトコルとして以下が必要である。
- 平文のゼロ知識証明
- 再シェア化
- Angle化
- Bracket化