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
Unless I should be using another method for serialization, deserialization of zero values in this field does not work due to their canonical representation. The code below will panic with the error message: InvalidValue("invalid field element: value 18446744069414584321 is greater than or equal to the field modulus")'
Technically, the error message is correct: M should not be an obtainable value if we serialized a correct element to start with. I think it may be better to alter the as_int() method, to ensure that the output after Montgomery -> canonical conversion is indeed canonical, i.e in [0..M-1].
Unless I should be using another method for serialization, deserialization of zero values in this field does not work due to their canonical representation. The code below will panic with the error message:
InvalidValue("invalid field element: value 18446744069414584321 is greater than or equal to the field modulus")'
The issue is the following line, which should be changed to a greater than inequality:
winterfell/math/src/field/f64/mod.rs
Line 584 in cd76df2
The text was updated successfully, but these errors were encountered: