@noir-lang/acvm_js 0.39.0 → 0.40.0-10e8292.nightly
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.
- package/nodejs/acvm_js.d.ts +71 -71
- package/nodejs/acvm_js.js +208 -198
- package/nodejs/acvm_js_bg.wasm +0 -0
- package/nodejs/acvm_js_bg.wasm.d.ts +9 -9
- package/package.json +2 -2
- package/web/acvm_js.d.ts +80 -80
- package/web/acvm_js.js +200 -190
- package/web/acvm_js_bg.wasm +0 -0
- package/web/acvm_js_bg.wasm.d.ts +9 -9
package/nodejs/acvm_js.d.ts
CHANGED
|
@@ -1,6 +1,11 @@
|
|
|
1
1
|
/* tslint:disable */
|
|
2
2
|
/* eslint-disable */
|
|
3
3
|
/**
|
|
4
|
+
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
5
|
+
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
6
|
+
*/
|
|
7
|
+
export function buildInfo(): BuildInfo;
|
|
8
|
+
/**
|
|
4
9
|
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
5
10
|
*
|
|
6
11
|
* @param {&WasmBlackBoxFunctionSolver} solver - A black box solver.
|
|
@@ -24,6 +29,53 @@ export function executeCircuit(circuit: Uint8Array, initial_witness: WitnessMap,
|
|
|
24
29
|
*/
|
|
25
30
|
export function createBlackBoxSolver(): Promise<WasmBlackBoxFunctionSolver>;
|
|
26
31
|
/**
|
|
32
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
|
|
33
|
+
*
|
|
34
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
35
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
36
|
+
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
37
|
+
* @param {Uint8Array} circuit
|
|
38
|
+
* @param {WitnessMap} solved_witness
|
|
39
|
+
* @returns {WitnessMap}
|
|
40
|
+
*/
|
|
41
|
+
export function getPublicWitness(circuit: Uint8Array, solved_witness: WitnessMap): WitnessMap;
|
|
42
|
+
/**
|
|
43
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
|
|
44
|
+
*
|
|
45
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
46
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
47
|
+
* @returns {WitnessMap} A witness map containing the circuit's public parameters.
|
|
48
|
+
* @param {Uint8Array} circuit
|
|
49
|
+
* @param {WitnessMap} solved_witness
|
|
50
|
+
* @returns {WitnessMap}
|
|
51
|
+
*/
|
|
52
|
+
export function getPublicParametersWitness(circuit: Uint8Array, solved_witness: WitnessMap): WitnessMap;
|
|
53
|
+
/**
|
|
54
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
55
|
+
*
|
|
56
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
57
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
58
|
+
* @returns {WitnessMap} A witness map containing the circuit's return values.
|
|
59
|
+
* @param {Uint8Array} circuit
|
|
60
|
+
* @param {WitnessMap} witness_map
|
|
61
|
+
* @returns {WitnessMap}
|
|
62
|
+
*/
|
|
63
|
+
export function getReturnWitness(circuit: Uint8Array, witness_map: WitnessMap): WitnessMap;
|
|
64
|
+
/**
|
|
65
|
+
* Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
|
|
66
|
+
*
|
|
67
|
+
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
68
|
+
* @returns {WitnessMap} The decompressed witness map.
|
|
69
|
+
*/
|
|
70
|
+
export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
|
|
71
|
+
/**
|
|
72
|
+
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
73
|
+
*
|
|
74
|
+
* @param {Uint8Array} compressed_witness - A witness map.
|
|
75
|
+
* @returns {WitnessMap} A compressed witness map
|
|
76
|
+
*/
|
|
77
|
+
export function compressWitness(witness_map: WitnessMap): Uint8Array;
|
|
78
|
+
/**
|
|
27
79
|
* Verifies a ECDSA signature over the secp256r1 curve.
|
|
28
80
|
* @param {Uint8Array} hashed_msg
|
|
29
81
|
* @param {Uint8Array} public_key_x_bytes
|
|
@@ -79,67 +131,18 @@ export function and(lhs: string, rhs: string): string;
|
|
|
79
131
|
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
80
132
|
*/
|
|
81
133
|
export function initLogLevel(filter: string): void;
|
|
82
|
-
/**
|
|
83
|
-
* Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
|
|
84
|
-
*
|
|
85
|
-
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
86
|
-
* @returns {WitnessMap} The decompressed witness map.
|
|
87
|
-
*/
|
|
88
|
-
export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
|
|
89
|
-
/**
|
|
90
|
-
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
91
|
-
*
|
|
92
|
-
* @param {Uint8Array} compressed_witness - A witness map.
|
|
93
|
-
* @returns {WitnessMap} A compressed witness map
|
|
94
|
-
*/
|
|
95
|
-
export function compressWitness(witness_map: WitnessMap): Uint8Array;
|
|
96
|
-
/**
|
|
97
|
-
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
98
|
-
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
99
|
-
*/
|
|
100
|
-
export function buildInfo(): BuildInfo;
|
|
101
|
-
/**
|
|
102
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
|
|
103
|
-
*
|
|
104
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
105
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
106
|
-
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
107
|
-
* @param {Uint8Array} circuit
|
|
108
|
-
* @param {WitnessMap} solved_witness
|
|
109
|
-
* @returns {WitnessMap}
|
|
110
|
-
*/
|
|
111
|
-
export function getPublicWitness(circuit: Uint8Array, solved_witness: WitnessMap): WitnessMap;
|
|
112
|
-
/**
|
|
113
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
|
|
114
|
-
*
|
|
115
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
116
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
117
|
-
* @returns {WitnessMap} A witness map containing the circuit's public parameters.
|
|
118
|
-
* @param {Uint8Array} circuit
|
|
119
|
-
* @param {WitnessMap} solved_witness
|
|
120
|
-
* @returns {WitnessMap}
|
|
121
|
-
*/
|
|
122
|
-
export function getPublicParametersWitness(circuit: Uint8Array, solved_witness: WitnessMap): WitnessMap;
|
|
123
|
-
/**
|
|
124
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
125
|
-
*
|
|
126
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
127
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
128
|
-
* @returns {WitnessMap} A witness map containing the circuit's return values.
|
|
129
|
-
* @param {Uint8Array} circuit
|
|
130
|
-
* @param {WitnessMap} witness_map
|
|
131
|
-
* @returns {WitnessMap}
|
|
132
|
-
*/
|
|
133
|
-
export function getReturnWitness(circuit: Uint8Array, witness_map: WitnessMap): WitnessMap;
|
|
134
|
-
|
|
135
|
-
// Map from witness index to hex string value of witness.
|
|
136
|
-
export type WitnessMap = Map<number, string>;
|
|
137
134
|
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
|
|
141
|
-
|
|
142
|
-
}
|
|
135
|
+
/**
|
|
136
|
+
* @typedef {Object} BuildInfo - Information about how the installed package was built
|
|
137
|
+
* @property {string} gitHash - The hash of the git commit from which the package was built.
|
|
138
|
+
* @property {string} version - The version of the package at the built git commit.
|
|
139
|
+
* @property {boolean} dirty - Whether the package contained uncommitted changes when built.
|
|
140
|
+
*/
|
|
141
|
+
export type BuildInfo = {
|
|
142
|
+
gitHash: string;
|
|
143
|
+
version: string;
|
|
144
|
+
dirty: string;
|
|
145
|
+
}
|
|
143
146
|
|
|
144
147
|
|
|
145
148
|
|
|
@@ -157,17 +160,14 @@ export type ForeignCallHandler = (name: string, inputs: ForeignCallInput[]) => P
|
|
|
157
160
|
|
|
158
161
|
|
|
159
162
|
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
version: string;
|
|
169
|
-
dirty: string;
|
|
170
|
-
}
|
|
163
|
+
export type ExecutionError = Error & {
|
|
164
|
+
callStack?: string[];
|
|
165
|
+
};
|
|
166
|
+
|
|
167
|
+
|
|
168
|
+
|
|
169
|
+
// Map from witness index to hex string value of witness.
|
|
170
|
+
export type WitnessMap = Map<number, string>;
|
|
171
171
|
|
|
172
172
|
|
|
173
173
|
/**
|
package/nodejs/acvm_js.js
CHANGED
|
@@ -226,9 +226,18 @@ function makeMutClosure(arg0, arg1, dtor, f) {
|
|
|
226
226
|
return real;
|
|
227
227
|
}
|
|
228
228
|
function __wbg_adapter_52(arg0, arg1, arg2) {
|
|
229
|
-
wasm.
|
|
229
|
+
wasm._dyn_core__ops__function__FnMut__A____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__hfdf1d0fa4debaf70(arg0, arg1, addHeapObject(arg2));
|
|
230
230
|
}
|
|
231
231
|
|
|
232
|
+
/**
|
|
233
|
+
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
234
|
+
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
235
|
+
*/
|
|
236
|
+
module.exports.buildInfo = function() {
|
|
237
|
+
const ret = wasm.buildInfo();
|
|
238
|
+
return takeObject(ret);
|
|
239
|
+
};
|
|
240
|
+
|
|
232
241
|
function _assertClass(instance, klass) {
|
|
233
242
|
if (!(instance instanceof klass)) {
|
|
234
243
|
throw new Error(`expected instance of ${klass.name}`);
|
|
@@ -282,6 +291,143 @@ module.exports.createBlackBoxSolver = function() {
|
|
|
282
291
|
return takeObject(ret);
|
|
283
292
|
};
|
|
284
293
|
|
|
294
|
+
/**
|
|
295
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
|
|
296
|
+
*
|
|
297
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
298
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
299
|
+
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
300
|
+
* @param {Uint8Array} circuit
|
|
301
|
+
* @param {WitnessMap} solved_witness
|
|
302
|
+
* @returns {WitnessMap}
|
|
303
|
+
*/
|
|
304
|
+
module.exports.getPublicWitness = function(circuit, solved_witness) {
|
|
305
|
+
try {
|
|
306
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
307
|
+
const ptr0 = passArray8ToWasm0(circuit, wasm.__wbindgen_malloc);
|
|
308
|
+
const len0 = WASM_VECTOR_LEN;
|
|
309
|
+
wasm.getPublicWitness(retptr, ptr0, len0, addHeapObject(solved_witness));
|
|
310
|
+
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
311
|
+
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
312
|
+
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
313
|
+
if (r2) {
|
|
314
|
+
throw takeObject(r1);
|
|
315
|
+
}
|
|
316
|
+
return takeObject(r0);
|
|
317
|
+
} finally {
|
|
318
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
319
|
+
}
|
|
320
|
+
};
|
|
321
|
+
|
|
322
|
+
/**
|
|
323
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
|
|
324
|
+
*
|
|
325
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
326
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
327
|
+
* @returns {WitnessMap} A witness map containing the circuit's public parameters.
|
|
328
|
+
* @param {Uint8Array} circuit
|
|
329
|
+
* @param {WitnessMap} solved_witness
|
|
330
|
+
* @returns {WitnessMap}
|
|
331
|
+
*/
|
|
332
|
+
module.exports.getPublicParametersWitness = function(circuit, solved_witness) {
|
|
333
|
+
try {
|
|
334
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
335
|
+
const ptr0 = passArray8ToWasm0(circuit, wasm.__wbindgen_malloc);
|
|
336
|
+
const len0 = WASM_VECTOR_LEN;
|
|
337
|
+
wasm.getPublicParametersWitness(retptr, ptr0, len0, addHeapObject(solved_witness));
|
|
338
|
+
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
339
|
+
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
340
|
+
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
341
|
+
if (r2) {
|
|
342
|
+
throw takeObject(r1);
|
|
343
|
+
}
|
|
344
|
+
return takeObject(r0);
|
|
345
|
+
} finally {
|
|
346
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
347
|
+
}
|
|
348
|
+
};
|
|
349
|
+
|
|
350
|
+
/**
|
|
351
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
352
|
+
*
|
|
353
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
354
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
355
|
+
* @returns {WitnessMap} A witness map containing the circuit's return values.
|
|
356
|
+
* @param {Uint8Array} circuit
|
|
357
|
+
* @param {WitnessMap} witness_map
|
|
358
|
+
* @returns {WitnessMap}
|
|
359
|
+
*/
|
|
360
|
+
module.exports.getReturnWitness = function(circuit, witness_map) {
|
|
361
|
+
try {
|
|
362
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
363
|
+
const ptr0 = passArray8ToWasm0(circuit, wasm.__wbindgen_malloc);
|
|
364
|
+
const len0 = WASM_VECTOR_LEN;
|
|
365
|
+
wasm.getReturnWitness(retptr, ptr0, len0, addHeapObject(witness_map));
|
|
366
|
+
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
367
|
+
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
368
|
+
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
369
|
+
if (r2) {
|
|
370
|
+
throw takeObject(r1);
|
|
371
|
+
}
|
|
372
|
+
return takeObject(r0);
|
|
373
|
+
} finally {
|
|
374
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
375
|
+
}
|
|
376
|
+
};
|
|
377
|
+
|
|
378
|
+
/**
|
|
379
|
+
* Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
|
|
380
|
+
*
|
|
381
|
+
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
382
|
+
* @returns {WitnessMap} The decompressed witness map.
|
|
383
|
+
*/
|
|
384
|
+
module.exports.decompressWitness = function(compressed_witness) {
|
|
385
|
+
try {
|
|
386
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
387
|
+
const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
|
|
388
|
+
const len0 = WASM_VECTOR_LEN;
|
|
389
|
+
wasm.decompressWitness(retptr, ptr0, len0);
|
|
390
|
+
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
391
|
+
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
392
|
+
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
393
|
+
if (r2) {
|
|
394
|
+
throw takeObject(r1);
|
|
395
|
+
}
|
|
396
|
+
return takeObject(r0);
|
|
397
|
+
} finally {
|
|
398
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
399
|
+
}
|
|
400
|
+
};
|
|
401
|
+
|
|
402
|
+
function getArrayU8FromWasm0(ptr, len) {
|
|
403
|
+
ptr = ptr >>> 0;
|
|
404
|
+
return getUint8Memory0().subarray(ptr / 1, ptr / 1 + len);
|
|
405
|
+
}
|
|
406
|
+
/**
|
|
407
|
+
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
408
|
+
*
|
|
409
|
+
* @param {Uint8Array} compressed_witness - A witness map.
|
|
410
|
+
* @returns {WitnessMap} A compressed witness map
|
|
411
|
+
*/
|
|
412
|
+
module.exports.compressWitness = function(witness_map) {
|
|
413
|
+
try {
|
|
414
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
415
|
+
wasm.compressWitness(retptr, addHeapObject(witness_map));
|
|
416
|
+
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
417
|
+
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
418
|
+
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
419
|
+
var r3 = getInt32Memory0()[retptr / 4 + 3];
|
|
420
|
+
if (r3) {
|
|
421
|
+
throw takeObject(r2);
|
|
422
|
+
}
|
|
423
|
+
var v1 = getArrayU8FromWasm0(r0, r1).slice();
|
|
424
|
+
wasm.__wbindgen_free(r0, r1 * 1);
|
|
425
|
+
return v1;
|
|
426
|
+
} finally {
|
|
427
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
428
|
+
}
|
|
429
|
+
};
|
|
430
|
+
|
|
285
431
|
/**
|
|
286
432
|
* Verifies a ECDSA signature over the secp256r1 curve.
|
|
287
433
|
* @param {Uint8Array} hashed_msg
|
|
@@ -324,10 +470,6 @@ module.exports.ecdsa_secp256k1_verify = function(hashed_msg, public_key_x_bytes,
|
|
|
324
470
|
return ret !== 0;
|
|
325
471
|
};
|
|
326
472
|
|
|
327
|
-
function getArrayU8FromWasm0(ptr, len) {
|
|
328
|
-
ptr = ptr >>> 0;
|
|
329
|
-
return getUint8Memory0().subarray(ptr / 1, ptr / 1 + len);
|
|
330
|
-
}
|
|
331
473
|
/**
|
|
332
474
|
* Calculates the Keccak256 hash of the input bytes
|
|
333
475
|
* @param {Uint8Array} inputs
|
|
@@ -419,148 +561,16 @@ module.exports.and = function(lhs, rhs) {
|
|
|
419
561
|
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
420
562
|
*/
|
|
421
563
|
module.exports.initLogLevel = function(filter) {
|
|
422
|
-
const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
|
|
423
|
-
const len0 = WASM_VECTOR_LEN;
|
|
424
|
-
wasm.initLogLevel(ptr0, len0);
|
|
425
|
-
};
|
|
426
|
-
|
|
427
|
-
/**
|
|
428
|
-
* Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
|
|
429
|
-
*
|
|
430
|
-
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
431
|
-
* @returns {WitnessMap} The decompressed witness map.
|
|
432
|
-
*/
|
|
433
|
-
module.exports.decompressWitness = function(compressed_witness) {
|
|
434
|
-
try {
|
|
435
|
-
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
436
|
-
const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
|
|
437
|
-
const len0 = WASM_VECTOR_LEN;
|
|
438
|
-
wasm.decompressWitness(retptr, ptr0, len0);
|
|
439
|
-
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
440
|
-
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
441
|
-
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
442
|
-
if (r2) {
|
|
443
|
-
throw takeObject(r1);
|
|
444
|
-
}
|
|
445
|
-
return takeObject(r0);
|
|
446
|
-
} finally {
|
|
447
|
-
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
448
|
-
}
|
|
449
|
-
};
|
|
450
|
-
|
|
451
|
-
/**
|
|
452
|
-
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
453
|
-
*
|
|
454
|
-
* @param {Uint8Array} compressed_witness - A witness map.
|
|
455
|
-
* @returns {WitnessMap} A compressed witness map
|
|
456
|
-
*/
|
|
457
|
-
module.exports.compressWitness = function(witness_map) {
|
|
458
|
-
try {
|
|
459
|
-
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
460
|
-
wasm.compressWitness(retptr, addHeapObject(witness_map));
|
|
461
|
-
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
462
|
-
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
463
|
-
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
464
|
-
var r3 = getInt32Memory0()[retptr / 4 + 3];
|
|
465
|
-
if (r3) {
|
|
466
|
-
throw takeObject(r2);
|
|
467
|
-
}
|
|
468
|
-
var v1 = getArrayU8FromWasm0(r0, r1).slice();
|
|
469
|
-
wasm.__wbindgen_free(r0, r1 * 1);
|
|
470
|
-
return v1;
|
|
471
|
-
} finally {
|
|
472
|
-
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
473
|
-
}
|
|
474
|
-
};
|
|
475
|
-
|
|
476
|
-
/**
|
|
477
|
-
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
478
|
-
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
479
|
-
*/
|
|
480
|
-
module.exports.buildInfo = function() {
|
|
481
|
-
const ret = wasm.buildInfo();
|
|
482
|
-
return takeObject(ret);
|
|
483
|
-
};
|
|
484
|
-
|
|
485
|
-
/**
|
|
486
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
|
|
487
|
-
*
|
|
488
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
489
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
490
|
-
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
491
|
-
* @param {Uint8Array} circuit
|
|
492
|
-
* @param {WitnessMap} solved_witness
|
|
493
|
-
* @returns {WitnessMap}
|
|
494
|
-
*/
|
|
495
|
-
module.exports.getPublicWitness = function(circuit, solved_witness) {
|
|
496
564
|
try {
|
|
497
565
|
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
498
|
-
const ptr0 =
|
|
566
|
+
const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
|
|
499
567
|
const len0 = WASM_VECTOR_LEN;
|
|
500
|
-
wasm.
|
|
568
|
+
wasm.initLogLevel(retptr, ptr0, len0);
|
|
501
569
|
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
502
570
|
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
503
|
-
|
|
504
|
-
|
|
505
|
-
throw takeObject(r1);
|
|
571
|
+
if (r1) {
|
|
572
|
+
throw takeObject(r0);
|
|
506
573
|
}
|
|
507
|
-
return takeObject(r0);
|
|
508
|
-
} finally {
|
|
509
|
-
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
510
|
-
}
|
|
511
|
-
};
|
|
512
|
-
|
|
513
|
-
/**
|
|
514
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
|
|
515
|
-
*
|
|
516
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
517
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
518
|
-
* @returns {WitnessMap} A witness map containing the circuit's public parameters.
|
|
519
|
-
* @param {Uint8Array} circuit
|
|
520
|
-
* @param {WitnessMap} solved_witness
|
|
521
|
-
* @returns {WitnessMap}
|
|
522
|
-
*/
|
|
523
|
-
module.exports.getPublicParametersWitness = function(circuit, solved_witness) {
|
|
524
|
-
try {
|
|
525
|
-
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
526
|
-
const ptr0 = passArray8ToWasm0(circuit, wasm.__wbindgen_malloc);
|
|
527
|
-
const len0 = WASM_VECTOR_LEN;
|
|
528
|
-
wasm.getPublicParametersWitness(retptr, ptr0, len0, addHeapObject(solved_witness));
|
|
529
|
-
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
530
|
-
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
531
|
-
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
532
|
-
if (r2) {
|
|
533
|
-
throw takeObject(r1);
|
|
534
|
-
}
|
|
535
|
-
return takeObject(r0);
|
|
536
|
-
} finally {
|
|
537
|
-
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
538
|
-
}
|
|
539
|
-
};
|
|
540
|
-
|
|
541
|
-
/**
|
|
542
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
543
|
-
*
|
|
544
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
545
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
546
|
-
* @returns {WitnessMap} A witness map containing the circuit's return values.
|
|
547
|
-
* @param {Uint8Array} circuit
|
|
548
|
-
* @param {WitnessMap} witness_map
|
|
549
|
-
* @returns {WitnessMap}
|
|
550
|
-
*/
|
|
551
|
-
module.exports.getReturnWitness = function(circuit, witness_map) {
|
|
552
|
-
try {
|
|
553
|
-
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
554
|
-
const ptr0 = passArray8ToWasm0(circuit, wasm.__wbindgen_malloc);
|
|
555
|
-
const len0 = WASM_VECTOR_LEN;
|
|
556
|
-
wasm.getReturnWitness(retptr, ptr0, len0, addHeapObject(witness_map));
|
|
557
|
-
var r0 = getInt32Memory0()[retptr / 4 + 0];
|
|
558
|
-
var r1 = getInt32Memory0()[retptr / 4 + 1];
|
|
559
|
-
var r2 = getInt32Memory0()[retptr / 4 + 2];
|
|
560
|
-
if (r2) {
|
|
561
|
-
throw takeObject(r1);
|
|
562
|
-
}
|
|
563
|
-
return takeObject(r0);
|
|
564
574
|
} finally {
|
|
565
575
|
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
566
576
|
}
|
|
@@ -574,7 +584,7 @@ function handleError(f, args) {
|
|
|
574
584
|
}
|
|
575
585
|
}
|
|
576
586
|
function __wbg_adapter_159(arg0, arg1, arg2, arg3) {
|
|
577
|
-
wasm.
|
|
587
|
+
wasm.wasm_bindgen__convert__closures__invoke2_mut__h79f8a29187e94f15(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
|
|
578
588
|
}
|
|
579
589
|
|
|
580
590
|
/**
|
|
@@ -637,13 +647,28 @@ module.exports.__wbg_wasmblackboxfunctionsolver_new = function(arg0) {
|
|
|
637
647
|
return addHeapObject(ret);
|
|
638
648
|
};
|
|
639
649
|
|
|
650
|
+
module.exports.__wbindgen_cb_drop = function(arg0) {
|
|
651
|
+
const obj = takeObject(arg0).original;
|
|
652
|
+
if (obj.cnt-- == 1) {
|
|
653
|
+
obj.a = 0;
|
|
654
|
+
return true;
|
|
655
|
+
}
|
|
656
|
+
const ret = false;
|
|
657
|
+
return ret;
|
|
658
|
+
};
|
|
659
|
+
|
|
640
660
|
module.exports.__wbindgen_is_array = function(arg0) {
|
|
641
661
|
const ret = Array.isArray(getObject(arg0));
|
|
642
662
|
return ret;
|
|
643
663
|
};
|
|
644
664
|
|
|
645
|
-
module.exports.
|
|
646
|
-
const ret = getStringFromWasm0(arg0, arg1);
|
|
665
|
+
module.exports.__wbindgen_error_new = function(arg0, arg1) {
|
|
666
|
+
const ret = new Error(getStringFromWasm0(arg0, arg1));
|
|
667
|
+
return addHeapObject(ret);
|
|
668
|
+
};
|
|
669
|
+
|
|
670
|
+
module.exports.__wbindgen_object_clone_ref = function(arg0) {
|
|
671
|
+
const ret = getObject(arg0);
|
|
647
672
|
return addHeapObject(ret);
|
|
648
673
|
};
|
|
649
674
|
|
|
@@ -654,14 +679,14 @@ module.exports.__wbindgen_number_get = function(arg0, arg1) {
|
|
|
654
679
|
getInt32Memory0()[arg0 / 4 + 0] = !isLikeNone(ret);
|
|
655
680
|
};
|
|
656
681
|
|
|
657
|
-
module.exports.
|
|
658
|
-
const ret =
|
|
682
|
+
module.exports.__wbindgen_string_new = function(arg0, arg1) {
|
|
683
|
+
const ret = getStringFromWasm0(arg0, arg1);
|
|
659
684
|
return addHeapObject(ret);
|
|
660
685
|
};
|
|
661
686
|
|
|
662
|
-
module.exports.
|
|
663
|
-
const ret =
|
|
664
|
-
return
|
|
687
|
+
module.exports.__wbindgen_is_undefined = function(arg0) {
|
|
688
|
+
const ret = getObject(arg0) === undefined;
|
|
689
|
+
return ret;
|
|
665
690
|
};
|
|
666
691
|
|
|
667
692
|
module.exports.__wbindgen_is_string = function(arg0) {
|
|
@@ -669,7 +694,12 @@ module.exports.__wbindgen_is_string = function(arg0) {
|
|
|
669
694
|
return ret;
|
|
670
695
|
};
|
|
671
696
|
|
|
672
|
-
module.exports.
|
|
697
|
+
module.exports.__wbg_constructor_8444207292d12e94 = function(arg0) {
|
|
698
|
+
const ret = new Error(takeObject(arg0));
|
|
699
|
+
return addHeapObject(ret);
|
|
700
|
+
};
|
|
701
|
+
|
|
702
|
+
module.exports.__wbg_new_12499e712355d566 = function() {
|
|
673
703
|
const ret = new Map();
|
|
674
704
|
return addHeapObject(ret);
|
|
675
705
|
};
|
|
@@ -688,26 +718,6 @@ module.exports.__wbindgen_string_get = function(arg0, arg1) {
|
|
|
688
718
|
getInt32Memory0()[arg0 / 4 + 0] = ptr1;
|
|
689
719
|
};
|
|
690
720
|
|
|
691
|
-
module.exports.__wbindgen_cb_drop = function(arg0) {
|
|
692
|
-
const obj = takeObject(arg0).original;
|
|
693
|
-
if (obj.cnt-- == 1) {
|
|
694
|
-
obj.a = 0;
|
|
695
|
-
return true;
|
|
696
|
-
}
|
|
697
|
-
const ret = false;
|
|
698
|
-
return ret;
|
|
699
|
-
};
|
|
700
|
-
|
|
701
|
-
module.exports.__wbg_constructor_6648e7ae005cd460 = function(arg0) {
|
|
702
|
-
const ret = new Error(takeObject(arg0));
|
|
703
|
-
return addHeapObject(ret);
|
|
704
|
-
};
|
|
705
|
-
|
|
706
|
-
module.exports.__wbindgen_is_undefined = function(arg0) {
|
|
707
|
-
const ret = getObject(arg0) === undefined;
|
|
708
|
-
return ret;
|
|
709
|
-
};
|
|
710
|
-
|
|
711
721
|
module.exports.__wbg_new_abda76e883ba8a5f = function() {
|
|
712
722
|
const ret = new Error();
|
|
713
723
|
return addHeapObject(ret);
|
|
@@ -733,16 +743,6 @@ module.exports.__wbg_error_f851667af71bcfc6 = function(arg0, arg1) {
|
|
|
733
743
|
}
|
|
734
744
|
};
|
|
735
745
|
|
|
736
|
-
module.exports.__wbindgen_bigint_from_i64 = function(arg0) {
|
|
737
|
-
const ret = arg0;
|
|
738
|
-
return addHeapObject(ret);
|
|
739
|
-
};
|
|
740
|
-
|
|
741
|
-
module.exports.__wbindgen_bigint_from_u128 = function(arg0, arg1) {
|
|
742
|
-
const ret = BigInt.asUintN(64, arg0) << BigInt(64) | BigInt.asUintN(64, arg1);
|
|
743
|
-
return addHeapObject(ret);
|
|
744
|
-
};
|
|
745
|
-
|
|
746
746
|
module.exports.__wbindgen_ge = function(arg0, arg1) {
|
|
747
747
|
const ret = getObject(arg0) >= getObject(arg1);
|
|
748
748
|
return ret;
|
|
@@ -768,14 +768,19 @@ module.exports.__wbindgen_is_bigint = function(arg0) {
|
|
|
768
768
|
return ret;
|
|
769
769
|
};
|
|
770
770
|
|
|
771
|
-
module.exports.
|
|
772
|
-
|
|
773
|
-
|
|
774
|
-
|
|
775
|
-
|
|
776
|
-
|
|
777
|
-
|
|
778
|
-
|
|
771
|
+
module.exports.__wbindgen_bigint_from_i64 = function(arg0) {
|
|
772
|
+
const ret = arg0;
|
|
773
|
+
return addHeapObject(ret);
|
|
774
|
+
};
|
|
775
|
+
|
|
776
|
+
module.exports.__wbindgen_bigint_from_u128 = function(arg0, arg1) {
|
|
777
|
+
const ret = BigInt.asUintN(64, arg0) << BigInt(64) | BigInt.asUintN(64, arg1);
|
|
778
|
+
return addHeapObject(ret);
|
|
779
|
+
};
|
|
780
|
+
|
|
781
|
+
module.exports.__wbindgen_is_object = function(arg0) {
|
|
782
|
+
const val = getObject(arg0);
|
|
783
|
+
const ret = typeof(val) === 'object' && val !== null;
|
|
779
784
|
return ret;
|
|
780
785
|
};
|
|
781
786
|
|
|
@@ -784,9 +789,14 @@ module.exports.__wbindgen_is_function = function(arg0) {
|
|
|
784
789
|
return ret;
|
|
785
790
|
};
|
|
786
791
|
|
|
787
|
-
module.exports.
|
|
788
|
-
|
|
789
|
-
|
|
792
|
+
module.exports.__wbg_instanceof_Global_1c3b64df1a5c886c = function(arg0) {
|
|
793
|
+
let result;
|
|
794
|
+
try {
|
|
795
|
+
result = getObject(arg0) instanceof WebAssembly.Global;
|
|
796
|
+
} catch {
|
|
797
|
+
result = false;
|
|
798
|
+
}
|
|
799
|
+
const ret = result;
|
|
790
800
|
return ret;
|
|
791
801
|
};
|
|
792
802
|
|
|
@@ -1120,6 +1130,11 @@ module.exports.__wbg_subarray_d82be056deb4ad27 = function(arg0, arg1, arg2) {
|
|
|
1120
1130
|
return addHeapObject(ret);
|
|
1121
1131
|
};
|
|
1122
1132
|
|
|
1133
|
+
module.exports.__wbg_parse_76a8a18ca3f8730b = function() { return handleError(function (arg0, arg1) {
|
|
1134
|
+
const ret = JSON.parse(getStringFromWasm0(arg0, arg1));
|
|
1135
|
+
return addHeapObject(ret);
|
|
1136
|
+
}, arguments) };
|
|
1137
|
+
|
|
1123
1138
|
module.exports.__wbg_compile_eefe73dfb19bff3d = function(arg0) {
|
|
1124
1139
|
const ret = WebAssembly.compile(getObject(arg0));
|
|
1125
1140
|
return addHeapObject(ret);
|
|
@@ -1187,11 +1202,6 @@ module.exports.__wbg_set_07da13cc24b69217 = function() { return handleError(func
|
|
|
1187
1202
|
return ret;
|
|
1188
1203
|
}, arguments) };
|
|
1189
1204
|
|
|
1190
|
-
module.exports.__wbg_parse_76a8a18ca3f8730b = function() { return handleError(function (arg0, arg1) {
|
|
1191
|
-
const ret = JSON.parse(getStringFromWasm0(arg0, arg1));
|
|
1192
|
-
return addHeapObject(ret);
|
|
1193
|
-
}, arguments) };
|
|
1194
|
-
|
|
1195
1205
|
module.exports.__wbindgen_bigint_get_as_i64 = function(arg0, arg1) {
|
|
1196
1206
|
const v = getObject(arg1);
|
|
1197
1207
|
const ret = typeof(v) === 'bigint' ? v : undefined;
|
|
@@ -1221,8 +1231,8 @@ module.exports.__wbindgen_function_table = function() {
|
|
|
1221
1231
|
return addHeapObject(ret);
|
|
1222
1232
|
};
|
|
1223
1233
|
|
|
1224
|
-
module.exports.
|
|
1225
|
-
const ret = makeMutClosure(arg0, arg1,
|
|
1234
|
+
module.exports.__wbindgen_closure_wrapper1389 = function(arg0, arg1, arg2) {
|
|
1235
|
+
const ret = makeMutClosure(arg0, arg1, 485, __wbg_adapter_52);
|
|
1226
1236
|
return addHeapObject(ret);
|
|
1227
1237
|
};
|
|
1228
1238
|
|
package/nodejs/acvm_js_bg.wasm
CHANGED
|
Binary file
|