Endo.Wrap_inner_curve
Wrap_inner_curve contains the endo coefficients used by the wrap proof system
Wrap_inner_curve
val base : Backend.Tock.Field.t
val scalar : Backend.Tick.Field.t
val to_field : Limb_vector.Challenge.Constant.t Kimchi_backend_common.Scalar_challenge.t -> Backend.Tick.Field.t