Perm.Shared_argumentval build_batched_wires_values :
?batched_keys:(string -> string) ->
delta:Kzg.Bls.Poly.scalar ->
wires:
Identities.Evaluations.t Plonk.Identities.SMap.t list
Plonk.Identities.SMap.t ->
unit ->
Identities.Evaluations.t Plonk.Identities.SMap.t Plonk.Identities.SMap.tval batched_wires_poly_of_batched_wires :
(bool * int * Kzg.Bls.Domain.t) ->
Identities.Evaluations.t Plonk.Identities.SMap.t ->
(Kzg.Bls.Scalar.t * Kzg.Bls.Poly.t Plonk.Identities.SMap.t option list) ->
Kzg.Bls.Poly.t Plonk.Identities.SMap.tval build_batched_witness_polys :
?use_batched_wires:bool ->
zero_knowledge:bool ->
domain:Kzg.Bls.Domain.t ->
delta:Kzg.Bls.Scalar.t ->
batched_wires:
Identities.Evaluations.t Plonk.Identities.SMap.t Plonk.Identities.SMap.t ->
f:
(Kzg.Bls.Poly.t Plonk.Identities.SMap.t list Plonk.Identities.SMap.t
* Kzg.Bls.Poly.t Plonk.Identities.SMap.t option list
Plonk.Identities.SMap.t) ->
unit ->
Kzg.Bls.Poly.t Plonk.Identities.SMap.tval merge_batched_values :
'a Plonk.Identities.SMap.t Plonk.Identities.SMap.t ->
'a Plonk.Identities.SMap.t Plonk.Identities.SMap.t ->
'a Plonk.Identities.SMap.t Plonk.Identities.SMap.t