【隐私计算笔谈】MPC系列专题（七）：信息论安全的混淆电路

【隐私计算笔谈】MPC系列专题（七）：信息论安全的混淆电路

作者 | 胡震恺 崔泓睿 郁昱

Kolesnikov 的门估值秘密共享方案

Kolesnikov 的门估值秘密共享方案（ Gate Evaluation Secret Sharing，GESS ）是高效的信息论安全的乱码电路方案。

对于一个门G来说，输入线为𝑤1,𝑤2输出线𝑤3，其真值表一共就四种可能性：

在GESS方案中，每条导线的输入都是子秘密，子秘密由秘密共享方案产生，所有的输出是秘密分享方案中将要被分享的秘密。

用户𝑃₁生成导线标签：

(𝑤₁₀,𝑤₁₁)，(𝑤₂₀,𝑤₂₁)。𝑤_𝑖𝑗, 𝑖∈{1,2},𝑗∈{0,1}

对应导线𝑤_𝑖输入为𝑗的情况。因此一共可能的输入情况有四种，导线𝑤₃也有四种输出记为𝑠₀₀,𝑠₀₁,𝑠₁₀,𝑠₁₁。

首先GESS生成两个随机数𝑟₀, 𝑟₁，让𝑤₁₀对应的加密值为𝑟₀，让𝑤₁₁对应的加密值为𝑟₁。当导线𝑤₁输入为0时，对应于𝑤₁₀，导线𝑤₂也有两种输入的可能，分别为0和1，对应两个导线𝑤₃的输出。

同理如果确定了导线𝑤₂的输入如为𝑤₂₀，根据导线𝑤₁的不同输入0和1，也只会有两种输出可能𝑠₀₀和𝑠₁₀（注意这里𝑠₀₀和𝑠₀₁只代表输出可能，实际根据具体的门𝐺，𝑠₀₀和𝑠₀₁的具体值可能相 等也可能不等）。

GESS将导线𝑤