@aztec/noir-acvm_js 0.0.1-commit.21caa21 → 0.0.1-commit.21ecf947b
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 +82 -82
- package/nodejs/acvm_js.js +200 -200
- package/nodejs/acvm_js_bg.wasm +0 -0
- package/nodejs/acvm_js_bg.wasm.d.ts +14 -14
- package/package.json +6 -6
- package/web/acvm_js.d.ts +96 -96
- package/web/acvm_js.js +199 -199
- package/web/acvm_js_bg.wasm +0 -0
- package/web/acvm_js_bg.wasm.d.ts +14 -14
package/nodejs/acvm_js.js
CHANGED
|
@@ -201,56 +201,12 @@ function debugString(val) {
|
|
|
201
201
|
// TODO we could test for more things here, like `Set`s and `Map`s.
|
|
202
202
|
return className;
|
|
203
203
|
}
|
|
204
|
-
|
|
205
|
-
function passArray8ToWasm0(arg, malloc) {
|
|
206
|
-
const ptr = malloc(arg.length * 1, 1) >>> 0;
|
|
207
|
-
getUint8ArrayMemory0().set(arg, ptr / 1);
|
|
208
|
-
WASM_VECTOR_LEN = arg.length;
|
|
209
|
-
return ptr;
|
|
210
|
-
}
|
|
211
|
-
/**
|
|
212
|
-
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
213
|
-
*
|
|
214
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
215
|
-
* @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
|
|
216
|
-
* @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
|
|
217
|
-
* @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
|
|
218
|
-
*/
|
|
219
|
-
module.exports.executeCircuit = function(program, initial_witness, foreign_call_handler) {
|
|
220
|
-
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
221
|
-
const len0 = WASM_VECTOR_LEN;
|
|
222
|
-
const ret = wasm.executeCircuit(ptr0, len0, initial_witness, foreign_call_handler);
|
|
223
|
-
return ret;
|
|
224
|
-
};
|
|
225
|
-
|
|
226
|
-
/**
|
|
227
|
-
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
228
|
-
* This method also extracts the public return values from the solved witness into its own return witness.
|
|
229
|
-
*
|
|
230
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
231
|
-
* @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
|
|
232
|
-
* @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
|
|
233
|
-
* @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.
|
|
234
|
-
*/
|
|
235
|
-
module.exports.executeCircuitWithReturnWitness = function(program, initial_witness, foreign_call_handler) {
|
|
236
|
-
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
237
|
-
const len0 = WASM_VECTOR_LEN;
|
|
238
|
-
const ret = wasm.executeCircuitWithReturnWitness(ptr0, len0, initial_witness, foreign_call_handler);
|
|
239
|
-
return ret;
|
|
240
|
-
};
|
|
241
|
-
|
|
242
204
|
/**
|
|
243
|
-
*
|
|
244
|
-
*
|
|
245
|
-
* @param {Uint8Array} program - A serialized representation of an ACIR program
|
|
246
|
-
* @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
|
|
247
|
-
* @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
|
|
248
|
-
* @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
|
|
205
|
+
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
206
|
+
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
249
207
|
*/
|
|
250
|
-
module.exports.
|
|
251
|
-
const
|
|
252
|
-
const len0 = WASM_VECTOR_LEN;
|
|
253
|
-
const ret = wasm.executeProgram(ptr0, len0, initial_witness, foreign_call_handler);
|
|
208
|
+
module.exports.buildInfo = function() {
|
|
209
|
+
const ret = wasm.buildInfo();
|
|
254
210
|
return ret;
|
|
255
211
|
};
|
|
256
212
|
|
|
@@ -273,144 +229,6 @@ module.exports.initLogLevel = function(filter) {
|
|
|
273
229
|
}
|
|
274
230
|
};
|
|
275
231
|
|
|
276
|
-
/**
|
|
277
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
278
|
-
*
|
|
279
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
280
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
281
|
-
* @returns {WitnessMap} A witness map containing the circuit's return values.
|
|
282
|
-
* @param {Uint8Array} program
|
|
283
|
-
* @param {WitnessMap} witness_map
|
|
284
|
-
* @returns {WitnessMap}
|
|
285
|
-
*/
|
|
286
|
-
module.exports.getReturnWitness = function(program, witness_map) {
|
|
287
|
-
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
288
|
-
const len0 = WASM_VECTOR_LEN;
|
|
289
|
-
const ret = wasm.getReturnWitness(ptr0, len0, witness_map);
|
|
290
|
-
if (ret[2]) {
|
|
291
|
-
throw takeFromExternrefTable0(ret[1]);
|
|
292
|
-
}
|
|
293
|
-
return takeFromExternrefTable0(ret[0]);
|
|
294
|
-
};
|
|
295
|
-
|
|
296
|
-
/**
|
|
297
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
|
|
298
|
-
*
|
|
299
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
300
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
301
|
-
* @returns {WitnessMap} A witness map containing the circuit's public parameters.
|
|
302
|
-
* @param {Uint8Array} program
|
|
303
|
-
* @param {WitnessMap} solved_witness
|
|
304
|
-
* @returns {WitnessMap}
|
|
305
|
-
*/
|
|
306
|
-
module.exports.getPublicParametersWitness = function(program, solved_witness) {
|
|
307
|
-
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
308
|
-
const len0 = WASM_VECTOR_LEN;
|
|
309
|
-
const ret = wasm.getPublicParametersWitness(ptr0, len0, solved_witness);
|
|
310
|
-
if (ret[2]) {
|
|
311
|
-
throw takeFromExternrefTable0(ret[1]);
|
|
312
|
-
}
|
|
313
|
-
return takeFromExternrefTable0(ret[0]);
|
|
314
|
-
};
|
|
315
|
-
|
|
316
|
-
/**
|
|
317
|
-
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
|
|
318
|
-
*
|
|
319
|
-
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
320
|
-
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
321
|
-
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
322
|
-
* @param {Uint8Array} program
|
|
323
|
-
* @param {WitnessMap} solved_witness
|
|
324
|
-
* @returns {WitnessMap}
|
|
325
|
-
*/
|
|
326
|
-
module.exports.getPublicWitness = function(program, solved_witness) {
|
|
327
|
-
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
328
|
-
const len0 = WASM_VECTOR_LEN;
|
|
329
|
-
const ret = wasm.getPublicWitness(ptr0, len0, solved_witness);
|
|
330
|
-
if (ret[2]) {
|
|
331
|
-
throw takeFromExternrefTable0(ret[1]);
|
|
332
|
-
}
|
|
333
|
-
return takeFromExternrefTable0(ret[0]);
|
|
334
|
-
};
|
|
335
|
-
|
|
336
|
-
/**
|
|
337
|
-
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
338
|
-
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
339
|
-
*/
|
|
340
|
-
module.exports.buildInfo = function() {
|
|
341
|
-
const ret = wasm.buildInfo();
|
|
342
|
-
return ret;
|
|
343
|
-
};
|
|
344
|
-
|
|
345
|
-
function getArrayU8FromWasm0(ptr, len) {
|
|
346
|
-
ptr = ptr >>> 0;
|
|
347
|
-
return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
|
|
348
|
-
}
|
|
349
|
-
/**
|
|
350
|
-
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
351
|
-
*
|
|
352
|
-
* @param {WitnessMap} witness_map - A witness map.
|
|
353
|
-
* @returns {Uint8Array} A compressed witness map
|
|
354
|
-
*/
|
|
355
|
-
module.exports.compressWitness = function(witness_map) {
|
|
356
|
-
const ret = wasm.compressWitness(witness_map);
|
|
357
|
-
if (ret[3]) {
|
|
358
|
-
throw takeFromExternrefTable0(ret[2]);
|
|
359
|
-
}
|
|
360
|
-
var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
|
|
361
|
-
wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
|
|
362
|
-
return v1;
|
|
363
|
-
};
|
|
364
|
-
|
|
365
|
-
/**
|
|
366
|
-
* Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
|
|
367
|
-
* This should be used to only fetch the witness map for the main function.
|
|
368
|
-
*
|
|
369
|
-
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
370
|
-
* @returns {WitnessMap} The decompressed witness map.
|
|
371
|
-
*/
|
|
372
|
-
module.exports.decompressWitness = function(compressed_witness) {
|
|
373
|
-
const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
|
|
374
|
-
const len0 = WASM_VECTOR_LEN;
|
|
375
|
-
const ret = wasm.decompressWitness(ptr0, len0);
|
|
376
|
-
if (ret[2]) {
|
|
377
|
-
throw takeFromExternrefTable0(ret[1]);
|
|
378
|
-
}
|
|
379
|
-
return takeFromExternrefTable0(ret[0]);
|
|
380
|
-
};
|
|
381
|
-
|
|
382
|
-
/**
|
|
383
|
-
* Compresses a `WitnessStack` into the binary format outputted by Nargo.
|
|
384
|
-
*
|
|
385
|
-
* @param {WitnessStack} witness_stack - A witness stack.
|
|
386
|
-
* @returns {Uint8Array} A compressed witness stack
|
|
387
|
-
*/
|
|
388
|
-
module.exports.compressWitnessStack = function(witness_stack) {
|
|
389
|
-
const ret = wasm.compressWitnessStack(witness_stack);
|
|
390
|
-
if (ret[3]) {
|
|
391
|
-
throw takeFromExternrefTable0(ret[2]);
|
|
392
|
-
}
|
|
393
|
-
var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
|
|
394
|
-
wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
|
|
395
|
-
return v1;
|
|
396
|
-
};
|
|
397
|
-
|
|
398
|
-
/**
|
|
399
|
-
* Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
|
|
400
|
-
*
|
|
401
|
-
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
402
|
-
* @returns {WitnessStack} The decompressed witness stack.
|
|
403
|
-
*/
|
|
404
|
-
module.exports.decompressWitnessStack = function(compressed_witness) {
|
|
405
|
-
const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
|
|
406
|
-
const len0 = WASM_VECTOR_LEN;
|
|
407
|
-
const ret = wasm.decompressWitnessStack(ptr0, len0);
|
|
408
|
-
if (ret[2]) {
|
|
409
|
-
throw takeFromExternrefTable0(ret[1]);
|
|
410
|
-
}
|
|
411
|
-
return takeFromExternrefTable0(ret[0]);
|
|
412
|
-
};
|
|
413
|
-
|
|
414
232
|
/**
|
|
415
233
|
* Performs a bitwise AND operation between `lhs` and `rhs`
|
|
416
234
|
* @param {string} lhs
|
|
@@ -470,6 +288,17 @@ module.exports.sha256_compression = function(inputs, state) {
|
|
|
470
288
|
return v3;
|
|
471
289
|
};
|
|
472
290
|
|
|
291
|
+
function passArray8ToWasm0(arg, malloc) {
|
|
292
|
+
const ptr = malloc(arg.length * 1, 1) >>> 0;
|
|
293
|
+
getUint8ArrayMemory0().set(arg, ptr / 1);
|
|
294
|
+
WASM_VECTOR_LEN = arg.length;
|
|
295
|
+
return ptr;
|
|
296
|
+
}
|
|
297
|
+
|
|
298
|
+
function getArrayU8FromWasm0(ptr, len) {
|
|
299
|
+
ptr = ptr >>> 0;
|
|
300
|
+
return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
|
|
301
|
+
}
|
|
473
302
|
/**
|
|
474
303
|
* Calculates the Blake2s256 hash of the input bytes
|
|
475
304
|
* @param {Uint8Array} inputs
|
|
@@ -526,16 +355,187 @@ module.exports.ecdsa_secp256r1_verify = function(hashed_msg, public_key_x_bytes,
|
|
|
526
355
|
return ret !== 0;
|
|
527
356
|
};
|
|
528
357
|
|
|
358
|
+
/**
|
|
359
|
+
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
360
|
+
*
|
|
361
|
+
* @param {WitnessMap} witness_map - A witness map.
|
|
362
|
+
* @returns {Uint8Array} A compressed witness map
|
|
363
|
+
*/
|
|
364
|
+
module.exports.compressWitness = function(witness_map) {
|
|
365
|
+
const ret = wasm.compressWitness(witness_map);
|
|
366
|
+
if (ret[3]) {
|
|
367
|
+
throw takeFromExternrefTable0(ret[2]);
|
|
368
|
+
}
|
|
369
|
+
var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
|
|
370
|
+
wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
|
|
371
|
+
return v1;
|
|
372
|
+
};
|
|
373
|
+
|
|
374
|
+
/**
|
|
375
|
+
* Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
|
|
376
|
+
* This should be used to only fetch the witness map for the main function.
|
|
377
|
+
*
|
|
378
|
+
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
379
|
+
* @returns {WitnessMap} The decompressed witness map.
|
|
380
|
+
*/
|
|
381
|
+
module.exports.decompressWitness = function(compressed_witness) {
|
|
382
|
+
const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
|
|
383
|
+
const len0 = WASM_VECTOR_LEN;
|
|
384
|
+
const ret = wasm.decompressWitness(ptr0, len0);
|
|
385
|
+
if (ret[2]) {
|
|
386
|
+
throw takeFromExternrefTable0(ret[1]);
|
|
387
|
+
}
|
|
388
|
+
return takeFromExternrefTable0(ret[0]);
|
|
389
|
+
};
|
|
390
|
+
|
|
391
|
+
/**
|
|
392
|
+
* Compresses a `WitnessStack` into the binary format outputted by Nargo.
|
|
393
|
+
*
|
|
394
|
+
* @param {WitnessStack} witness_stack - A witness stack.
|
|
395
|
+
* @returns {Uint8Array} A compressed witness stack
|
|
396
|
+
*/
|
|
397
|
+
module.exports.compressWitnessStack = function(witness_stack) {
|
|
398
|
+
const ret = wasm.compressWitnessStack(witness_stack);
|
|
399
|
+
if (ret[3]) {
|
|
400
|
+
throw takeFromExternrefTable0(ret[2]);
|
|
401
|
+
}
|
|
402
|
+
var v1 = getArrayU8FromWasm0(ret[0], ret[1]).slice();
|
|
403
|
+
wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
|
|
404
|
+
return v1;
|
|
405
|
+
};
|
|
406
|
+
|
|
407
|
+
/**
|
|
408
|
+
* Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
|
|
409
|
+
*
|
|
410
|
+
* @param {Uint8Array} compressed_witness - A compressed witness.
|
|
411
|
+
* @returns {WitnessStack} The decompressed witness stack.
|
|
412
|
+
*/
|
|
413
|
+
module.exports.decompressWitnessStack = function(compressed_witness) {
|
|
414
|
+
const ptr0 = passArray8ToWasm0(compressed_witness, wasm.__wbindgen_malloc);
|
|
415
|
+
const len0 = WASM_VECTOR_LEN;
|
|
416
|
+
const ret = wasm.decompressWitnessStack(ptr0, len0);
|
|
417
|
+
if (ret[2]) {
|
|
418
|
+
throw takeFromExternrefTable0(ret[1]);
|
|
419
|
+
}
|
|
420
|
+
return takeFromExternrefTable0(ret[0]);
|
|
421
|
+
};
|
|
422
|
+
|
|
423
|
+
/**
|
|
424
|
+
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
425
|
+
*
|
|
426
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
427
|
+
* @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
|
|
428
|
+
* @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
|
|
429
|
+
* @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
|
|
430
|
+
*/
|
|
431
|
+
module.exports.executeCircuit = function(program, initial_witness, foreign_call_handler) {
|
|
432
|
+
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
433
|
+
const len0 = WASM_VECTOR_LEN;
|
|
434
|
+
const ret = wasm.executeCircuit(ptr0, len0, initial_witness, foreign_call_handler);
|
|
435
|
+
return ret;
|
|
436
|
+
};
|
|
437
|
+
|
|
438
|
+
/**
|
|
439
|
+
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
440
|
+
* This method also extracts the public return values from the solved witness into its own return witness.
|
|
441
|
+
*
|
|
442
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
443
|
+
* @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
|
|
444
|
+
* @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
|
|
445
|
+
* @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.
|
|
446
|
+
*/
|
|
447
|
+
module.exports.executeCircuitWithReturnWitness = function(program, initial_witness, foreign_call_handler) {
|
|
448
|
+
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
449
|
+
const len0 = WASM_VECTOR_LEN;
|
|
450
|
+
const ret = wasm.executeCircuitWithReturnWitness(ptr0, len0, initial_witness, foreign_call_handler);
|
|
451
|
+
return ret;
|
|
452
|
+
};
|
|
453
|
+
|
|
454
|
+
/**
|
|
455
|
+
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
456
|
+
*
|
|
457
|
+
* @param {Uint8Array} program - A serialized representation of an ACIR program
|
|
458
|
+
* @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
|
|
459
|
+
* @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
|
|
460
|
+
* @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
|
|
461
|
+
*/
|
|
462
|
+
module.exports.executeProgram = function(program, initial_witness, foreign_call_handler) {
|
|
463
|
+
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
464
|
+
const len0 = WASM_VECTOR_LEN;
|
|
465
|
+
const ret = wasm.executeProgram(ptr0, len0, initial_witness, foreign_call_handler);
|
|
466
|
+
return ret;
|
|
467
|
+
};
|
|
468
|
+
|
|
469
|
+
/**
|
|
470
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
471
|
+
*
|
|
472
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
473
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
474
|
+
* @returns {WitnessMap} A witness map containing the circuit's return values.
|
|
475
|
+
* @param {Uint8Array} program
|
|
476
|
+
* @param {WitnessMap} witness_map
|
|
477
|
+
* @returns {WitnessMap}
|
|
478
|
+
*/
|
|
479
|
+
module.exports.getReturnWitness = function(program, witness_map) {
|
|
480
|
+
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
481
|
+
const len0 = WASM_VECTOR_LEN;
|
|
482
|
+
const ret = wasm.getReturnWitness(ptr0, len0, witness_map);
|
|
483
|
+
if (ret[2]) {
|
|
484
|
+
throw takeFromExternrefTable0(ret[1]);
|
|
485
|
+
}
|
|
486
|
+
return takeFromExternrefTable0(ret[0]);
|
|
487
|
+
};
|
|
488
|
+
|
|
489
|
+
/**
|
|
490
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
|
|
491
|
+
*
|
|
492
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
493
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
494
|
+
* @returns {WitnessMap} A witness map containing the circuit's public parameters.
|
|
495
|
+
* @param {Uint8Array} program
|
|
496
|
+
* @param {WitnessMap} solved_witness
|
|
497
|
+
* @returns {WitnessMap}
|
|
498
|
+
*/
|
|
499
|
+
module.exports.getPublicParametersWitness = function(program, solved_witness) {
|
|
500
|
+
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
501
|
+
const len0 = WASM_VECTOR_LEN;
|
|
502
|
+
const ret = wasm.getPublicParametersWitness(ptr0, len0, solved_witness);
|
|
503
|
+
if (ret[2]) {
|
|
504
|
+
throw takeFromExternrefTable0(ret[1]);
|
|
505
|
+
}
|
|
506
|
+
return takeFromExternrefTable0(ret[0]);
|
|
507
|
+
};
|
|
508
|
+
|
|
509
|
+
/**
|
|
510
|
+
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
|
|
511
|
+
*
|
|
512
|
+
* @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
|
|
513
|
+
* @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
|
|
514
|
+
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
515
|
+
* @param {Uint8Array} program
|
|
516
|
+
* @param {WitnessMap} solved_witness
|
|
517
|
+
* @returns {WitnessMap}
|
|
518
|
+
*/
|
|
519
|
+
module.exports.getPublicWitness = function(program, solved_witness) {
|
|
520
|
+
const ptr0 = passArray8ToWasm0(program, wasm.__wbindgen_malloc);
|
|
521
|
+
const len0 = WASM_VECTOR_LEN;
|
|
522
|
+
const ret = wasm.getPublicWitness(ptr0, len0, solved_witness);
|
|
523
|
+
if (ret[2]) {
|
|
524
|
+
throw takeFromExternrefTable0(ret[1]);
|
|
525
|
+
}
|
|
526
|
+
return takeFromExternrefTable0(ret[0]);
|
|
527
|
+
};
|
|
528
|
+
|
|
529
529
|
function __wbg_adapter_30(arg0, arg1, arg2) {
|
|
530
|
-
wasm.
|
|
530
|
+
wasm.closure445_externref_shim(arg0, arg1, arg2);
|
|
531
531
|
}
|
|
532
532
|
|
|
533
533
|
function __wbg_adapter_89(arg0, arg1, arg2, arg3, arg4) {
|
|
534
|
-
wasm.
|
|
534
|
+
wasm.closure924_externref_shim(arg0, arg1, arg2, arg3, arg4);
|
|
535
535
|
}
|
|
536
536
|
|
|
537
537
|
function __wbg_adapter_110(arg0, arg1, arg2, arg3) {
|
|
538
|
-
wasm.
|
|
538
|
+
wasm.closure928_externref_shim(arg0, arg1, arg2, arg3);
|
|
539
539
|
}
|
|
540
540
|
|
|
541
541
|
module.exports.__wbg_call_672a4d21634d4a24 = function() { return handleError(function (arg0, arg1) {
|
|
@@ -553,12 +553,12 @@ module.exports.__wbg_call_833bed5770ea2041 = function() { return handleError(fun
|
|
|
553
553
|
return ret;
|
|
554
554
|
}, arguments) };
|
|
555
555
|
|
|
556
|
-
module.exports.
|
|
556
|
+
module.exports.__wbg_constructor_536364f6bcd4616b = function(arg0) {
|
|
557
557
|
const ret = new Error(arg0);
|
|
558
558
|
return ret;
|
|
559
559
|
};
|
|
560
560
|
|
|
561
|
-
module.exports.
|
|
561
|
+
module.exports.__wbg_constructor_66e92e9c3ecae9e8 = function(arg0) {
|
|
562
562
|
const ret = new Error(arg0);
|
|
563
563
|
return ret;
|
|
564
564
|
};
|
|
@@ -674,11 +674,6 @@ module.exports.__wbg_new_23a2665fac83c611 = function(arg0, arg1) {
|
|
|
674
674
|
}
|
|
675
675
|
};
|
|
676
676
|
|
|
677
|
-
module.exports.__wbg_new_36c79b224aeafbf0 = function() {
|
|
678
|
-
const ret = new Array();
|
|
679
|
-
return ret;
|
|
680
|
-
};
|
|
681
|
-
|
|
682
677
|
module.exports.__wbg_new_5e0be73521bc8c17 = function() {
|
|
683
678
|
const ret = new Map();
|
|
684
679
|
return ret;
|
|
@@ -694,8 +689,8 @@ module.exports.__wbg_new_8a6f238a6ece86ea = function() {
|
|
|
694
689
|
return ret;
|
|
695
690
|
};
|
|
696
691
|
|
|
697
|
-
module.exports.
|
|
698
|
-
const ret = new
|
|
692
|
+
module.exports.__wbg_new_9f501325818b4158 = function() {
|
|
693
|
+
const ret = new Array();
|
|
699
694
|
return ret;
|
|
700
695
|
};
|
|
701
696
|
|
|
@@ -704,6 +699,11 @@ module.exports.__wbg_new_c68d7209be747379 = function(arg0, arg1) {
|
|
|
704
699
|
return ret;
|
|
705
700
|
};
|
|
706
701
|
|
|
702
|
+
module.exports.__wbg_new_ec40611a7805f1f0 = function() {
|
|
703
|
+
const ret = new Map();
|
|
704
|
+
return ret;
|
|
705
|
+
};
|
|
706
|
+
|
|
707
707
|
module.exports.__wbg_newnoargs_105ed471475aaf50 = function(arg0, arg1) {
|
|
708
708
|
const ret = new Function(getStringFromWasm0(arg0, arg1));
|
|
709
709
|
return ret;
|
|
@@ -813,8 +813,8 @@ module.exports.__wbindgen_cb_drop = function(arg0) {
|
|
|
813
813
|
return ret;
|
|
814
814
|
};
|
|
815
815
|
|
|
816
|
-
module.exports.
|
|
817
|
-
const ret = makeMutClosure(arg0, arg1,
|
|
816
|
+
module.exports.__wbindgen_closure_wrapper1364 = function(arg0, arg1, arg2) {
|
|
817
|
+
const ret = makeMutClosure(arg0, arg1, 446, __wbg_adapter_30);
|
|
818
818
|
return ret;
|
|
819
819
|
};
|
|
820
820
|
|
package/nodejs/acvm_js_bg.wasm
CHANGED
|
Binary file
|
|
@@ -1,24 +1,24 @@
|
|
|
1
1
|
/* tslint:disable */
|
|
2
2
|
/* eslint-disable */
|
|
3
3
|
export const memory: WebAssembly.Memory;
|
|
4
|
-
export const executeCircuit: (a: number, b: number, c: any, d: any) => any;
|
|
5
|
-
export const executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
|
|
6
|
-
export const executeProgram: (a: number, b: number, c: any, d: any) => any;
|
|
7
|
-
export const initLogLevel: (a: number, b: number) => [number, number];
|
|
8
|
-
export const getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
9
|
-
export const getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
10
|
-
export const getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
11
4
|
export const buildInfo: () => any;
|
|
12
|
-
export const
|
|
13
|
-
export const decompressWitness: (a: number, b: number) => [number, number, number];
|
|
14
|
-
export const compressWitnessStack: (a: any) => [number, number, number, number];
|
|
15
|
-
export const decompressWitnessStack: (a: number, b: number) => [number, number, number];
|
|
5
|
+
export const initLogLevel: (a: number, b: number) => [number, number];
|
|
16
6
|
export const and: (a: any, b: any) => any;
|
|
17
7
|
export const xor: (a: any, b: any) => any;
|
|
18
8
|
export const sha256_compression: (a: number, b: number, c: number, d: number) => [number, number];
|
|
19
9
|
export const blake2s256: (a: number, b: number) => [number, number];
|
|
20
10
|
export const ecdsa_secp256k1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
|
|
21
11
|
export const ecdsa_secp256r1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
|
|
12
|
+
export const compressWitness: (a: any) => [number, number, number, number];
|
|
13
|
+
export const decompressWitness: (a: number, b: number) => [number, number, number];
|
|
14
|
+
export const compressWitnessStack: (a: any) => [number, number, number, number];
|
|
15
|
+
export const decompressWitnessStack: (a: number, b: number) => [number, number, number];
|
|
16
|
+
export const executeCircuit: (a: number, b: number, c: any, d: any) => any;
|
|
17
|
+
export const executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
|
|
18
|
+
export const executeProgram: (a: number, b: number, c: any, d: any) => any;
|
|
19
|
+
export const getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
20
|
+
export const getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
21
|
+
export const getPublicWitness: (a: number, b: number, c: any) => [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
|
|
31
|
-
export const
|
|
32
|
-
export const
|
|
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.
|
|
3
|
+
"version": "0.0.1-commit.21ecf947b",
|
|
4
4
|
"publishConfig": {
|
|
5
5
|
"access": "public"
|
|
6
6
|
},
|
|
@@ -41,11 +41,11 @@
|
|
|
41
41
|
"@web/dev-server-esbuild": "^1.0.4",
|
|
42
42
|
"@web/test-runner": "^0.20.2",
|
|
43
43
|
"@web/test-runner-playwright": "^0.11.1",
|
|
44
|
-
"chai": "^
|
|
45
|
-
"eslint": "^9.
|
|
46
|
-
"eslint-plugin-prettier": "^5.
|
|
47
|
-
"mocha": "^11.5
|
|
48
|
-
"prettier": "3.
|
|
44
|
+
"chai": "^6.2.2",
|
|
45
|
+
"eslint": "^9.39.2",
|
|
46
|
+
"eslint-plugin-prettier": "^5.5.5",
|
|
47
|
+
"mocha": "^11.7.5",
|
|
48
|
+
"prettier": "3.8.1",
|
|
49
49
|
"ts-node": "^10.9.2",
|
|
50
50
|
"typescript": "^5.8.3"
|
|
51
51
|
}
|