Proof (blockchain_snark.Blockchain_snark.Blockchain_snark

type statement = Mina_state.Protocol_state.Value.t

type t = ( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n ) Pickles.Proof.t

val verification_key : Pickles.Verification_key.t Core_kernel.Lazy.t

val id : Pickles.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