Keypair (pickles.Pickles.Impls.Step.Keypair)

type t = {

pk : Proving_key.t;

vk : Verification_key.t;

}

val vk : t -> Verification_key.t

val pk : t -> Proving_key.t

module Fields : sig ... end

val create : pk:Proving_key.t -> vk:Verification_key.t -> t

val generate : 
  prev_challenges:int ->
  Kimchi_pasta_constraint_system.Vesta_constraint_system.t ->
  t