Garbled Circuit

Garbled Circuitとは暗号学においてスクランブルされた回路を意味する。
Yao's Garbled Circuit.
アンドリュー・チーチー・ヤオが考案し1986年にIEEEの学会で発表したYao's Garbled circuitは、暗号プロトコルを設計する際の強力なフレームワークであり、暗号理論において今も中心的役割を担っている。ただし,このフレームワークを基礎に作った方式は効率が悪いことが知られている。
関数formula_1を任意の(確率的多項式時間計算可能)関数とする。
また、二人のユーザAliceとBobがそれぞれ入力formula_2をもっており、formula_3をお互いの入力を漏らすことなく計算したいものとする。関数として例えば、formula_4であるならば、どちらの入力値が大きいかを検証できる。
信頼できる第三者Tedがいる場合を考える。この場合は簡単で、AliceとBobがそれぞれの入力をTedに送り、Tedがformula_3を計算して、Bobに送り返せばよい。ここでYaoのGarbled Circuitを利用すると, 第三者の介入なしで、AliceとBobが協力して、お互いの入力値を全く漏らさずに、formula_3を計算できる。
この方式は、紛失通信プロトコルと擬似ランダム関数があれば実現できる。