Module `Make.Gates`

module PP : sig ... end

val arith_label : string

val gates_list : string list

val 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

val get_ids : string -> string * int

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

val aggregate_blinds : gates:'a Plonk.SMap.t -> int Plonk.SMap.t

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

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

val aggregate_polynomials_degree : gates:'a Plonk.SMap.t -> int

val exists_gx_composition : gates:'a Plonk.SMap.t -> bool

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.distribution/Distribution/Main_protocol/Make/Gates/index.html

Module `Make.Gates`

package tezos-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.distribution/Distribution/Main_protocol/Make/Gates/index.html

Module Make.Gates

Module `Make.Gates`