Make_statement_scanner (transaction_snark_scan_state.Transaction_snark_scan_state.Make_statement

Parameters

module Verifier : sig ... end

Signature

val scan_statement : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  t ->
  statement_check:
    [ `Full of
        Mina_base.State_hash.t ->
        Mina_state.Protocol_state.value Core_kernel.Or_error.t
    | `Partial ] ->
  verifier:Verifier.t ->
  ( Transaction_snark.Statement.t, [ `Empty | `Error of Core_kernel.Error.t ] )
    Async_kernel.Deferred.Result.t

val check_invariants : 
  t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  statement_check:
    [ `Full of
        Mina_base.State_hash.t ->
        Mina_state.Protocol_state.value Core_kernel.Or_error.t
    | `Partial ] ->
  verifier:Verifier.t ->
  error_prefix:string ->
  registers_begin:Mina_state.Registers.Value.t option ->
  registers_end:Mina_state.Registers.Value.t ->
  ( unit, Core_kernel.Error.t ) Async_kernel.Deferred.Result.t