@succinctlabs/react-native-zcam1 0.2.7 → 0.4.0-alpha.1

package/cpp/generated/zcam1_verify_utils.cpp

@@ -20,118 +20,114 @@ extern "C" {
     int8_t poll_result
     );
     typedef void
-    (*UniffiForeignFutureFree)(
+    (*UniffiForeignFutureDroppedCallback)(
     uint64_t handle
     );
     typedef void
     (*UniffiCallbackInterfaceFree)(
     uint64_t handle
-    );typedef struct UniffiForeignFuture {
+    );
+    typedef uint64_t
+    (*UniffiCallbackInterfaceClone)(
+    uint64_t handle
+    );typedef struct UniffiForeignFutureDroppedCallbackStruct {
         uint64_t handle;
-        UniffiForeignFutureFree free;
-    } UniffiForeignFuture;typedef struct UniffiForeignFutureStructU8 {
+        UniffiForeignFutureDroppedCallback free;
+    } UniffiForeignFutureDroppedCallbackStruct;typedef struct UniffiForeignFutureResultU8 {
         uint8_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructU8;
+    } UniffiForeignFutureResultU8;
     typedef void
     (*UniffiForeignFutureCompleteU8)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructU8 result
-    );typedef struct UniffiForeignFutureStructI8 {
+    UniffiForeignFutureResultU8 result
+    );typedef struct UniffiForeignFutureResultI8 {
         int8_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructI8;
+    } UniffiForeignFutureResultI8;
     typedef void
     (*UniffiForeignFutureCompleteI8)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructI8 result
-    );typedef struct UniffiForeignFutureStructU16 {
+    UniffiForeignFutureResultI8 result
+    );typedef struct UniffiForeignFutureResultU16 {
         uint16_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructU16;
+    } UniffiForeignFutureResultU16;
     typedef void
     (*UniffiForeignFutureCompleteU16)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructU16 result
-    );typedef struct UniffiForeignFutureStructI16 {
+    UniffiForeignFutureResultU16 result
+    );typedef struct UniffiForeignFutureResultI16 {
         int16_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructI16;
+    } UniffiForeignFutureResultI16;
     typedef void
     (*UniffiForeignFutureCompleteI16)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructI16 result
-    );typedef struct UniffiForeignFutureStructU32 {
+    UniffiForeignFutureResultI16 result
+    );typedef struct UniffiForeignFutureResultU32 {
         uint32_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructU32;
+    } UniffiForeignFutureResultU32;
     typedef void
     (*UniffiForeignFutureCompleteU32)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructU32 result
-    );typedef struct UniffiForeignFutureStructI32 {
+    UniffiForeignFutureResultU32 result
+    );typedef struct UniffiForeignFutureResultI32 {
         int32_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructI32;
+    } UniffiForeignFutureResultI32;
     typedef void
     (*UniffiForeignFutureCompleteI32)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructI32 result
-    );typedef struct UniffiForeignFutureStructU64 {
+    UniffiForeignFutureResultI32 result
+    );typedef struct UniffiForeignFutureResultU64 {
         uint64_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructU64;
+    } UniffiForeignFutureResultU64;
     typedef void
     (*UniffiForeignFutureCompleteU64)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructU64 result
-    );typedef struct UniffiForeignFutureStructI64 {
+    UniffiForeignFutureResultU64 result
+    );typedef struct UniffiForeignFutureResultI64 {
         int64_t return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructI64;
+    } UniffiForeignFutureResultI64;
     typedef void
     (*UniffiForeignFutureCompleteI64)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructI64 result
-    );typedef struct UniffiForeignFutureStructF32 {
+    UniffiForeignFutureResultI64 result
+    );typedef struct UniffiForeignFutureResultF32 {
         float return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructF32;
+    } UniffiForeignFutureResultF32;
     typedef void
     (*UniffiForeignFutureCompleteF32)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructF32 result
-    );typedef struct UniffiForeignFutureStructF64 {
+    UniffiForeignFutureResultF32 result
+    );typedef struct UniffiForeignFutureResultF64 {
         double return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructF64;
+    } UniffiForeignFutureResultF64;
     typedef void
     (*UniffiForeignFutureCompleteF64)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructF64 result
