seal - SEAL 库中的模数切换

Question

传统上，模数切换主要用于使噪声增长呈线性，而不是指数增长。然而，在 BFV 示例中，它被引入作为一种工具来去除素数（从而减少系数模的位长）并提高计算效率。它是否也有助于减少 BFV 方案中的噪声增长？我会在没有（手动）切换模数的情况下观察到噪声的指数增长吗？

Answer 1

在 BFV 中，您不需要进行模数切换，因为尺度不变性属性可以防止指数噪声增长。因此，它的主要好处在于提高计算性能和通信成本。

例如，在一些简单的协议中，爱丽丝可能会加密数据并将其发送给鲍勃，鲍勃对其进行计算并将结果发回。如果 Alice 只需要解密结果，那么当 Alice 收到结果时，参数也可以尽可能小，所以 Bob 在将数据发送回 Alice 之前，应该切换到尽可能小的参数，以最小化通信成本。