You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The linear transformations in the package he are instantiated with an auxiliary prime P that is always set to the largest level allowed by the parameters: params.MaxLevelP. However, it is possible to generate Galois keys (and any other evaluation keys) with a smaller level for P, which results in a correctness error when evaluating linear transformations.
A field LevelP should be added to the linear transformation and an error should be returned by the functions in the rlwe package that take ciphertexts mod QP as input if their modulus P level does not match the evaluation key modulus P.
The text was updated successfully, but these errors were encountered:
Pro7ech
changed the title
Bug[he]: linear tranformation correctness issue with custom evaluation keys
Bug[he]: linear tranformation correctness issue
May 6, 2024
The linear transformations in the package
he
are instantiated with an auxiliary primeP
that is always set to the largest level allowed by the parameters:params.MaxLevelP
. However, it is possible to generate Galois keys (and any other evaluation keys) with a smaller level forP
, which results in a correctness error when evaluating linear transformations.A field
LevelP
should be added to the linear transformation and an error should be returned by the functions in therlwe
package that take ciphertexts modQP
as input if their modulusP
level does not match the evaluation key modulusP
.The text was updated successfully, but these errors were encountered: