32、揭秘MPC与SFE：统一腐败模型下的完美安全计算

揭秘MPC与SFE：统一腐败模型下的完美安全计算

1. 基础协议介绍

在安全多方计算领域，有几个基础协议起着关键作用，下面为大家详细介绍。

1.1 PublicAnnounce协议

该协议用于公开宣布某个值，具体步骤如下：
1. 每个属于集合 $S_k$ 的参与者 $p_i$ 使用强广播（StrongBroadcast）发布其对于 $s_k$ 的值（记为 $s^{(i)}_k$）。
2. 每个参与者 $p_j$ 确定集合 $V$，该集合是 $F$ 的子集，其中的值可以由集合 $Z$ 中的某个敌手“解释”（具体见 Announce 协议）。
3. 若 $|V| = 1$，则每个参与者 $p_j$ 输出 $s_k \in V$；否则，以集合 $B = {p_i \subseteq S_k : s^{(i)}_k = \perp}$ 中止。

引理表明，如果满足 $CBC(P, Z)$ 条件，并且对于集合 $Z$ 中的任意两个敌手类 $(A_1, \cdots, \cdots)$ 和 $(A_2, \cdots, \cdots)$，都有 $S_k \not\subseteq A_1 \cup A_2$，那么该协议要么公开宣布 $s_k$，要么以一个非空的不正确参与者集合 $B \subseteq P$ 中止。

Protocol PublicAnnounce(P, Z, Sk, sk)
1. Every pi ∈Sk publishes his value for sk (denoted as s(i)
k ) using StrongBroadca