@noir-lang/acvm_js 1.0.0-beta.22 → 1.0.0-beta.23

package/nodejs/acvm_js.d.ts

@@ -79,23 +79,23 @@ export function blake2s256(inputs: Uint8Array): Uint8Array;
 
 /**
  * Returns the `BuildInfo` object containing information about how the installed package was built.
- * @returns {BuildInfo} - Information on how the installed package was built.
+ * @returns {`BuildInfo`} - Information on how the installed package was built.
  */
 export function buildInfo(): BuildInfo;
 
 /**
  * Compresses a `WitnessMap` into the binary format outputted by Nargo.
  *
- * @param {WitnessMap} witness_map - A witness map.
- * @returns {Uint8Array} A compressed witness map
+ * @param {`WitnessMap`} `witness_map` - A witness map.
+ * @returns {`Uint8Array`} A compressed witness map
  */
 export function compressWitness(witness_map: WitnessMap): Uint8Array;
 
 /**
  * Compresses a `WitnessStack` into the binary format outputted by Nargo.
  *
- * @param {WitnessStack} witness_stack - A witness stack.
- * @returns {Uint8Array} A compressed witness stack
+ * @param {`WitnessStack`} `witness_stack` - A witness stack.
+ * @returns {`Uint8Array`} A compressed witness stack
  */
 export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
 
@@ -103,16 +103,16 @@ export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
  * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
  * This should be used to only fetch the witness map for the main function.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessMap} The decompressed witness map.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessMap`} The decompressed witness map.
  */
 export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
 
 /**
  * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessStack} The decompressed witness stack.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessStack`} The decompressed witness stack.
  */
 export function decompressWitnessStack(compressed_witness: Uint8Array): WitnessStack;
 
