Blockchain_snark_state (blockchain_snark.Blockchain_snark.Blockchain_snark

module Witness : sig ... end

type tag =
  ( Mina_state.Protocol_state.value Mina_base.Data_as_hash.t,
    Mina_state.Protocol_state.value,
    Pickles_types.Nat.N2.n,
    Pickles_types.Nat.N1.n )
    Pickles.Tag.t

val verify : 
  (Mina_state.Protocol_state.Value.t * Mina_base.Proof.t) list ->
  key:Pickles.Verification_key.t ->
  bool Async.Deferred.t

val check : 
  Witness.t ->
  ?handler:
    ( Snarky_backendless.Request.request ->
      Snarky_backendless.Request.response ) ->
  proof_level:Genesis_constants.Proof_level.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Mina_state.Protocol_state.value ->
  unit Core_kernel.Or_error.t

module type S = sig ... end

module Make (T : sig ... end) : S

val constraint_system_digests : 
  proof_level:Genesis_constants.Proof_level.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  unit ->
  (string * Core_kernel.Md5.t) list