Step (pickles.Pickles.Common.Ipa.Step)

val compute_challenge : 
  Limb_vector.Challenge.Constant.t Kimchi_backend_common.Scalar_challenge.t ->
  Backend.Tick.Field.t

val endo_to_field : 
  Limb_vector.Challenge.Constant.t Kimchi_backend_common.Scalar_challenge.t ->
  Backend.Tick.Field.t

val compute_challenges : 
  'a challenge ->
  ( Backend.Tick.Field.t, 'a ) Pickles_types.Vector.t

val compute_sg : ( 'a, Pasta_bindings.Fq.t ) compute_sg

val accumulator_check : 
  ((Pasta_bindings.Fq.t * Pasta_bindings.Fq.t)
   * ( Pasta_bindings.Fp.t, 'a ) Pickles_types.Vector.t)
    list ->
  bool Promise.t