@provablehq/wasm 0.10.6-rc.1 → 0.11.0

package/dist/testnet/aleo_wasm.d.ts

@@ -3,17 +3,12 @@
 export function runRayonThread(receiver: number): void;
 export function initThreadPool(url: URL, num_threads: number): Promise<void>;
 /**
- * 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
+ * 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.
  */
-export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
+export function setWasmLogLevel(level: number): void;
 /**
  * Verify a SNARK proof against a verifying key and public inputs.
  *
@@ -26,6 +21,18 @@ export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>,
  * @returns {boolean} True if the proof is valid, false otherwise
  */
 export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
+/**
+ * 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
+ */
+export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
 /**
  * Verify an execution. Executions with multiple transitions must have the program source code and
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -3841,53 +3848,125 @@ export class ProvingKey {
 }
 /**
  * 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.
  */
 export class ProvingRequest {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
   /**
-   * 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.
+   */
+  feeRequest(): ExecutionRequest | undefined;
+  /**
+   * Creates a `ProvingRequest` from a JSON string representation.
+   *
+   * 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 {Uint8Array} request String representation of the ProvingRequest.
+   * @param {string} request JSON string representation of the ProvingRequest.
    */
   static fromString(request: string): 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).
    */
   toBytesLe(): Uint8Array;
   /**
-   * 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.
+   */
+  static fromRequest(request: ExecutionRequest, fee_request: ExecutionRequest | null | undefined, broadcast: boolean): ProvingRequest;
+  /**
+   * 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.
    */
   authorization(): Authorization;
   /**
-   * 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.
    */
   static fromBytesLe(bytes: Uint8Array): 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.
    */
   feeAuthorization(): Authorization | undefined;
   /**
-   * 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.
+   */
+  static fromBytesLeRequest(bytes: Uint8Array): ProvingRequest;
+  /**
+   * 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.
    * @param {boolean} broadcast Flag that indicates whether the remote proving service should attempt to submit the transaction on the caller's behalf.
    */
   static new(authorization: Authorization, fee_authorization: Authorization | null | undefined, broadcast: boolean): ProvingRequest;
+  /**
+   * Returns the variant of this `ProvingRequest`: `"authorization"` or
+   * `"request"`. Useful when handling a `ProvingRequest` whose variant
+   * was determined at deserialization time.
+   */
+  kind(): string;
   /**
    * Check if a ProvingRequest is the same as another ProvingRequest.
    */
   equals(other: ProvingRequest): boolean;
+  /**
+   * 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.
+   */
+  request(): ExecutionRequest;
   /**
    * Get the broadcast flag set in the ProvingRequest.
    */
   broadcast(): boolean;
   /**
-   * 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}.
    */
   toString(): string;
 }

package/dist/testnet/index.cjs

@@ -302,6 +302,17 @@ function initThreadPool(url, num_threads) {
     return takeObject(ret);
 }
 
+/**
+ * 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$1.setWasmLogLevel(level);
+}
+
 let stack_pointer = 128;
 
 function addBorrowedObject(obj) {
@@ -310,25 +321,26 @@ function addBorrowedObject(obj) {
     return stack_pointer;
 }
 /**
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
+ * Verify a SNARK proof against a verifying key and 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).
+ * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
+ * It directly invokes the Varuna proof verification from snarkVM.
  *
- * @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 {VerifyingKey} verifying_key The verifying key for the circuit
+ * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
+ * @param {Proof} proof The proof to verify
+ * @returns {boolean} True if the proof is valid, false otherwise
+ * @param {VerifyingKey} verifying_key
  * @param {Array<any>} inputs
  * @param {Proof} proof
  * @returns {boolean}
  */
