Module Main_Pack.Preprocess

val degree_evaluations : nb_wires:int -> gates:'a Plonk.SMap.t -> ultra:bool -> int
val domain_evaluations : zero_knowledge:bool -> n:int -> int -> Plonk.Bls.Domain.t
val preprocessing : int -> Plonk.Bls.Evaluations.domain -> Plonk.Circuit.t -> Plonk.Bls.Evaluations.polynomial Plonk.SMap.t * Plonk.Bls.Scalar.t array Plonk.SMap.t * int array array * Plonk.Bls.Scalar.t array list * (int * int) list Plonk.SMap.t
val compute_sizes : string -> (Plonk.Circuit.t * int) -> int * int * int
val get_sizes : zero_knowledge:bool -> (Plonk.Circuit.t * int) Plonk.SMap.t -> Plonk.Bls.Domain.t * int * int * Plonk.Bls.Domain.t * bool * int