Wrap (pickles.Pickles.Common.Ipa.Wrap)

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

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

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

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