Implement ledger iteri with iteri_untrusted

Author: cjjdespres

src/lib/merkle_ledger/database.ml

@@ -583,12 +583,8 @@ module Make (Inputs : Intf.Inputs.DATABASE) = struct
         |> Sequence.iter ~f:(fun i -> f i (get_at_index t i))
 
   let iteri t ~f =
-    match Account_location.last_location_address t with
-    | None ->
-        ()
-    | Some last_addr ->
-        Sequence.range ~stop:`inclusive 0 (Addr.to_int last_addr)
-        |> Sequence.iter ~f:(fun i -> f i (get_at_index_exn t i))
+    iteri_untrusted t ~f:(fun index account_opt ->
+        f index (Option.value_exn account_opt) )
 
   (* TODO : if key-value store supports iteration mechanism, like RocksDB,
      maybe use that here, instead of loading all accounts into memory See Issue

src/lib/merkle_mask/masking_merkle_tree.ml

@@ -917,10 +917,8 @@ module Make (Inputs : Inputs_intf.S) = struct
       |> Sequence.iter ~f:(fun i -> f i (get_at_index t i))
 
     let iteri t ~f =
-      assert_is_attached t ;
-      let num_accounts = num_accounts t in
-      Sequence.range ~stop:`exclusive 0 num_accounts
-      |> Sequence.iter ~f:(fun i -> f i (get_at_index_exn t i))
+      iteri_untrusted t ~f:(fun index account_opt ->
+          f index (Option.value_exn account_opt) )
 
     let foldi_with_ignored_accounts t ignored_accounts ~init ~f =
       assert_is_attached t ;