Permutation_gate_impl.Permutation_polyval compute_prime :
prefix:(string -> string) ->
Identities.Evaluations.t ->
Identities.Evaluations.t ->
Identities.Evaluations.t ->
Identities.Evaluations.scalar ->
Identities.Evaluations.scalar ->
Identities.Evaluations.t Kzg.SMap.t ->
Kzg.SMap.key list ->
Kzg.SMap.key list ->
(string * string) ->
int ->
Identities.Evaluations.tval compute_Z :
int array ->
Kzg.Bls.Domain.t ->
Kzg.Bls.Scalar.t ->
Kzg.Bls.Scalar.t ->
Identities.Evaluations.t Plonk.Identities.SMap.t ->
Identities.Evaluations.polynomial