Fq_poly_comm (kimchi_backend.Kimchi_pasta_basic.Fq_poly

module Backend : sig ... end

type nonrec t = [

|

`With_degree_bound of
  (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t) Pickles_types.Or_infinity.t
    Pickles_types.Plonk_types.Poly_comm.With_degree_bound.t

|

`Without_degree_bound of
  (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t)
    Pickles_types.Plonk_types.Poly_comm.Without_degree_bound.t

]

module G_affine : sig ... end

val g : (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t) -> G_affine.t

val g_vec : 
  (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t) Core_kernel.Array.t ->
  G_affine.t Core_kernel.Array.t

val or_infinity_to_backend : 
  ('a * 'a) Pickles_types.Or_infinity.t ->
  'a Kimchi_types.or_infinity

val or_infinity_of_backend : 
  'a Kimchi_types.or_infinity ->
  ('a * 'a) Pickles_types.Or_infinity.t

val with_degree_bound_to_backend : 
  (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t) Pickles_types.Or_infinity.t
    Pickles_types.Plonk_types.Poly_comm.With_degree_bound.t ->
  Backend.t

val without_degree_bound_to_backend : 
  (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t)
    Pickles_types.Plonk_types.Poly_comm.Without_degree_bound.t ->
  Backend.t

val to_backend : t -> Backend.t

val of_backend' : 
  Backend.t ->
  Fp.t Kimchi_types.or_infinity array
  * (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t) Pickles_types.Or_infinity.t
      option

val of_backend_with_degree_bound : Backend.t -> t

val of_backend_without_degree_bound : 
  Backend.t ->
  [> `Without_degree_bound of
       (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t) Core_kernel.Array.t ]