Verifier (verifier.Verifier)

module Failure : sig ... end

module Dummy : module type of Dummy

module Prod : module type of Prod

type t

type ledger_proof = Ledger_proof.t

type invalid = [

| `Invalid_keys of Signature_lib.Public_key.Compressed.t list

| `Invalid_signature of Signature_lib.Public_key.Compressed.t list

| `Invalid_proof

| `Missing_verification_key of Signature_lib.Public_key.Compressed.t list

]

val invalid_to_yojson : invalid -> Yojson.Safe.t

val bin_shape_invalid : Core_kernel.Bin_prot.Shape.t

val bin_size_invalid : invalid Core_kernel.Bin_prot.Size.sizer

val bin_write_invalid : invalid Core_kernel.Bin_prot.Write.writer

val bin_writer_invalid : invalid Core_kernel.Bin_prot.Type_class.writer

val bin_read_invalid : invalid Core_kernel.Bin_prot.Read.reader

val __bin_read_invalid__ : ( int -> invalid ) Core_kernel.Bin_prot.Read.reader

val bin_reader_invalid : invalid Core_kernel.Bin_prot.Type_class.reader

val bin_invalid : invalid Core_kernel.Bin_prot.Type_class.t

val invalid_to_string : invalid -> string

val verify_commands : 
  t ->
  Mina_base.User_command.Verifiable.t list ->
  [ `Valid of Mina_base.User_command.Valid.t
  | `Valid_assuming of
    (Pickles.Side_loaded.Verification_key.t
     * Mina_base.Zkapp_statement.t
     * Pickles.Side_loaded.Proof.t)
      list
  | invalid ]
    list
    Async_kernel.Deferred.Or_error.t

val verify_blockchain_snarks : 
  t ->
  Blockchain_snark.Blockchain.t list ->
  bool Core_kernel.Or_error.t Async_kernel.Deferred.t

val verify_transaction_snarks : 
  t ->
  (ledger_proof * Mina_base.Sok_message.t) list ->
  bool Core_kernel.Or_error.t Async_kernel.Deferred.t

val get_blockchain_verification_key : 
  t ->
  Pickles.Verification_key.t Core_kernel.Or_error.t Async_kernel.Deferred.t

val create : 
  logger:Logger.t ->
  proof_level:Genesis_constants.Proof_level.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  pids:Child_processes.Termination.t ->
  conf_dir:string option ->
  t Async_kernel.Deferred.t