Операции Refresh и ValidityCheck в коде SEAL

Question

Читая стандарт гомоморфного шифрования, я столкнулся с этими двумя операциями:

1. Обновить (Params, флаг, EK, C1) → C2.
2. Проверка достоверности (Params, EK, [C], COMP) → флаг.

Я искал их реализацию в SEAL Code, но не смог найти ни одного, хотя я думаю, что первый реализован только как evaluator.relinearize(),

Answer 1

Ваше наблюдение верно. SEAL 2.3.1 реализует только вариант flag="Relinearize" операции Обновить. ValidityCheck вообще не реализован в SEAL 2.3.1.