Make (kimchi_backend.Kimchi_backend_common.Poly

Parameters

module Inputs : Inputs_intf

Signature

module Backend = Inputs.Backend

type nonrec t = Inputs.Base_field.t t

module G_affine = Inputs.Curve.Affine.Backend

val g : (Inputs.Base_field.t * Inputs.Base_field.t) -> G_affine.t

val g_vec : 
  (Inputs.Base_field.t * Inputs.Base_field.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 : 
  (Inputs.Base_field.t * Inputs.Base_field.t) Pickles_types.Or_infinity.t
    Pickles_types.Plonk_types.Poly_comm.With_degree_bound.t ->
  Backend.t

val without_degree_bound_to_backend : 
  (Inputs.Base_field.t * Inputs.Base_field.t)
    Pickles_types.Plonk_types.Poly_comm.Without_degree_bound.t ->
  Backend.t

val to_backend : t -> Backend.t

val of_backend' : 
  Backend.t ->
  Inputs.Curve.Affine.Backend.t array
  * (Inputs.Base_field.t * Inputs.Base_field.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
       (Inputs.Base_field.t * Inputs.Base_field.t) Core_kernel.Array.t ]