Search code examples
seal

Refresh and ValidityCheck operations in the SEAL Code

While reading the Homomorphic Encryption Standard I came across those two operations:

  1. Refresh(Params, flag, EK, C1) → C2.
  2. ValidityCheck(Params, EK, [C], COMP) → flag.

I've searched their implementation in the SEAL Code but couldn’t find any, although I think that the first one is only implemented as evaluator.relinearize().

Solution

  • Your observation is correct. SEAL 2.3.1 only implements the flag="Relinearize" variant of the Refresh operation. ValidityCheck is not implemented in SEAL 2.3.1 at all.