Step_verifier.Scalar_challenge
type t = Challenge.t Kimchi_backend_common.Scalar_challenge.t
module Constant : sig ... end
val typ : ( t, Constant.t ) Step_main_inputs.Impl.Typ.t
val num_bits : int
val seal : Step_main_inputs.Impl.field Snarky_backendless.Cvar.t -> Step_main_inputs.Impl.field Snarky_backendless.Cvar.t
val endo : ?num_bits:int -> Step_main_inputs.Impl.field Snarky_backendless.Cvar.t Tuple_lib.Double.t -> Step_main_inputs.Impl.Field.t Kimchi_backend_common.Scalar_challenge.t -> Step_main_inputs.Inner_curve.t
val endo_inv : (Step_main_inputs.Impl.Field.t * Step_main_inputs.Impl.Field.t) -> t -> Step_main_inputs.Inner_curve.t