@@ -129,10 +129,10 @@ export function ecdsa_secp256r1_verify(hashed_msg: Uint8Array, public_key_x_byte
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`WitnessMap`} The solved witness calculated by executing the circuit on the provided inputs.
  */
 export function executeCircuit(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessMap>;
 
@@ -140,54 +140,54 @@ export function executeCircuit(program: Uint8Array, initial_witness: WitnessMap,
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  * This method also extracts the public return values from the solved witness into its own return witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {SolvedAndReturnWitness} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`SolvedAndReturnWitness`} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
  */
 export function executeCircuitWithReturnWitness(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<SolvedAndReturnWitness>;
 
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} program - A serialized representation of an ACIR program
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
- * @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
+ * @param {`Uint8Array`} program - A serialized representation of an ACIR program
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `program`.
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the program.
+ * @returns {`WitnessStack`} The solved witness calculated by executing the program on the provided inputs.
  */
 export function executeProgram(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessStack>;
 
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public parameters.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public parameters.
  */
 export function getPublicParametersWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
 
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public inputs.
  */
 export function getPublicWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
 
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's return values.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's return values.
  */
 export function getReturnWitness(program: Uint8Array, witness_map: WitnessMap): WitnessMap;
 
 /**
  * Sets the package's logging level.
  *
- * @param {LogLevel} level - The maximum level of logging to be emitted.
+ * @param {`LogLevel`} level - The maximum level of logging to be emitted.
  */
 export function initLogLevel(filter: string): void;
 

package/nodejs/acvm_js.js

@@ -29,7 +29,7 @@ exports.blake2s256 = blake2s256;
 
 /**
  * Returns the `BuildInfo` object containing information about how the installed package was built.
- * @returns {BuildInfo} - Information on how the installed package was built.
+ * @returns {`BuildInfo`} - Information on how the installed package was built.
  */
 function buildInfo() {
     const ret = wasm.buildInfo();
@@ -40,8 +40,8 @@ exports.buildInfo = buildInfo;
 /**
  * Compresses a `WitnessMap` into the binary format outputted by Nargo.
  *
- * @param {WitnessMap} witness_map - A witness map.
- * @returns {Uint8Array} A compressed witness map
+ * @param {`WitnessMap`} `witness_map` - A witness map.
+ * @returns {`Uint8Array`} A compressed witness map
  */
 function compressWitness(witness_map) {
     const ret = wasm.compressWitness(witness_map);
@@ -57,8 +57,8 @@ exports.compressWitness = compressWitness;
 /**
  * Compresses a `WitnessStack` into the binary format outputted by Nargo.
  *
- * @param {WitnessStack} witness_stack - A witness stack.
- * @returns {Uint8Array} A compressed witness stack
+ * @param {`WitnessStack`} `witness_stack` - A witness stack.
+ * @returns {`Uint8Array`} A compressed witness stack
  */
 function compressWitnessStack(witness_stack) {
     const ret = wasm.compressWitnessStack(witness_stack);
@@ -75,8 +75,8 @@ exports.compressWitnessStack = compressWitnessStack;
  * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
  * This should be used to only fetch the witness map for the main function.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessMap} The decompressed witness map.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessMap`} The decompressed witness map.
  */
 function decompressWitness(compressed_witness) {
     const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
@@ -92,8 +92,8 @@ exports.decompressWitness = decompressWitness;
 /**
  * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessStack} The decompressed witness stack.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessStack`} The decompressed witness stack.
  */
 function decompressWitnessStack(compressed_witness) {
     const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
@@ -153,10 +153,10 @@ exports.ecdsa_secp256r1_verify = ecdsa_secp256r1_verify;
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`WitnessMap`} The solved witness calculated by executing the circuit on the provided inputs.
  */
 function executeCircuit(program, initial_witness, foreign_call_handler) {
     const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
@@ -170,10 +170,10 @@ exports.executeCircuit = executeCircuit;
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  * This method also extracts the public return values from the solved witness into its own return witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {SolvedAndReturnWitness} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`SolvedAndReturnWitness`} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
  */
 function executeCircuitWithReturnWitness(program, initial_witness, foreign_call_handler) {
     const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
@@ -186,10 +186,10 @@ exports.executeCircuitWithReturnWitness = executeCircuitWithReturnWitness;
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} program - A serialized representation of an ACIR program
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
- * @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
+ * @param {`Uint8Array`} program - A serialized representation of an ACIR program
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `program`.
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the program.
+ * @returns {`WitnessStack`} The solved witness calculated by executing the program on the provided inputs.
  */
 function executeProgram(program, initial_witness, foreign_call_handler) {
     const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
@@ -202,9 +202,9 @@ exports.executeProgram = executeProgram;
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public parameters.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public parameters.
  * @param {Uint8Array} program
  * @param {WitnessMap} solved_witness
  * @returns {WitnessMap}
@@ -223,9 +223,9 @@ exports.getPublicParametersWitness = getPublicParametersWitness;
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public inputs.
  * @param {Uint8Array} program
  * @param {WitnessMap} solved_witness
  * @returns {WitnessMap}
@@ -244,9 +244,9 @@ exports.getPublicWitness = getPublicWitness;
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's return values.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's return values.
  * @param {Uint8Array} program
  * @param {WitnessMap} witness_map
  * @returns {WitnessMap}
@@ -265,7 +265,7 @@ exports.getReturnWitness = getReturnWitness;
 /**
  * Sets the package's logging level.
  *
- * @param {LogLevel} level - The maximum level of logging to be emitted.
+ * @param {`LogLevel`} level - The maximum level of logging to be emitted.
  */
 function initLogLevel(filter) {
     const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
@@ -357,11 +357,11 @@ function __wbg_get_imports() {
             const ret = arg0.call(arg1, arg2, arg3);
             return ret;
         }, arguments); },
-        __wbg_constructor_9c2bd46a7dce7d92: function(arg0) {
+        __wbg_constructor_5e1ddeb93a8bf3bc: function(arg0) {
             const ret = new Error(arg0);
             return ret;
         },
-        __wbg_constructor_dab9c5e2cb00fd27: function(arg0) {
+        __wbg_constructor_f99e6ead8fc6ac5d: function(arg0) {
             const ret = new Error(arg0);
             return ret;
         },
@@ -395,7 +395,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8(a, state0.b, arg0, arg1);
+                        return wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -412,7 +412,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea(a, state0.b, arg0, arg1, arg2);
+                        return wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146(a, state0.b, arg0, arg1, arg2);
                     } finally {
                         state0.a = a;
                     }
@@ -460,20 +460,20 @@ function __wbg_get_imports() {
             const ret = new Error();
             return ret;
         },
-        __wbg_new_602e1a672b1320f2: function() {
-            const ret = new Map();
+        __wbg_new_2774ec508e277800: function() {
+            const ret = new Array();
             return ret;
         },
         __wbg_new_92df58a8ec3bfb6b: function() {
             const ret = new Map();
             return ret;
         },
-        __wbg_new_9d1883f62bc40b5c: function() {
+        __wbg_new_cbee8c0d5c479eac: function() {
             const ret = new Array();
             return ret;
         },
-        __wbg_new_cbee8c0d5c479eac: function() {
-            const ret = new Array();
+        __wbg_new_eb383269e69e5c18: function() {
+            const ret = new Map();
             return ret;
         },
         __wbg_new_typed_8258a0d8488ef2a2: function(arg0, arg1) {
@@ -483,7 +483,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21(a, state0.b, arg0, arg1);
+                        return wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -570,8 +570,8 @@ function __wbg_get_imports() {
             console.warn(arg0);
         },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { dtor_idx: 475, function: Function { arguments: [Externref], shim_idx: 476, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, wasm.wasm_bindgen__closure__destroy__h622bad63540236e2, wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f);
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 476, function: Function { arguments: [Externref], shim_idx: 477, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.wasm_bindgen__closure__destroy__ha37ca52b8e37c989, wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986);
             return ret;
         },
         __wbindgen_cast_0000000000000002: function(arg0) {
@@ -600,23 +600,23 @@ function __wbg_get_imports() {
     };
 }
 
-function wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f(arg0, arg1, arg2) {
-    const ret = wasm.wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f(arg0, arg1, arg2);
+function wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986(arg0, arg1, arg2) {
+    const ret = wasm.wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986(arg0, arg1, arg2);
     if (ret[1]) {
         throw takeFromExternrefTable0(ret[0]);
     }
 }
 
-function wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8(arg0, arg1, arg2, arg3) {
-    wasm.wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8(arg0, arg1, arg2, arg3);
+function wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a(arg0, arg1, arg2, arg3) {
+    wasm.wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a(arg0, arg1, arg2, arg3);
 }
 
-function wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21(arg0, arg1, arg2, arg3) {
-    wasm.wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21(arg0, arg1, arg2, arg3);
+function wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21(arg0, arg1, arg2, arg3) {
+    wasm.wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21(arg0, arg1, arg2, arg3);
 }
 
-function wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea(arg0, arg1, arg2, arg3, arg4) {
-    wasm.wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea(arg0, arg1, arg2, arg3, arg4);
+function wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146(arg0, arg1, arg2, arg3, arg4) {
+    wasm.wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146(arg0, arg1, arg2, arg3, arg4);
 }
 
 function addToExternrefTable0(obj) {

package/nodejs/acvm_js_bg.wasm.d.ts

@@ -19,11 +19,11 @@ export const initLogLevel: (a: number, b: number) => [number, number];
 export const getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
 export const getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
 export const getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
-export const wasm_bindgen__closure__destroy__h622bad63540236e2: (a: number, b: number) => void;
-export const wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea: (a: number, b: number, c: any, d: number, e: any) => void;
-export const wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f: (a: number, b: number, c: any) => [number, number];
-export const wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8: (a: number, b: number, c: any, d: any) => void;
-export const wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21: (a: number, b: number, c: any, d: any) => void;
+export const wasm_bindgen__closure__destroy__ha37ca52b8e37c989: (a: number, b: number) => void;
+export const wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146: (a: number, b: number, c: any, d: number, e: any) => void;
+export const wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986: (a: number, b: number, c: any) => [number, number];
+export const wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a: (a: number, b: number, c: any, d: any) => void;
+export const wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21: (a: number, b: number, c: any, d: any) => void;
 export const __wbindgen_malloc: (a: number, b: number) => number;
 export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
 export const __wbindgen_exn_store: (a: number) => void;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@noir-lang/acvm_js",
-  "version": "1.0.0-beta.22",
+  "version": "1.0.0-beta.23",
   "publishConfig": {
     "access": "public"
   },
@@ -42,11 +42,11 @@
     "@web/test-runner": "^0.20.2",
     "@web/test-runner-playwright": "^0.11.1",
     "chai": "^6.2.2",
-    "eslint": "^10.4.0",
-    "eslint-plugin-prettier": "^5.5.5",
-    "mocha": "^11.7.5",
-    "prettier": "3.8.3",
-    "tsx": "^4.21.0",
+    "eslint": "^10.6.0",
+    "eslint-plugin-prettier": "^5.5.6",
+    "mocha": "^11.7.6",
+    "prettier": "3.9.4",
+    "tsx": "^4.22.4",
     "typescript": "^6.0.3"
   }
 }

package/web/acvm_js.d.ts

@@ -79,23 +79,23 @@ export function blake2s256(inputs: Uint8Array): Uint8Array;
 
 /**
  * Returns the `BuildInfo` object containing information about how the installed package was built.
- * @returns {BuildInfo} - Information on how the installed package was built.
+ * @returns {`BuildInfo`} - Information on how the installed package was built.
  */
 export function buildInfo(): BuildInfo;
 
 /**
  * Compresses a `WitnessMap` into the binary format outputted by Nargo.
  *
- * @param {WitnessMap} witness_map - A witness map.
- * @returns {Uint8Array} A compressed witness map
+ * @param {`WitnessMap`} `witness_map` - A witness map.
+ * @returns {`Uint8Array`} A compressed witness map
  */
 export function compressWitness(witness_map: WitnessMap): Uint8Array;
 
 /**
  * Compresses a `WitnessStack` into the binary format outputted by Nargo.
  *
- * @param {WitnessStack} witness_stack - A witness stack.
- * @returns {Uint8Array} A compressed witness stack
+ * @param {`WitnessStack`} `witness_stack` - A witness stack.
+ * @returns {`Uint8Array`} A compressed witness stack
  */
 export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
 
@@ -103,16 +103,16 @@ export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
  * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
  * This should be used to only fetch the witness map for the main function.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessMap} The decompressed witness map.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessMap`} The decompressed witness map.
  */
 export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
 
 /**
  * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessStack} The decompressed witness stack.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessStack`} The decompressed witness stack.
  */
 export function decompressWitnessStack(compressed_witness: Uint8Array): WitnessStack;
 
@@ -129,10 +129,10 @@ export function ecdsa_secp256r1_verify(hashed_msg: Uint8Array, public_key_x_byte
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`WitnessMap`} The solved witness calculated by executing the circuit on the provided inputs.
  */
 export function executeCircuit(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessMap>;
 
@@ -140,54 +140,54 @@ export function executeCircuit(program: Uint8Array, initial_witness: WitnessMap,
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  * This method also extracts the public return values from the solved witness into its own return witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {SolvedAndReturnWitness} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`SolvedAndReturnWitness`} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
  */
 export function executeCircuitWithReturnWitness(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<SolvedAndReturnWitness>;
 
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} program - A serialized representation of an ACIR program
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
- * @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
+ * @param {`Uint8Array`} program - A serialized representation of an ACIR program
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `program`.
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the program.
+ * @returns {`WitnessStack`} The solved witness calculated by executing the program on the provided inputs.
  */
 export function executeProgram(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessStack>;
 
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public parameters.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public parameters.
  */
 export function getPublicParametersWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
 
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public inputs.
  */
 export function getPublicWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
 
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's return values.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's return values.
  */
 export function getReturnWitness(program: Uint8Array, witness_map: WitnessMap): WitnessMap;
 
 /**
  * Sets the package's logging level.
  *
- * @param {LogLevel} level - The maximum level of logging to be emitted.
+ * @param {`LogLevel`} level - The maximum level of logging to be emitted.
  */
 export function initLogLevel(filter: string): void;
 
@@ -223,11 +223,11 @@ export interface InitOutput {
     readonly getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
     readonly getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
     readonly getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
-    readonly wasm_bindgen__closure__destroy__h622bad63540236e2: (a: number, b: number) => void;
-    readonly wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea: (a: number, b: number, c: any, d: number, e: any) => void;
-    readonly wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f: (a: number, b: number, c: any) => [number, number];
-    readonly wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8: (a: number, b: number, c: any, d: any) => void;
-    readonly wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21: (a: number, b: number, c: any, d: any) => void;
+    readonly wasm_bindgen__closure__destroy__ha37ca52b8e37c989: (a: number, b: number) => void;
+    readonly wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146: (a: number, b: number, c: any, d: number, e: any) => void;
+    readonly wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986: (a: number, b: number, c: any) => [number, number];
+    readonly wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a: (a: number, b: number, c: any, d: any) => void;
+    readonly wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21: (a: number, b: number, c: any, d: any) => void;
     readonly __wbindgen_malloc: (a: number, b: number) => number;
     readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
     readonly __wbindgen_exn_store: (a: number) => void;

package/web/acvm_js.js

@@ -27,7 +27,7 @@ export function blake2s256(inputs) {
 
 /**
  * Returns the `BuildInfo` object containing information about how the installed package was built.
- * @returns {BuildInfo} - Information on how the installed package was built.
+ * @returns {`BuildInfo`} - Information on how the installed package was built.
  */
 export function buildInfo() {
     const ret = wasm.buildInfo();
@@ -37,8 +37,8 @@ export function buildInfo() {
 /**
  * Compresses a `WitnessMap` into the binary format outputted by Nargo.
  *
- * @param {WitnessMap} witness_map - A witness map.
- * @returns {Uint8Array} A compressed witness map
+ * @param {`WitnessMap`} `witness_map` - A witness map.
+ * @returns {`Uint8Array`} A compressed witness map
  */
 export function compressWitness(witness_map) {
     const ret = wasm.compressWitness(witness_map);
@@ -53,8 +53,8 @@ export function compressWitness(witness_map) {
 /**
  * Compresses a `WitnessStack` into the binary format outputted by Nargo.
  *
- * @param {WitnessStack} witness_stack - A witness stack.
- * @returns {Uint8Array} A compressed witness stack
+ * @param {`WitnessStack`} `witness_stack` - A witness stack.
+ * @returns {`Uint8Array`} A compressed witness stack
  */
 export function compressWitnessStack(witness_stack) {
     const ret = wasm.compressWitnessStack(witness_stack);
@@ -70,8 +70,8 @@ export function compressWitnessStack(witness_stack) {
  * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
  * This should be used to only fetch the witness map for the main function.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessMap} The decompressed witness map.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessMap`} The decompressed witness map.
  */
 export function decompressWitness(compressed_witness) {
     const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
@@ -86,8 +86,8 @@ export function decompressWitness(compressed_witness) {
 /**
  * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
  *
- * @param {Uint8Array} compressed_witness - A compressed witness.
- * @returns {WitnessStack} The decompressed witness stack.
+ * @param {`Uint8Array`} `compressed_witness` - A compressed witness.
+ * @returns {`WitnessStack`} The decompressed witness stack.
  */
 export function decompressWitnessStack(compressed_witness) {
     const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
@@ -144,10 +144,10 @@ export function ecdsa_secp256r1_verify(hashed_msg, public_key_x_bytes, public_ke
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`WitnessMap`} The solved witness calculated by executing the circuit on the provided inputs.
  */
 export function executeCircuit(program, initial_witness, foreign_call_handler) {
     const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
@@ -160,10 +160,10 @@ export function executeCircuit(program, initial_witness, foreign_call_handler) {
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  * This method also extracts the public return values from the solved witness into its own return witness.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
- * @returns {SolvedAndReturnWitness} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `circuit`..
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the circuit.
+ * @returns {`SolvedAndReturnWitness`} The solved witness calculated by executing the circuit on the provided inputs, as well as the return witness indices as specified by the circuit.
  */
 export function executeCircuitWithReturnWitness(program, initial_witness, foreign_call_handler) {
     const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
@@ -175,10 +175,10 @@ export function executeCircuitWithReturnWitness(program, initial_witness, foreig
 /**
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
  *
- * @param {Uint8Array} program - A serialized representation of an ACIR program
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
- * @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
+ * @param {`Uint8Array`} program - A serialized representation of an ACIR program
+ * @param {`WitnessMap`} `initial_witness` - The initial witness map defining all of the inputs to `program`.
+ * @param {`ForeignCallHandler`} `foreign_call_handler` - A callback to process any foreign calls from the program.
+ * @returns {`WitnessStack`} The solved witness calculated by executing the program on the provided inputs.
  */
 export function executeProgram(program, initial_witness, foreign_call_handler) {
     const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
@@ -190,9 +190,9 @@ export function executeProgram(program, initial_witness, foreign_call_handler) {
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public parameters.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public parameters.
  * @param {Uint8Array} program
  * @param {WitnessMap} solved_witness
  * @returns {WitnessMap}
@@ -210,9 +210,9 @@ export function getPublicParametersWitness(program, solved_witness) {
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's public inputs.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's public inputs.
  * @param {Uint8Array} program
  * @param {WitnessMap} solved_witness
  * @returns {WitnessMap}
@@ -230,9 +230,9 @@ export function getPublicWitness(program, solved_witness) {
 /**
  * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
  *
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
- * @returns {WitnessMap} A witness map containing the circuit's return values.
+ * @param {`Uint8Array`} circuit - A serialized representation of an ACIR circuit
+ * @param {`WitnessMap`} `witness_map` - The completed witness map after executing the circuit.
+ * @returns {`WitnessMap`} A witness map containing the circuit's return values.
  * @param {Uint8Array} program
  * @param {WitnessMap} witness_map
  * @returns {WitnessMap}
@@ -250,7 +250,7 @@ export function getReturnWitness(program, witness_map) {
 /**
  * Sets the package's logging level.
  *
- * @param {LogLevel} level - The maximum level of logging to be emitted.
+ * @param {`LogLevel`} level - The maximum level of logging to be emitted.
  */
 export function initLogLevel(filter) {
     const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
@@ -339,11 +339,11 @@ function __wbg_get_imports() {
             const ret = arg0.call(arg1, arg2, arg3);
             return ret;
         }, arguments); },
-        __wbg_constructor_9c2bd46a7dce7d92: function(arg0) {
+        __wbg_constructor_5e1ddeb93a8bf3bc: function(arg0) {
             const ret = new Error(arg0);
             return ret;
         },
-        __wbg_constructor_dab9c5e2cb00fd27: function(arg0) {
+        __wbg_constructor_f99e6ead8fc6ac5d: function(arg0) {
             const ret = new Error(arg0);
             return ret;
         },
@@ -377,7 +377,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8(a, state0.b, arg0, arg1);
+                        return wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -394,7 +394,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea(a, state0.b, arg0, arg1, arg2);
+                        return wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146(a, state0.b, arg0, arg1, arg2);
                     } finally {
                         state0.a = a;
                     }
@@ -442,20 +442,20 @@ function __wbg_get_imports() {
             const ret = new Error();
             return ret;
         },
-        __wbg_new_602e1a672b1320f2: function() {
-            const ret = new Map();
+        __wbg_new_2774ec508e277800: function() {
+            const ret = new Array();
             return ret;
         },
         __wbg_new_92df58a8ec3bfb6b: function() {
             const ret = new Map();
             return ret;
         },
-        __wbg_new_9d1883f62bc40b5c: function() {
+        __wbg_new_cbee8c0d5c479eac: function() {
             const ret = new Array();
             return ret;
         },
-        __wbg_new_cbee8c0d5c479eac: function() {
-            const ret = new Array();
+        __wbg_new_eb383269e69e5c18: function() {
+            const ret = new Map();
             return ret;
         },
         __wbg_new_typed_8258a0d8488ef2a2: function(arg0, arg1) {
@@ -465,7 +465,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21(a, state0.b, arg0, arg1);
+                        return wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -552,8 +552,8 @@ function __wbg_get_imports() {
             console.warn(arg0);
         },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { dtor_idx: 475, function: Function { arguments: [Externref], shim_idx: 476, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, wasm.wasm_bindgen__closure__destroy__h622bad63540236e2, wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f);
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 476, function: Function { arguments: [Externref], shim_idx: 477, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.wasm_bindgen__closure__destroy__ha37ca52b8e37c989, wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986);
             return ret;
         },
         __wbindgen_cast_0000000000000002: function(arg0) {
@@ -582,23 +582,23 @@ function __wbg_get_imports() {
     };
 }
 
-function wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f(arg0, arg1, arg2) {
-    const ret = wasm.wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f(arg0, arg1, arg2);
+function wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986(arg0, arg1, arg2) {
+    const ret = wasm.wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986(arg0, arg1, arg2);
     if (ret[1]) {
         throw takeFromExternrefTable0(ret[0]);
     }
 }
 
-function wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8(arg0, arg1, arg2, arg3) {
-    wasm.wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8(arg0, arg1, arg2, arg3);
+function wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a(arg0, arg1, arg2, arg3) {
+    wasm.wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a(arg0, arg1, arg2, arg3);
 }
 
-function wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21(arg0, arg1, arg2, arg3) {
-    wasm.wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21(arg0, arg1, arg2, arg3);
+function wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21(arg0, arg1, arg2, arg3) {
+    wasm.wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21(arg0, arg1, arg2, arg3);
 }
 
-function wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea(arg0, arg1, arg2, arg3, arg4) {
-    wasm.wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea(arg0, arg1, arg2, arg3, arg4);
+function wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146(arg0, arg1, arg2, arg3, arg4) {
+    wasm.wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146(arg0, arg1, arg2, arg3, arg4);
 }
 
 function addToExternrefTable0(obj) {

package/web/acvm_js_bg.wasm.d.ts

@@ -19,11 +19,11 @@ export const initLogLevel: (a: number, b: number) => [number, number];
 export const getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
 export const getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
 export const getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
-export const wasm_bindgen__closure__destroy__h622bad63540236e2: (a: number, b: number) => void;
-export const wasm_bindgen__convert__closures_____invoke__h2a81a24b10fc6cea: (a: number, b: number, c: any, d: number, e: any) => void;
-export const wasm_bindgen__convert__closures_____invoke__h9b9b5ed547e2ba3f: (a: number, b: number, c: any) => [number, number];
-export const wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8: (a: number, b: number, c: any, d: any) => void;
-export const wasm_bindgen__convert__closures_____invoke__h1e56d78f2a0bfba8_21: (a: number, b: number, c: any, d: any) => void;
+export const wasm_bindgen__closure__destroy__ha37ca52b8e37c989: (a: number, b: number) => void;
+export const wasm_bindgen__convert__closures_____invoke__h0e824eb4edcd1146: (a: number, b: number, c: any, d: number, e: any) => void;
+export const wasm_bindgen__convert__closures_____invoke__h1ab3cc7820e94986: (a: number, b: number, c: any) => [number, number];
+export const wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a: (a: number, b: number, c: any, d: any) => void;
+export const wasm_bindgen__convert__closures_____invoke__h844e7784b3b6aa2a_21: (a: number, b: number, c: any, d: any) => void;
 export const __wbindgen_malloc: (a: number, b: number) => number;
 export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
 export const __wbindgen_exn_store: (a: number) => void;