package octez-plonk

  1. Overview
  2. Docs

Parameters

module Params : Params

Signature

val q_label : string
val blinds : int array SMap.t
val identity : string * int
val index_com : int option
val nb_advs : int
val nb_buffers : int
val gx_composition : bool
val equations : q:Plonk.Bls.Scalar.t -> wires:Plonk.Bls.Scalar.t array -> wires_g:Plonk.Bls.Scalar.t array -> ?precomputed_advice:Plonk.Bls.Scalar.t SMap.t -> unit -> Plonk.Bls.Scalar.t list
val prover_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> domain:Plonk.Bls.Domain.t -> Identities.prover_identities
val verifier_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> generator:Plonk.Bls.Scalar.t -> size_domain:int -> Identities.verifier_identities
val polynomials_degree : int SMap.t
OCaml

Innovation. Community. Security.