Common.Ipa
type 'a challenge := ( Limb_vector.Challenge.Constant.t Kimchi_backend_common.Scalar_challenge.t Composition_types.Bulletproof_challenge.t, 'a ) Pickles_types.Vector.t
type ('a, 'b) compute_sg := 'a challenge -> 'b * 'b
module Wrap : sig ... end
module Step : sig ... end