@provablehq/wasm 0.10.6-rc.1 → 0.11.1

package/dist/testnet/aleo_wasm.d.ts

@@ -2,6 +2,13 @@
 /* eslint-disable */
 export function runRayonThread(receiver: number): void;
 export function initThreadPool(url: URL, num_threads: number): Promise<void>;
+/**
+ * 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 setWasmLogLevel(level: number): void;
 /**
  * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
  *
@@ -40,7 +47,6 @@ export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, pro
  * @returns {boolean} True if the execution is valid, false otherwise
  */
 export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string, imports: object | null | undefined, imported_verifying_keys: object | null | undefined, block_height: number, program_imports?: ProgramImports | null): boolean;
-export function stringToField(string: string): Field;
 /**
  * Set test consensus version heights for testing.
  *
@@ -50,9 +56,10 @@ export function stringToField(string: string): Field;
  * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
  *
  * Set the consensus version heights.
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13");
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14");
  */
 export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
+export function stringToField(string: string): Field;
 /**
  * Public address of an Aleo account
  */
@@ -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;
 }