44、基于防篡改硬件令牌的密码学安全计算

基于防篡改硬件令牌的密码学安全计算

1. 无状态令牌与非交互协议定义

• 无状态令牌理想功能 ：为无状态令牌定义了理想功能 $F_{stateless}^{wrap}$。在此功能下，令牌计算发送者指定的某个（确定性）函数，接收者可以无限制地查询该令牌。不过，如果接收者有足够资源“了解”令牌的描述（可能是令牌太小或接收者能力太强），无状态令牌就会变得无用。
• 非交互协议 ：指通信仅涉及一批令牌（可能还附带一条额外消息）从发送者单向传输到接收者的协议。

2. 有状态令牌的无条件非交互安全计算

2.1 交互场景

• 安全计算的基础 ：对于大多数非平凡功能，即使参与方是半诚实的，无条件安全的两方计算也难以实现。但如果参与方可以访问简单的理想功能，如不经意传输（OT），那么不仅能实现半诚实参与方的无条件安全计算，还能实现对抗恶意参与方的无条件通用可组合（UC）安全计算。
• OT 功能与 OTM 令牌 ：
  • OT 功能 ：在 OT - 混合模型中，发送者 $P_1$ 输入一对 $k$ 位字符串 $(s_0, s_1)$，接收者 $P_2$ 输入选择位 $c$，接收者输出所选字符串 $s_c$。
  • OTM 令牌 ：使用有状态硬件令牌实现单次 OT 调用的自然方式是，发送者向接收者发送一个令牌，该令牌在输入 $c