Plookup_poly (mavkit-libs.Plonk.Plookup_gate.Plookup_gate_impl.Plookup

val ln_p_1 : 
  int ->
  Identities.Evaluations.domain ->
  Identities.Evaluations.polynomial

val compute_aggregation : 
  Kzg.Bls.Scalar.t array list ->
  Kzg.Bls.Scalar.t ->
  Kzg.Bls.Scalar.t array

val compute_f_aggregation : 
  Kzg.Bls.Scalar.t array Plonk.Identities.SMap.t ->
  Kzg.Bls.Scalar.t array Plonk.Identities.SMap.t ->
  Kzg.Bls.Scalar.t ->
  int ->
  Kzg.Bls.Scalar.t array

val sort_by : 
  Kzg.Bls.Scalar_map.key array ->
  Kzg.Bls.Scalar_map.key array ->
  Kzg.Bls.Scalar_map.key array

val switch : 'a array -> 'b array

val t_poly_from_tables : 
  Kzg.Bls.Scalar.t array list ->
  Kzg.Bls.Scalar.t ->
  Identities.Evaluations.domain ->
  Identities.Evaluations.polynomial

val compute_s : 
  Kzg.Bls.Scalar_map.key array ->
  Kzg.Bls.Scalar_map.key array ->
  Kzg.Bls.Scalar_map.key array

val compute_h : 
  Identities.Evaluations.scalar array ->
  Identities.Evaluations.domain ->
  int ->
  Identities.Evaluations.polynomial * Identities.Evaluations.polynomial

val compute_z : 
  Kzg.Bls.Scalar.t ->
  Kzg.Bls.Scalar.t ->
  Kzg.Bls.Scalar.t array ->
  Kzg.Bls.Scalar.t array ->
  Kzg.Bls.Scalar.t array ->
  int ->
  Identities.Evaluations.domain ->
  Identities.Evaluations.polynomial