react-native-zcash 0.5.0 → 0.6.0

package/ios/ZCashLightClientKit/Rust/zcashlc.h

@@ -11,7 +11,7 @@
  *
  * - `encoding` must be non-null and must point to an array of `encoding_len` bytes.
  */
-typedef struct {
+typedef struct FFIBinaryKey {
   uint32_t account_id;
   uint8_t *encoding;
   uintptr_t encoding_len;
@@ -25,7 +25,7 @@ typedef struct {
  *
  * - `encoding` must be non-null and must point to a null-terminated UTF-8 string.
  */
-typedef struct {
+typedef struct FFIEncodedKey {
   uint32_t account_id;
   char *encoding;
 } FFIEncodedKey;
@@ -47,12 +47,95 @@ typedef struct {
  *   by `ptr` must be no larger than isize::MAX. See the safety documentation of pointer::offset.
  * - See the safety documentation of [`FFIEncodedKey`]
  */
-typedef struct {
-  FFIEncodedKey *ptr;
+typedef struct FFIEncodedKeys {
+  struct FFIEncodedKey *ptr;
   uintptr_t len;
 } FFIEncodedKeys;
 
-typedef struct {
+/**
+ * A struct that contains a subtree root.
+ *
+ * # Safety
+ *
+ * - `root_hash_ptr` must be non-null and must be valid for reads for `root_hash_ptr_len`
+ *   bytes, and it must have an alignment of `1`.
+ * - The total size `root_hash_ptr_len` of the slice pointed to by `root_hash_ptr` must
+ *   be no larger than `isize::MAX`. See the safety documentation of `pointer::offset`.
+ */
+typedef struct FfiSubtreeRoot {
+  uint8_t *root_hash_ptr;
+  uintptr_t root_hash_ptr_len;
+  uint32_t completing_block_height;
+} FfiSubtreeRoot;
+
+/**
+ * A struct that contains a pointer to, and length information for, a heap-allocated
+ * slice of [`FfiSubtreeRoot`] values.
+ *
+ * # Safety
+ *
+ * - `ptr` must be non-null and must be valid for reads for `len * mem::size_of::<FfiSubtreeRoot>()`
+ *   many bytes, and it must be properly aligned. This means in particular:
+ *   - The entire memory range pointed to by `ptr` must be contained within a single
+ *     allocated object. Slices can never span across multiple allocated objects.
+ *   - `ptr` must be non-null and aligned even for zero-length slices.
+ *   - `ptr` must point to `len` consecutive properly initialized values of type
+ *     [`FfiSubtreeRoot`].
+ * - The total size `len * mem::size_of::<FfiSubtreeRoot>()` of the slice pointed to
+ *   by `ptr` must be no larger than isize::MAX. See the safety documentation of
+ *   `pointer::offset`.
+ * - See the safety documentation of [`FfiSubtreeRoot`]
+ */
+typedef struct FfiSubtreeRoots {
+  struct FfiSubtreeRoot *ptr;
+  uintptr_t len;
+} FfiSubtreeRoots;
+
+/**
+ * A struct that contains details about scan progress.
+ *
+ * When `denominator` is zero, the numerator encodes a non-progress indicator:
+ * - 0: progress is unknown.
+ * - 1: an error occurred.
+ */
+typedef struct FfiScanProgress {
+  uint64_t numerator;
+  uint64_t denominator;
+} FfiScanProgress;
+
+/**
+ * A struct that contains the start (inclusive) and end (exclusive) of a range of blocks
+ * to scan.
+ */
+typedef struct FfiScanRange {
+  int32_t start;
+  int32_t end;
+  uint8_t priority;
+} FfiScanRange;
+
+/**
+ * A struct that contains a pointer to, and length information for, a heap-allocated
+ * slice of [`FfiScanRange`] values.
+ *
+ * # Safety
+ *
+ * - `ptr` must be non-null and must be valid for reads for `len * mem::size_of::<FfiScanRange>()`
+ *   many bytes, and it must be properly aligned. This means in particular:
+ *   - The entire memory range pointed to by `ptr` must be contained within a single
+ *     allocated object. Slices can never span across multiple allocated objects.
+ *   - `ptr` must be non-null and aligned even for zero-length slices.
+ *   - `ptr` must point to `len` consecutive properly initialized values of type
+ *     [`FfiScanRange`].
+ * - The total size `len * mem::size_of::<FfiScanRange>()` of the slice pointed to
+ *   by `ptr` must be no larger than isize::MAX. See the safety documentation of
+ *   `pointer::offset`.
+ */
+typedef struct FfiScanRanges {
+  struct FfiScanRange *ptr;
+  uintptr_t len;
+} FfiScanRanges;
+
+typedef struct FFIBlockMeta {
   uint32_t height;
   uint8_t *block_hash_ptr;
   uintptr_t block_hash_ptr_len;
@@ -61,18 +144,83 @@ typedef struct {
   uint32_t orchard_actions_count;
 } FFIBlockMeta;
 
-typedef struct {
-  FFIBlockMeta *ptr;
+typedef struct FFIBlocksMeta {
+  struct FFIBlockMeta *ptr;
   uintptr_t len;
 } FFIBlocksMeta;
 
-int32_t zcashlc_branch_id_for_height(int32_t height, uint32_t network_id);
+/**
+ * Initializes global Rust state, such as the logging infrastructure and threadpools.
+ *
+ * When `show_trace_logs` is `true`, Rust events at the `TRACE` level will be logged.
+ *
+ * # Panics
+ *
+ * This method panics if called more than once.
+ */
+void zcashlc_init_on_load(bool show_trace_logs);
+
+/**
+ * Returns the length of the last error message to be logged.
+ */
+int32_t zcashlc_last_error_length(void);
+
+/**
+ * Copies the last error message into the provided allocated buffer.
+ *
+ * # Safety
+ *
+ * - `buf` must be non-null and valid for reads for `length` bytes, and it must have an alignment
+ *   of `1`.
+ * - The memory referenced by `buf` must not be mutated for the duration of the function call.
+ * - The total size `length` must be no larger than `isize::MAX`. See the safety documentation of
+ *   pointer::offset.
+ */
+int32_t zcashlc_error_message_utf8(char *buf, int32_t length);
 
 /**
  * Clears the record of the last error message.
  */
 void zcashlc_clear_last_error(void);
 
+/**
+ * Sets up the internal structure of the data database.  The value for `seed` may be provided as a
+ * null pointer if the caller wishes to attempt migrations without providing the wallet's seed
+ * value.
+ *
+ * Returns 0 if successful, 1 if the seed must be provided in order to execute the requested
+ * migrations, or -1 otherwise.
+ *
+ * # Safety
+ *
+ * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be a string representing a valid system path in the
+ *   operating system's preferred representation.
+ * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
+ * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
+ * - `seed` must be non-null and valid for reads for `seed_len` bytes, and it must have an
+ *   alignment of `1`.
+ * - The memory referenced by `seed` must not be mutated for the duration of the function call.
+ * - The total size `seed_len` must be no larger than `isize::MAX`. See the safety documentation
+ *   of pointer::offset.
+ */
+int32_t zcashlc_init_data_database(const uint8_t *db_data,
+                                   uintptr_t db_data_len,
+                                   const uint8_t *seed,
+                                   uintptr_t seed_len,
+                                   uint32_t network_id);
+
+/**
+ * Frees a FFIBinaryKey value
+ *
+ * # Safety
+ *
+ * - `ptr` must be non-null and must point to a struct having the layout of [`FFIBinaryKey`].
+ *   See the safety documentation of [`FFIBinaryKey`].
+ */
+void zcashlc_free_binary_key(struct FFIBinaryKey *ptr);
+
 /**
  * Adds the next available account-level spend authority, given the current set of [ZIP 316]
  * account identifiers known, to the wallet database.
@@ -107,21 +255,67 @@ void zcashlc_clear_last_error(void);
  *
  * [ZIP 316]: https://zips.z.cash/zip-0316
  */
-FFIBinaryKey *zcashlc_create_account(const uint8_t *db_data,
-                                     uintptr_t db_data_len,
-                                     const uint8_t *seed,
-                                     uintptr_t seed_len,
-                                     uint32_t network_id);
+struct FFIBinaryKey *zcashlc_create_account(const uint8_t *db_data,
+                                            uintptr_t db_data_len,
+                                            const uint8_t *seed,
+                                            uintptr_t seed_len,
+                                            const uint8_t *treestate,
+                                            uintptr_t treestate_len,
+                                            int64_t recover_until,
+                                            uint32_t network_id);
 
 /**
- * Creates a transaction paying the specified address from the given account.
+ * Frees an array of FFIEncodedKeys values as allocated by `zcashlc_derive_unified_viewing_keys_from_seed`
  *
- * Returns the row index of the newly-created transaction in the `transactions` table
- * within the data database. The caller can read the raw transaction bytes from the `raw`
- * column in order to broadcast the transaction to the network.
+ * # Safety
  *
- * Do not call this multiple times in parallel, or you will generate transactions that
- * double-spend the same notes.
+ * - `ptr` must be non-null and must point to a struct having the layout of [`FFIEncodedKeys`].
+ *   See the safety documentation of [`FFIEncodedKeys`].
+ */
+void zcashlc_free_keys(struct FFIEncodedKeys *ptr);
+
+/**
+ * Derives and returns a unified spending key from the given seed for the given account ID.
+ *
+ * Returns the binary encoding of the spending key. The caller should manage the memory of (and
+ * store, if necessary) the returned spending key in a secure fashion.
+ *
+ * # Safety
+ *
+ * - `seed` must be non-null and valid for reads for `seed_len` bytes, and it must have an
+ *   alignment of `1`.
+ * - The memory referenced by `seed` must not be mutated for the duration of the function call.
+ * - The total size `seed_len` must be no larger than `isize::MAX`. See the safety documentation
+ *   of pointer::offset.
+ * - Call `zcashlc_free_binary_key` to free the memory associated with the returned pointer when
+ *   you are finished using it.
+ */
+struct FFIBinaryKey *zcashlc_derive_spending_key(const uint8_t *seed,
+                                                 uintptr_t seed_len,
+                                                 int32_t account,
+                                                 uint32_t network_id);
+
+/**
+ * Obtains the unified full viewing key for the given binary-encoded unified spending key
+ * and returns the resulting encoded UFVK string. `usk_ptr` should point to an array of `usk_len`
+ * bytes containing a unified spending key encoded as returned from the `zcashlc_create_account`
+ * or `zcashlc_derive_spending_key` functions.
+ *
+ * # Safety
+ *
+ * - `usk_ptr` must be non-null and must point to an array of `usk_len` bytes.
+ * - The memory referenced by `usk_ptr` must not be mutated for the duration of the function call.
+ * - The total size `usk_len` must be no larger than `isize::MAX`. See the safety documentation
+ *   of pointer::offset.
+ * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
+ *   when you are done using it.
+ */
+char *zcashlc_spending_key_to_full_viewing_key(const uint8_t *usk_ptr,
+                                               uintptr_t usk_len,
+                                               uint32_t network_id);
+
+/**
+ * Returns the most-recently-generated unified payment address for the specified account.
  *
  * # Safety
  *
@@ -131,43 +325,17 @@ FFIBinaryKey *zcashlc_create_account(const uint8_t *db_data,
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - `usk_ptr` must be non-null and must point to an array of `usk_len` bytes containing a unified
- *   spending key encoded as returned from the `zcashlc_create_account` or
- *   `zcashlc_derive_spending_key` functions.
- * - The memory referenced by `usk_ptr` must not be mutated for the duration of the function call.
- * - The total size `usk_len` must be no larger than `isize::MAX`. See the safety documentation
- *   of pointer::offset.
- * - `to` must be non-null and must point to a null-terminated UTF-8 string.
- * - `memo` must either be null (indicating an empty memo or a transparent recipient) or point to a
- *    512-byte array.
- * - `spend_params` must be non-null and valid for reads for `spend_params_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be the Sapling spend proving parameters.
- * - The memory referenced by `spend_params` must not be mutated for the duration of the function call.
- * - The total size `spend_params_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
- * - `output_params` must be non-null and valid for reads for `output_params_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be the Sapling output proving parameters.
- * - The memory referenced by `output_params` must not be mutated for the duration of the function call.
- * - The total size `output_params_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
+ * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
+ *   when done using it.
  */
-int64_t zcashlc_create_to_address(const uint8_t *db_data,
+char *zcashlc_get_current_address(const uint8_t *db_data,
                                   uintptr_t db_data_len,
-                                  const uint8_t *usk_ptr,
-                                  uintptr_t usk_len,
-                                  const char *to,
-                                  int64_t value,
-                                  const uint8_t *memo,
-                                  const uint8_t *spend_params,
-                                  uintptr_t spend_params_len,
-                                  const uint8_t *output_params,
-                                  uintptr_t output_params_len,
-                                  uint32_t network_id,
-                                  uint32_t min_confirmations,
-                                  bool use_zip317_fees);
+                                  int32_t account,
+                                  uint32_t network_id);
 
 /**
- * Decrypts whatever parts of the specified transaction it can and stores them in db_data.
+ * Returns a newly-generated unified payment address for the specified account, with the next
+ * available diversifier.
  *
  * # Safety
  *
@@ -177,82 +345,96 @@ int64_t zcashlc_create_to_address(const uint8_t *db_data,
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - `tx` must be non-null and valid for reads for `tx_len` bytes, and it must have an
- *   alignment of `1`.
- * - The memory referenced by `tx` must not be mutated for the duration of the function call.
- * - The total size `tx_len` must be no larger than `isize::MAX`. See the safety
+ * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
+ *   when done using it.
+ */
+char *zcashlc_get_next_available_address(const uint8_t *db_data,
+                                         uintptr_t db_data_len,
+                                         int32_t account,
+                                         uint32_t network_id);
+
+/**
+ * Returns a list of the transparent receivers for the diversified unified addresses that have
+ * been allocated for the provided account.
+ *
+ * # Safety
+ *
+ * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be a string representing a valid system path in the
+ *   operating system's preferred representation.
+ * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
+ * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
+ * - Call [`zcashlc_free_keys`] to free the memory associated with the returned pointer
+ *   when done using it.
  */
-int32_t zcashlc_decrypt_and_store_transaction(const uint8_t *db_data,
-                                              uintptr_t db_data_len,
-                                              const uint8_t *tx,
-                                              uintptr_t tx_len,
-                                              uint32_t _mined_height,
-                                              uint32_t network_id);
+struct FFIEncodedKeys *zcashlc_list_transparent_receivers(const uint8_t *db_data,
+                                                          uintptr_t db_data_len,
+                                                          int32_t account_id,
+                                                          uint32_t network_id);
 
 /**
- * Derives and returns a unified spending key from the given seed for the given account ID.
+ * Extracts the typecodes of the receivers within the given Unified Address.
  *
- * Returns the binary encoding of the spending key. The caller should manage the memory of (and
- * store, if necessary) the returned spending key in a secure fashion.
+ * Returns a pointer to a slice of typecodes. `len_ret` is set to the length of the
+ * slice.
+ *
+ * See the following sections of ZIP 316 for details on how to interpret typecodes:
+ * - [List of known typecodes](https://zips.z.cash/zip-0316#encoding-of-unified-addresses)
+ * - [Adding new types](https://zips.z.cash/zip-0316#adding-new-types)
+ * - [Metadata Items](https://zips.z.cash/zip-0316#metadata-items)
  *
  * # Safety
  *
- * - `seed` must be non-null and valid for reads for `seed_len` bytes, and it must have an
- *   alignment of `1`.
- * - The memory referenced by `seed` must not be mutated for the duration of the function call.
- * - The total size `seed_len` must be no larger than `isize::MAX`. See the safety documentation
- *   of pointer::offset.
- * - Call `zcashlc_free_binary_key` to free the memory associated with the returned pointer when
- *   you are finished using it.
+ * - `ua` must be non-null and must point to a null-terminated UTF-8 string containing an
+ *   encoded Unified Address.
+ * - Call [`zcashlc_free_typecodes`] to free the memory associated with the returned
+ *   pointer when done using it.
  */
-FFIBinaryKey *zcashlc_derive_spending_key(const uint8_t *seed,
-                                          uintptr_t seed_len,
-                                          int32_t account,
-                                          uint32_t network_id);
+uint32_t *zcashlc_get_typecodes_for_unified_address_receivers(const char *ua, uintptr_t *len_ret);
 
 /**
- * Copies the last error message into the provided allocated buffer.
+ * Frees a list of typecodes previously obtained from the FFI.
  *
  * # Safety
  *
- * - `buf` must be non-null and valid for reads for `length` bytes, and it must have an alignment
- *   of `1`.
- * - The memory referenced by `buf` must not be mutated for the duration of the function call.
- * - The total size `length` must be no larger than `isize::MAX`. See the safety documentation of
- *   pointer::offset.
+ * - `data` and `len` must have been obtained from
+ *   [`zcashlc_get_typecodes_for_unified_address_receivers`].
  */
-int32_t zcashlc_error_message_utf8(char *buf, int32_t length);
+void zcashlc_free_typecodes(uint32_t *data, uintptr_t len);
 
 /**
- * Frees a FFIBinaryKey value
+ * Returns the transparent receiver within the given Unified Address, if any.
  *
  * # Safety
  *
- * - `ptr` must be non-null and must point to a struct having the layout of [`FFIBinaryKey`].
- *   See the safety documentation of [`FFIBinaryKey`].
+ * - `ua` must be non-null and must point to a null-terminated UTF-8 string.
+ * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
+ *   when done using it.
  */
-void zcashlc_free_binary_key(FFIBinaryKey *ptr);
+char *zcashlc_get_transparent_receiver_for_unified_address(const char *ua);
 
 /**
- * Frees an array of FFIEncodedKeys values as allocated by `zcashlc_derive_unified_viewing_keys_from_seed`
+ * Returns the Sapling receiver within the given Unified Address, if any.
  *
  * # Safety
  *
- * - `ptr` must be non-null and must point to a struct having the layout of [`FFIEncodedKeys`].
- *   See the safety documentation of [`FFIEncodedKeys`].
+ * - `ua` must be non-null and must point to a null-terminated UTF-8 string.
+ * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
+ *   when done using it.
  */
-void zcashlc_free_keys(FFIEncodedKeys *ptr);
+char *zcashlc_get_sapling_receiver_for_unified_address(const char *ua);
 
 /**
- * Frees a list of typecodes previously obtained from the FFI.
+ * Returns true when the provided address decodes to a valid Sapling payment address for the
+ * specified network, false in any other case.
  *
  * # Safety
  *
- * - `data` and `len` must have been obtained from
- *   [`zcashlc_get_typecodes_for_unified_address_receivers`].
+ * - `address` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `address` must not be mutated for the duration of the function call.
  */
-void zcashlc_free_typecodes(uint32_t *data, uintptr_t len);
+bool zcashlc_is_valid_shielded_address(const char *address, uint32_t network_id);
 
 /**
  * Returns the network type and address kind for the given address string,
@@ -274,85 +456,64 @@ bool zcashlc_get_address_metadata(const char *address,
                                   uint32_t *addr_kind_ret);
 
 /**
- * Returns the balance for the specified account, including all unspent notes that we know about.
+ * Returns true when the address is a valid transparent payment address for the specified network,
+ * false in any other case.
  *
  * # Safety
  *
- * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
- * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
+ * - `address` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `address` must not be mutated for the duration of the function call.
  */
-int64_t zcashlc_get_balance(const uint8_t *db_data,
-                            uintptr_t db_data_len,
-                            int32_t account,
-                            uint32_t network_id);
+bool zcashlc_is_valid_transparent_address(const char *address, uint32_t network_id);
 
 /**
- * Returns the most-recently-generated unified payment address for the specified account.
+ * Returns true when the provided key decodes to a valid Sapling extended spending key for the
+ * specified network, false in any other case.
  *
  * # Safety
  *
- * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
- * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
- * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
- *   when done using it.
+ * - `extsk` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `extsk` must not be mutated for the duration of the function call.
  */
-char *zcashlc_get_current_address(const uint8_t *db_data,
-                                  uintptr_t db_data_len,
-                                  int32_t account,
-                                  uint32_t network_id);
+bool zcashlc_is_valid_sapling_extended_spending_key(const char *extsk, uint32_t network_id);
 
 /**
- * Returns the most recent block height to which it is possible to reset the state
- * of the data database.
+ * Returns true when the provided key decodes to a valid Sapling extended full viewing key for the
+ * specified network, false in any other case.
  *
  * # Safety
  *
- * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
- * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
- */
-int32_t zcashlc_get_nearest_rewind_height(const uint8_t *db_data,
-                                          uintptr_t db_data_len,
-                                          int32_t height,
-                                          uint32_t network_id);
+ * - `key` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `key` must not be mutated for the duration of the function call.
+ */
+bool zcashlc_is_valid_viewing_key(const char *key, uint32_t network_id);
 
 /**
- * Returns a newly-generated unified payment address for the specified account, with the next
- * available diversifier.
+ * Returns true when the provided key decodes to a valid unified full viewing key for the
+ * specified network, false in any other case.
  *
  * # Safety
  *
- * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
- * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
- * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
- *   when done using it.
+ * - `ufvk` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `ufvk` must not be mutated for the duration of the
+ *   function call.
  */
-char *zcashlc_get_next_available_address(const uint8_t *db_data,
-                                         uintptr_t db_data_len,
-                                         int32_t account,
-                                         uint32_t network_id);
+bool zcashlc_is_valid_unified_full_viewing_key(const char *ufvk, uint32_t network_id);
 
 /**
- * Returns the memo for a received note by copying the corresponding bytes to the received
- * pointer in `memo_bytes_ret`.
+ * Returns true when the provided key decodes to a valid unified address for the
+ * specified network, false in any other case.
+ *
+ * # Safety
  *
- * The note is identified by its row index in the `received_notes` table within the data
- * database.
+ * - `address` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `address` must not be mutated for the duration of the
+ *   function call.
+ */
+bool zcashlc_is_valid_unified_address(const char *address, uint32_t network_id);
+
+/**
+ * Returns the balance for the specified account, including all unspent notes that we know about.
  *
  * # Safety
  *
@@ -362,19 +523,15 @@ char *zcashlc_get_next_available_address(const uint8_t *db_data,
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - `memo_bytes_ret` must be non-null and must point to an allocated 512-byte region of memory.
  */
-bool zcashlc_get_received_memo(const uint8_t *db_data,
-                               uintptr_t db_data_len,
-                               int64_t id_note,
-                               uint8_t *memo_bytes_ret,
-                               uint32_t network_id);
+int64_t zcashlc_get_balance(const uint8_t *db_data,
+                            uintptr_t db_data_len,
+                            int32_t account,
+                            uint32_t network_id);
 
 /**
- * Returns the memo for a received note, if it is known and a valid UTF-8 string.
- *
- * The note is identified by its row index in the `received_notes` table within the data
- * database.
+ * Returns the verified balance for the account, which ignores notes that have been
+ * received too recently and are not yet deemed spendable according to `min_confirmations`.
  *
  * # Safety
  *
@@ -384,31 +541,16 @@ bool zcashlc_get_received_memo(const uint8_t *db_data,
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
- *   when done using it.
- */
-char *zcashlc_get_received_memo_as_utf8(const uint8_t *db_data,
-                                        uintptr_t db_data_len,
-                                        int64_t id_note,
-                                        uint32_t network_id);
-
-/**
- * Returns the Sapling receiver within the given Unified Address, if any.
- *
- * # Safety
- *
- * - `ua` must be non-null and must point to a null-terminated UTF-8 string.
- * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
- *   when done using it.
  */
-char *zcashlc_get_sapling_receiver_for_unified_address(const char *ua);
+int64_t zcashlc_get_verified_balance(const uint8_t *db_data,
+                                     uintptr_t db_data_len,
+                                     int32_t account,
+                                     uint32_t network_id,
+                                     uint32_t min_confirmations);
 
 /**
- * Returns the memo for a sent note, by copying the corresponding bytes to the received
- * pointer in `memo_bytes_ret`.
- *
- * The note is identified by its row index in the `sent_notes` table within the data
- * database.
+ * Returns the verified transparent balance for `address`, which ignores utxos that have been
+ * received too recently and are not yet deemed spendable according to `min_confirmations`.
  *
  * # Safety
  *
@@ -418,19 +560,18 @@ char *zcashlc_get_sapling_receiver_for_unified_address(const char *ua);
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - `memo_bytes_ret` must be non-null and must point to an allocated 512-byte region of memory.
+ * - `address` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `address` must not be mutated for the duration of the function call.
  */
-bool zcashlc_get_sent_memo(const uint8_t *db_data,
-                           uintptr_t db_data_len,
-                           int64_t id_note,
-                           uint8_t *memo_bytes_ret,
-                           uint32_t network_id);
+int64_t zcashlc_get_verified_transparent_balance(const uint8_t *db_data,
+                                                 uintptr_t db_data_len,
+                                                 const char *address,
+                                                 uint32_t network_id,
+                                                 uint32_t min_confirmations);
 
 /**
- * Returns the memo for a sent note, if it is known and a valid UTF-8 string.
- *
- * The note is identified by its row index in the `sent_notes` table within the data
- * database.
+ * Returns the verified transparent balance for `account`, which ignores utxos that have been
+ * received too recently and are not yet deemed spendable according to `min_confirmations`.
  *
  * # Safety
  *
@@ -440,13 +581,14 @@ bool zcashlc_get_sent_memo(const uint8_t *db_data,
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
- *   when done using it.
+ * - `address` must be non-null and must point to a null-terminated UTF-8 string.
+ * - The memory referenced by `address` must not be mutated for the duration of the function call.
  */
-char *zcashlc_get_sent_memo_as_utf8(const uint8_t *db_data,
-                                    uintptr_t db_data_len,
-                                    int64_t id_note,
-                                    uint32_t network_id);
+int64_t zcashlc_get_verified_transparent_balance_for_account(const uint8_t *db_data,
+                                                             uintptr_t db_data_len,
+                                                             uint32_t network_id,
+                                                             int32_t account,
+                                                             uint32_t min_confirmations);
 
 /**
  * Returns the balance for `address`, including all UTXOs that we know about.
@@ -487,39 +629,8 @@ int64_t zcashlc_get_total_transparent_balance_for_account(const uint8_t *db_data
                                                           int32_t account);
 
 /**
- * Returns the transparent receiver within the given Unified Address, if any.
- *
- * # Safety
- *
- * - `ua` must be non-null and must point to a null-terminated UTF-8 string.
- * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
- *   when done using it.
- */
-char *zcashlc_get_transparent_receiver_for_unified_address(const char *ua);
-
-/**
- * Extracts the typecodes of the receivers within the given Unified Address.
- *
- * Returns a pointer to a slice of typecodes. `len_ret` is set to the length of the
- * slice.
- *
- * See the following sections of ZIP 316 for details on how to interpret typecodes:
- * - [List of known typecodes](https://zips.z.cash/zip-0316#encoding-of-unified-addresses)
- * - [Adding new types](https://zips.z.cash/zip-0316#adding-new-types)
- * - [Metadata Items](https://zips.z.cash/zip-0316#metadata-items)
- *
- * # Safety
- *
- * - `ua` must be non-null and must point to a null-terminated UTF-8 string containing an
- *   encoded Unified Address.
- * - Call [`zcashlc_free_typecodes`] to free the memory associated with the returned
- *   pointer when done using it.
- */
-uint32_t *zcashlc_get_typecodes_for_unified_address_receivers(const char *ua, uintptr_t *len_ret);
-
-/**
- * Returns the verified balance for the account, which ignores notes that have been
- * received too recently and are not yet deemed spendable according to `min_confirmations`.
+ * Returns the memo for a note by copying the corresponding bytes to the received
+ * pointer in `memo_bytes_ret`.
  *
  * # Safety
  *
@@ -529,16 +640,19 @@ uint32_t *zcashlc_get_typecodes_for_unified_address_receivers(const char *ua, ui
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
+ * - `txid_bytes` must be non-null and valid for reads for 32 bytes, and it must have an alignment
+ *   of `1`.
+ * - `memo_bytes_ret` must be non-null and must point to an allocated 512-byte region of memory.
  */
-int64_t zcashlc_get_verified_balance(const uint8_t *db_data,
-                                     uintptr_t db_data_len,
-                                     int32_t account,
-                                     uint32_t network_id,
-                                     uint32_t min_confirmations);
+bool zcashlc_get_memo(const uint8_t *db_data,
+                      uintptr_t db_data_len,
+                      const uint8_t *txid_bytes,
+                      uint16_t output_index,
+                      uint8_t *memo_bytes_ret,
+                      uint32_t network_id);
 
 /**
- * Returns the verified transparent balance for `address`, which ignores utxos that have been
- * received too recently and are not yet deemed spendable according to `min_confirmations`.
+ * Returns the memo for a note, if it is known and a valid UTF-8 string.
  *
  * # Safety
  *
@@ -548,40 +662,34 @@ int64_t zcashlc_get_verified_balance(const uint8_t *db_data,
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - `address` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `address` must not be mutated for the duration of the function call.
+ * - `txid_bytes` must be non-null and valid for reads for 32 bytes, and it must have an alignment
+ *   of `1`.
+ * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
+ *   when done using it.
  */
-int64_t zcashlc_get_verified_transparent_balance(const uint8_t *db_data,
-                                                 uintptr_t db_data_len,
-                                                 const char *address,
-                                                 uint32_t network_id,
-                                                 uint32_t min_confirmations);
+char *zcashlc_get_memo_as_utf8(const uint8_t *db_data,
+                               uintptr_t db_data_len,
+                               const uint8_t *txid_bytes,
+                               uint16_t output_index,
+                               uint32_t network_id);
 
 /**
- * Returns the verified transparent balance for `account`, which ignores utxos that have been
- * received too recently and are not yet deemed spendable according to `min_confirmations`.
+ * Returns a ZIP-32 signature of the given seed bytes.
  *
  * # Safety
- *
- * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
- * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
- * - `address` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `address` must not be mutated for the duration of the function call.
+ * - `seed` must be non-null and valid for reads for `seed_len` bytes, and it must have an
+ *   alignment of `1`.
+ * - The memory referenced by `seed` must not be mutated for the duration of the function call.
+ * - The total size `seed_len` must be at least 32 no larger than `252`. See the safety documentation
+ *   of pointer::offset.
  */
-int64_t zcashlc_get_verified_transparent_balance_for_account(const uint8_t *db_data,
-                                                             uintptr_t db_data_len,
-                                                             uint32_t network_id,
-                                                             int32_t account,
-                                                             uint32_t min_confirmations);
+bool zcashlc_seed_fingerprint(const uint8_t *seed,
+                              uintptr_t seed_len,
+                              uint8_t *signature_bytes_ret);
 
 /**
- * Initialises the data database with the given set of unified full viewing keys. This
- * should only be used in special cases for implementing wallet recovery; prefer
- * `zcashlc_create_account` for normal account creation purposes.
+ * Returns the most recent block height to which it is possible to reset the state
+ * of the data database.
  *
  * # Safety
  *
@@ -591,42 +699,37 @@ int64_t zcashlc_get_verified_transparent_balance_for_account(const uint8_t *db_d
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - `ufvks` must be non-null and valid for reads for `ufvks_len * sizeof(FFIEncodedKey)` bytes.
- *   It must point to an array of `FFIEncodedKey` values.
- * - The memory referenced by `ufvks` must not be mutated for the duration of the function call.
- * - The total size `ufvks_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
  */
-bool zcashlc_init_accounts_table_with_keys(const uint8_t *db_data,
-                                           uintptr_t db_data_len,
-                                           FFIEncodedKey *ufvks_ptr,
-                                           uintptr_t ufvks_len,
-                                           uint32_t network_id);
+int32_t zcashlc_get_nearest_rewind_height(const uint8_t *db_data,
+                                          uintptr_t db_data_len,
+                                          int32_t height,
+                                          uint32_t network_id);
 
 /**
+ * Rewinds the data database to the given height.
+ *
+ * If the requested height is greater than or equal to the height of the last scanned
+ * block, this function does nothing.
+ *
  * # Safety
- * Initializes the `FsBlockDb` sqlite database. Does nothing if already created
  *
- * Returns true when successful, false otherwise. When false is returned caller
- * should check for errors.
- * - `fs_block_db_root` must be non-null and valid for reads for `fs_block_db_root_len` bytes, and it must have an
+ * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
  *   alignment of `1`. Its contents must be a string representing a valid system path in the
  *   operating system's preferred representation.
- * - The memory referenced by `fs_block_db_root` must not be mutated for the duration of the function call.
- * - The total size `fs_block_db_root_len` must be no larger than `isize::MAX`. See the safety
+ * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
+ * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
  */
-bool zcashlc_init_block_metadata_db(const uint8_t *fs_block_db_root,
-                                    uintptr_t fs_block_db_root_len);
+bool zcashlc_rewind_to_height(const uint8_t *db_data,
+                              uintptr_t db_data_len,
+                              int32_t height,
+                              uint32_t network_id);
 
 /**
- * Initialises the data database with the given block metadata.
+ * Adds a sequence of Sapling subtree roots to the data store.
  *
- * This enables a newly-created database to be immediately-usable, without needing to
- * synchronise historic blocks.
- *
- * The string represented by `sapling_tree_hex` should contain the encoded byte representation
- * of a Sapling commitment tree.
+ * Returns true if the subtrees could be stored, false otherwise. When false is returned,
+ * caller should check for errors.
  *
  * # Safety
  *
@@ -635,28 +738,24 @@ bool zcashlc_init_block_metadata_db(const uint8_t *fs_block_db_root,
  *   operating system's preferred representation.
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
- * - `hash_hex` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `hash_hex` must not be mutated for the duration of the function call.
- * - `sapling_tree_hex` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `sapling_tree_hex` must not be mutated for the duration of the
- *   function call.
+ *   documentation of `pointer::offset`.
+ * - `roots` must be non-null and initialized.
+ * - The memory referenced by `roots` must not be mutated for the duration of the function call.
  */
-int32_t zcashlc_init_blocks_table(const uint8_t *db_data,
-                                  uintptr_t db_data_len,
-                                  int32_t height,
-                                  const char *hash_hex,
-                                  uint32_t time,
-                                  const char *sapling_tree_hex,
-                                  uint32_t network_id);
+bool zcashlc_put_sapling_subtree_roots(const uint8_t *db_data,
+                                       uintptr_t db_data_len,
+                                       uint64_t start_index,
+                                       const struct FfiSubtreeRoots *roots,
+                                       uint32_t network_id);
 
 /**
- * Sets up the internal structure of the data database.  The value for `seed` may be provided as a
- * null pointer if the caller wishes to attempt migrations without providing the wallet's seed
- * value.
+ * Updates the wallet's view of the blockchain.
  *
- * Returns 0 if successful, 1 if the seed must be provided in order to execute the requested
- * migrations, or -1 otherwise.
+ * This method is used to provide the wallet with information about the state of the blockchain,
+ * and detect any previously scanned data that needs to be re-validated before proceeding with
+ * scanning. It should be called at wallet startup prior to calling `zcashlc_suggest_scan_ranges`
+ * in order to provide the wallet with the information it needs to correctly prioritize scanning
+ * operations.
  *
  * # Safety
  *
@@ -665,133 +764,147 @@ int32_t zcashlc_init_blocks_table(const uint8_t *db_data,
  *   operating system's preferred representation.
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
- * - `seed` must be non-null and valid for reads for `seed_len` bytes, and it must have an
- *   alignment of `1`.
- * - The memory referenced by `seed` must not be mutated for the duration of the function call.
- * - The total size `seed_len` must be no larger than `isize::MAX`. See the safety documentation
- *   of pointer::offset.
+ *   documentation of `pointer::offset`.
  */
-int32_t zcashlc_init_data_database(const uint8_t *db_data,
-                                   uintptr_t db_data_len,
-                                   const uint8_t *seed,
-                                   uintptr_t seed_len,
-                                   uint32_t network_id);
+bool zcashlc_update_chain_tip(const uint8_t *db_data,
+                              uintptr_t db_data_len,
+                              int32_t height,
+                              uint32_t network_id);
 
 /**
- * Returns true when the provided key decodes to a valid Sapling extended spending key for the
- * specified network, false in any other case.
+ * Returns the height to which the wallet has been fully scanned.
  *
- * # Safety
+ * This is the height for which the wallet has fully trial-decrypted this and all
+ * preceding blocks above the wallet's birthday height.
  *
- * - `extsk` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `extsk` must not be mutated for the duration of the function call.
- */
-bool zcashlc_is_valid_sapling_extended_spending_key(const char *extsk, uint32_t network_id);
-
-/**
- * Returns true when the provided address decodes to a valid Sapling payment address for the
- * specified network, false in any other case.
+ * Returns a non-negative block height, -1 if empty, or -2 if an error occurred.
  *
  * # Safety
  *
- * - `address` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `address` must not be mutated for the duration of the function call.
+ * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be a string representing a valid system path in the
+ *   operating system's preferred representation.
+ * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
+ * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of `pointer::offset`.
  */
-bool zcashlc_is_valid_shielded_address(const char *address, uint32_t network_id);
+int64_t zcashlc_fully_scanned_height(const uint8_t *db_data,
+                                     uintptr_t db_data_len,
+                                     uint32_t network_id);
 
 /**
- * Returns true when the address is a valid transparent payment address for the specified network,
- * false in any other case.
+ * Returns the maximum height that the wallet has scanned.
  *
- * # Safety
+ * If the wallet is fully synced, this will be equivalent to `zcashlc_block_fully_scanned`;
+ * otherwise the maximal scanned height is likely to be greater than the fully scanned
+ * height due to the fact that out-of-order scanning can leave gaps.
  *
- * - `address` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `address` must not be mutated for the duration of the function call.
- */
-bool zcashlc_is_valid_transparent_address(const char *address, uint32_t network_id);
-
-/**
- * Returns true when the provided key decodes to a valid unified address for the
- * specified network, false in any other case.
+ * Returns a non-negative block height, -1 if empty, or -2 if an error occurred.
  *
  * # Safety
- *
- * - `address` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `address` must not be mutated for the duration of the
- *   function call.
+ *
+ * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be a string representing a valid system path in the
+ *   operating system's preferred representation.
+ * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
+ * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of `pointer::offset`.
  */
-bool zcashlc_is_valid_unified_address(const char *address, uint32_t network_id);
+int64_t zcashlc_max_scanned_height(const uint8_t *db_data,
+                                   uintptr_t db_data_len,
+                                   uint32_t network_id);
 
 /**
- * Returns true when the provided key decodes to a valid unified full viewing key for the
- * specified network, false in any other case.
+ * Returns the scan progress derived from the current wallet state.
  *
  * # Safety
  *
- * - `ufvk` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `ufvk` must not be mutated for the duration of the
+ * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must
+ *   have an alignment of `1`. Its contents must be a string representing a valid system
+ *   path in the operating system's preferred representation.
+ * - The memory referenced by `db_data` must not be mutated for the duration of the
  *   function call.
+ * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
  */
-bool zcashlc_is_valid_unified_full_viewing_key(const char *ufvk, uint32_t network_id);
+struct FfiScanProgress zcashlc_get_scan_progress(const uint8_t *db_data,
+                                                 uintptr_t db_data_len,
+                                                 uint32_t network_id);
 
 /**
- * Returns true when the provided key decodes to a valid Sapling extended full viewing key for the
- * specified network, false in any other case.
+ * Frees an array of FfiScanRanges values as allocated by `zcashlc_derive_unified_viewing_keys_from_seed`
  *
  * # Safety
  *
- * - `key` must be non-null and must point to a null-terminated UTF-8 string.
- * - The memory referenced by `key` must not be mutated for the duration of the function call.
- */
-bool zcashlc_is_valid_viewing_key(const char *key, uint32_t network_id);
-
-/**
- * Returns the length of the last error message to be logged.
+ * - `ptr` must be non-null and must point to a struct having the layout of [`FfiScanRanges`].
+ *   See the safety documentation of [`FfiScanRanges`].
  */
-int32_t zcashlc_last_error_length(void);
+void zcashlc_free_scan_ranges(struct FfiScanRanges *ptr);
 
 /**
- * Get the latest cached block height in the filesystem block cache
+ * Returns a list of suggested scan ranges based upon the current wallet state.
  *
- * Returns a positive blockheight or -1 if empty or an error occurred.
+ * This method should only be used in cases where the `CompactBlock` data that will be
+ * made available to `zcashlc_scan_blocks` for the requested block ranges includes note
+ * commitment tree size information for each block; or else the scan is likely to fail if
+ * notes belonging to the wallet are detected.
  *
  * # Safety
  *
- * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
+ * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must
+ *   have an alignment of `1`. Its contents must be a string representing a valid system
+ *   path in the operating system's preferred representation.
+ * - The memory referenced by `db_data` must not be mutated for the duration of the
+ *   function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - `tx` must be non-null and valid for reads for `tx_len` bytes, and it must have an
- *   alignment of `1`.
- * - The memory referenced by `tx` must not be mutated for the duration of the function call.
- * - The total size `tx_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
+ * - Call [`zcashlc_free_scan_ranges`] to free the memory associated with the returned
+ *   pointer when done using it.
  */
-int32_t zcashlc_latest_cached_block_height(const uint8_t *fs_block_db_root,
-                                           uintptr_t fs_block_db_root_len);
+struct FfiScanRanges *zcashlc_suggest_scan_ranges(const uint8_t *db_data,
+                                                  uintptr_t db_data_len,
+                                                  uint32_t network_id);
 
 /**
- * Returns a list of the transparent receivers for the diversified unified addresses that have
- * been allocated for the provided account.
+ * Scans new blocks added to the cache for any transactions received by the tracked
+ * accounts, while checking that they form a valid chan.
+ *
+ * This function is built on the core assumption that the information provided in the
+ * block cache is more likely to be accurate than the previously-scanned information.
+ * This follows from the design (and trust) assumption that the `lightwalletd` server
+ * provides accurate block information as of the time it was requested.
+ *
+ * This function **assumes** that the caller is handling rollbacks.
+ *
+ * For brand-new light client databases, this function starts scanning from the Sapling
+ * activation height. This height can be fast-forwarded to a more recent block by calling
+ * [`zcashlc_init_blocks_table`] before this function.
+ *
+ * Scanned blocks are required to be height-sequential. If a block is missing from the
+ * cache, an error will be signalled.
  *
  * # Safety
  *
+ * - `fs_block_db_root` must be non-null and valid for reads for `fs_block_db_root_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be a string representing a valid system path in the
+ *   operating system's preferred representation.
+ * - The memory referenced by `fs_block_db_root` must not be mutated for the duration of the function call.
+ * - The total size `fs_block_db_root_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
  * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
  *   alignment of `1`. Its contents must be a string representing a valid system path in the
  *   operating system's preferred representation.
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - Call [`zcashlc_free_keys`] to free the memory associated with the returned pointer
- *   when done using it.
  */
-FFIEncodedKeys *zcashlc_list_transparent_receivers(const uint8_t *db_data,
-                                                   uintptr_t db_data_len,
-                                                   int32_t account_id,
-                                                   uint32_t network_id);
+int32_t zcashlc_scan_blocks(const uint8_t *fs_block_cache_root,
+                            uintptr_t fs_block_cache_root_len,
+                            const uint8_t *db_data,
+                            uintptr_t db_data_len,
+                            int32_t from_height,
+                            uint32_t scan_limit,
+                            uint32_t network_id);
 
 /**
  * Inserts a UTXO into the wallet database.
@@ -826,6 +939,46 @@ bool zcashlc_put_utxo(const uint8_t *db_data,
                       int32_t height,
                       uint32_t network_id);
 
+/**
+ * # Safety
+ * Initializes the `FsBlockDb` sqlite database. Does nothing if already created
+ *
+ * Returns true when successful, false otherwise. When false is returned caller
+ * should check for errors.
+ * - `fs_block_db_root` must be non-null and valid for reads for `fs_block_db_root_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be a string representing a valid system path in the
+ *   operating system's preferred representation.
+ * - The memory referenced by `fs_block_db_root` must not be mutated for the duration of the function call.
+ * - The total size `fs_block_db_root_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
+ */
+bool zcashlc_init_block_metadata_db(const uint8_t *fs_block_db_root,
+                                    uintptr_t fs_block_db_root_len);
+
+/**
+ * Writes the blocks provided in `blocks_meta` into the `BlockMeta` database
+ *
+ * Returns true if the `blocks_meta` could be stored into the `FsBlockDb`. False
+ * otherwise.
+ *
+ * When false is returned caller should check for errors.
+ *
+ * # Safety
+ *
+ * - `fs_block_db_root` must be non-null and valid for reads for `fs_block_db_root_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be a string representing a valid system path in the
+ *   operating system's preferred representation.
+ * - The memory referenced by `fs_block_db_root` must not be mutated for the duration of the function call.
+ * - The total size `fs_block_db_root_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
+ * - Block metadata represented in `blocks_meta` must be non-null. Caller must guarantee that the
+ * memory reference by this pointer is not freed up, dereferenced or invalidated while this function
+ * is invoked.
+ */
+bool zcashlc_write_block_metadata(const uint8_t *fs_block_db_root,
+                                  uintptr_t fs_block_db_root_len,
+                                  struct FFIBlocksMeta *blocks_meta);
+
 /**
  * Rewinds the data database to the given height.
  *
@@ -846,10 +999,9 @@ bool zcashlc_rewind_fs_block_cache_to_height(const uint8_t *fs_block_db_root,
                                              int32_t height);
 
 /**
- * Rewinds the data database to the given height.
+ * Get the latest cached block height in the filesystem block cache
  *
- * If the requested height is greater than or equal to the height of the last scanned
- * block, this function does nothing.
+ * Returns a non-negative block height, -1 if empty, or -2 if an error occurred.
  *
  * # Safety
  *
@@ -859,64 +1011,48 @@ bool zcashlc_rewind_fs_block_cache_to_height(const uint8_t *fs_block_db_root,
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
+ * - `tx` must be non-null and valid for reads for `tx_len` bytes, and it must have an
+ *   alignment of `1`.
+ * - The memory referenced by `tx` must not be mutated for the duration of the function call.
+ * - The total size `tx_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
  */
-bool zcashlc_rewind_to_height(const uint8_t *db_data,
-                              uintptr_t db_data_len,
-                              int32_t height,
-                              uint32_t network_id);
+int32_t zcashlc_latest_cached_block_height(const uint8_t *fs_block_db_root,
+                                           uintptr_t fs_block_db_root_len);
 
 /**
- * Scans new blocks added to the cache for any transactions received by the tracked
- * accounts.
- *
- * This function pays attention only to cached blocks with heights greater than the
- * highest scanned block in `db_data`. Cached blocks with lower heights are not verified
- * against previously-scanned blocks. In particular, this function **assumes** that the
- * caller is handling rollbacks.
- *
- * For brand-new light client databases, this function starts scanning from the Sapling
- * activation height. This height can be fast-forwarded to a more recent block by calling
- * [`zcashlc_init_blocks_table`] before this function.
- *
- * Scanned blocks are required to be height-sequential. If a block is missing from the
- * cache, an error will be signalled.
+ * Decrypts whatever parts of the specified transaction it can and stores them in db_data.
  *
  * # Safety
  *
- * - `fs_block_db_root` must be non-null and valid for reads for `fs_block_db_root_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `fs_block_db_root` must not be mutated for the duration of the function call.
- * - The total size `fs_block_db_root_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
  * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
  *   alignment of `1`. Its contents must be a string representing a valid system path in the
  *   operating system's preferred representation.
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- */
-int32_t zcashlc_scan_blocks(const uint8_t *fs_block_cache_root,
-                            uintptr_t fs_block_cache_root_len,
-                            const uint8_t *db_data,
-                            uintptr_t db_data_len,
-                            uint32_t scan_limit,
-                            uint32_t network_id);
-
-/**
- * - `seed` must be non-null and valid for reads for `seed_len` bytes, and it must have an
+ * - `tx` must be non-null and valid for reads for `tx_len` bytes, and it must have an
  *   alignment of `1`.
- * - The memory referenced by `seed` must not be mutated for the duration of the function call.
- * - The total size `seed_len` must be at least 32 no larger than `252`. See the safety documentation
- *   of pointer::offset.
+ * - The memory referenced by `tx` must not be mutated for the duration of the function call.
+ * - The total size `tx_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
  */
-bool zcashlc_seed_fingerprint(const uint8_t *seed,
-                              uintptr_t seed_len,
-                              uint8_t *signature_bytes_ret);
+int32_t zcashlc_decrypt_and_store_transaction(const uint8_t *db_data,
+                                              uintptr_t db_data_len,
+                                              const uint8_t *tx,
+                                              uintptr_t tx_len,
+                                              uint32_t _mined_height,
+                                              uint32_t network_id);
 
 /**
- * Shield transparent UTXOs by sending them to an address associated with the specified Sapling
- * spending key.
+ * Creates a transaction paying the specified address from the given account.
+ *
+ * Returns the row index of the newly-created transaction in the `transactions` table
+ * within the data database. The caller can read the raw transaction bytes from the `raw`
+ * column in order to broadcast the transaction to the network.
+ *
+ * Do not call this multiple times in parallel, or you will generate transactions that
+ * double-spend the same notes.
  *
  * # Safety
  *
@@ -931,8 +1067,10 @@ bool zcashlc_seed_fingerprint(const uint8_t *seed,
  *   `zcashlc_derive_spending_key` functions.
  * - The memory referenced by `usk_ptr` must not be mutated for the duration of the function call.
  * - The total size `usk_len` must be no larger than `isize::MAX`. See the safety documentation
- * - `memo` must either be null (indicating an empty memo) or point to a 512-byte array.
- * - `shielding_threshold` a non-negative shielding threshold amount in zatoshi
+ *   of pointer::offset.
+ * - `to` must be non-null and must point to a null-terminated UTF-8 string.
+ * - `memo` must either be null (indicating an empty memo or a transparent recipient) or point to a
+ *    512-byte array.
  * - `spend_params` must be non-null and valid for reads for `spend_params_len` bytes, and it must have an
  *   alignment of `1`. Its contents must be the Sapling spend proving parameters.
  * - The memory referenced by `spend_params` must not be mutated for the duration of the function call.
@@ -943,39 +1081,25 @@ bool zcashlc_seed_fingerprint(const uint8_t *seed,
  * - The memory referenced by `output_params` must not be mutated for the duration of the function call.
  * - The total size `output_params_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
+ * - `txid_bytes_ret` must be non-null and must point to an allocated 32-byte region of memory.
  */
-int64_t zcashlc_shield_funds(const uint8_t *db_data,
-                             uintptr_t db_data_len,
-                             const uint8_t *usk_ptr,
-                             uintptr_t usk_len,
-                             const uint8_t *memo,
-                             uint64_t shielding_threshold,
-                             const uint8_t *spend_params,
-                             uintptr_t spend_params_len,
-                             const uint8_t *output_params,
-                             uintptr_t output_params_len,
-                             uint32_t network_id,
-                             uint32_t min_confirmations,
-                             bool use_zip317_fees);
+bool zcashlc_create_to_address(const uint8_t *db_data,
+                               uintptr_t db_data_len,
+                               const uint8_t *usk_ptr,
+                               uintptr_t usk_len,
+                               const char *to,
+                               int64_t value,
+                               const uint8_t *memo,
+                               const uint8_t *spend_params,
+                               uintptr_t spend_params_len,
+                               const uint8_t *output_params,
+                               uintptr_t output_params_len,
+                               uint32_t network_id,
+                               uint32_t min_confirmations,
+                               bool use_zip317_fees,
+                               uint8_t *txid_bytes_ret);
 
-/**
- * Obtains the unified full viewing key for the given binary-encoded unified spending key
- * and returns the resulting encoded UFVK string. `usk_ptr` should point to an array of `usk_len`
- * bytes containing a unified spending key encoded as returned from the `zcashlc_create_account`
- * or `zcashlc_derive_spending_key` functions.
- *
- * # Safety
- *
- * - `usk_ptr` must be non-null and must point to an array of `usk_len` bytes.
- * - The memory referenced by `usk_ptr` must not be mutated for the duration of the function call.
- * - The total size `usk_len` must be no larger than `isize::MAX`. See the safety documentation
- *   of pointer::offset.
- * - Call [`zcashlc_string_free`] to free the memory associated with the returned pointer
- *   when you are done using it.
- */
-char *zcashlc_spending_key_to_full_viewing_key(const uint8_t *usk_ptr,
-                                               uintptr_t usk_len,
-                                               uint32_t network_id);
+int32_t zcashlc_branch_id_for_height(int32_t height, uint32_t network_id);
 
 /**
  * Frees strings returned by other zcashlc functions.
@@ -987,65 +1111,47 @@ char *zcashlc_spending_key_to_full_viewing_key(const uint8_t *usk_ptr,
 void zcashlc_string_free(char *s);
 
 /**
- * Checks that the scanned blocks in the data database, when combined with the recent
- * `CompactBlock`s in the block cache, form a valid chain.
- *
- * This function is built on the core assumption that the information provided in the
- * block cache is more likely to be accurate than the previously-scanned information.
- * This follows from the design (and trust) assumption that the `lightwalletd` server
- * provides accurate block information as of the time it was requested.
- *
- * Returns:
- * - `-1` if the combined chain is valid.
- * - `upper_bound` if the combined chain is invalid.
- *   `upper_bound` is the height of the highest invalid block (on the assumption that the
- *   highest block in the block cache is correct).
- * - `0` if there was an error during validation unrelated to chain validity.
- *
- * This function does not mutate either of the databases.
+ * Shield transparent UTXOs by sending them to an address associated with the specified Sapling
+ * spending key.
  *
  * # Safety
  *
- * - `fs_block_db_root` must be non-null and valid for reads for `fs_block_db_root_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `fs_block_db_root` must not be mutated for the duration of the function call.
- * - The total size `fs_block_db_root_len` must be no larger than `isize::MAX`. See the safety
- *   documentation of pointer::offset.
  * - `db_data` must be non-null and valid for reads for `db_data_len` bytes, and it must have an
  *   alignment of `1`. Its contents must be a string representing a valid system path in the
  *   operating system's preferred representation.
  * - The memory referenced by `db_data` must not be mutated for the duration of the function call.
  * - The total size `db_data_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- */
-int32_t zcashlc_validate_combined_chain(const uint8_t *fs_block_db_root,
-                                        uintptr_t fs_block_db_root_len,
-                                        const uint8_t *db_data,
-                                        uintptr_t db_data_len,
-                                        uint32_t validate_limit,
-                                        uint32_t network_id);
-
-/**
- * Writes the blocks provided in `blocks_meta` into the `BlockMeta` database
- *
- * Returns true if the `blocks_meta` could be stored into the `FsBlockDb`. False
- * otherwise.
- *
- * When false is returned caller should check for errors.
- *
- * # Safety
- *
- * - `fs_block_db_root` must be non-null and valid for reads for `fs_block_db_root_len` bytes, and it must have an
- *   alignment of `1`. Its contents must be a string representing a valid system path in the
- *   operating system's preferred representation.
- * - The memory referenced by `fs_block_db_root` must not be mutated for the duration of the function call.
- * - The total size `fs_block_db_root_len` must be no larger than `isize::MAX`. See the safety
+ * - `usk_ptr` must be non-null and must point to an array of `usk_len` bytes containing a unified
+ *   spending key encoded as returned from the `zcashlc_create_account` or
+ *   `zcashlc_derive_spending_key` functions.
+ * - The memory referenced by `usk_ptr` must not be mutated for the duration of the function call.
+ * - The total size `usk_len` must be no larger than `isize::MAX`. See the safety documentation
+ * - `memo` must either be null (indicating an empty memo) or point to a 512-byte array.
+ * - `shielding_threshold` a non-negative shielding threshold amount in zatoshi
+ * - `spend_params` must be non-null and valid for reads for `spend_params_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be the Sapling spend proving parameters.
+ * - The memory referenced by `spend_params` must not be mutated for the duration of the function call.
+ * - The total size `spend_params_len` must be no larger than `isize::MAX`. See the safety
  *   documentation of pointer::offset.
- * - Block metadata represented in `blocks_meta` must be non-null. Caller must guarantee that the
- * memory reference by this pointer is not freed up, dereferenced or invalidated while this function
- * is invoked.
+ * - `output_params` must be non-null and valid for reads for `output_params_len` bytes, and it must have an
+ *   alignment of `1`. Its contents must be the Sapling output proving parameters.
+ * - The memory referenced by `output_params` must not be mutated for the duration of the function call.
+ * - The total size `output_params_len` must be no larger than `isize::MAX`. See the safety
+ *   documentation of pointer::offset.
+ * - `txid_bytes_ret` must be non-null and must point to an allocated 32-byte region of memory.
  */
-bool zcashlc_write_block_metadata(const uint8_t *fs_block_db_root,
-                                  uintptr_t fs_block_db_root_len,
-                                  FFIBlocksMeta *blocks_meta);
+bool zcashlc_shield_funds(const uint8_t *db_data,
+                          uintptr_t db_data_len,
+                          const uint8_t *usk_ptr,
+                          uintptr_t usk_len,
+                          const uint8_t *memo,
+                          uint64_t shielding_threshold,
+                          const uint8_t *spend_params,
+                          uintptr_t spend_params_len,
+                          const uint8_t *output_params,
+                          uintptr_t output_params_len,
+                          uint32_t network_id,
+                          uint32_t min_confirmations,
+                          bool use_zip317_fees,
+                          uint8_t *txid_bytes_ret);