SEAL代码中的刷新和ValidityCheck操作

Question

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

1. 刷新（参数，标志，EK，C1）→C2。
2. ValidityCheck（Params，EK，[C]，COMP）→标志。

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