package octez-plonk

  1. Overview
  2. Docs
val build_batched_wires_values : delta:Plonk.Bls.Scalar.t -> wires:Bls.Evaluations.t SMap.t list SMap.t -> Bls.Evaluations.t SMap.t SMap.t
val batched_wires_poly_of_batched_wires : (bool * int * Plonk.Bls.Domain.t) -> Bls.Evaluations.t SMap.t -> (Plonk.Bls.Scalar.t * Plonk.Bls.Poly.t SMap.t option list) -> Plonk.Bls.Poly.t SMap.t
val build_batched_witness_polys : ?use_batched_wires:bool -> zero_knowledge:bool -> domain:Plonk.Bls.Domain.t -> delta:Plonk.Bls.Scalar.t -> batched_wires:Bls.Evaluations.t SMap.t SMap.t -> f: (Plonk.Bls.Poly.t SMap.t list SMap.t * Plonk.Bls.Poly.t SMap.t option list SMap.t) -> unit -> Plonk.Bls.Poly.t SMap.t
val merge_batched_values : 'a SMap.t SMap.t -> 'a SMap.t SMap.t -> 'a SMap.t SMap.t
OCaml

Innovation. Community. Security.