Snark_pool (network_pool.Network_pool.Batcher.Snark

type proof_envelope =
  (Ledger_proof.t One_or_two.t * Mina_base.Sok_message.t)
    Network_peer.Envelope.Incoming.t

val sexp_of_proof_envelope : proof_envelope -> Ppx_sexp_conv_lib.Sexp.t

val proof_envelope_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> proof_envelope

type t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val create : Verifier.t -> t

val verify : t -> proof_envelope -> bool Async_kernel.Deferred.Or_error.t