package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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