| 摘要 |
入力整合性検証を伴う秘匿関数計算（ＳＦＥ）が、関数を評価するために、２つのパーティによって実行される。各実行に対して、第１のパーティは、関数に対応するガーブル回路を計算し、第２のパーティの入力ｘｉの暗号化されたバージョンｋｉであるワイヤ秘密を提供するために、紛失通信プロトコルを使用する。第２のパーティは、複数の実行に対する、第２のパーティの入力ｘｉの暗号化されたバージョンｋｉを格納する。第２のパーティは、出力の計算のために、ガーブル回路を受信し、出力は、第１のパーティに送信される。２つの実行に対する、第２のパーティの入力を検証するために、第１のパーティは、検証されるガーブル回路の入力鍵に基づいて、検証関数に対応する検査ガーブル回路を計算し、検証出力の計算のために、検査ガーブル回路を第２のパーティに送信する。検証出力は、２つの実行に対する、格納された暗号化されたバージョンｋｉを検査ガーブル回路に適用することにより、計算される。検証出力は、２つの実行に対する、第２のパーティの入力ｘｉを検証するために、評価される。 |
