SEAL Code 中的 Refresh 和 ValidityCheck 操作

Question

在阅读 Homomorphic Encryption Standard 时，我遇到了这两个操作：

1. 刷新（参数、标志、EK、C1）→ C2。
2. ValidityCheck(Params, EK, [C], COMP) → flag.

我在 SEAL Code 中搜索了它们的实现，但找不到，尽管我认为第一个仅实现为 evaluator.relinearize()。

Answer 1

您的观察是正确的。 SEAL 2.3.1 仅实现刷新操作的 flag="Relinearize" 变体。 SEAL 2.3.1 中根本没有实现 ValidityCheck。