wip tests

src/app/zeko/tests/compile_circuits.ml

@@ -3,8 +3,37 @@ let () =
       Zeko_circuits.Compile_simple.force_tag
         Zeko_circuits.Zeko_transaction_snark.tag )
 
+(*
+let Zeko_circuits.Compile_simple.[ sync; _action ] =
+  Zeko_circuits.Inner_rules.provers
+
+(* FIXME *)
+let public_key = Signature_lib.Public_key.Compressed.empty
+
+let init_action_state = Mina_base.Zkapp_account.Actions.empty_state_element
+
+let action1 : Zeko_circuits.Rollup_state.Inner_action.t =
+  { aux = Snark_params.Tick.Field.zero
+  ; children =
+      Mina_base.Zkapp_command.Call_forest.With_hashes.of_account_updates []
+  }
+
+let action2 : Zeko_circuits.Rollup_state.Inner_action.t =
+  { aux = Snark_params.Tick.Field.zero
+  ; children =
+      Mina_base.Zkapp_command.Call_forest.With_hashes.of_account_updates []
+  }
+
+let ase = Zeko_circuits.Ase.With_length.leaf_option
+
+let witness : Zeko_circuits.Rule_inner_sync.Witness.t =
+  { public_key; ase; vk_hash }
+
+let () = Promise.block_on_async_exn @@ fun () -> sync witness
+
 (*
   let _out, _proof =
     let@ () = Promise.block_on_async_exn in
     base input
     *)
+    *)

src/app/zeko/tests/dune

@@ -7,3 +7,13 @@
   (pps ppx_deriving.show ppx_deriving_snarky ppx_snarky ppx_mina ppx_version ppx_jane ppx_compare h_list.ppx))
  (modules compile_circuits)
  )
+
+(executable
+ (name transfers)
+ (libraries zeko_circuits graphql_lib)
+ (instrumentation
+  (backend bisect_ppx))
+ (preprocess
+  (pps ppx_deriving.show ppx_deriving_snarky ppx_snarky ppx_mina ppx_version ppx_jane ppx_compare h_list.ppx))
+ (modules transfers)
+ )