Make (transaction_snark_tests.Transaction_snark_tests.Test_zkapp

Parameters

module Input : Input_intf

Signature

val vk : 
  ( Mina_base.Side_loaded_verification_key.t, Snark_params.Tick.Field.t )
    With_hash.t

val zkapp_prover : 
  ?handler:
    ( Snarky_backendless.Request.request ->
      Snarky_backendless.Request.response ) ->
  Mina_base.Zkapp_statement.t ->
  (unit
   * unit
   * ( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n ) Pickles.Proof.t)
    Async.Deferred.t

val memo : Mina_base.Signed_command_memo.t