Module Perm.Shared_argument

val build_batched_wires_values : ?batched_keys:(string -> string) -> delta:Plonk.Bls.Poly.scalar -> wires:Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t -> unit -> Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t
val batched_wires_poly_of_batched_wires : (bool * int * Plonk.Bls.Domain.t) -> Plonk.Bls.Evaluations.t Plonk.SMap.t -> (Plonk.Bls.Scalar.t * Plonk.Bls.Poly.t Plonk.SMap.t option list) -> Plonk.Bls.Poly.t Plonk.SMap.t
val build_batched_witness_polys : ?use_batched_wires:bool -> zero_knowledge:bool -> domain:Plonk.Bls.Domain.t -> delta:Plonk.Bls.Scalar.t -> batched_wires:Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t -> f: (Plonk.Bls.Poly.t Plonk.SMap.t list Plonk.SMap.t * Plonk.Bls.Poly.t Plonk.SMap.t option list Plonk.SMap.t) -> unit -> Plonk.Bls.Poly.t Plonk.SMap.t