Module type Verification.S

val tag : tag
val verify : (t * Mina_base.Sok_message.t) list -> bool Async.Deferred.t
val id : Pickles.Verification_key.Id.t Core.Lazy.t
val verification_key : Pickles.Verification_key.t Core.Lazy.t
val verify_against_digest : t -> bool Async.Deferred.t
val constraint_system_digests : (string * Md5_lib.t) list Core.Lazy.t