11、高效安全定点计算的新方法

高效安全定点计算的新方法

1. 定点计算方案概述

在定点计算中，计算复杂度与域 (m) 相关，具体计算需要 (O(|input| \log(|input|))) 次乘法，且在 (O(\log(|input|))) 轮内完成。由于输入是定点数，每次乘法后都需要进行截断操作。该方案的一个显著特点是不需要乘法三元组，而 Catrina 和 Saxena 的方案则需要。

从性能上看，在快速傅里叶变换（FFT）场景下，此方案比 Catrina 和 Saxena 的方案明显更快。这一方面是由于“微基准测试”部分的相关原因和发现，另一方面是因为该方案在多方计算（MPC）中不需要对两个秘密数进行乘法运算。

2. 与相关技术的对比

存在一些比 Catrina 和 Saxena [17] 更高效的概率截断方案，但这些方案需要访问功能 (FABB(n, 2))。在大域中模拟模 2 运算时，加法（异或）需要进行乘法运算，随机比特采样也是如此。通常，模 2 运算的方案比大模 (p) 运算的方案效率更高。

• ABY 协议 ：这是一个半诚实安全的两方协议，当使用混淆电路进行比特计算时，允许在比特和大域上进行混合计算。
• Rotaru 和 Wood 的协议 ：他们展示了一种在模大 (p) 的 MPC 方案中，借助混淆电路进行比特生成和计算的高效协议。该协议适用于任意数量的参与方，能在不诚实多数的情况下抵御恶意对手。他们提出了 daBits 的概念，即一对 (([b]_2, [b]_p))，其中 (p) 很大。
• Escu