Verification_key (pickles.Pickles.Verification

module Stable : sig ... end

type t = Stable.Latest.t

val to_yojson : t -> Yojson.Safe.t

val index : t -> Impls.Wrap.Verification_key.t

val dummy : t Core_kernel.Lazy.t

module Id : sig ... end

val load : 
  cache:Key_cache.Spec.t list ->
  Id.t ->
  (t * [ `Cache_hit | `Locally_generated ]) Async_kernel.Deferred.Or_error.t