68、简化通用可组合框架解读

简化通用可组合框架解读

1. 基本概念与实体定义

在开始介绍不同的模型（真实、理想和混合模型）之前，我们需要了解用于构建这些模型的交互式图灵机（ITM）。为了清晰区分不同类型的 ITM，我们对它们进行标记。具体来说，每个类型的 ITM 都有专门命名的插槽。

• 通信模型（Communication Model） ：一个 k - 通信模型 C 是标记为“通信模型”的 ITM，它有一个理想功能插槽 [F]、k 个参与方插槽 [P1], …, [Pk] 和一个敌手插槽 [A]。如果从 [Pi] 或 [F] 读取到 ♦∥w，则将 ♦∥w 写入 [A]。敌手可以通过敌手插槽影响通信模型的行为，例如在模拟互联网时，敌手可以插入、延迟或删除消息。参与方通过参与方插槽进行通信，理想功能插槽用于与理想功能进行通信。
• 理想功能（Ideal Functionality） ：理想功能 F 是标记为“理想功能”的 ITM，它只有一个通信插槽 [C]，用于接受输入和返回输出。
• 参与方（Party） ：一个 f - 参与方 P 是标记为“参与方”的 ITM，它有一个环境插槽 [Z]、一个通信插槽 [C]、f 个子参与方插槽 [U1], …, [Uf] 和一个敌手插槽 [A]。当 f = 0 时，我们简单称 P 为参与方。子协议插槽用于混合模型中访问子协议和理想功能，敌手插槽仅由被破坏的参与方使用。
• 协议（Protocol） ：一个 (k, f) - 协议 π 是 f - 参与方的列表 (P1, …,