Scalar_challenge.Constant
type t = Challenge.Constant.t Kimchi_backend_common.Scalar_challenge.t
val to_field : ( Core_kernel.Int64.t, Pickles_types.Nat.N2.n ) Pickles_types.Vector.t Kimchi_backend_common.Scalar_challenge.t -> Step_main_inputs.Inner_curve.Constant.Scalar.t