Module Make_impl.PlookSource

module PP : sig ... end
Sourceexception Entry_not_in_table of string
Sourcetype public_parameters = (PP.prover_public_parameters * PP.verifier_public_parameters) * Plonk.Bls.Scalar.t array list * Plonk.Bls.Poly.t Plonk.SMap.t
Sourceval srs_size : length_table:int -> int
Sourceval polynomials_degree : unit -> int
Sourceval format_tables : tables:Plonk.Bls.Scalar.t array list list -> nb_columns:int -> length_not_padded:int -> length_padded:int -> Plonk.Bls.Scalar.t array list
Sourceval common_preprocessing : n:int -> domain:Plonk.Bls.Domain.t -> evaluations:Plonk.Bls.Evaluations.t Plonk.SMap.t -> Plonk.Bls.Evaluations.t Plonk.SMap.t
Sourceval preprocessing : domain:Plonk.Bls.Domain.t -> tables:Plonk.Bls.Scalar.t array list -> alpha:Plonk.Bls.Scalar.t option -> unit -> Plonk.Bls.Poly.t Plonk.SMap.t
Sourceval prover_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> n:int -> unit -> Plonk.Identities.prover_identities
Sourceval verifier_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> n:int -> generator:Plonk.Bls.Scalar.t -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> unit -> Plonk.Identities.verifier_identities
Sourceval f_map_contribution : wires:Plonk.Bls.Evaluations.t Plonk.SMap.t -> gates:Plonk.Bls.Scalar.t array Plonk.SMap.t -> tables:Plonk.Bls.Scalar.t array list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> domain:Plonk.Bls.Domain.t -> PP.PC.secret