Module Make.PermSource

Sourceval z_name : string
Sourceval zg_name : string
Sourceval srs_size : zero_knowledge:bool -> n:int -> int
Sourceval polynomials_degree : nb_wires:int -> int
Sourceval preprocessing : ?circuit_name:string -> domain:PP.PC.Polynomial.Domain.t -> permutation:int array -> nb_wires:int -> unit -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t
Sourceval common_preprocessing : compute_l1:bool -> domain:PP.PC.Polynomial.Domain.t -> nb_wires:int -> domain_evals:PP.Evaluations.domain -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t * PP.Evaluations.t Plonk.SMap.t
Sourceval prover_identities : ?circuit_name:string -> wire_names:string list -> generator:PP.PC.Scalar.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> n:int -> unit -> PP.prover_identities
Sourceval verifier_identities : ?circuit_name:string -> nb_proofs:int -> generator:PP.PC.Scalar.t -> n:int -> wire_names:string list -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> delta:PP.PC.Scalar.t -> unit -> PP.verifier_identities
Sourceval f_map_contribution : permutation:int array -> values:PP.Evaluations.t -> indices:int array Plonk.SMap.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> domain:PP.PC.Polynomial.Domain.t -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t