@aztec/noir-acvm_js 0.0.1-commit.96bb3f7 → 0.0.1-commit.96dac018d

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,11 +1,34 @@
1
1
  /* tslint:disable */
2
2
  /* eslint-disable */
3
3
  /**
4
- * Sets the package's logging level.
4
+ * Compresses a `WitnessMap` into the binary format outputted by Nargo.
5
5
  *
6
- * @param {LogLevel} level - The maximum level of logging to be emitted.
6
+ * @param {WitnessMap} witness_map - A witness map.
7
+ * @returns {Uint8Array} A compressed witness map
7
8
  */
8
- export function initLogLevel(filter: string): void;
9
+ export function compressWitness(witness_map: WitnessMap): Uint8Array;
10
+ /**
11
+ * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
12
+ * This should be used to only fetch the witness map for the main function.
13
+ *
14
+ * @param {Uint8Array} compressed_witness - A compressed witness.
15
+ * @returns {WitnessMap} The decompressed witness map.
16
+ */
17
+ export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
18
+ /**
19
+ * Compresses a `WitnessStack` into the binary format outputted by Nargo.
20
+ *
21
+ * @param {WitnessStack} witness_stack - A witness stack.
22
+ * @returns {Uint8Array} A compressed witness stack
23
+ */
24
+ export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
25
+ /**
26
+ * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
27
+ *
28
+ * @param {Uint8Array} compressed_witness - A compressed witness.
29
+ * @returns {WitnessStack} The decompressed witness stack.
30
+ */
31
+ export function decompressWitnessStack(compressed_witness: Uint8Array): WitnessStack;
9
32
  /**
10
33
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
11
34
  *
@@ -82,40 +105,17 @@ export function ecdsa_secp256k1_verify(hashed_msg: Uint8Array, public_key_x_byte
82
105
  * Verifies a ECDSA signature over the secp256r1 curve.
83
106
  */
84
107
  export function ecdsa_secp256r1_verify(hashed_msg: Uint8Array, public_key_x_bytes: Uint8Array, public_key_y_bytes: Uint8Array, signature: Uint8Array): boolean;
85
- /**
86
- * Compresses a `WitnessMap` into the binary format outputted by Nargo.
87
- *
88
- * @param {WitnessMap} witness_map - A witness map.
89
- * @returns {Uint8Array} A compressed witness map
90
- */
91
- export function compressWitness(witness_map: WitnessMap): Uint8Array;
92
- /**
93
- * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
94
- * This should be used to only fetch the witness map for the main function.
95
- *
96
- * @param {Uint8Array} compressed_witness - A compressed witness.
97
- * @returns {WitnessMap} The decompressed witness map.
98
- */
99
- export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
100
- /**
101
- * Compresses a `WitnessStack` into the binary format outputted by Nargo.
102
- *
103
- * @param {WitnessStack} witness_stack - A witness stack.
104
- * @returns {Uint8Array} A compressed witness stack
105
- */
106
- export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
107
- /**
108
- * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
109
- *
110
- * @param {Uint8Array} compressed_witness - A compressed witness.
111
- * @returns {WitnessStack} The decompressed witness stack.
112
- */
113
- export function decompressWitnessStack(compressed_witness: Uint8Array): WitnessStack;
114
108
  /**
115
109
  * Returns the `BuildInfo` object containing information about how the installed package was built.
116
110
  * @returns {BuildInfo} - Information on how the installed package was built.
117
111
  */
118
112
  export function buildInfo(): BuildInfo;
113
+ /**
114
+ * Sets the package's logging level.
115
+ *
116
+ * @param {LogLevel} level - The maximum level of logging to be emitted.
117
+ */
118
+ export function initLogLevel(filter: string): void;
119
119
 
