Module Main_protocol.GatesSource

Sourceval arith_label : string
Sourceval gates_list : string list
Sourceval nb_custom_gates : int
Sourceval get_eqs : string -> q:PP.PC.Scalar.t -> a:PP.PC.Scalar.t -> b:PP.PC.Scalar.t -> c:PP.PC.Scalar.t -> ag:PP.PC.Scalar.t -> bg:PP.PC.Scalar.t -> cg:PP.PC.Scalar.t -> ?table:PP.PC.Scalar.t array array -> unit -> PP.PC.Scalar.t list
Sourceval get_ids : string -> string * int
Sourceval get_cs : string -> q:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> a:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> b:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> c:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> ag:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> bg:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> cg:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr list Plonk__Custom_gates.L.t
Sourceval aggregate_blinds : gates:'a Plonk.SMap.t -> int Plonk.SMap.t
Sourceval aggregate_prover_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> gates:'a Plonk.SMap.t -> public_inputs:PP.PC.Scalar.t array -> domain:PP.PC.Polynomial.Domain.t -> unit -> PP.prover_identities
Sourceval aggregate_verifier_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> gates:'a Plonk.SMap.t -> public_inputs:PP.PC.Scalar.t array -> generator:PP.PC.Scalar.t -> size_domain:int -> unit -> PP.verifier_identities
Sourceval aggregate_polynomials_degree : gates:'a Plonk.SMap.t -> int
Sourceval exists_gx_composition : gates:'a Plonk.SMap.t -> bool
Sourceval cs_pi : generator:PP.PC.Scalar.t -> n:PP.PC.Scalar.t -> x:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> zs:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr list -> Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr Plonk__Custom_gates.L.t