Shared_argument (p.octez-plonk.17.3.doc.octez-plonk.aggregation.Aggregation.Main_protocol.Perm.Shared

Source

val build_batched_wires_values : 
  delta:Plonk.Bls.Scalar.t ->
  wires:Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t

Source

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

Source

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

Source

val merge_batched_values : 
  'a Plonk.SMap.t Plonk.SMap.t ->
  'a Plonk.SMap.t Plonk.SMap.t ->
  'a Plonk.SMap.t Plonk.SMap.t