Make (kimchi_backend.Kimchi_backend_common.Dlog_plonk_based

Parameters

module Inputs : Inputs_intf

type t = {

index : Inputs.Index.t;

cs : Inputs.Constraint_system.t;

}

val name : string

val set_urs_info : Key_cache.Spec.t list -> Core_kernel__.Import.unit

val load_urs : unit -> Inputs.Urs.t

val create : 
  prev_challenges:Core_kernel__Int.t ->
  Inputs.Constraint_system.t ->
  t

val vk : t -> Inputs.Verifier_index.t

val pk : 'a -> 'b

val array_to_vector : 'a Core_kernel.Array.t -> 'b Pickles_types.Vector.e

val vk_commitments : 
  Inputs.Verifier_index.t ->
  Inputs.Curve.Affine.t Pickles_types.Plonk_verification_key_evals.t

does this convert a backend.verifier_index to a pickles_types.verifier_index?