-function snarkVerifyBatch(verifying_keys, inputs, proof) {
+function snarkVerify(verifying_key, inputs, proof) {
     try {
         const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
+        _assertClass(verifying_key, VerifyingKey);
         _assertClass(proof, Proof);
-        wasm$1.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
+        wasm$1.snarkVerify(retptr, verifying_key.__wbg_ptr, 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);
@@ -342,26 +354,25 @@ function snarkVerifyBatch(verifying_keys, inputs, proof) {
 }
 
 /**
- * Verify a SNARK proof against a verifying key and public inputs.
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
  *
- * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
- * It directly invokes the Varuna proof verification from snarkVM.
+ * 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 {VerifyingKey} verifying_key The verifying key for the circuit
- * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
- * @param {Proof} proof The proof to verify
- * @returns {boolean} True if the proof is valid, false otherwise
- * @param {VerifyingKey} verifying_key
+ * @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 snarkVerify(verifying_key, inputs, proof) {
+function snarkVerifyBatch(verifying_keys, inputs, proof) {
     try {
         const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(verifying_key, VerifyingKey);
         _assertClass(proof, Proof);
-        wasm$1.snarkVerify(retptr, verifying_key.__wbg_ptr, addHeapObject(inputs), proof.__wbg_ptr);
+        wasm$1.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);
@@ -483,16 +494,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_8618(arg0, arg1, arg2) {
-    wasm$1.__wasm_bindgen_func_elem_8618(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_8655(arg0, arg1, arg2) {
+    wasm$1.__wasm_bindgen_func_elem_8655(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_7257(arg0, arg1) {
-    wasm$1.__wasm_bindgen_func_elem_7257(arg0, arg1);
+function __wasm_bindgen_func_elem_7286(arg0, arg1) {
+    wasm$1.__wasm_bindgen_func_elem_7286(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_7529(arg0, arg1, arg2, arg3) {
-    wasm$1.__wasm_bindgen_func_elem_7529(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7558(arg0, arg1, arg2, arg3) {
+    wasm$1.__wasm_bindgen_func_elem_7558(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -12397,6 +12408,17 @@ const ProvingRequestFinalization = (typeof FinalizationRegistry === 'undefined')
     : new FinalizationRegistry(ptr => wasm$1.__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 {
 
@@ -12420,9 +12442,23 @@ class ProvingRequest {
         wasm$1.__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$1.provingrequest_feeRequest(this.__wbg_ptr);
+        return ret === 0 ? undefined : ExecutionRequest.__wrap(ret);
+    }
+    /**
+     * Creates a `ProvingRequest` from a JSON string representation.
+     *
+     * 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 {Uint8Array} request String representation of the ProvingRequest.
+     * @param {string} request JSON string representation of the ProvingRequest.
      * @param {string} request
      * @returns {ProvingRequest}
      */
@@ -12444,7 +12480,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() {
@@ -12463,17 +12502,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$1.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$1.provingrequest_authorization(this.__wbg_ptr);
-        return Authorization.__wrap(ret);
+        try {
+            const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
+            wasm$1.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$1.__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}
      */
@@ -12493,7 +12579,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() {
@@ -12501,7 +12588,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$1.__wbindgen_add_to_stack_pointer(-16);
+            wasm$1.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$1.__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.
@@ -12522,6 +12634,28 @@ class ProvingRequest {
         const ret = wasm$1.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$1.__wbindgen_add_to_stack_pointer(-16);
+            wasm$1.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$1.__wbindgen_add_to_stack_pointer(16);
+            wasm$1.__wbindgen_export4(deferred1_0, deferred1_1, 1);
+        }
+    }
     /**
      * Check if a ProvingRequest is the same as another ProvingRequest.
      * @param {ProvingRequest} other
@@ -12532,6 +12666,29 @@ class ProvingRequest {
         const ret = wasm$1.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$1.__wbindgen_add_to_stack_pointer(-16);
+            wasm$1.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$1.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Get the broadcast flag set in the ProvingRequest.
      * @returns {boolean}
@@ -12541,7 +12698,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() {
@@ -19087,7 +19246,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) {
@@ -19109,7 +19268,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_7558(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -19296,7 +19455,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);
     };
@@ -19403,7 +19562,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_711d7deea8fc39ca = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [Externref], shim_idx: 357, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7256, __wasm_bindgen_func_elem_8618);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7285, __wasm_bindgen_func_elem_8655);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -19413,7 +19572,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_cada7727142cd213 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 357, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7256, __wasm_bindgen_func_elem_8618);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7285, __wasm_bindgen_func_elem_8655);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_cb9088102bce6b30 = function(arg0, arg1) {
@@ -19423,7 +19582,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_cdf07f87b2615f8c = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [], shim_idx: 462, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7256, __wasm_bindgen_func_elem_7257);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7285, __wasm_bindgen_func_elem_7286);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
@@ -19582,6 +19741,7 @@ var exports$1$1 = /*#__PURE__*/Object.freeze({
     initSync: initSync$1,
     initThreadPool: initThreadPool,
     runRayonThread: runRayonThread,
+    setWasmLogLevel: setWasmLogLevel,
     snarkVerify: snarkVerify,
     snarkVerifyBatch: snarkVerifyBatch,
     stringToField: stringToField,