Keypair (kimchi_backend.Kimchi_pasta.Vesta_based

type t = {

index : Kimchi_bindings.Protocol.Index.Fp.t;

cs : Kimchi_pasta_constraint_system__Vesta_constraint_system.t;

}

val name : string

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

val load_urs : unit -> Kimchi_bindings.Protocol.SRS.Fp.t

val create : 
  prev_challenges:Core_kernel__Int.t ->
  Kimchi_pasta_constraint_system__Vesta_constraint_system.t ->
  t

val vk : 
  t ->
  ( Pasta_bindings.Fp.t,
    Kimchi_bindings.Protocol.SRS.Fp.t,
    Pasta_bindings.Fq.t Kimchi_types.or_infinity Kimchi_types.poly_comm )
    Kimchi_types.VerifierIndex.verifier_index

val pk : 'a -> 'a

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

val vk_commitments : 
  ( Pasta_bindings.Fp.t,
    Kimchi_bindings.Protocol.SRS.Fp.t,
    Pasta_bindings.Fq.t Kimchi_types.or_infinity Kimchi_types.poly_comm )
    Kimchi_types.VerifierIndex.verifier_index ->
  (Kimchi_pasta_basic.Fq.Stable.Latest.t
   * Kimchi_pasta_basic.Fq.Stable.Latest.t)
    Pickles_types.Plonk_verification_key_evals.t