【发布时间】：2018-09-10 04:23:03
【问题描述】：
在阅读Homomorphic Encryption Standard 时，我遇到了这两个操作：
- 刷新（参数、标志、EK、C1）→ C2。
- ValidityCheck(Params, EK, [C], COMP) → 标志。
我在 SEAL Code 中搜索了它们的实现，但没有找到，尽管我认为第一个仅实现为 evaluator.relinearize()。
【问题讨论】：
标签： seal
【发布时间】：2018-09-10 04:23:03
【问题描述】：
你的观察是正确的。 SEAL 2.3.1 仅实现了刷新操作的 flag="Relinearize" 变体。 ValidityCheck 根本没有在 SEAL 2.3.1 中实现。
【讨论】：
-
没有实现ValidityCheck有什么原因吗？例如，当
Ciphertext的噪声计数低于某个预定义的阈值时，可以使用它来检测问题。 -
在
Ciphertext上执行操作时会产生什么问题。 -
没有实施 ValidityCheck 的特殊原因。做“正确”需要一些重要的机器，这些机器目前不在 SEAL 中，但一旦同态加密的开发人员工具变得更加成熟，将来可能会出现。