Module `Main_protocol.Gates`Source

Sourceval arith_label : string

Sourceval qadv_label : string

Sourceval com_label : string

Sourceval gates_list : string list

Sourceval nb_custom_gates : int

Sourceval nb_input_com : int

val get_eqs : 
  string ->
  q:Plonk.Bls.Scalar.t ->
  wires:Plonk.Bls.Scalar.t array ->
  wires_g:Plonk.Bls.Scalar.t array ->
  ?precomputed_advice:Plonk.Bls.Scalar.t Plonk.SMap.t ->
  unit ->
  Plonk.Bls.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 ->
  wires:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr array ->
  wires_g:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr array ->
  ?precomputed_advice:
    Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr Plonk.SMap.t ->
  unit ->
  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_prefix:(string -> string) ->
  input_coms_size:int ->
  proof_prefix:(string -> string) ->
  gates:'a Plonk.SMap.t ->
  public_inputs:Plonk.Bls.Scalar.t array ->
  domain:Plonk.Bls.Domain.t ->
  unit ->
  Plonk.Identities.prover_identities

Source

val aggregate_verifier_identities : 
  ?circuit_prefix:(string -> string) ->
  input_com_sizes:int list ->
  proof_prefix:(string -> string) ->
  gates:'a Plonk.SMap.t ->
  public_inputs:Plonk.Bls.Scalar.t array ->
  generator:Plonk.Bls.Scalar.t ->
  size_domain:int ->
  unit ->
  Plonk.Identities.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:Plonk.Bls.Scalar.t ->
  n:Plonk.Bls.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/octez-plonk.aggregation/Aggregation/Main_protocol/Gates/index.html

Module `Main_protocol.Gates`Source

package octez-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-plonk.aggregation/Aggregation/Main_protocol/Gates/index.html

Module Main_protocol.GatesSource

Module `Main_protocol.Gates`Source