Permutation_gate_impl.Preprocessingval compute_l1 : Kzg.Bls.Domain.t -> Identities.Evaluations.polynomialval sid_list_non_quadratic_residues : int -> Kzg.Bls.Poly.t listval sid_map_non_quadratic_residues_prover :
int ->
Kzg.Bls.Poly.t Plonk.Identities.SMap.tval evaluations_sid :
int ->
Identities.Evaluations.t Kzg.SMap.t ->
Identities.Evaluations.t Plonk.Identities.SMap.tval ssigma_map_non_quadratic_residues :
string ->
int array ->
Kzg.Bls.Domain.t ->
int ->
Identities.Evaluations.polynomial Plonk.Identities.SMap.t