Pickles.Proof_intf
type statement
type t
val verification_key : Verification_key.t Core_kernel.Lazy.t
val id : Verification_key.Id.t Core_kernel.Lazy.t
val verify : (statement * t) list -> bool Async_kernel.Deferred.t
val verify_promise : (statement * t) list -> bool Promise.t