package octez-plonk

  1. Overview
  2. Docs
val batched_wires_poly_of_batched_wires : (bool * int * Plonk.Bls.Domain.t) -> Plonk.Bls.Evaluations.t Plonk.SMap.t -> (Plonk.Bls.Scalar.t * Plonk.Bls.Poly.t Plonk.SMap.t option list) -> Plonk.Bls.Poly.t Plonk.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:Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t -> f: (Plonk.Bls.Poly.t Plonk.SMap.t list Plonk.SMap.t * Plonk.Bls.Poly.t Plonk.SMap.t option list Plonk.SMap.t) -> unit -> Plonk.Bls.Poly.t Plonk.SMap.t
OCaml

Innovation. Community. Security.