-    );typedef struct UniffiForeignFutureStructPointer {
-        void * return_value;
-        RustCallStatus call_status;
-    } UniffiForeignFutureStructPointer;
-    typedef void
-    (*UniffiForeignFutureCompletePointer)(
-    uint64_t callback_data, 
-    UniffiForeignFutureStructPointer result
-    );typedef struct UniffiForeignFutureStructRustBuffer {
+    UniffiForeignFutureResultF64 result
+    );typedef struct UniffiForeignFutureResultRustBuffer {
         RustBuffer return_value;
         RustCallStatus call_status;
-    } UniffiForeignFutureStructRustBuffer;
+    } UniffiForeignFutureResultRustBuffer;
     typedef void
     (*UniffiForeignFutureCompleteRustBuffer)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructRustBuffer result
-    );typedef struct UniffiForeignFutureStructVoid {
+    UniffiForeignFutureResultRustBuffer result
+    );typedef struct UniffiForeignFutureResultVoid {
         RustCallStatus call_status;
-    } UniffiForeignFutureStructVoid;
+    } UniffiForeignFutureResultVoid;
     typedef void
     (*UniffiForeignFutureCompleteVoid)(
     uint64_t callback_data, 
-    UniffiForeignFutureStructVoid result
+    UniffiForeignFutureResultVoid result
     );
     int8_t uniffi_zcam1_verify_utils_fn_func_verify_bindings_from_manifest(
         RustBuffer bindings, 
@@ -140,10 +136,12 @@ extern "C" {
         int8_t production, 
         RustCallStatus *uniffi_out_err
     );
-    int8_t uniffi_zcam1_verify_utils_fn_func_verify_groth16(
+    int8_t uniffi_zcam1_verify_utils_fn_func_verify_proof_from_manifest(
         RustBuffer proof, 
-        RustBuffer public_inputs, 
-        RustBuffer sp1_vk_hash, 
+        RustBuffer vk_hash, 
+        RustBuffer photo_hash, 
+        RustBuffer app_id, 
+        RustBuffer platform, 
         RustCallStatus *uniffi_out_err
     );
     RustBuffer ffi_zcam1_verify_utils_rustbuffer_alloc(
@@ -313,21 +311,6 @@ extern "C" {
         /*handle*/ uint64_t handle, 
         RustCallStatus *uniffi_out_err
     );
-    void ffi_zcam1_verify_utils_rust_future_poll_pointer(
-        /*handle*/ uint64_t handle, 
-        UniffiRustFutureContinuationCallback callback, 
-        /*handle*/ uint64_t callback_data
-    );
-    void ffi_zcam1_verify_utils_rust_future_cancel_pointer(
-        /*handle*/ uint64_t handle
-    );
-    void ffi_zcam1_verify_utils_rust_future_free_pointer(
-        /*handle*/ uint64_t handle
-    );
-    void * ffi_zcam1_verify_utils_rust_future_complete_pointer(
-        /*handle*/ uint64_t handle, 
-        RustCallStatus *uniffi_out_err
-    );
     void ffi_zcam1_verify_utils_rust_future_poll_rust_buffer(
         /*handle*/ uint64_t handle, 
         UniffiRustFutureContinuationCallback callback, 
@@ -360,7 +343,7 @@ extern "C" {
     );
     uint16_t uniffi_zcam1_verify_utils_checksum_func_verify_bindings_from_manifest(
     );
-    uint16_t uniffi_zcam1_verify_utils_checksum_func_verify_groth16(
+    uint16_t uniffi_zcam1_verify_utils_checksum_func_verify_proof_from_manifest(
     );
     uint32_t ffi_zcam1_verify_utils_uniffi_contract_version(
     );
@@ -656,7 +639,7 @@ namespace uniffi::zcam1_verify_utils::cb::rustfuturecontinuationcallback {
             rs_pollResult);
     }
 
-    static UniffiRustFutureContinuationCallback
+    [[maybe_unused]] static UniffiRustFutureContinuationCallback
     makeCallbackFunction( // uniffi::zcam1_verify_utils::cb::rustfuturecontinuationcallback
                     jsi::Runtime &rt,
                      std::shared_ptr<uniffi_runtime::UniffiCallInvoker> callInvoker,
@@ -703,49 +686,9 @@ namespace uniffi::zcam1_verify_utils::cb::rustfuturecontinuationcallback {
         rsLambda = nullptr;
     }
 } // namespace uniffi::zcam1_verify_utils::cb::rustfuturecontinuationcallback
-    // Implementation of callback function calling from JS to Rust ForeignFutureFree,
-    // passed from Rust to JS as part of async callbacks.
-namespace uniffi::zcam1_verify_utils {
-using CallInvoker = uniffi_runtime::UniffiCallInvoker;
+    // Implementation of callback function calling from Rust to JS ForeignFutureDroppedCallback
 
-template <> struct Bridging<UniffiForeignFutureFree> {
-  static jsi::Value toJs(jsi::Runtime &rt, std::shared_ptr<CallInvoker> callInvoker, UniffiForeignFutureFree rsCallback) {
-    return jsi::Function::createFromHostFunction(
-        rt,
-        jsi::PropNameID::forAscii(rt, "--ForeignFutureFree"),
-        1,
-        [rsCallback, callInvoker](
-            jsi::Runtime &rt,
-            const jsi::Value &thisValue,
-            const jsi::Value *arguments,
-            size_t count) -> jsi::Value
-        {
-            return intoRust(rt, callInvoker, thisValue, arguments, count, rsCallback);
-        }
-    );
-  }
-
-  static jsi::Value intoRust(
-      jsi::Runtime &rt,
-      std::shared_ptr<CallInvoker> callInvoker,
-      const jsi::Value &thisValue,
-      const jsi::Value *args,
-      size_t count,
-      UniffiForeignFutureFree func) {
-    // Convert the arguments into the Rust, with Bridging<T>::fromJs,
-    // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0])
-        );
-
-        
-        return jsi::Value::undefined();
-  }
-};
-} // namespace uniffi::zcam1_verify_utils
-    // Implementation of free callback function CallbackInterfaceFree
-
-
-// Callback function: uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free::UniffiCallbackInterfaceFree
+// Callback function: uniffi::zcam1_verify_utils::cb::foreignfuturedroppedcallback::UniffiForeignFutureDroppedCallback
 //
 // We have the following constraints:
 // - we need to pass a function pointer to Rust.
@@ -757,7 +700,7 @@ template <> struct Bridging<UniffiForeignFutureFree> {
 //
 // We then give the `callback` function pointer to Rust which will call the lambda sometime in the
 // future.
-namespace uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free {
+namespace uniffi::zcam1_verify_utils::cb::foreignfuturedroppedcallback {
     using namespace facebook;
 
     // We need to store a lambda in a global so we can call it from
@@ -788,7 +731,7 @@ namespace uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free {
 
             
         } catch (const jsi::JSError &error) {
-            std::cout << "Error in callback UniffiCallbackInterfaceFree: "
+            std::cout << "Error in callback UniffiForeignFutureDroppedCallback: "
                     << error.what() << std::endl;
             throw error;
         }
@@ -814,8 +757,8 @@ namespace uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free {
             rs_handle);
     }
 
-    static UniffiCallbackInterfaceFree
-    makeCallbackFunction( // uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free
+    [[maybe_unused]] static UniffiForeignFutureDroppedCallback
+    makeCallbackFunction( // uniffi::zcam1_verify_utils::cb::foreignfuturedroppedcallback
                     jsi::Runtime &rt,
                      std::shared_ptr<uniffi_runtime::UniffiCallInvoker> callInvoker,
                      const jsi::Value &value) {
@@ -858,33 +801,35 @@ namespace uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free {
         // then the pointer will no longer be left dangling.
         rsLambda = nullptr;
     }
-} // namespace uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free
+} // namespace uniffi::zcam1_verify_utils::cb::foreignfuturedroppedcallback
+    // Implementation of free callback function CallbackInterfaceFree
+
 namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFuture> {
-  static UniffiForeignFuture fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureDroppedCallbackStruct> {
+  static UniffiForeignFutureDroppedCallbackStruct fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFuture");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureDroppedCallbackStruct");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFuture rsObject;
+    UniffiForeignFutureDroppedCallbackStruct rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.handle = uniffi_jsi::Bridging<uint64_t>::fromJs(
         rt, callInvoker,
         jsObject.getProperty(rt, "handle")
       );
-    rsObject.free = uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free::makeCallbackFunction(
+    rsObject.free = uniffi::zcam1_verify_utils::cb::foreignfuturedroppedcallback::makeCallbackFunction(
           rt, callInvoker, jsObject.getProperty(rt, "free")
         );
 
@@ -897,21 +842,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructU8> {
-  static UniffiForeignFutureStructU8 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultU8> {
+  static UniffiForeignFutureResultU8 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructU8");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultU8");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructU8 rsObject;
+    UniffiForeignFutureResultU8 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<uint8_t>::fromJs(
@@ -959,7 +904,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteU8> {
       UniffiForeignFutureCompleteU8 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructU8>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultU8>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -971,21 +916,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructI8> {
-  static UniffiForeignFutureStructI8 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultI8> {
+  static UniffiForeignFutureResultI8 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructI8");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultI8");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructI8 rsObject;
+    UniffiForeignFutureResultI8 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<int8_t>::fromJs(
@@ -1033,7 +978,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteI8> {
       UniffiForeignFutureCompleteI8 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructI8>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultI8>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1045,21 +990,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructU16> {
-  static UniffiForeignFutureStructU16 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultU16> {
+  static UniffiForeignFutureResultU16 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructU16");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultU16");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructU16 rsObject;
+    UniffiForeignFutureResultU16 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<uint16_t>::fromJs(
@@ -1107,7 +1052,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteU16> {
       UniffiForeignFutureCompleteU16 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructU16>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultU16>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1119,21 +1064,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructI16> {
-  static UniffiForeignFutureStructI16 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultI16> {
+  static UniffiForeignFutureResultI16 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructI16");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultI16");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructI16 rsObject;
+    UniffiForeignFutureResultI16 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<int16_t>::fromJs(
@@ -1181,7 +1126,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteI16> {
       UniffiForeignFutureCompleteI16 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructI16>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultI16>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1193,21 +1138,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructU32> {
-  static UniffiForeignFutureStructU32 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultU32> {
+  static UniffiForeignFutureResultU32 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructU32");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultU32");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructU32 rsObject;
+    UniffiForeignFutureResultU32 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<uint32_t>::fromJs(
@@ -1255,7 +1200,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteU32> {
       UniffiForeignFutureCompleteU32 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructU32>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultU32>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1267,21 +1212,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructI32> {
-  static UniffiForeignFutureStructI32 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultI32> {
+  static UniffiForeignFutureResultI32 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructI32");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultI32");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructI32 rsObject;
+    UniffiForeignFutureResultI32 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<int32_t>::fromJs(
@@ -1329,7 +1274,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteI32> {
       UniffiForeignFutureCompleteI32 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructI32>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultI32>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1341,21 +1286,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructU64> {
-  static UniffiForeignFutureStructU64 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultU64> {
+  static UniffiForeignFutureResultU64 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructU64");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultU64");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructU64 rsObject;
+    UniffiForeignFutureResultU64 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<uint64_t>::fromJs(
@@ -1403,7 +1348,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteU64> {
       UniffiForeignFutureCompleteU64 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructU64>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultU64>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1415,21 +1360,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructI64> {
-  static UniffiForeignFutureStructI64 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultI64> {
+  static UniffiForeignFutureResultI64 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructI64");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultI64");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructI64 rsObject;
+    UniffiForeignFutureResultI64 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<int64_t>::fromJs(
@@ -1477,7 +1422,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteI64> {
       UniffiForeignFutureCompleteI64 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructI64>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultI64>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1489,21 +1434,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructF32> {
-  static UniffiForeignFutureStructF32 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultF32> {
+  static UniffiForeignFutureResultF32 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructF32");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultF32");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructF32 rsObject;
+    UniffiForeignFutureResultF32 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<float>::fromJs(
@@ -1551,7 +1496,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteF32> {
       UniffiForeignFutureCompleteF32 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructF32>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultF32>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1563,21 +1508,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructF64> {
-  static UniffiForeignFutureStructF64 fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultF64> {
+  static UniffiForeignFutureResultF64 fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructF64");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultF64");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructF64 rsObject;
+    UniffiForeignFutureResultF64 rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi_jsi::Bridging<double>::fromJs(
@@ -1625,81 +1570,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteF64> {
       UniffiForeignFutureCompleteF64 func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructF64>::fromJs(rt, callInvoker, args[1])
-        );
-
-        
-        return jsi::Value::undefined();
-  }
-};
-} // namespace uniffi::zcam1_verify_utils
-namespace uniffi::zcam1_verify_utils {
-using namespace facebook;
-using CallInvoker = uniffi_runtime::UniffiCallInvoker;
-
-template <> struct Bridging<UniffiForeignFutureStructPointer> {
-  static UniffiForeignFutureStructPointer fromJs(jsi::Runtime &rt,
-    std::shared_ptr<CallInvoker> callInvoker,
-    const jsi::Value &jsValue
-  ) {
-    // Check if the input is an object
-    if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructPointer");
-    }
-
-    // Get the object from the jsi::Value
-    auto jsObject = jsValue.getObject(rt);
-
-    // Create the vtable struct
-    UniffiForeignFutureStructPointer rsObject;
-
-    // Create the vtable from the js callbacks.
-    rsObject.return_value = uniffi_jsi::Bridging<void *>::fromJs(
-        rt, callInvoker,
-        jsObject.getProperty(rt, "returnValue")
-      );
-    rsObject.call_status = uniffi::zcam1_verify_utils::Bridging<RustCallStatus>::fromJs(
-        rt, callInvoker,
-        jsObject.getProperty(rt, "callStatus")
-      );
-
-    return rsObject;
-  }
-};
-
-} // namespace uniffi::zcam1_verify_utils
-    // Implementation of callback function calling from JS to Rust ForeignFutureCompletePointer,
-    // passed from Rust to JS as part of async callbacks.
-namespace uniffi::zcam1_verify_utils {
-using CallInvoker = uniffi_runtime::UniffiCallInvoker;
-
-template <> struct Bridging<UniffiForeignFutureCompletePointer> {
-  static jsi::Value toJs(jsi::Runtime &rt, std::shared_ptr<CallInvoker> callInvoker, UniffiForeignFutureCompletePointer rsCallback) {
-    return jsi::Function::createFromHostFunction(
-        rt,
-        jsi::PropNameID::forAscii(rt, "--ForeignFutureCompletePointer"),
-        2,
-        [rsCallback, callInvoker](
-            jsi::Runtime &rt,
-            const jsi::Value &thisValue,
-            const jsi::Value *arguments,
-            size_t count) -> jsi::Value
-        {
-            return intoRust(rt, callInvoker, thisValue, arguments, count, rsCallback);
-        }
-    );
-  }
-
-  static jsi::Value intoRust(
-      jsi::Runtime &rt,
-      std::shared_ptr<CallInvoker> callInvoker,
-      const jsi::Value &thisValue,
-      const jsi::Value *args,
-      size_t count,
-      UniffiForeignFutureCompletePointer func) {
-    // Convert the arguments into the Rust, with Bridging<T>::fromJs,
-    // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructPointer>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultF64>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1711,21 +1582,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructRustBuffer> {
-  static UniffiForeignFutureStructRustBuffer fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultRustBuffer> {
+  static UniffiForeignFutureResultRustBuffer fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructRustBuffer");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultRustBuffer");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructRustBuffer rsObject;
+    UniffiForeignFutureResultRustBuffer rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.return_value = uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(
@@ -1773,7 +1644,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteRustBuffer> {
       UniffiForeignFutureCompleteRustBuffer func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructRustBuffer>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultRustBuffer>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1785,21 +1656,21 @@ namespace uniffi::zcam1_verify_utils {
 using namespace facebook;
 using CallInvoker = uniffi_runtime::UniffiCallInvoker;
 
-template <> struct Bridging<UniffiForeignFutureStructVoid> {
-  static UniffiForeignFutureStructVoid fromJs(jsi::Runtime &rt,
+template <> struct Bridging<UniffiForeignFutureResultVoid> {
+  static UniffiForeignFutureResultVoid fromJs(jsi::Runtime &rt,
     std::shared_ptr<CallInvoker> callInvoker,
     const jsi::Value &jsValue
   ) {
     // Check if the input is an object
     if (!jsValue.isObject()) {
-      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureStructVoid");
+      throw jsi::JSError(rt, "Expected an object for UniffiForeignFutureResultVoid");
     }
 
     // Get the object from the jsi::Value
     auto jsObject = jsValue.getObject(rt);
 
     // Create the vtable struct
-    UniffiForeignFutureStructVoid rsObject;
+    UniffiForeignFutureResultVoid rsObject;
 
     // Create the vtable from the js callbacks.
     rsObject.call_status = uniffi::zcam1_verify_utils::Bridging<RustCallStatus>::fromJs(
@@ -1843,7 +1714,7 @@ template <> struct Bridging<UniffiForeignFutureCompleteVoid> {
       UniffiForeignFutureCompleteVoid func) {
     // Convert the arguments into the Rust, with Bridging<T>::fromJs,
     // then call the rs_callback with those arguments.
-        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureStructVoid>::fromJs(rt, callInvoker, args[1])
+        func(uniffi_jsi::Bridging<uint64_t>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<UniffiForeignFutureResultVoid>::fromJs(rt, callInvoker, args[1])
         );
 
         
@@ -1914,12 +1785,12 @@ NativeZcam1VerifyUtils::NativeZcam1VerifyUtils(
             return this->cpp_uniffi_zcam1_verify_utils_fn_func_verify_bindings_from_manifest(rt, thisVal, args, count);
         }
     );
-    props["ubrn_uniffi_zcam1_verify_utils_fn_func_verify_groth16"] = jsi::Function::createFromHostFunction(
+    props["ubrn_uniffi_zcam1_verify_utils_fn_func_verify_proof_from_manifest"] = jsi::Function::createFromHostFunction(
         rt,
-        jsi::PropNameID::forAscii(rt, "ubrn_uniffi_zcam1_verify_utils_fn_func_verify_groth16"),
-        3,
+        jsi::PropNameID::forAscii(rt, "ubrn_uniffi_zcam1_verify_utils_fn_func_verify_proof_from_manifest"),
+        5,
         [this](jsi::Runtime &rt, const jsi::Value &thisVal, const jsi::Value *args, size_t count) -> jsi::Value {
-            return this->cpp_uniffi_zcam1_verify_utils_fn_func_verify_groth16(rt, thisVal, args, count);
+            return this->cpp_uniffi_zcam1_verify_utils_fn_func_verify_proof_from_manifest(rt, thisVal, args, count);
         }
     );
     props["ubrn_uniffi_zcam1_verify_utils_checksum_func_verify_bindings_from_manifest"] = jsi::Function::createFromHostFunction(
@@ -1930,12 +1801,12 @@ NativeZcam1VerifyUtils::NativeZcam1VerifyUtils(
             return this->cpp_uniffi_zcam1_verify_utils_checksum_func_verify_bindings_from_manifest(rt, thisVal, args, count);
         }
     );
-    props["ubrn_uniffi_zcam1_verify_utils_checksum_func_verify_groth16"] = jsi::Function::createFromHostFunction(
+    props["ubrn_uniffi_zcam1_verify_utils_checksum_func_verify_proof_from_manifest"] = jsi::Function::createFromHostFunction(
         rt,
-        jsi::PropNameID::forAscii(rt, "ubrn_uniffi_zcam1_verify_utils_checksum_func_verify_groth16"),
+        jsi::PropNameID::forAscii(rt, "ubrn_uniffi_zcam1_verify_utils_checksum_func_verify_proof_from_manifest"),
         0,
         [this](jsi::Runtime &rt, const jsi::Value &thisVal, const jsi::Value *args, size_t count) -> jsi::Value {
-            return this->cpp_uniffi_zcam1_verify_utils_checksum_func_verify_groth16(rt, thisVal, args, count);
+            return this->cpp_uniffi_zcam1_verify_utils_checksum_func_verify_proof_from_manifest(rt, thisVal, args, count);
         }
     );
     props["ubrn_ffi_zcam1_verify_utils_uniffi_contract_version"] = jsi::Function::createFromHostFunction(
@@ -1983,8 +1854,10 @@ void NativeZcam1VerifyUtils::set(jsi::Runtime& rt, const jsi::PropNameID& name,
 NativeZcam1VerifyUtils::~NativeZcam1VerifyUtils() {
     // Cleanup for callback function RustFutureContinuationCallback
 uniffi::zcam1_verify_utils::cb::rustfuturecontinuationcallback::cleanup();
+    // Cleanup for callback function ForeignFutureDroppedCallback
+uniffi::zcam1_verify_utils::cb::foreignfuturedroppedcallback::cleanup();
     // Cleanup for "free" callback function CallbackInterfaceFree
-uniffi::zcam1_verify_utils::st::foreignfuture::foreignfuture::free::cleanup();
+
 }
 
 // Utility functions for serialization/deserialization of strings.
@@ -2011,9 +1884,9 @@ jsi::Value NativeZcam1VerifyUtils::cpp_uniffi_zcam1_verify_utils_fn_func_verify_
         
         return uniffi_jsi::Bridging<int8_t>::toJs(rt, callInvoker, value);
 }
-jsi::Value NativeZcam1VerifyUtils::cpp_uniffi_zcam1_verify_utils_fn_func_verify_groth16(jsi::Runtime& rt, const jsi::Value& thisVal, const jsi::Value* args, size_t count) {
+jsi::Value NativeZcam1VerifyUtils::cpp_uniffi_zcam1_verify_utils_fn_func_verify_proof_from_manifest(jsi::Runtime& rt, const jsi::Value& thisVal, const jsi::Value* args, size_t count) {
         RustCallStatus status = uniffi::zcam1_verify_utils::Bridging<RustCallStatus>::rustSuccess(rt);
-        auto value = uniffi_zcam1_verify_utils_fn_func_verify_groth16(uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[1]), uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[2]), 
+        auto value = uniffi_zcam1_verify_utils_fn_func_verify_proof_from_manifest(uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[0]), uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[1]), uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[2]), uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[3]), uniffi::zcam1_verify_utils::Bridging<RustBuffer>::fromJs(rt, callInvoker, args[4]), 
             &status
         );
         uniffi::zcam1_verify_utils::Bridging<RustCallStatus>::copyIntoJs(rt, callInvoker, status, args[count - 1]);
@@ -2028,8 +1901,8 @@ jsi::Value NativeZcam1VerifyUtils::cpp_uniffi_zcam1_verify_utils_checksum_func_v
         
         return uniffi_jsi::Bridging<uint16_t>::toJs(rt, callInvoker, value);
 }
-jsi::Value NativeZcam1VerifyUtils::cpp_uniffi_zcam1_verify_utils_checksum_func_verify_groth16(jsi::Runtime& rt, const jsi::Value& thisVal, const jsi::Value* args, size_t count) {
-        auto value = uniffi_zcam1_verify_utils_checksum_func_verify_groth16(
+jsi::Value NativeZcam1VerifyUtils::cpp_uniffi_zcam1_verify_utils_checksum_func_verify_proof_from_manifest(jsi::Runtime& rt, const jsi::Value& thisVal, const jsi::Value* args, size_t count) {
+        auto value = uniffi_zcam1_verify_utils_checksum_func_verify_proof_from_manifest(
         );