Module Custom_gates.MakeSource

Parameters

Signature

Sourcemodule PP = PP
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:L.scalar L.repr -> a:L.scalar L.repr -> b:L.scalar L.repr -> c:L.scalar L.repr -> ag:L.scalar L.repr -> bg:L.scalar L.repr -> cg:L.scalar L.repr -> L.scalar L.repr list L.t
Sourceval aggregate_blinds : gates:'a SMap.t -> int SMap.t
Sourceval aggregate_prover_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> gates:'a 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 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 SMap.t -> int
Sourceval exists_gx_composition : gates:'a SMap.t -> bool