cherrypick bindings changes

Author: Geometer1729

flake.lock

@@ -203,6 +203,17 @@ module Hash_from_json = struct
     let tx =
       Zkapp_command.of_json @@ Yojson.Safe.from_string @@ Js.to_string tx_json
     in
+    let tx =
+      let open Zkapp_command in
+      { Poly.fee_payer = tx.fee_payer
+      ; memo = tx.memo
+      ; account_updates =
+          tx.account_updates
+          |> Call_forest.accumulate_hashes
+               ~hash_account_update:(fun (p : Account_update.t) ->
+                 Digest.Account_update.create p )
+      }
+    in
     let account_update = List.nth_exn tx.account_updates account_update_index in
     object%js
       val accountUpdate =
@@ -283,7 +294,7 @@ module Transaction_hash = struct
       command |> hash_signed_command |> to_base58_check |> Js.string)
 
   let hash_zkapp_command (command : Js.js_string Js.t) =
-    let command : Zkapp_command.t =
+    let command : Zkapp_command.Stable.Latest.t =
       command |> Js.to_string |> Yojson.Safe.from_string
       |> Zkapp_command.of_json
     in

src/bindings/ocaml/lib/consistency_test.ml

@@ -223,9 +223,10 @@ let protocol_state_of_json =
     json |> Js.to_string |> Yojson.Safe.from_string
     |> Fields_derivers_zkapps.of_json (Lazy.force deriver)
 
-let apply_zkapp_command_transaction l (txn : Zkapp_command.t)
+let apply_zkapp_command_transaction l (txn : Zkapp_command.Stable.Latest.t)
     (account_creation_fee : string)
     (network_state : Mina_base.Zkapp_precondition.Protocol_state.View.t) =
+  let txn = Zkapp_command.write_all_proofs_to_disk txn in
   check_account_update_signatures txn ;
   let ledger = l##.value in
   let application_result =

src/bindings/ocaml/lib/local_ledger.ml

@@ -127,4 +127,4 @@ val pickles :
           Js_of_ocaml.Js.readonly_prop >
       Js.t
       Js_of_ocaml.Js.readonly_prop >
-  Js.t
+  Js.t