@provablehq/wasm 0.11.8 → 0.11.10

package/dist/mainnet/aleo_wasm.d.ts

@@ -9,6 +9,18 @@ export function runRayonThread(receiver: number): void;
  */
 export function setWasmLogLevel(level: number): void;
 export function initThreadPool(url: URL, num_threads: number): Promise<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 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
@@ -35,18 +47,19 @@ export function verifyFunctionExecution(execution: Execution, verifying_key: Ver
  * @returns {boolean} True if the batch proof is valid, false otherwise
  */
 export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
+export function stringToField(string: string): Field;
 /**
- * Verify a SNARK proof against a verifying key and public inputs.
+ * Set test consensus version heights for testing.
  *
- * 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 {string | undefined} heights The block heights at which each consensus version applies. This input should be a simple csv list of block heights and there should be one number for each consensus version. If left undefined, the default test heights will be applied.
  *
- * @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
+ * @example
+ * 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,15,16,17,18");
  */
-export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
+export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
 /**
  * Returns the maximum number of imports allowed in a program by the
  * snarkVM network implementation this SDK was built against.
@@ -59,19 +72,6 @@ export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, pro
  * const maxImports = getMaxProgramImports();
  */
 export function getMaxProgramImports(): number;
-/**
- * Set test consensus version heights for testing.
- *
- * @param {string | undefined} heights The block heights at which each consensus version applies. This input should be a simple csv list of block heights and there should be one number for each consensus version. If left undefined, the default test heights will be applied.
- *
- * @example
- * 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,15,16,17,18");
- */
-export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
-export function stringToField(string: string): Field;
 /**
  * Public address of an Aleo account
  */
@@ -2447,7 +2447,7 @@ export class Pedersen64 {
  *
  * @example
  * // Get the bond state of an existing address.
- * const bondState = await fetch(https://api.provable.com/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
+ * const bondState = await fetch(https://edge.provable.com/api/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
  * // Convert the bond state to a Plaintext object.
  * const bondStatePlaintext = Plaintext.fromString(bond_state);
  * // Convert the Plaintext object to a JS object.

package/dist/mainnet/index.cjs

@@ -320,6 +320,39 @@ function addBorrowedObject(obj) {
     heap[--stack_pointer] = obj;
     return stack_pointer;
 }
+/**
+ * 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
+ * @param {VerifyingKey} verifying_key
+ * @param {Array<any>} inputs
+ * @param {Proof} proof
+ * @returns {boolean}
+ */
+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.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);
+        if (r2) {
+            throw takeObject(r1);
+        }
+        return r0 !== 0;
+    } finally {
+        wasm$1.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
 /**
  * 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
@@ -401,55 +434,27 @@ function snarkVerifyBatch(verifying_keys, inputs, proof) {
 }
 
 /**
- * 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
- * @param {VerifyingKey} verifying_key
- * @param {Array<any>} inputs
- * @param {Proof} proof
- * @returns {boolean}
+ * @param {string} string
+ * @returns {Field}
  */
-function snarkVerify(verifying_key, inputs, proof) {
+function stringToField(string) {
     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);
+        const ptr0 = passStringToWasm0(string, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm$1.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 r0 !== 0;
+        return Field.__wrap(r0);
     } finally {
         wasm$1.__wbindgen_add_to_stack_pointer(16);
     }
 }
 
-/**
- * Returns the maximum number of imports allowed in a program by the
- * snarkVM network implementation this SDK was built against.
- *
- * @returns {number} The maximum number of program imports.
- *
- * @example
- * import { getMaxProgramImports } from '@provablehq/sdk';
- *
- * const maxImports = getMaxProgramImports();
- * @returns {number}
- */
-function getMaxProgramImports() {
-    const ret = wasm$1.getMaxProgramImports();
-    return ret >>> 0;
-}
-
 /**
  * Set test consensus version heights for testing.
  *
@@ -471,25 +476,20 @@ function getOrInitConsensusVersionTestHeights(heights) {
 }
 
 /**
- * @param {string} string
- * @returns {Field}
+ * Returns the maximum number of imports allowed in a program by the
+ * snarkVM network implementation this SDK was built against.
+ *
+ * @returns {number} The maximum number of program imports.
+ *
+ * @example
+ * import { getMaxProgramImports } from '@provablehq/sdk';
+ *
+ * const maxImports = getMaxProgramImports();
+ * @returns {number}
  */
-function stringToField(string) {
-    try {
-        const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
-        const ptr0 = passStringToWasm0(string, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
-        const len0 = WASM_VECTOR_LEN;
-        wasm$1.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$1.__wbindgen_add_to_stack_pointer(16);
-    }
+function getMaxProgramImports() {
+    const ret = wasm$1.getMaxProgramImports();
+    return ret >>> 0;
 }
 
 function passArrayJsValueToWasm0(array, malloc) {
@@ -511,12 +511,12 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_8948(arg0, arg1, arg2) {
-    wasm$1.__wasm_bindgen_func_elem_8948(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_8946(arg0, arg1, arg2) {
+    wasm$1.__wasm_bindgen_func_elem_8946(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_7505(arg0, arg1) {
-    wasm$1.__wasm_bindgen_func_elem_7505(arg0, arg1);
+function __wasm_bindgen_func_elem_7504(arg0, arg1) {
+    wasm$1.__wasm_bindgen_func_elem_7504(arg0, arg1);
 }
 
 function __wasm_bindgen_func_elem_7777(arg0, arg1, arg2, arg3) {
@@ -8593,7 +8593,7 @@ const PlaintextFinalization = (typeof FinalizationRegistry === 'undefined')
  *
  * @example
  * // Get the bond state of an existing address.
- * const bondState = await fetch(https://api.provable.com/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
+ * const bondState = await fetch(https://edge.provable.com/api/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
  * // Convert the bond state to a Plaintext object.
  * const bondStatePlaintext = Plaintext.fromString(bond_state);
  * // Convert the Plaintext object to a JS object.
@@ -19325,7 +19325,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_7ab0c7ccba2f0588 = function(arg0, arg1) {
+    imports.wbg.__wbg_log_6a7c7e39dc2b85ff = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
@@ -19515,7 +19515,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_69898deb011084cf = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_ea93f1cb9997e793 = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -19604,7 +19604,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_2adca60326a83a78 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [], shim_idx: 528, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7504, __wasm_bindgen_func_elem_7505);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7503, __wasm_bindgen_func_elem_7504);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_2ddd8a25ff58642a = function(arg0, arg1) {
@@ -19619,7 +19619,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_805ada4c4be963fc = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 396, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7504, __wasm_bindgen_func_elem_8948);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7503, __wasm_bindgen_func_elem_8946);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -19629,7 +19629,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_c048d24de4cf58bb = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [Externref], shim_idx: 396, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7504, __wasm_bindgen_func_elem_8948);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7503, __wasm_bindgen_func_elem_8946);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {