@provablehq/wasm 0.10.6-rc.1 → 0.11.0

package/dist/mainnet/worker.js

@@ -286,6 +286,17 @@ function runRayonThread(receiver) {
     wasm.runRayonThread(receiver);
 }
 
+/**
+ * Set the WASM log level from JS. Called automatically by the SDK's
+ * `setLogLevel(level)` to keep TS and WASM logging in sync.
+ * Levels: 0=silent, 1=error, 2=warn, 3=info (default), 4=debug.
+ * Values above 4 are clamped to debug.
+ * @param {number} level
+ */
+function setWasmLogLevel(level) {
+    wasm.setWasmLogLevel(level);
+}
+
 /**
  * @param {URL} url
  * @param {number} num_threads
@@ -351,38 +362,6 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
     }
 }
 
-/**
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
- *
- * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
- * Each verifying key is paired with one or more sets of public inputs (instances).
- *
- * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
- * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
- * @param {Proof} proof The batch proof to verify
- * @returns {boolean} True if the batch proof is valid, false otherwise
- * @param {Array<any>} verifying_keys
- * @param {Array<any>} inputs
- * @param {Proof} proof
- * @returns {boolean}
- */
-function snarkVerifyBatch(verifying_keys, inputs, proof) {
-    try {
-        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(proof, Proof);
-        wasm.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
-        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
-        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
-        var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
-        if (r2) {
-            throw takeObject(r1);
-        }
-        return r0 !== 0;
-    } finally {
-        wasm.__wbindgen_add_to_stack_pointer(16);
-    }
-}
-
 /**
  * Verify a SNARK proof against a verifying key and public inputs.
  *
@@ -417,22 +396,32 @@ function snarkVerify(verifying_key, inputs, proof) {
 }
 
 /**
- * @param {string} string
- * @returns {Field}
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
+ *
+ * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
+ * Each verifying key is paired with one or more sets of public inputs (instances).
+ *
+ * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
+ * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
+ * @param {Proof} proof The batch proof to verify
+ * @returns {boolean} True if the batch proof is valid, false otherwise
+ * @param {Array<any>} verifying_keys
+ * @param {Array<any>} inputs
+ * @param {Proof} proof
+ * @returns {boolean}
  */
-function stringToField(string) {
+function snarkVerifyBatch(verifying_keys, inputs, proof) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
-        const len0 = WASM_VECTOR_LEN;
-        wasm.stringToField(retptr, ptr0, len0);
+        _assertClass(proof, Proof);
+        wasm.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
         if (r2) {
             throw takeObject(r1);
         }
-        return Field.__wrap(r0);
+        return r0 !== 0;
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
     }
@@ -458,6 +447,28 @@ function getOrInitConsensusVersionTestHeights(heights) {
     return takeObject(ret);
 }
 
+/**
+ * @param {string} string
+ * @returns {Field}
+ */
+function stringToField(string) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.stringToField(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+        if (r2) {
+            throw takeObject(r1);
+        }
+        return Field.__wrap(r0);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
 function passArrayJsValueToWasm0(array, malloc) {
     const ptr = malloc(array.length * 4, 4) >>> 0;
     const mem = getDataViewMemory0();
@@ -477,16 +488,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_8618(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_8618(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_7287(arg0, arg1) {
+    wasm.__wasm_bindgen_func_elem_7287(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_7256(arg0, arg1) {
-    wasm.__wasm_bindgen_func_elem_7256(arg0, arg1);
+function __wasm_bindgen_func_elem_8655(arg0, arg1, arg2) {
+    wasm.__wasm_bindgen_func_elem_8655(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_7529(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_7529(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7560(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_7560(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -12391,6 +12402,17 @@ const ProvingRequestFinalization = (typeof FinalizationRegistry === 'undefined')
     : new FinalizationRegistry(ptr => wasm.__wbg_provingrequest_free(ptr >>> 0, 1));
 /**
  * Represents a proving request to a prover.
+ *
+ * Carries one of two variants:
+ * - `Authorization` — a fully-constructed snarkVM `Authorization` (plus optional
+ *   fee authorization). Submitted to `/prove/authorization` (encrypted-only).
+ * - `Request` — a single signed snarkVM `Request` (plus optional fee `Request`)
+ *   that the prover authorizes server-side. Submitted to `/prove/request`
+ *   (encrypted-only).
+ *
+ * Use {@link ProvingRequest#kind} when handling a `ProvingRequest` of unknown
+ * variant (e.g. after deserialization). Variant-specific accessors throw if
+ * called on the wrong variant.
  */
 class ProvingRequest {
 
@@ -12414,9 +12436,23 @@ class ProvingRequest {
         wasm.__wbg_provingrequest_free(ptr, 0);
     }
     /**
-     * Creates a ProvingRequest from a string representation.
+     * Returns the signed fee `ExecutionRequest` in the Request variant, or
+     * `undefined` when no fee request is set or this is an Authorization variant.
+     * @returns {ExecutionRequest | undefined}
+     */
+    feeRequest() {
+        const ret = wasm.provingrequest_feeRequest(this.__wbg_ptr);
+        return ret === 0 ? undefined : ExecutionRequest.__wrap(ret);
+    }
+    /**
+     * Creates a `ProvingRequest` from a JSON string representation.
      *
-     * @param {Uint8Array} request String representation of the ProvingRequest.
+     * The variant is determined automatically by the JSON shape:
+     * `{ authorization, ... }` → Authorization variant; `{ request, ... }` →
+     * Request variant. Use {@link ProvingRequest#kind} to inspect the
+     * resulting variant.
+     *
+     * @param {string} request JSON string representation of the ProvingRequest.
      * @param {string} request
      * @returns {ProvingRequest}
      */
@@ -12438,7 +12474,10 @@ class ProvingRequest {
         }
     }
     /**
-     * Creates a left-endian byte representation of the ProvingRequest.
+     * Creates a left-endian byte representation of the ProvingRequest,
+     * dispatching on the variant. The bytes are wire-compatible with the
+     * matching DPS route (`/prove[/encrypted]` for Authorization,
+     * `/prove/request` for Request).
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -12457,17 +12496,64 @@ class ProvingRequest {
         }
     }
     /**
-     * Get the Authorization of the main function in the ProvingRequest.
+     * Creates a new Request-variant `ProvingRequest` from a single signed
+     * `ExecutionRequest` and an optional signed fee `ExecutionRequest`.
+     *
+     * The Request variant is processed by the DPS at the `/prove/request`
+     * endpoint, which is encrypted-only. The server runs
+     * `Process::authorize_request` to turn each `Request` into an
+     * `Authorization` before proving.
+     *
+     * Only valid for single-public-request executions. Layered / nested
+     * calls are not supported by `/prove/request` at this time.
+     *
+     * @param {ExecutionRequest} request The signed request for the function.
+     * @param {ExecutionRequest} fee_request Optional signed request for the fee function. When omitted, the prover generates and pays the fee.
+     * @param {boolean} broadcast Flag that indicates whether the remote proving service should attempt to submit the transaction on the caller's behalf.
+     * @param {ExecutionRequest} request
+     * @param {ExecutionRequest | null | undefined} fee_request
+     * @param {boolean} broadcast
+     * @returns {ProvingRequest}
+     */
+    static fromRequest(request, fee_request, broadcast) {
+        _assertClass(request, ExecutionRequest);
+        var ptr0 = request.__destroy_into_raw();
+        let ptr1 = 0;
+        if (!isLikeNone(fee_request)) {
+            _assertClass(fee_request, ExecutionRequest);
+            ptr1 = fee_request.__destroy_into_raw();
+        }
+        const ret = wasm.provingrequest_fromRequest(ptr0, ptr1, broadcast);
+        return ProvingRequest.__wrap(ret);
+    }
+    /**
+     * Returns the Authorization of the main function in the ProvingRequest.
+     *
+     * @throws If this `ProvingRequest` is a Request variant. Check
+     * {@link ProvingRequest#kind} or use {@link ProvingRequest#request} instead.
      * @returns {Authorization}
      */
     authorization() {
-        const ret = wasm.provingrequest_authorization(this.__wbg_ptr);
-        return Authorization.__wrap(ret);
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_authorization(retptr, this.__wbg_ptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return Authorization.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
     }
     /**
-     * Creates a ProvingRequest from a left-endian byte representation of the ProvingRequest.
+     * Reads bytes as an Authorization-variant `ProvingRequest`. For the
+     * Request variant, use {@link ProvingRequest.fromBytesLeRequest}
+     * explicitly — byte layout carries no variant discriminator.
      *
-     * @param {Uint8Array} bytes Left-endian bytes representing the proving request.
+     * @param {Uint8Array} bytes Left-endian bytes representing an Authorization-variant proving request.
      * @param {Uint8Array} bytes
      * @returns {ProvingRequest}
      */
@@ -12487,7 +12573,8 @@ class ProvingRequest {
         }
     }
     /**
-     * Get the fee Authorization in the ProvingRequest.
+     * Returns the fee Authorization in the ProvingRequest, or `undefined`
+     * when no fee is set or this is a Request variant.
      * @returns {Authorization | undefined}
      */
     feeAuthorization() {
@@ -12495,7 +12582,32 @@ class ProvingRequest {
         return ret === 0 ? undefined : Authorization.__wrap(ret);
     }
     /**
-     * Creates a new ProvingRequest from a function Authorization and an optional fee Authorization.
+     * Reads bytes as a Request-variant `ProvingRequest`. Byte layout is
+     * disjoint from the Authorization variant; callers must pick the right
+     * reader for the bytes they hold.
+     *
+     * @param {Uint8Array} bytes Left-endian bytes representing a Request-variant proving request.
+     * @param {Uint8Array} bytes
+     * @returns {ProvingRequest}
+     */
+    static fromBytesLeRequest(bytes) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_fromBytesLeRequest(retptr, addHeapObject(bytes));
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return ProvingRequest.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Creates a new Authorization-variant `ProvingRequest` from a function
+     * `Authorization` and an optional fee `Authorization`.
      *
      * @param {Authorization} authorization An Authorization for a function.
      * @param {Authorization} fee_authorization The authorization for the `credits.aleo/fee_public` or `credits.aleo/fee_private` function that pays the fee for the execution of the main function.
@@ -12516,6 +12628,28 @@ class ProvingRequest {
         const ret = wasm.provingrequest_new(ptr0, ptr1, broadcast);
         return ProvingRequest.__wrap(ret);
     }
+    /**
+     * Returns the variant of this `ProvingRequest`: `"authorization"` or
+     * `"request"`. Useful when handling a `ProvingRequest` whose variant
+     * was determined at deserialization time.
+     * @returns {string}
+     */
+    kind() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_kind(retptr, this.__wbg_ptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            deferred1_0 = r0;
+            deferred1_1 = r1;
+            return getStringFromWasm0(r0, r1);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+            wasm.__wbindgen_export4(deferred1_0, deferred1_1, 1);
+        }
+    }
     /**
      * Check if a ProvingRequest is the same as another ProvingRequest.
      * @param {ProvingRequest} other
@@ -12526,6 +12660,29 @@ class ProvingRequest {
         const ret = wasm.provingrequest_equals(this.__wbg_ptr, other.__wbg_ptr);
         return ret !== 0;
     }
+    /**
+     * Returns the signed `ExecutionRequest` carried by the Request variant.
+     *
+     * @throws If this `ProvingRequest` is an Authorization variant. Check
+     * {@link ProvingRequest#kind} or use {@link ProvingRequest#authorization}
+     * instead.
+     * @returns {ExecutionRequest}
+     */
+    request() {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_request(retptr, this.__wbg_ptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return ExecutionRequest.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Get the broadcast flag set in the ProvingRequest.
      * @returns {boolean}
@@ -12535,7 +12692,9 @@ class ProvingRequest {
         return ret !== 0;
     }
     /**
-     * Creates a string representation of the ProvingRequest.
+     * Creates a JSON string representation of the ProvingRequest.
+     * The shape carries enough information to recover the variant via
+     * {@link ProvingRequest.fromString}.
      * @returns {string}
      */
     toString() {
@@ -19081,7 +19240,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_2c81ec274d38c9bb = function(arg0, arg1) {
+    imports.wbg.__wbg_log_b88efcc0ed7757a6 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_msCrypto_a61aeb35a24c1329 = function(arg0) {
@@ -19103,7 +19262,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7529(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7560(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -19290,7 +19449,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_c5c00ae0c7b9fe56 = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_6ede797d507e374c = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -19392,7 +19551,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_3ebebf8ee554379e = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 355, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7255, __wasm_bindgen_func_elem_8618);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_8655);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_4625c577ab2ec9ee = function(arg0) {
@@ -19402,12 +19561,12 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_5e9bcb6388942484 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [], shim_idx: 462, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7255, __wasm_bindgen_func_elem_7256);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_7287);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_74f3a90a349943d1 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [Externref], shim_idx: 355, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7255, __wasm_bindgen_func_elem_8618);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_8655);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -19576,6 +19735,7 @@ var exports$1 = /*#__PURE__*/Object.freeze({
     initSync: initSync,
     initThreadPool: initThreadPool,
     runRayonThread: runRayonThread,
+    setWasmLogLevel: setWasmLogLevel,
     snarkVerify: snarkVerify,
     snarkVerifyBatch: snarkVerifyBatch,
     stringToField: stringToField,