package octez-plonk

  1. Overview
  2. Docs
val build_batched_wires_values : delta:Bls.Evaluations.scalar -> 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 * Bls.Evaluations.domain) -> Bls.Evaluations.t SMap.t -> (Plonk.Bls.Poly.scalar * Plonk.Bls.Poly.t SMap.t option list) -> Bls.Evaluations.polynomial SMap.t
val build_batched_witness_polys : ?use_batched_wires:bool -> zero_knowledge:bool -> domain:Plonk.Bls.Domain.t -> delta:Plonk.Bls.Poly.scalar -> 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 -> Bls.Evaluations.polynomial Plonk__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.