@provablehq/wasm 0.11.3 → 0.11.4

package/dist/testnet/aleo_wasm.d.ts

@@ -9,18 +9,6 @@ export function initThreadPool(url: URL, num_threads: number): Promise<void>;
  * Values above 4 are clamped to debug.
  */
 export function setWasmLogLevel(level: number): void;
-/**
- * Verify a SNARK proof against a verifying key and 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.
- *
- * @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
- */
-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.
  *
@@ -33,6 +21,18 @@ export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, pro
  * @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 a SNARK proof against a verifying key and 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.
+ *
+ * @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
+ */
+export function snarkVerify(verifying_key: VerifyingKey, 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
@@ -56,7 +56,7 @@ export function verifyFunctionExecution(execution: Execution, verifying_key: Ver
  * 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,14");
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16");
  */
 export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
 export function stringToField(string: string): Field;
@@ -2894,6 +2894,20 @@ export class Program {
    * console.log(credits_functions === expected_functions); // Output should be "true"
    */
   getFunctions(): Array<any>;
+  /**
+   * Get the program's name (without the `.aleo` suffix) encoded as a field element.
+   *
+   * This is the same value as casting the program name identifier to a field on-chain
+   * (e.g. `my_program.aleo` -> `Identifier("my_program") as field`), which is used as
+   * the program id in dynamic dispatch calls such as `IARC20@(token_id)`.
+   *
+   * @example
+   * const program = aleo_wasm.Program.getCreditsProgram();
+   * const field = program.nameToField(); // Field encoding of "credits"
+   *
+   * @returns {Field} The program name as a field element
+   */
+  nameToField(): Field;
   /**
    * Get the external call graph reachable from a specific entry function.
    *
@@ -3042,6 +3056,39 @@ export class Program {
    * @returns {Address} The address of the program
    */
   address(): Address;
+  /**
+   * Determine if the program implements the ARC-20 fungible token interface (IARC20).
+   *
+   * This checks that the program defines a `Token` record with an `amount: u128` entry
+   * (additional entries are permitted, per the interface's open record definition) and
+   * that every function and view function required by ARC-20 is present with the exact
+   * input and output signature defined by the standard.
+   *
+   * @see https://github.com/ProvableHQ/ARCs/blob/master/arc-0020/README.md
+   *
+   * @returns {boolean} True if the program implements the ARC-20 token interface
+   */
+  isArc20(): boolean;
+  /**
+   * Determine if the program implements the ARC-22 compliant token interface (IARC22).
+   *
+   * This checks that the program defines `Token` and `ComplianceRecord` records with the
+   * entries required by the standard (additional entries are permitted, per the
+   * interface's open record definitions), and that every function and view function
+   * required by ARC-22 is present with the exact input and output signature defined by
+   * the standard. The `MerkleProof` struct used by the private transfer functions may be
+   * declared locally (in which case its shape must match the standard exactly) or
+   * imported from another program such as a freeze list registry.
+   *
+   * Note: this checks the token interface (IARC22) only. The freeze list registry
+   * interface (IARC22Freezelist) is typically implemented by a separate program and is
+   * not required for a token program to be considered ARC-22 compliant.
+   *
+   * @see https://github.com/ProvableHQ/ARCs/blob/master/arc-0022/README.md
+   *
+   * @returns {boolean} True if the program implements the ARC-22 token interface
+   */
+  isArc22(): boolean;
   /**
    * Determine equality with another program
    *

package/dist/testnet/index.cjs

@@ -321,26 +321,25 @@ function addBorrowedObject(obj) {
     return stack_pointer;
 }
 /**
- * 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);
@@ -354,25 +353,26 @@ function snarkVerify(verifying_key, inputs, proof) {
 }
 
 /**
- * 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);
@@ -442,7 +442,7 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
  * 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,14");
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16");
  * @param {string | null} [heights]
  * @returns {Array<any>}
  */
@@ -494,16 +494,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_7384(arg0, arg1) {
-    wasm$1.__wasm_bindgen_func_elem_7384(arg0, arg1);
+function __wasm_bindgen_func_elem_7392(arg0, arg1) {
+    wasm$1.__wasm_bindgen_func_elem_7392(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_8758(arg0, arg1, arg2) {
-    wasm$1.__wasm_bindgen_func_elem_8758(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_8765(arg0, arg1, arg2) {
+    wasm$1.__wasm_bindgen_func_elem_8765(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_7657(arg0, arg1, arg2, arg3) {
-    wasm$1.__wasm_bindgen_func_elem_7657(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7664(arg0, arg1, arg2, arg3) {
+    wasm$1.__wasm_bindgen_func_elem_7664(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -10020,6 +10020,35 @@ class Program {
         const ret = wasm$1.program_getFunctions(this.__wbg_ptr);
         return takeObject(ret);
     }
+    /**
+     * Get the program's name (without the `.aleo` suffix) encoded as a field element.
+     *
+     * This is the same value as casting the program name identifier to a field on-chain
+     * (e.g. `my_program.aleo` -> `Identifier("my_program") as field`), which is used as
+     * the program id in dynamic dispatch calls such as `IARC20@(token_id)`.
+     *
+     * @example
+     * const program = aleo_wasm.Program.getCreditsProgram();
+     * const field = program.nameToField(); // Field encoding of "credits"
+     *
+     * @returns {Field} The program name as a field element
+     * @returns {Field}
+     */
+    nameToField() {
+        try {
+            const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
+            wasm$1.program_nameToField(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 Field.__wrap(r0);
+        } finally {
+            wasm$1.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Get the external call graph reachable from a specific entry function.
      *
@@ -10275,6 +10304,47 @@ class Program {
             wasm$1.__wbindgen_add_to_stack_pointer(16);
         }
     }
+    /**
+     * Determine if the program implements the ARC-20 fungible token interface (IARC20).
+     *
+     * This checks that the program defines a `Token` record with an `amount: u128` entry
+     * (additional entries are permitted, per the interface's open record definition) and
+     * that every function and view function required by ARC-20 is present with the exact
+     * input and output signature defined by the standard.
+     *
+     * @see https://github.com/ProvableHQ/ARCs/blob/master/arc-0020/README.md
+     *
+     * @returns {boolean} True if the program implements the ARC-20 token interface
+     * @returns {boolean}
+     */
+    isArc20() {
+        const ret = wasm$1.program_isArc20(this.__wbg_ptr);
+        return ret !== 0;
+    }
+    /**
+     * Determine if the program implements the ARC-22 compliant token interface (IARC22).
+     *
+     * This checks that the program defines `Token` and `ComplianceRecord` records with the
+     * entries required by the standard (additional entries are permitted, per the
+     * interface's open record definitions), and that every function and view function
+     * required by ARC-22 is present with the exact input and output signature defined by
+     * the standard. The `MerkleProof` struct used by the private transfer functions may be
+     * declared locally (in which case its shape must match the standard exactly) or
+     * imported from another program such as a freeze list registry.
+     *
+     * Note: this checks the token interface (IARC22) only. The freeze list registry
+     * interface (IARC22Freezelist) is typically implemented by a separate program and is
+     * not required for a token program to be considered ARC-22 compliant.
+     *
+     * @see https://github.com/ProvableHQ/ARCs/blob/master/arc-0022/README.md
+     *
+     * @returns {boolean} True if the program implements the ARC-22 token interface
+     * @returns {boolean}
+     */
+    isArc22() {
+        const ret = wasm$1.program_isArc22(this.__wbg_ptr);
+        return ret !== 0;
+    }
     /**
      * Determine equality with another program
      *
@@ -19238,7 +19308,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_0eaae399732a802e = function(arg0, arg1) {
+    imports.wbg.__wbg_log_4507b73801c06872 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
@@ -19256,7 +19326,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7657(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7664(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -19428,7 +19498,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_3f95ae6c0630b765 = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_6197e35077a8baba = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -19512,7 +19582,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_073ddd2b87fab8ab = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 360, function: Function { arguments: [], shim_idx: 467, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7383, __wasm_bindgen_func_elem_7384);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7391, __wasm_bindgen_func_elem_7392);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
@@ -19522,7 +19592,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_263b62405be3c669 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 360, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 361, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7383, __wasm_bindgen_func_elem_8758);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7391, __wasm_bindgen_func_elem_8765);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_2ddd8a25ff58642a = function(arg0, arg1) {
@@ -19537,7 +19607,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_5cd376b701f56c0e = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 360, function: Function { arguments: [Externref], shim_idx: 361, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7383, __wasm_bindgen_func_elem_8758);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7391, __wasm_bindgen_func_elem_8765);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {