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