Gates (p.tezos-plonk.1.0.0.doc.tezos-plonk.aggregation.Aggregation.Main

Sourceval arith_label : string

Sourceval gates_list : string list

Sourceval nb_custom_gates : int

val 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

Source

val 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

Source

val 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

Source

val 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

Source

val 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