Secure two-party computation とは

セキュア2者計算(2PC)は、多くの暗号タスクと密接な関係があるため、研究者によって特別な注意を払ったセキュアなマルチパーティ計算(MPC)の副次的問題である。 2PCの目的は、双方の当事者が入力の値を相手方と共有することなく、入力上の任意の機能を共同で計算できるようにする汎用プロトコルを作成することです。 2PCの最もよく知られている例の1つは、富を明らかにせずに誰が富裕であるかを決定したいと思っている慈善団体、アリスとボブの2人のパーティーであるヤオの億万長者の問題です。正式には、アリスは富を持っていますが、ボブは富を持っており、値 a {\displaystyle a} または b {\displaystyle b} を明らかにせずに a b {\displaystyle a\geq b} を計算したいと考えています。
ヤオの2者計算のための乱雑な回路プロトコルは、受動的な敵に対してセキュリティを提供していました。アクティブな敵に対して安全な2PCプロトコルは、LindellとPinkas、Ishai、Prabhakaran、Sahai、NielsenとOrlandiによって提案されました。 JareckiとShmatikovによって、コミットされた入力で明示的に動作するこの問題に対する別の解決策が提案されました。