package octez-plonk

  1. Overview
  2. Docs
type public = {
  1. public_inputs : Plonk.Bls.Scalar.t array;
  2. input_coms_size : int;
}
val wire_name : int -> string
val com_label : string
val tmp_buffers : Bls.Evaluations.t array Stdlib.ref
type answers = {
  1. q : Plonk.Bls.Scalar.t;
  2. wires : Plonk.Bls.Scalar.t array;
  3. wires_g : Plonk.Bls.Scalar.t array;
}
type witness = {
  1. q : Bls.Evaluations.t;
  2. wires : Bls.Evaluations.t array;
}
val get_buffers : nb_buffers:int -> nb_ids:int -> Bls.Evaluations.t array * Bls.Evaluations.t array
val get_answers : q_label:'a -> blinds:int array SMap.t -> prefix:(string -> string) -> prefix_common:('b -> string) -> Plonk.Bls.Scalar.t SMap.t SMap.t -> answers
val get_evaluations : q_label:'a -> blinds:int array SMap.t -> prefix:(string -> string) -> prefix_common:('b -> string) -> Bls.Evaluations.t SMap.t -> witness
val arith : string
val qadv_label : string
val map_singleton : 'a L.t -> 'b list L.t
module type Base_sig = sig ... end
OCaml

Innovation. Community. Security.