Операции обновления и проверки достоверности в коде SEAL

Question

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

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

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

Answer 1

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