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
Methods __zkllvm_curve_*::from_coordinates are unsafe now.
Because not every pair of base coordinates belong to curve, we need to check this before creation. But how we can do it? And how llvm.assigner.curve.init intrinsic will react on invalid coordinates?
Also we propose to use TryFrom<(__zkllvm_field_X_base, __zkllvm_field_X_base)> interface for curve element creation.
The text was updated successfully, but these errors were encountered:
Methods
__zkllvm_curve_*::from_coordinates
are unsafe now.Because not every pair of base coordinates belong to curve, we need to check this before creation. But how we can do it? And how
llvm.assigner.curve.init
intrinsic will react on invalid coordinates?Also we propose to use
TryFrom<(__zkllvm_field_X_base, __zkllvm_field_X_base)>
interface for curve element creation.The text was updated successfully, but these errors were encountered: