BGW プロトコルとは シャミア法を用いたMPCを紹介!

Created
2021/10/12 7:14
Tags
BGWプロトコル
シャミア法
MPC

はじめに

この記事では、シャミア秘密分散法をベースにしたマルチパーティ計算(MPC:Multi-party Computation)のプロトコルであるBGWプロトコルについて解説します。
MPC・秘密分散法については下記記事を参考にしてください。
 
BGWプロトコルは1988年にBen-Or、Goldwasser、Wigdersonによって提案されたMPCの基本的なプロトコルであり、以下の特徴を持っています。
  • シャミア秘密分散法をベースにしている
  • 値を秘密にしたまま加算と乗算ができる
  • 参加者の半数未満の不正者に対して耐性がある
ただし、参加者はプロトコルから逸脱しない場合を扱います。逸脱する場合のプロトコルは別の記事で解説します。
notion image
 
 

シャミア秘密分散法

まずは下準備として、BGWプロトコルがベースにしているシャミア秘密分散法について見ていきましょう。
シャミア秘密分散法は、 次元多項式を用いて秘密情報を分散させる方法です。具体的には以下の方法によって秘密情報 を分散化させます。
  1. 以下のようなランダムな 次元多項式 を用意する
  1. 多項式上の点 つ以上選択し、それを分散した値とする
      • ただし、
ここで、分散させた値のことをシェアと呼ぶことにします。
次に、シェアを用いて秘密情報 を復号する方法を示します。
  1. シェアを 個集める
  1. 個の点から多項式補間を用いて を復元する
  1. から秘密情報 を得る
 
数式だけでは理解が難しいので、簡単のために の場合を考えます。この場合、1次元多項式 となり、グラフ上では直線として表現することができます。この時 の値は直線の切片になっていることがわかります。つまり、直線の式を知っていれば秘密情報も知っていることになります。
次に、直線上から2点を取り出しシェアとします。シェアは2つ集めることで、直線の式を導出することができます。したがって、シェアを2つ集めることで秘密情報 を手に入れることができます。
重要な点として、一つ一つのシェアは何の情報も漏らさない点が挙げられます。さらに、多項式上の点はどれだけ取り出しても良いので、いくつでもシェアを作成することができます。

BGWプロトコル

BGWプロトコルは、 人の参加者間でシャミア秘密分散法によって生成された秘密情報 のシェアに対し、加算と乗算を行う方法を提供します。これにより、任意の計算回路が作成でき、任意の計算を実行することができることになります。
ここで、簡単のために、参加者によって秘密情報 がシェアの状態で保持されていることを と表します。
それでは、加算と乗算の方法を見ていきましょう。

加算

秘密情報 のシェア が与えられた時、 を計算することを目指します。
加算の場合は、シェア同士を直接加算するだけで完了します。つまり、各参加者が手元にもつシェアを加算するだけで、 が得られます。
以下詳細な説明です。
シェア が、 次元多項式 でシェア化されている場合、シェア同士の加算は を表します。この時、得られるシェアは新たな 次元多項式 上の点になります。このとき、 です。
さらに、次元が であるため、復号に必要なシェアの数も同じです。したがって、シェア同士の加算を直接行った結果が になります。
 

乗算

秘密情報 のシェア が与えられた時、 を計算することを目指します。
加算の場合と同じように直接乗算を実行することで、 を計算することができます。しかし、生成されたシェアは新たな 次元多項式 上の点であるため、秘密情報の復元には つのシェアが必要になります。ただし、 を満たす必要があります。さらに、乗算を行う毎に次元数が増加するため、事前に大量のシェアを用意せねばなりません。これは非現実的です。したがって、シェア同士の乗算は次元削減を行う必要があります。
BGWプロトコルでは以下の方法によってシェア同士の乗算を行います。
  1. 人の参加者は を計算する
      • ただし、
  1. 参加者は をランダムな 次元多項式でシャミア秘密分散させてシェア を作り、それぞれ他の参加者に送信する
      • の状態になる
  1. 各参加者は を計算する
      • ただし、
重要な点は、ラグランジュ補間公式から導出される以下の式を用いる点です。
詳細な説明は省きますが、ラグランジュ係数 はシェアの 座標である のみから計算できます。したがって、各参加者は手元で定数倍とシェア同士の加算を行うことで、 次元多項式によるシェア を保持することができます。
以上の方法により、シェア同士の乗算結果のシェアを 次元から 次元へ落とすことができました。ただし、 の値が正しいかどうかを確認するために を満たす必要があります。これは、参加者のうち半分未満の不正者を許容するプロトコルであると言えます。

まとめ

以上で、BGWプロトコルによる加算と乗算の実現方法を解説しました。
この記事のまとめは以下となっています。
  • BGWプロトコルは、シャミア秘密分散法をベースにしたMPCのプロトコル
  • Ben-Or, Goldwasser, Wigderson によって1988年に提案された
  • 値を秘密にしたまま加算と乗算を実現できる
  • プロトコルから逸脱しない半分未満の不正者に耐性がある
 

参考文献