Module Mod_arith_gates.Make_ModMulSource

Parameters

module MOD_ARITH : sig ... end

Signature

Sourceval q_label : string
Sourceval identity : string * int
Sourceval index_com : int option
Sourceval nb_advs : int
Sourceval nb_buffers : int
Sourceval gx_composition : bool
Sourceval equations : q:Plonk.Bls.Scalar.t -> wires:Plonk.Bls.Scalar.t array -> wires_g:Plonk.Bls.Scalar.t array -> ?precomputed_advice:Plonk.Bls.Scalar.t SMap.t -> unit -> Plonk.Bls.Scalar.t list
Sourceval prover_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> domain:Plonk.Bls.Domain.t -> Identities.prover_identities
Sourceval verifier_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> generator:Plonk.Bls.Scalar.t -> size_domain:int -> Identities.verifier_identities
Sourceval polynomials_degree : int SMap.t