120
120
  export type RawAssertionPayload = {
121
121
  selector: string;
@@ -131,6 +131,29 @@ export type ExecutionError = Error & {
131
131
 
132
132
 
133
133
 
134
+ export type StackItem = {
135
+ index: number;
136
+ witness: WitnessMap;
137
+ }
138
+
139
+ export type WitnessStack = Array<StackItem>;
140
+
141
+
142
+
143
+ /**
144
+ * @typedef {Object} BuildInfo - Information about how the installed package was built
145
+ * @property {string} gitHash - The hash of the git commit from which the package was built.
146
+ * @property {string} version - The version of the package at the built git commit.
147
+ * @property {boolean} dirty - Whether the package contained uncommitted changes when built.
148
+ */
149
+ export type BuildInfo = {
150
+ gitHash: string;
151
+ version: string;
152
+ dirty: string;
153
+ }
154
+
155
+
156
+
134
157
  // Map from witness index to hex string value of witness.
135
158
  export type WitnessMap = Map<number, string>;
136
159
 
@@ -159,26 +182,3 @@ export type ForeignCallOutput = string | string[]
159
182
  export type ForeignCallHandler = (name: string, inputs: ForeignCallInput[]) => Promise<ForeignCallOutput[]>;
160
183
 
161
184
 
162
-
163
- export type StackItem = {
164
- index: number;
165
- witness: WitnessMap;
166
- }
167
-
168
- export type WitnessStack = Array<StackItem>;
169
-
170
-
171
-
172
- /**
173
- * @typedef {Object} BuildInfo - Information about how the installed package was built
174
- * @property {string} gitHash - The hash of the git commit from which the package was built.
175
- * @property {string} version - The version of the package at the built git commit.
176
- * @property {boolean} dirty - Whether the package contained uncommitted changes when built.
177
- */
178
- export type BuildInfo = {
179
- gitHash: string;
180
- version: string;
181
- dirty: string;
182
- }
183
-
184
-
package/nodejs/acvm_js.js CHANGED
@@ -207,18 +207,25 @@ function takeFromExternrefTable0(idx) {
207
207
  wasm.__externref_table_dealloc(idx);
208
208
  return value;
209
209
  }
210
+
211
+ function getArrayU8FromWasm0(ptr, len) {
212
+ ptr = ptr >>> 0;
213
+ return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
214
+ }
210
215
  /**
211
- * Sets the package's logging level.
216
+ * Compresses a `WitnessMap` into the binary format outputted by Nargo.
212
217
  *
213
- * @param {LogLevel} level - The maximum level of logging to be emitted.
218
+ * @param {WitnessMap} witness_map - A witness map.
219
+ * @returns {Uint8Array} A compressed witness map
214
220
  */
215
- module.exports.initLogLevel = function(filter) {
216
- const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
217
- const len0 = WASM_VECTOR_LEN;
218
- const ret = wasm.initLogLevel(ptr0, len0);
219
- if (ret[1]) {
220
- throw takeFromExternrefTable0(ret[0]);
221
+ module.exports.compressWitness = function(witness_map) {
222
+ const ret = wasm.compressWitness(witness_map);
223
+ if (ret[3]) {
224
+ throw takeFromExternrefTable0(ret[2]);
221
225
  }
226
+ var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
227
+ wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
228
+ return v1;
222
229
  };
223
230
 
224
231
  function passArray8ToWasm0(arg, malloc) {
@@ -227,6 +234,55 @@ function passArray8ToWasm0(arg, malloc) {
227
234
  WASM_VECTOR_LEN = arg.length;
228
235
  return ptr;
229
236
  }
237
+ /**
238
+ * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
239
+ * This should be used to only fetch the witness map for the main function.
240
+ *
241
+ * @param {Uint8Array} compressed_witness - A compressed witness.
242
+ * @returns {WitnessMap} The decompressed witness map.
243
+ */
244
+ module.exports.decompressWitness = function(compressed_witness) {
245
+ const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
246
+ const len0 = WASM_VECTOR_LEN;
247
+ const ret = wasm.decompressWitness(ptr0, len0);
248
+ if (ret[2]) {
249
+ throw takeFromExternrefTable0(ret[1]);
250
+ }
251
+ return takeFromExternrefTable0(ret[0]);
252
+ };
253
+
254
+ /**
255
+ * Compresses a `WitnessStack` into the binary format outputted by Nargo.
256
+ *
257
+ * @param {WitnessStack} witness_stack - A witness stack.
258
+ * @returns {Uint8Array} A compressed witness stack
259
+ */
260
+ module.exports.compressWitnessStack = function(witness_stack) {
261
+ const ret = wasm.compressWitnessStack(witness_stack);
262
+ if (ret[3]) {
263
+ throw takeFromExternrefTable0(ret[2]);
264
+ }
265
+ var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
266
+ wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
267
+ return v1;
268
+ };
269
+
270
+ /**
271
+ * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
272
+ *
273
+ * @param {Uint8Array} compressed_witness - A compressed witness.
274
+ * @returns {WitnessStack} The decompressed witness stack.
275
+ */
276
+ module.exports.decompressWitnessStack = function(compressed_witness) {
277
+ const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
278
+ const len0 = WASM_VECTOR_LEN;
279
+ const ret = wasm.decompressWitnessStack(ptr0, len0);
280
+ if (ret[2]) {
281
+ throw takeFromExternrefTable0(ret[1]);
282
+ }
283
+ return takeFromExternrefTable0(ret[0]);
284
+ };
285
+
230
286
  /**
231
287
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
232
288
  *
@@ -392,10 +448,6 @@ module.exports.sha256_compression = function(inputs, state) {
392
448
  return v3;
393
449
  };
394
450
 
395
- function getArrayU8FromWasm0(ptr, len) {
396
- ptr = ptr >>> 0;
397
- return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
398
- }
399
451
  /**
400
452
  * Calculates the Blake2s256 hash of the input bytes
401
453
  * @param {Uint8Array} inputs
@@ -453,89 +505,38 @@ module.exports.ecdsa_secp256r1_verify = function(hashed_msg, public_key_x_bytes,
453
505
  };
454
506
 
455
507
  /**
456
- * Compresses a `WitnessMap` into the binary format outputted by Nargo.
457
- *
458
- * @param {WitnessMap} witness_map - A witness map.
459
- * @returns {Uint8Array} A compressed witness map
460
- */
461
- module.exports.compressWitness = function(witness_map) {
462
- const ret = wasm.compressWitness(witness_map);
463
- if (ret[3]) {
464
- throw takeFromExternrefTable0(ret[2]);
465
- }
466
- var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
467
- wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
468
- return v1;
469
- };
470
-
471
- /**
472
- * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
473
- * This should be used to only fetch the witness map for the main function.
474
- *
475
- * @param {Uint8Array} compressed_witness - A compressed witness.
476
- * @returns {WitnessMap} The decompressed witness map.
477
- */
478
- module.exports.decompressWitness = function(compressed_witness) {
479
- const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
480
- const len0 = WASM_VECTOR_LEN;
481
- const ret = wasm.decompressWitness(ptr0, len0);
482
- if (ret[2]) {
483
- throw takeFromExternrefTable0(ret[1]);
484
- }
485
- return takeFromExternrefTable0(ret[0]);
486
- };
487
-
488
- /**
489
- * Compresses a `WitnessStack` into the binary format outputted by Nargo.
490
- *
491
- * @param {WitnessStack} witness_stack - A witness stack.
492
- * @returns {Uint8Array} A compressed witness stack
508
+ * Returns the `BuildInfo` object containing information about how the installed package was built.
509
+ * @returns {BuildInfo} - Information on how the installed package was built.
493
510
  */
494
- module.exports.compressWitnessStack = function(witness_stack) {
495
- const ret = wasm.compressWitnessStack(witness_stack);
496
- if (ret[3]) {
497
- throw takeFromExternrefTable0(ret[2]);
498
- }
499
- var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
500
- wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
501
- return v1;
511
+ module.exports.buildInfo = function() {
512
+ const ret = wasm.buildInfo();
513
+ return ret;
502
514
  };
503
515
 
504
516
  /**
505
- * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
517
+ * Sets the package's logging level.
506
518
  *
507
- * @param {Uint8Array} compressed_witness - A compressed witness.
508
- * @returns {WitnessStack} The decompressed witness stack.
519
+ * @param {LogLevel} level - The maximum level of logging to be emitted.
509
520
  */
510
- module.exports.decompressWitnessStack = function(compressed_witness) {
511
- const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
521
+ module.exports.initLogLevel = function(filter) {
522
+ const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
512
523
  const len0 = WASM_VECTOR_LEN;
513
- const ret = wasm.decompressWitnessStack(ptr0, len0);
514
- if (ret[2]) {
515
- throw takeFromExternrefTable0(ret[1]);
524
+ const ret = wasm.initLogLevel(ptr0, len0);
525
+ if (ret[1]) {
526
+ throw takeFromExternrefTable0(ret[0]);
516
527
  }
517
- return takeFromExternrefTable0(ret[0]);
518
- };
519
-
520
- /**
521
- * Returns the `BuildInfo` object containing information about how the installed package was built.
522
- * @returns {BuildInfo} - Information on how the installed package was built.
523
- */
524
- module.exports.buildInfo = function() {
525
- const ret = wasm.buildInfo();
526
- return ret;
527
528
  };
528
529
 
529
530
  function __wbg_adapter_30(arg0, arg1, arg2) {
530
- wasm.closure490_externref_shim(arg0, arg1, arg2);
531
+ wasm.closure445_externref_shim(arg0, arg1, arg2);
531
532
  }
532
533
 
533
534
  function __wbg_adapter_89(arg0, arg1, arg2, arg3, arg4) {
534
- wasm.closure996_externref_shim(arg0, arg1, arg2, arg3, arg4);
535
+ wasm.closure924_externref_shim(arg0, arg1, arg2, arg3, arg4);
535
536
  }
536
537
 
537
538
  function __wbg_adapter_110(arg0, arg1, arg2, arg3) {
538
- wasm.closure1000_externref_shim(arg0, arg1, arg2, arg3);
539
+ wasm.closure928_externref_shim(arg0, arg1, arg2, arg3);
539
540
  }
540
541
 
541
542
  module.exports.__wbg_call_672a4d21634d4a24 = function() { return handleError(function (arg0, arg1) {
@@ -553,12 +554,12 @@ module.exports.__wbg_call_833bed5770ea2041 = function() { return handleError(fun
553
554
  return ret;
554
555
  }, arguments) };
555
556
 
556
- module.exports.__wbg_constructor_536364f6bcd4616b = function(arg0) {
557
+ module.exports.__wbg_constructor_2b49e4454d172081 = function(arg0) {
557
558
  const ret = new Error(arg0);
558
559
  return ret;
559
560
  };
560
561
 
561
- module.exports.__wbg_constructor_66e92e9c3ecae9e8 = function(arg0) {
562
+ module.exports.__wbg_constructor_dddf0209b25406fd = function(arg0) {
562
563
  const ret = new Error(arg0);
563
564
  return ret;
564
565
  };
@@ -674,6 +675,11 @@ module.exports.__wbg_new_23a2665fac83c611 = function(arg0, arg1) {
674
675
  }
675
676
  };
676
677
 
678
+ module.exports.__wbg_new_2812f5f6a6bd8bcf = function() {
679
+ const ret = new Array();
680
+ return ret;
681
+ };
682
+
677
683
  module.exports.__wbg_new_5e0be73521bc8c17 = function() {
678
684
  const ret = new Map();
679
685
  return ret;
@@ -689,8 +695,8 @@ module.exports.__wbg_new_8a6f238a6ece86ea = function() {
689
695
  return ret;
690
696
  };
691
697
 
692
- module.exports.__wbg_new_9f501325818b4158 = function() {
693
- const ret = new Array();
698
+ module.exports.__wbg_new_b110592360513189 = function() {
699
+ const ret = new Map();
694
700
  return ret;
695
701
  };
696
702
 
@@ -699,11 +705,6 @@ module.exports.__wbg_new_c68d7209be747379 = function(arg0, arg1) {
699
705
  return ret;
700
706
  };
701
707
 
702
- module.exports.__wbg_new_ec40611a7805f1f0 = function() {
703
- const ret = new Map();
704
- return ret;
705
- };
706
-
707
708
  module.exports.__wbg_newnoargs_105ed471475aaf50 = function(arg0, arg1) {
708
709
  const ret = new Function(getStringFromWasm0(arg0, arg1));
709
710
  return ret;
@@ -813,8 +814,8 @@ module.exports.__wbindgen_cb_drop = function(arg0) {
813
814
  return ret;
814
815
  };
815
816
 
816
- module.exports.__wbindgen_closure_wrapper1603 = function(arg0, arg1, arg2) {
817
- const ret = makeMutClosure(arg0, arg1, 491, __wbg_adapter_30);
817
+ module.exports.__wbindgen_closure_wrapper1366 = function(arg0, arg1, arg2) {
818
+ const ret = makeMutClosure(arg0, arg1, 446, __wbg_adapter_30);
818
819
  return ret;
819
820
  };
820
821
 
Binary file
@@ -1,7 +1,10 @@
1
1
  /* tslint:disable */
2
2
  /* eslint-disable */
3
3
  export const memory: WebAssembly.Memory;
4
- export const initLogLevel: (a: number, b: number) => [number, number];
4
+ export const compressWitness: (a: any) => [number, number, number, number];
5
+ export const decompressWitness: (a: number, b: number) => [number, number, number];
6
+ export const compressWitnessStack: (a: any) => [number, number, number, number];
7
+ export const decompressWitnessStack: (a: number, b: number) => [number, number, number];
5
8
  export const executeCircuit: (a: number, b: number, c: any, d: any) => any;
6
9
  export const executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
7
10
  export const executeProgram: (a: number, b: number, c: any, d: any) => any;
@@ -14,11 +17,8 @@ export const sha256_compression: (a: number, b: number, c: number, d: number) =>
14
17
  export const blake2s256: (a: number, b: number) => [number, number];
15
18
  export const ecdsa_secp256k1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
16
19
  export const ecdsa_secp256r1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
17
- export const compressWitness: (a: any) => [number, number, number, number];
18
- export const decompressWitness: (a: number, b: number) => [number, number, number];
19
- export const compressWitnessStack: (a: any) => [number, number, number, number];
20
- export const decompressWitnessStack: (a: number, b: number) => [number, number, number];
21
20
  export const buildInfo: () => any;
21
+ export const initLogLevel: (a: number, b: number) => [number, number];
22
22
  export const __wbindgen_exn_store: (a: number) => void;
23
23
  export const __externref_table_alloc: () => number;
24
24
  export const __wbindgen_export_2: WebAssembly.Table;
@@ -27,7 +27,7 @@ export const __wbindgen_malloc: (a: number, b: number) => number;
27
27
  export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
28
28
  export const __wbindgen_export_6: WebAssembly.Table;
29
29
  export const __externref_table_dealloc: (a: number) => void;
30
- export const closure490_externref_shim: (a: number, b: number, c: any) => void;
31
- export const closure996_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
32
- export const closure1000_externref_shim: (a: number, b: number, c: any, d: any) => void;
30
+ export const closure445_externref_shim: (a: number, b: number, c: any) => void;
31
+ export const closure924_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
32
+ export const closure928_externref_shim: (a: number, b: number, c: any, d: any) => void;
33
33
  export const __wbindgen_start: () => void;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/noir-acvm_js",
3
- "version": "0.0.1-commit.96bb3f7",
3
+ "version": "0.0.1-commit.96dac018d",
4
4
  "publishConfig": {
5
5
  "access": "public"
6
6
  },
@@ -38,14 +38,14 @@
38
38
  },
39
39
  "devDependencies": {
40
40
  "@esm-bundle/chai": "^4.3.4-fix.0",
41
- "@web/dev-server-esbuild": "^1.0.4",
41
+ "@web/dev-server-esbuild": "^1.0.5",
42
42
  "@web/test-runner": "^0.20.2",
43
43
  "@web/test-runner-playwright": "^0.11.1",
44
44
  "chai": "^6.2.2",
45
- "eslint": "^9.39.2",
46
- "eslint-plugin-prettier": "^5.5.4",
45
+ "eslint": "^10.0.0",
46
+ "eslint-plugin-prettier": "^5.5.5",
47
47
  "mocha": "^11.7.5",
48
- "prettier": "3.7.4",
48
+ "prettier": "3.8.1",
49
49
  "ts-node": "^10.9.2",
50
50
  "typescript": "^5.8.3"
51
51
  }
package/web/acvm_js.d.ts CHANGED
@@ -1,11 +1,34 @@
1
1
  /* tslint:disable */
2
2
  /* eslint-disable */
3
3
  /**
4
- * Sets the package's logging level.
4
+ * Compresses a `WitnessMap` into the binary format outputted by Nargo.
5
5
  *
6
- * @param {LogLevel} level - The maximum level of logging to be emitted.
6
+ * @param {WitnessMap} witness_map - A witness map.
7
+ * @returns {Uint8Array} A compressed witness map
7
8
  */
8
- export function initLogLevel(filter: string): void;
9
+ export function compressWitness(witness_map: WitnessMap): Uint8Array;
10
+ /**
11
+ * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
12
+ * This should be used to only fetch the witness map for the main function.
13
+ *
14
+ * @param {Uint8Array} compressed_witness - A compressed witness.
15
+ * @returns {WitnessMap} The decompressed witness map.
16
+ */
17
+ export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
18
+ /**
19
+ * Compresses a `WitnessStack` into the binary format outputted by Nargo.
20
+ *
21
+ * @param {WitnessStack} witness_stack - A witness stack.
22
+ * @returns {Uint8Array} A compressed witness stack
23
+ */
24
+ export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
25
+ /**
26
+ * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
27
+ *
28
+ * @param {Uint8Array} compressed_witness - A compressed witness.
29
+ * @returns {WitnessStack} The decompressed witness stack.
30
+ */
31
+ export function decompressWitnessStack(compressed_witness: Uint8Array): WitnessStack;
9
32
  /**
10
33
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
11
34
  *
@@ -82,40 +105,17 @@ export function ecdsa_secp256k1_verify(hashed_msg: Uint8Array, public_key_x_byte
82
105
  * Verifies a ECDSA signature over the secp256r1 curve.
83
106
  */
84
107
  export function ecdsa_secp256r1_verify(hashed_msg: Uint8Array, public_key_x_bytes: Uint8Array, public_key_y_bytes: Uint8Array, signature: Uint8Array): boolean;
85
- /**
86
- * Compresses a `WitnessMap` into the binary format outputted by Nargo.
87
- *
88
- * @param {WitnessMap} witness_map - A witness map.
89
- * @returns {Uint8Array} A compressed witness map
90
- */
91
- export function compressWitness(witness_map: WitnessMap): Uint8Array;
92
- /**
93
- * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
94
- * This should be used to only fetch the witness map for the main function.
95
- *
96
- * @param {Uint8Array} compressed_witness - A compressed witness.
97
- * @returns {WitnessMap} The decompressed witness map.
98
- */
99
- export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
100
- /**
101
- * Compresses a `WitnessStack` into the binary format outputted by Nargo.
102
- *
103
- * @param {WitnessStack} witness_stack - A witness stack.
104
- * @returns {Uint8Array} A compressed witness stack
105
- */
106
- export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
107
- /**
108
- * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
109
- *
110
- * @param {Uint8Array} compressed_witness - A compressed witness.
111
- * @returns {WitnessStack} The decompressed witness stack.
112
- */
113
- export function decompressWitnessStack(compressed_witness: Uint8Array): WitnessStack;
114
108
  /**
115
109
  * Returns the `BuildInfo` object containing information about how the installed package was built.
116
110
  * @returns {BuildInfo} - Information on how the installed package was built.
117
111
  */
118
112
  export function buildInfo(): BuildInfo;
113
+ /**
114
+ * Sets the package's logging level.
115
+ *
116
+ * @param {LogLevel} level - The maximum level of logging to be emitted.
117
+ */
118
+ export function initLogLevel(filter: string): void;
119
119
 
120
120
  export type RawAssertionPayload = {
121
121
  selector: string;
@@ -131,6 +131,29 @@ export type ExecutionError = Error & {
131
131
 
132
132
 
133
133
 
134
+ export type StackItem = {
135
+ index: number;
136
+ witness: WitnessMap;
137
+ }
138
+
139
+ export type WitnessStack = Array<StackItem>;
140
+
141
+
142
+
143
+ /**
144
+ * @typedef {Object} BuildInfo - Information about how the installed package was built
145
+ * @property {string} gitHash - The hash of the git commit from which the package was built.
146
+ * @property {string} version - The version of the package at the built git commit.
147
+ * @property {boolean} dirty - Whether the package contained uncommitted changes when built.
148
+ */
149
+ export type BuildInfo = {
150
+ gitHash: string;
151
+ version: string;
152
+ dirty: string;
153
+ }
154
+
155
+
156
+
134
157
  // Map from witness index to hex string value of witness.
135
158
  export type WitnessMap = Map<number, string>;
136
159
 
@@ -160,34 +183,14 @@ export type ForeignCallHandler = (name: string, inputs: ForeignCallInput[]) => P
160
183
 
161
184
 
162
185
 
163
- export type StackItem = {
164
- index: number;
165
- witness: WitnessMap;
166
- }
167
-
168
- export type WitnessStack = Array<StackItem>;
169
-
170
-
171
-
172
- /**
173
- * @typedef {Object} BuildInfo - Information about how the installed package was built
174
- * @property {string} gitHash - The hash of the git commit from which the package was built.
175
- * @property {string} version - The version of the package at the built git commit.
176
- * @property {boolean} dirty - Whether the package contained uncommitted changes when built.
177
- */
178
- export type BuildInfo = {
179
- gitHash: string;
180
- version: string;
181
- dirty: string;
182
- }
183
-
184
-
185
-
186
186
  export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
187
187
 
188
188
  export interface InitOutput {
189
189
  readonly memory: WebAssembly.Memory;
190
- readonly initLogLevel: (a: number, b: number) => [number, number];
190
+ readonly compressWitness: (a: any) => [number, number, number, number];
191
+ readonly decompressWitness: (a: number, b: number) => [number, number, number];
192
+ readonly compressWitnessStack: (a: any) => [number, number, number, number];
193
+ readonly decompressWitnessStack: (a: number, b: number) => [number, number, number];
191
194
  readonly executeCircuit: (a: number, b: number, c: any, d: any) => any;
192
195
  readonly executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
193
196
  readonly executeProgram: (a: number, b: number, c: any, d: any) => any;
@@ -200,11 +203,8 @@ export interface InitOutput {
200
203
  readonly blake2s256: (a: number, b: number) => [number, number];
201
204
  readonly ecdsa_secp256k1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
202
205
  readonly ecdsa_secp256r1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
203
- readonly compressWitness: (a: any) => [number, number, number, number];
204
- readonly decompressWitness: (a: number, b: number) => [number, number, number];
205
- readonly compressWitnessStack: (a: any) => [number, number, number, number];
206
- readonly decompressWitnessStack: (a: number, b: number) => [number, number, number];
207
206
  readonly buildInfo: () => any;
207
+ readonly initLogLevel: (a: number, b: number) => [number, number];
208
208
  readonly __wbindgen_exn_store: (a: number) => void;
209
209
  readonly __externref_table_alloc: () => number;
210
210
  readonly __wbindgen_export_2: WebAssembly.Table;
@@ -213,9 +213,9 @@ export interface InitOutput {
213
213
  readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
214
214
  readonly __wbindgen_export_6: WebAssembly.Table;
215
215
  readonly __externref_table_dealloc: (a: number) => void;
216
- readonly closure490_externref_shim: (a: number, b: number, c: any) => void;
217
- readonly closure996_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
218
- readonly closure1000_externref_shim: (a: number, b: number, c: any, d: any) => void;
216
+ readonly closure445_externref_shim: (a: number, b: number, c: any) => void;
217
+ readonly closure924_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
218
+ readonly closure928_externref_shim: (a: number, b: number, c: any, d: any) => void;
219
219
  readonly __wbindgen_start: () => void;
220
220
  }
221
221
 
package/web/acvm_js.js CHANGED
@@ -203,18 +203,25 @@ function takeFromExternrefTable0(idx) {
203
203
  wasm.__externref_table_dealloc(idx);
204
204
  return value;
205
205
  }
206
+
207
+ function getArrayU8FromWasm0(ptr, len) {
208
+ ptr = ptr >>> 0;
209
+ return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
210
+ }
206
211
  /**
207
- * Sets the package's logging level.
212
+ * Compresses a `WitnessMap` into the binary format outputted by Nargo.
208
213
  *
209
- * @param {LogLevel} level - The maximum level of logging to be emitted.
214
+ * @param {WitnessMap} witness_map - A witness map.
215
+ * @returns {Uint8Array} A compressed witness map
210
216
  */
211
- export function initLogLevel(filter) {
212
- const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
213
- const len0 = WASM_VECTOR_LEN;
214
- const ret = wasm.initLogLevel(ptr0, len0);
215
- if (ret[1]) {
216
- throw takeFromExternrefTable0(ret[0]);
217
+ export function compressWitness(witness_map) {
218
+ const ret = wasm.compressWitness(witness_map);
219
+ if (ret[3]) {
220
+ throw takeFromExternrefTable0(ret[2]);
217
221
  }
222
+ var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
223
+ wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
224
+ return v1;
218
225
  }
219
226
 
220
227
  function passArray8ToWasm0(arg, malloc) {
@@ -223,6 +230,55 @@ function passArray8ToWasm0(arg, malloc) {
223
230
  WASM_VECTOR_LEN = arg.length;
224
231
  return ptr;
225
232
  }
233
+ /**
234
+ * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
235
+ * This should be used to only fetch the witness map for the main function.
236
+ *
237
+ * @param {Uint8Array} compressed_witness - A compressed witness.
238
+ * @returns {WitnessMap} The decompressed witness map.
239
+ */
240
+ export function decompressWitness(compressed_witness) {
241
+ const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
242
+ const len0 = WASM_VECTOR_LEN;
243
+ const ret = wasm.decompressWitness(ptr0, len0);
244
+ if (ret[2]) {
245
+ throw takeFromExternrefTable0(ret[1]);
246
+ }
247
+ return takeFromExternrefTable0(ret[0]);
248
+ }
249
+
250
+ /**
251
+ * Compresses a `WitnessStack` into the binary format outputted by Nargo.
252
+ *
253
+ * @param {WitnessStack} witness_stack - A witness stack.
254
+ * @returns {Uint8Array} A compressed witness stack
255
+ */
256
+ export function compressWitnessStack(witness_stack) {
257
+ const ret = wasm.compressWitnessStack(witness_stack);
258
+ if (ret[3]) {
259
+ throw takeFromExternrefTable0(ret[2]);
260
+ }
261
+ var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
262
+ wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
263
+ return v1;
264
+ }
265
+
266
+ /**
267
+ * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
268
+ *
269
+ * @param {Uint8Array} compressed_witness - A compressed witness.
270
+ * @returns {WitnessStack} The decompressed witness stack.
271
+ */
272
+ export function decompressWitnessStack(compressed_witness) {
273
+ const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
274
+ const len0 = WASM_VECTOR_LEN;
275
+ const ret = wasm.decompressWitnessStack(ptr0, len0);
276
+ if (ret[2]) {
277
+ throw takeFromExternrefTable0(ret[1]);
278
+ }
279
+ return takeFromExternrefTable0(ret[0]);
280
+ }
281
+
226
282
  /**
227
283
  * Executes an ACIR circuit to generate the solved witness from the initial witness.
228
284
  *
@@ -388,10 +444,6 @@ export function sha256_compression(inputs, state) {
388
444
  return v3;
389
445
  }
390
446
 
391
- function getArrayU8FromWasm0(ptr, len) {
392
- ptr = ptr >>> 0;
393
- return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
394
- }
395
447
  /**
396
448
  * Calculates the Blake2s256 hash of the input bytes
397
449
  * @param {Uint8Array} inputs
@@ -449,89 +501,38 @@ export function ecdsa_secp256r1_verify(hashed_msg, public_key_x_bytes, public_ke
449
501
  }
450
502
 
451
503
  /**
452
- * Compresses a `WitnessMap` into the binary format outputted by Nargo.
453
- *
454
- * @param {WitnessMap} witness_map - A witness map.
455
- * @returns {Uint8Array} A compressed witness map
456
- */
457
- export function compressWitness(witness_map) {
458
- const ret = wasm.compressWitness(witness_map);
459
- if (ret[3]) {
460
- throw takeFromExternrefTable0(ret[2]);
461
- }
462
- var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
463
- wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
464
- return v1;
465
- }
466
-
467
- /**
468
- * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
469
- * This should be used to only fetch the witness map for the main function.
470
- *
471
- * @param {Uint8Array} compressed_witness - A compressed witness.
472
- * @returns {WitnessMap} The decompressed witness map.
473
- */
474
- export function decompressWitness(compressed_witness) {
475
- const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
476
- const len0 = WASM_VECTOR_LEN;
477
- const ret = wasm.decompressWitness(ptr0, len0);
478
- if (ret[2]) {
479
- throw takeFromExternrefTable0(ret[1]);
480
- }
481
- return takeFromExternrefTable0(ret[0]);
482
- }
483
-
484
- /**
485
- * Compresses a `WitnessStack` into the binary format outputted by Nargo.
486
- *
487
- * @param {WitnessStack} witness_stack - A witness stack.
488
- * @returns {Uint8Array} A compressed witness stack
504
+ * Returns the `BuildInfo` object containing information about how the installed package was built.
505
+ * @returns {BuildInfo} - Information on how the installed package was built.
489
506
  */
490
- export function compressWitnessStack(witness_stack) {
491
- const ret = wasm.compressWitnessStack(witness_stack);
492
- if (ret[3]) {
493
- throw takeFromExternrefTable0(ret[2]);
494
- }
495
- var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
496
- wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
497
- return v1;
507
+ export function buildInfo() {
508
+ const ret = wasm.buildInfo();
509
+ return ret;
498
510
  }
499
511
 
500
512
  /**
501
- * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
513
+ * Sets the package's logging level.
502
514
  *
503
- * @param {Uint8Array} compressed_witness - A compressed witness.
504
- * @returns {WitnessStack} The decompressed witness stack.
515
+ * @param {LogLevel} level - The maximum level of logging to be emitted.
505
516
  */
506
- export function decompressWitnessStack(compressed_witness) {
507
- const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
517
+ export function initLogLevel(filter) {
518
+ const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
508
519
  const len0 = WASM_VECTOR_LEN;
509
- const ret = wasm.decompressWitnessStack(ptr0, len0);
510
- if (ret[2]) {
511
- throw takeFromExternrefTable0(ret[1]);
520
+ const ret = wasm.initLogLevel(ptr0, len0);
521
+ if (ret[1]) {
522
+ throw takeFromExternrefTable0(ret[0]);
512
523
  }
513
- return takeFromExternrefTable0(ret[0]);
514
- }
515
-
516
- /**
517
- * Returns the `BuildInfo` object containing information about how the installed package was built.
518
- * @returns {BuildInfo} - Information on how the installed package was built.
519
- */
520
- export function buildInfo() {
521
- const ret = wasm.buildInfo();
522
- return ret;
523
524
  }
524
525
 
525
526
  function __wbg_adapter_30(arg0, arg1, arg2) {
526
- wasm.closure490_externref_shim(arg0, arg1, arg2);
527
+ wasm.closure445_externref_shim(arg0, arg1, arg2);
527
528
  }
528
529
 
529
530
  function __wbg_adapter_89(arg0, arg1, arg2, arg3, arg4) {
530
- wasm.closure996_externref_shim(arg0, arg1, arg2, arg3, arg4);
531
+ wasm.closure924_externref_shim(arg0, arg1, arg2, arg3, arg4);
531
532
  }
532
533
 
533
534
  function __wbg_adapter_110(arg0, arg1, arg2, arg3) {
534
- wasm.closure1000_externref_shim(arg0, arg1, arg2, arg3);
535
+ wasm.closure928_externref_shim(arg0, arg1, arg2, arg3);
535
536
  }
536
537
 
537
538
  async function __wbg_load(module, imports) {
@@ -580,11 +581,11 @@ function __wbg_get_imports() {
580
581
  const ret = arg0.call(arg1, arg2, arg3);
581
582
  return ret;
582
583
  }, arguments) };
583
- imports.wbg.__wbg_constructor_536364f6bcd4616b = function(arg0) {
584
+ imports.wbg.__wbg_constructor_2b49e4454d172081 = function(arg0) {
584
585
  const ret = new Error(arg0);
585
586
  return ret;
586
587
  };
587
- imports.wbg.__wbg_constructor_66e92e9c3ecae9e8 = function(arg0) {
588
+ imports.wbg.__wbg_constructor_dddf0209b25406fd = function(arg0) {
588
589
  const ret = new Error(arg0);
589
590
  return ret;
590
591
  };
@@ -685,6 +686,10 @@ function __wbg_get_imports() {
685
686
  state0.a = state0.b = 0;
686
687
  }
687
688
  };
689
+ imports.wbg.__wbg_new_2812f5f6a6bd8bcf = function() {
690
+ const ret = new Array();
691
+ return ret;
692
+ };
688
693
  imports.wbg.__wbg_new_5e0be73521bc8c17 = function() {
689
694
  const ret = new Map();
690
695
  return ret;
@@ -697,18 +702,14 @@ function __wbg_get_imports() {
697
702
  const ret = new Error();
698
703
  return ret;
699
704
  };
700
- imports.wbg.__wbg_new_9f501325818b4158 = function() {
701
- const ret = new Array();
705
+ imports.wbg.__wbg_new_b110592360513189 = function() {
706
+ const ret = new Map();
702
707
  return ret;
703
708
  };
704
709
  imports.wbg.__wbg_new_c68d7209be747379 = function(arg0, arg1) {
705
710
  const ret = new Error(getStringFromWasm0(arg0, arg1));
706
711
  return ret;
707
712
  };
708
- imports.wbg.__wbg_new_ec40611a7805f1f0 = function() {
709
- const ret = new Map();
710
- return ret;
711
- };
712
713
  imports.wbg.__wbg_newnoargs_105ed471475aaf50 = function(arg0, arg1) {
713
714
  const ret = new Function(getStringFromWasm0(arg0, arg1));
714
715
  return ret;
@@ -797,8 +798,8 @@ function __wbg_get_imports() {
797
798
  const ret = false;
798
799
  return ret;
799
800
  };
800
- imports.wbg.__wbindgen_closure_wrapper1603 = function(arg0, arg1, arg2) {
801
- const ret = makeMutClosure(arg0, arg1, 491, __wbg_adapter_30);
801
+ imports.wbg.__wbindgen_closure_wrapper1366 = function(arg0, arg1, arg2) {
802
+ const ret = makeMutClosure(arg0, arg1, 446, __wbg_adapter_30);
802
803
  return ret;
803
804
  };
804
805
  imports.wbg.__wbindgen_debug_string = function(arg0, arg1) {
Binary file
@@ -1,7 +1,10 @@
1
1
  /* tslint:disable */
2
2
  /* eslint-disable */
3
3
  export const memory: WebAssembly.Memory;
4
- export const initLogLevel: (a: number, b: number) => [number, number];
4
+ export const compressWitness: (a: any) => [number, number, number, number];
5
+ export const decompressWitness: (a: number, b: number) => [number, number, number];
6
+ export const compressWitnessStack: (a: any) => [number, number, number, number];
7
+ export const decompressWitnessStack: (a: number, b: number) => [number, number, number];
5
8
  export const executeCircuit: (a: number, b: number, c: any, d: any) => any;
6
9
  export const executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
7
10
  export const executeProgram: (a: number, b: number, c: any, d: any) => any;
@@ -14,11 +17,8 @@ export const sha256_compression: (a: number, b: number, c: number, d: number) =>
14
17
  export const blake2s256: (a: number, b: number) => [number, number];
15
18
  export const ecdsa_secp256k1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
16
19
  export const ecdsa_secp256r1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
17
- export const compressWitness: (a: any) => [number, number, number, number];
18
- export const decompressWitness: (a: number, b: number) => [number, number, number];
19
- export const compressWitnessStack: (a: any) => [number, number, number, number];
20
- export const decompressWitnessStack: (a: number, b: number) => [number, number, number];
21
20
  export const buildInfo: () => any;
21
+ export const initLogLevel: (a: number, b: number) => [number, number];
22
22
  export const __wbindgen_exn_store: (a: number) => void;
23
23
  export const __externref_table_alloc: () => number;
24
24
  export const __wbindgen_export_2: WebAssembly.Table;
@@ -27,7 +27,7 @@ export const __wbindgen_malloc: (a: number, b: number) => number;
27
27
  export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
28
28
  export const __wbindgen_export_6: WebAssembly.Table;
29
29
  export const __externref_table_dealloc: (a: number) => void;
30
- export const closure490_externref_shim: (a: number, b: number, c: any) => void;
31
- export const closure996_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
32
- export const closure1000_externref_shim: (a: number, b: number, c: any, d: any) => void;
30
+ export const closure445_externref_shim: (a: number, b: number, c: any) => void;
31
+ export const closure924_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
32
+ export const closure928_externref_shim: (a: number, b: number, c: any, d: any) => void;
33
33
  export const __wbindgen_start: () => void;