seal - SEAL 代码中的刷新和有效性检查操作

Question

在阅读同态加密标准时，我遇到了这两个操作：

1. 刷新（参数、标志、EK、C1）→ C2。
2. 有效性检查（参数，EK，[C]，COMP）→标志。

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

Answer 1

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