@aztec/noir-acvm_js 0.0.1-commit.d3ec352c → 0.0.1-commit.f295ac2
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 +44 -44
- package/nodejs/acvm_js.js +41 -42
- package/nodejs/acvm_js_bg.wasm +0 -0
- package/nodejs/acvm_js_bg.wasm.d.ts +5 -5
- package/package.json +6 -6
- package/web/acvm_js.d.ts +49 -49
- package/web/acvm_js.js +40 -41
- package/web/acvm_js_bg.wasm +0 -0
- package/web/acvm_js_bg.wasm.d.ts +5 -5
package/nodejs/acvm_js.d.ts
CHANGED
|
@@ -1,5 +1,16 @@
|
|
|
1
1
|
/* tslint:disable */
|
|
2
2
|
/* eslint-disable */
|
|
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
|
+
/**
|
|
9
|
+
* Sets the package's logging level.
|
|
10
|
+
*
|
|
11
|
+
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
12
|
+
*/
|
|
13
|
+
export function initLogLevel(filter: string): void;
|
|
3
14
|
/**
|
|
4
15
|
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
5
16
|
*
|
|
@@ -28,12 +39,6 @@ export function executeCircuitWithReturnWitness(program: Uint8Array, initial_wit
|
|
|
28
39
|
* @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
|
|
29
40
|
*/
|
|
30
41
|
export function executeProgram(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessStack>;
|
|
31
|
-
/**
|
|
32
|
-
* Sets the package's logging level.
|
|
33
|
-
*
|
|
34
|
-
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
35
|
-
*/
|
|
36
|
-
export function initLogLevel(filter: string): void;
|
|
37
42
|
/**
|
|
38
43
|
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
39
44
|
*
|
|
@@ -58,11 +63,6 @@ export function getPublicParametersWitness(program: Uint8Array, solved_witness:
|
|
|
58
63
|
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
59
64
|
*/
|
|
60
65
|
export function getPublicWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
|
|
61
|
-
/**
|
|
62
|
-
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
63
|
-
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
64
|
-
*/
|
|
65
|
-
export function buildInfo(): BuildInfo;
|
|
66
66
|
/**
|
|
67
67
|
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
68
68
|
*
|
|
@@ -117,6 +117,34 @@ export function ecdsa_secp256k1_verify(hashed_msg: Uint8Array, public_key_x_byte
|
|
|
117
117
|
*/
|
|
118
118
|
export function ecdsa_secp256r1_verify(hashed_msg: Uint8Array, public_key_x_bytes: Uint8Array, public_key_y_bytes: Uint8Array, signature: Uint8Array): boolean;
|
|
119
119
|
|
|
120
|
+
/**
|
|
121
|
+
* @typedef {Object} BuildInfo - Information about how the installed package was built
|
|
122
|
+
* @property {string} gitHash - The hash of the git commit from which the package was built.
|
|
123
|
+
* @property {string} version - The version of the package at the built git commit.
|
|
124
|
+
* @property {boolean} dirty - Whether the package contained uncommitted changes when built.
|
|
125
|
+
*/
|
|
126
|
+
export type BuildInfo = {
|
|
127
|
+
gitHash: string;
|
|
128
|
+
version: string;
|
|
129
|
+
dirty: string;
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
|
|
133
|
+
|
|
134
|
+
export type RawAssertionPayload = {
|
|
135
|
+
selector: string;
|
|
136
|
+
data: string[];
|
|
137
|
+
};
|
|
138
|
+
|
|
139
|
+
export type ExecutionError = Error & {
|
|
140
|
+
callStack?: string[];
|
|
141
|
+
rawAssertionPayload?: RawAssertionPayload;
|
|
142
|
+
acirFunctionId?: number;
|
|
143
|
+
brilligFunctionId?: number;
|
|
144
|
+
};
|
|
145
|
+
|
|
146
|
+
|
|
147
|
+
|
|
120
148
|
// Map from witness index to hex string value of witness.
|
|
121
149
|
export type WitnessMap = Map<number, string>;
|
|
122
150
|
|
|
@@ -132,15 +160,6 @@ export type SolvedAndReturnWitness = {
|
|
|
132
160
|
|
|
133
161
|
|
|
134
162
|
|
|
135
|
-
export type StackItem = {
|
|
136
|
-
index: number;
|
|
137
|
-
witness: WitnessMap;
|
|
138
|
-
}
|
|
139
|
-
|
|
140
|
-
export type WitnessStack = Array<StackItem>;
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
144
163
|
export type ForeignCallInput = string[]
|
|
145
164
|
export type ForeignCallOutput = string | string[]
|
|
146
165
|
|
|
@@ -155,30 +174,11 @@ export type ForeignCallHandler = (name: string, inputs: ForeignCallInput[]) => P
|
|
|
155
174
|
|
|
156
175
|
|
|
157
176
|
|
|
158
|
-
export type
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
};
|
|
162
|
-
|
|
163
|
-
export type ExecutionError = Error & {
|
|
164
|
-
callStack?: string[];
|
|
165
|
-
rawAssertionPayload?: RawAssertionPayload;
|
|
166
|
-
acirFunctionId?: number;
|
|
167
|
-
brilligFunctionId?: number;
|
|
168
|
-
};
|
|
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;
|
|
177
|
+
export type StackItem = {
|
|
178
|
+
index: number;
|
|
179
|
+
witness: WitnessMap;
|
|
182
180
|
}
|
|
183
181
|
|
|
182
|
+
export type WitnessStack = Array<StackItem>;
|
|
183
|
+
|
|
184
184
|
|
package/nodejs/acvm_js.js
CHANGED
|
@@ -201,6 +201,33 @@ 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
|
+
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
206
|
+
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
207
|
+
*/
|
|
208
|
+
module.exports.buildInfo = function() {
|
|
209
|
+
const ret = wasm.buildInfo();
|
|
210
|
+
return ret;
|
|
211
|
+
};
|
|
212
|
+
|
|
213
|
+
function takeFromExternrefTable0(idx) {
|
|
214
|
+
const value = wasm.__wbindgen_export_2.get(idx);
|
|
215
|
+
wasm.__externref_table_dealloc(idx);
|
|
216
|
+
return value;
|
|
217
|
+
}
|
|
218
|
+
/**
|
|
219
|
+
* Sets the package's logging level.
|
|
220
|
+
*
|
|
221
|
+
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
222
|
+
*/
|
|
223
|
+
module.exports.initLogLevel = function(filter) {
|
|
224
|
+
const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
|
|
225
|
+
const len0 = WASM_VECTOR_LEN;
|
|
226
|
+
const ret = wasm.initLogLevel(ptr0, len0);
|
|
227
|
+
if (ret[1]) {
|
|
228
|
+
throw takeFromExternrefTable0(ret[0]);
|
|
229
|
+
}
|
|
230
|
+
};
|
|
204
231
|
|
|
205
232
|
function passArray8ToWasm0(arg, malloc) {
|
|
206
233
|
const ptr = malloc(arg.length * 1, 1) >>> 0;
|
|
@@ -254,25 +281,6 @@ module.exports.executeProgram = function(program, initial_witness, foreign_call_
|
|
|
254
281
|
return ret;
|
|
255
282
|
};
|
|
256
283
|
|
|
257
|
-
function takeFromExternrefTable0(idx) {
|
|
258
|
-
const value = wasm.__wbindgen_export_2.get(idx);
|
|
259
|
-
wasm.__externref_table_dealloc(idx);
|
|
260
|
-
return value;
|
|
261
|
-
}
|
|
262
|
-
/**
|
|
263
|
-
* Sets the package's logging level.
|
|
264
|
-
*
|
|
265
|
-
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
266
|
-
*/
|
|
267
|
-
module.exports.initLogLevel = function(filter) {
|
|
268
|
-
const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
|
|
269
|
-
const len0 = WASM_VECTOR_LEN;
|
|
270
|
-
const ret = wasm.initLogLevel(ptr0, len0);
|
|
271
|
-
if (ret[1]) {
|
|
272
|
-
throw takeFromExternrefTable0(ret[0]);
|
|
273
|
-
}
|
|
274
|
-
};
|
|
275
|
-
|
|
276
284
|
/**
|
|
277
285
|
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
278
286
|
*
|
|
@@ -333,15 +341,6 @@ module.exports.getPublicWitness = function(program, solved_witness) {
|
|
|
333
341
|
return takeFromExternrefTable0(ret[0]);
|
|
334
342
|
};
|
|
335
343
|
|
|
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
344
|
function getArrayU8FromWasm0(ptr, len) {
|
|
346
345
|
ptr = ptr >>> 0;
|
|
347
346
|
return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
|
|
@@ -527,15 +526,15 @@ module.exports.ecdsa_secp256r1_verify = function(hashed_msg, public_key_x_bytes,
|
|
|
527
526
|
};
|
|
528
527
|
|
|
529
528
|
function __wbg_adapter_30(arg0, arg1, arg2) {
|
|
530
|
-
wasm.
|
|
529
|
+
wasm.closure447_externref_shim(arg0, arg1, arg2);
|
|
531
530
|
}
|
|
532
531
|
|
|
533
532
|
function __wbg_adapter_89(arg0, arg1, arg2, arg3, arg4) {
|
|
534
|
-
wasm.
|
|
533
|
+
wasm.closure932_externref_shim(arg0, arg1, arg2, arg3, arg4);
|
|
535
534
|
}
|
|
536
535
|
|
|
537
536
|
function __wbg_adapter_110(arg0, arg1, arg2, arg3) {
|
|
538
|
-
wasm.
|
|
537
|
+
wasm.closure936_externref_shim(arg0, arg1, arg2, arg3);
|
|
539
538
|
}
|
|
540
539
|
|
|
541
540
|
module.exports.__wbg_call_672a4d21634d4a24 = function() { return handleError(function (arg0, arg1) {
|
|
@@ -553,12 +552,12 @@ module.exports.__wbg_call_833bed5770ea2041 = function() { return handleError(fun
|
|
|
553
552
|
return ret;
|
|
554
553
|
}, arguments) };
|
|
555
554
|
|
|
556
|
-
module.exports.
|
|
555
|
+
module.exports.__wbg_constructor_536364f6bcd4616b = function(arg0) {
|
|
557
556
|
const ret = new Error(arg0);
|
|
558
557
|
return ret;
|
|
559
558
|
};
|
|
560
559
|
|
|
561
|
-
module.exports.
|
|
560
|
+
module.exports.__wbg_constructor_66e92e9c3ecae9e8 = function(arg0) {
|
|
562
561
|
const ret = new Error(arg0);
|
|
563
562
|
return ret;
|
|
564
563
|
};
|
|
@@ -674,11 +673,6 @@ module.exports.__wbg_new_23a2665fac83c611 = function(arg0, arg1) {
|
|
|
674
673
|
}
|
|
675
674
|
};
|
|
676
675
|
|
|
677
|
-
module.exports.__wbg_new_36c79b224aeafbf0 = function() {
|
|
678
|
-
const ret = new Array();
|
|
679
|
-
return ret;
|
|
680
|
-
};
|
|
681
|
-
|
|
682
676
|
module.exports.__wbg_new_5e0be73521bc8c17 = function() {
|
|
683
677
|
const ret = new Map();
|
|
684
678
|
return ret;
|
|
@@ -694,8 +688,8 @@ module.exports.__wbg_new_8a6f238a6ece86ea = function() {
|
|
|
694
688
|
return ret;
|
|
695
689
|
};
|
|
696
690
|
|
|
697
|
-
module.exports.
|
|
698
|
-
const ret = new
|
|
691
|
+
module.exports.__wbg_new_9f501325818b4158 = function() {
|
|
692
|
+
const ret = new Array();
|
|
699
693
|
return ret;
|
|
700
694
|
};
|
|
701
695
|
|
|
@@ -704,6 +698,11 @@ module.exports.__wbg_new_c68d7209be747379 = function(arg0, arg1) {
|
|
|
704
698
|
return ret;
|
|
705
699
|
};
|
|
706
700
|
|
|
701
|
+
module.exports.__wbg_new_ec40611a7805f1f0 = function() {
|
|
702
|
+
const ret = new Map();
|
|
703
|
+
return ret;
|
|
704
|
+
};
|
|
705
|
+
|
|
707
706
|
module.exports.__wbg_newnoargs_105ed471475aaf50 = function(arg0, arg1) {
|
|
708
707
|
const ret = new Function(getStringFromWasm0(arg0, arg1));
|
|
709
708
|
return ret;
|
|
@@ -813,8 +812,8 @@ module.exports.__wbindgen_cb_drop = function(arg0) {
|
|
|
813
812
|
return ret;
|
|
814
813
|
};
|
|
815
814
|
|
|
816
|
-
module.exports.
|
|
817
|
-
const ret = makeMutClosure(arg0, arg1,
|
|
815
|
+
module.exports.__wbindgen_closure_wrapper1447 = function(arg0, arg1, arg2) {
|
|
816
|
+
const ret = makeMutClosure(arg0, arg1, 448, __wbg_adapter_30);
|
|
818
817
|
return ret;
|
|
819
818
|
};
|
|
820
819
|
|
package/nodejs/acvm_js_bg.wasm
CHANGED
|
Binary file
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
/* tslint:disable */
|
|
2
2
|
/* eslint-disable */
|
|
3
3
|
export const memory: WebAssembly.Memory;
|
|
4
|
+
export const buildInfo: () => any;
|
|
5
|
+
export const initLogLevel: (a: number, b: number) => [number, number];
|
|
4
6
|
export const executeCircuit: (a: number, b: number, c: any, d: any) => any;
|
|
5
7
|
export const executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
|
|
6
8
|
export const executeProgram: (a: number, b: number, c: any, d: any) => any;
|
|
7
|
-
export const initLogLevel: (a: number, b: number) => [number, number];
|
|
8
9
|
export const getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
9
10
|
export const getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
10
11
|
export const getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
11
|
-
export const buildInfo: () => any;
|
|
12
12
|
export const compressWitness: (a: any) => [number, number, number, number];
|
|
13
13
|
export const decompressWitness: (a: number, b: number) => [number, number, number];
|
|
14
14
|
export const compressWitnessStack: (a: any) => [number, number, number, number];
|
|
@@ -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 closure447_externref_shim: (a: number, b: number, c: any) => void;
|
|
31
|
+
export const closure932_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
|
|
32
|
+
export const closure936_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.f295ac2",
|
|
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.4
|
|
47
|
-
"mocha": "^11.5
|
|
48
|
-
"prettier": "3.
|
|
44
|
+
"chai": "^6.2.2",
|
|
45
|
+
"eslint": "^9.39.2",
|
|
46
|
+
"eslint-plugin-prettier": "^5.5.4",
|
|
47
|
+
"mocha": "^11.7.5",
|
|
48
|
+
"prettier": "3.7.4",
|
|
49
49
|
"ts-node": "^10.9.2",
|
|
50
50
|
"typescript": "^5.8.3"
|
|
51
51
|
}
|
package/web/acvm_js.d.ts
CHANGED
|
@@ -1,5 +1,16 @@
|
|
|
1
1
|
/* tslint:disable */
|
|
2
2
|
/* eslint-disable */
|
|
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
|
+
/**
|
|
9
|
+
* Sets the package's logging level.
|
|
10
|
+
*
|
|
11
|
+
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
12
|
+
*/
|
|
13
|
+
export function initLogLevel(filter: string): void;
|
|
3
14
|
/**
|
|
4
15
|
* Executes an ACIR circuit to generate the solved witness from the initial witness.
|
|
5
16
|
*
|
|
@@ -28,12 +39,6 @@ export function executeCircuitWithReturnWitness(program: Uint8Array, initial_wit
|
|
|
28
39
|
* @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
|
|
29
40
|
*/
|
|
30
41
|
export function executeProgram(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessStack>;
|
|
31
|
-
/**
|
|
32
|
-
* Sets the package's logging level.
|
|
33
|
-
*
|
|
34
|
-
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
35
|
-
*/
|
|
36
|
-
export function initLogLevel(filter: string): void;
|
|
37
42
|
/**
|
|
38
43
|
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
39
44
|
*
|
|
@@ -58,11 +63,6 @@ export function getPublicParametersWitness(program: Uint8Array, solved_witness:
|
|
|
58
63
|
* @returns {WitnessMap} A witness map containing the circuit's public inputs.
|
|
59
64
|
*/
|
|
60
65
|
export function getPublicWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
|
|
61
|
-
/**
|
|
62
|
-
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
63
|
-
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
64
|
-
*/
|
|
65
|
-
export function buildInfo(): BuildInfo;
|
|
66
66
|
/**
|
|
67
67
|
* Compresses a `WitnessMap` into the binary format outputted by Nargo.
|
|
68
68
|
*
|
|
@@ -117,6 +117,34 @@ export function ecdsa_secp256k1_verify(hashed_msg: Uint8Array, public_key_x_byte
|
|
|
117
117
|
*/
|
|
118
118
|
export function ecdsa_secp256r1_verify(hashed_msg: Uint8Array, public_key_x_bytes: Uint8Array, public_key_y_bytes: Uint8Array, signature: Uint8Array): boolean;
|
|
119
119
|
|
|
120
|
+
/**
|
|
121
|
+
* @typedef {Object} BuildInfo - Information about how the installed package was built
|
|
122
|
+
* @property {string} gitHash - The hash of the git commit from which the package was built.
|
|
123
|
+
* @property {string} version - The version of the package at the built git commit.
|
|
124
|
+
* @property {boolean} dirty - Whether the package contained uncommitted changes when built.
|
|
125
|
+
*/
|
|
126
|
+
export type BuildInfo = {
|
|
127
|
+
gitHash: string;
|
|
128
|
+
version: string;
|
|
129
|
+
dirty: string;
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
|
|
133
|
+
|
|
134
|
+
export type RawAssertionPayload = {
|
|
135
|
+
selector: string;
|
|
136
|
+
data: string[];
|
|
137
|
+
};
|
|
138
|
+
|
|
139
|
+
export type ExecutionError = Error & {
|
|
140
|
+
callStack?: string[];
|
|
141
|
+
rawAssertionPayload?: RawAssertionPayload;
|
|
142
|
+
acirFunctionId?: number;
|
|
143
|
+
brilligFunctionId?: number;
|
|
144
|
+
};
|
|
145
|
+
|
|
146
|
+
|
|
147
|
+
|
|
120
148
|
// Map from witness index to hex string value of witness.
|
|
121
149
|
export type WitnessMap = Map<number, string>;
|
|
122
150
|
|
|
@@ -132,15 +160,6 @@ export type SolvedAndReturnWitness = {
|
|
|
132
160
|
|
|
133
161
|
|
|
134
162
|
|
|
135
|
-
export type StackItem = {
|
|
136
|
-
index: number;
|
|
137
|
-
witness: WitnessMap;
|
|
138
|
-
}
|
|
139
|
-
|
|
140
|
-
export type WitnessStack = Array<StackItem>;
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
144
163
|
export type ForeignCallInput = string[]
|
|
145
164
|
export type ForeignCallOutput = string | string[]
|
|
146
165
|
|
|
@@ -155,46 +174,27 @@ export type ForeignCallHandler = (name: string, inputs: ForeignCallInput[]) => P
|
|
|
155
174
|
|
|
156
175
|
|
|
157
176
|
|
|
158
|
-
export type
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
};
|
|
162
|
-
|
|
163
|
-
export type ExecutionError = Error & {
|
|
164
|
-
callStack?: string[];
|
|
165
|
-
rawAssertionPayload?: RawAssertionPayload;
|
|
166
|
-
acirFunctionId?: number;
|
|
167
|
-
brilligFunctionId?: number;
|
|
168
|
-
};
|
|
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;
|
|
177
|
+
export type StackItem = {
|
|
178
|
+
index: number;
|
|
179
|
+
witness: WitnessMap;
|
|
182
180
|
}
|
|
183
181
|
|
|
182
|
+
export type WitnessStack = Array<StackItem>;
|
|
183
|
+
|
|
184
184
|
|
|
185
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 buildInfo: () => any;
|
|
191
|
+
readonly initLogLevel: (a: number, b: number) => [number, number];
|
|
190
192
|
readonly executeCircuit: (a: number, b: number, c: any, d: any) => any;
|
|
191
193
|
readonly executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
|
|
192
194
|
readonly executeProgram: (a: number, b: number, c: any, d: any) => any;
|
|
193
|
-
readonly initLogLevel: (a: number, b: number) => [number, number];
|
|
194
195
|
readonly getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
195
196
|
readonly getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
196
197
|
readonly getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
197
|
-
readonly buildInfo: () => any;
|
|
198
198
|
readonly compressWitness: (a: any) => [number, number, number, number];
|
|
199
199
|
readonly decompressWitness: (a: number, b: number) => [number, number, number];
|
|
200
200
|
readonly compressWitnessStack: (a: any) => [number, number, number, number];
|
|
@@ -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
|
|
217
|
-
readonly
|
|
218
|
-
readonly
|
|
216
|
+
readonly closure447_externref_shim: (a: number, b: number, c: any) => void;
|
|
217
|
+
readonly closure932_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
|
|
218
|
+
readonly closure936_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
|
@@ -197,6 +197,33 @@ function debugString(val) {
|
|
|
197
197
|
// TODO we could test for more things here, like `Set`s and `Map`s.
|
|
198
198
|
return className;
|
|
199
199
|
}
|
|
200
|
+
/**
|
|
201
|
+
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
202
|
+
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
203
|
+
*/
|
|
204
|
+
export function buildInfo() {
|
|
205
|
+
const ret = wasm.buildInfo();
|
|
206
|
+
return ret;
|
|
207
|
+
}
|
|
208
|
+
|
|
209
|
+
function takeFromExternrefTable0(idx) {
|
|
210
|
+
const value = wasm.__wbindgen_export_2.get(idx);
|
|
211
|
+
wasm.__externref_table_dealloc(idx);
|
|
212
|
+
return value;
|
|
213
|
+
}
|
|
214
|
+
/**
|
|
215
|
+
* Sets the package's logging level.
|
|
216
|
+
*
|
|
217
|
+
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
218
|
+
*/
|
|
219
|
+
export function initLogLevel(filter) {
|
|
220
|
+
const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
|
|
221
|
+
const len0 = WASM_VECTOR_LEN;
|
|
222
|
+
const ret = wasm.initLogLevel(ptr0, len0);
|
|
223
|
+
if (ret[1]) {
|
|
224
|
+
throw takeFromExternrefTable0(ret[0]);
|
|
225
|
+
}
|
|
226
|
+
}
|
|
200
227
|
|
|
201
228
|
function passArray8ToWasm0(arg, malloc) {
|
|
202
229
|
const ptr = malloc(arg.length * 1, 1) >>> 0;
|
|
@@ -250,25 +277,6 @@ export function executeProgram(program, initial_witness, foreign_call_handler) {
|
|
|
250
277
|
return ret;
|
|
251
278
|
}
|
|
252
279
|
|
|
253
|
-
function takeFromExternrefTable0(idx) {
|
|
254
|
-
const value = wasm.__wbindgen_export_2.get(idx);
|
|
255
|
-
wasm.__externref_table_dealloc(idx);
|
|
256
|
-
return value;
|
|
257
|
-
}
|
|
258
|
-
/**
|
|
259
|
-
* Sets the package's logging level.
|
|
260
|
-
*
|
|
261
|
-
* @param {LogLevel} level - The maximum level of logging to be emitted.
|
|
262
|
-
*/
|
|
263
|
-
export function initLogLevel(filter) {
|
|
264
|
-
const ptr0 = passStringToWasm0(filter, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
|
|
265
|
-
const len0 = WASM_VECTOR_LEN;
|
|
266
|
-
const ret = wasm.initLogLevel(ptr0, len0);
|
|
267
|
-
if (ret[1]) {
|
|
268
|
-
throw takeFromExternrefTable0(ret[0]);
|
|
269
|
-
}
|
|
270
|
-
}
|
|
271
|
-
|
|
272
280
|
/**
|
|
273
281
|
* Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
|
|
274
282
|
*
|
|
@@ -329,15 +337,6 @@ export function getPublicWitness(program, solved_witness) {
|
|
|
329
337
|
return takeFromExternrefTable0(ret[0]);
|
|
330
338
|
}
|
|
331
339
|
|
|
332
|
-
/**
|
|
333
|
-
* Returns the `BuildInfo` object containing information about how the installed package was built.
|
|
334
|
-
* @returns {BuildInfo} - Information on how the installed package was built.
|
|
335
|
-
*/
|
|
336
|
-
export function buildInfo() {
|
|
337
|
-
const ret = wasm.buildInfo();
|
|
338
|
-
return ret;
|
|
339
|
-
}
|
|
340
|
-
|
|
341
340
|
function getArrayU8FromWasm0(ptr, len) {
|
|
342
341
|
ptr = ptr >>> 0;
|
|
343
342
|
return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
|
|
@@ -523,15 +522,15 @@ export function ecdsa_secp256r1_verify(hashed_msg, public_key_x_bytes, public_ke
|
|
|
523
522
|
}
|
|
524
523
|
|
|
525
524
|
function __wbg_adapter_30(arg0, arg1, arg2) {
|
|
526
|
-
wasm.
|
|
525
|
+
wasm.closure447_externref_shim(arg0, arg1, arg2);
|
|
527
526
|
}
|
|
528
527
|
|
|
529
528
|
function __wbg_adapter_89(arg0, arg1, arg2, arg3, arg4) {
|
|
530
|
-
wasm.
|
|
529
|
+
wasm.closure932_externref_shim(arg0, arg1, arg2, arg3, arg4);
|
|
531
530
|
}
|
|
532
531
|
|
|
533
532
|
function __wbg_adapter_110(arg0, arg1, arg2, arg3) {
|
|
534
|
-
wasm.
|
|
533
|
+
wasm.closure936_externref_shim(arg0, arg1, arg2, arg3);
|
|
535
534
|
}
|
|
536
535
|
|
|
537
536
|
async function __wbg_load(module, imports) {
|
|
@@ -580,11 +579,11 @@ function __wbg_get_imports() {
|
|
|
580
579
|
const ret = arg0.call(arg1, arg2, arg3);
|
|
581
580
|
return ret;
|
|
582
581
|
}, arguments) };
|
|
583
|
-
imports.wbg.
|
|
582
|
+
imports.wbg.__wbg_constructor_536364f6bcd4616b = function(arg0) {
|
|
584
583
|
const ret = new Error(arg0);
|
|
585
584
|
return ret;
|
|
586
585
|
};
|
|
587
|
-
imports.wbg.
|
|
586
|
+
imports.wbg.__wbg_constructor_66e92e9c3ecae9e8 = function(arg0) {
|
|
588
587
|
const ret = new Error(arg0);
|
|
589
588
|
return ret;
|
|
590
589
|
};
|
|
@@ -685,10 +684,6 @@ function __wbg_get_imports() {
|
|
|
685
684
|
state0.a = state0.b = 0;
|
|
686
685
|
}
|
|
687
686
|
};
|
|
688
|
-
imports.wbg.__wbg_new_36c79b224aeafbf0 = function() {
|
|
689
|
-
const ret = new Array();
|
|
690
|
-
return ret;
|
|
691
|
-
};
|
|
692
687
|
imports.wbg.__wbg_new_5e0be73521bc8c17 = function() {
|
|
693
688
|
const ret = new Map();
|
|
694
689
|
return ret;
|
|
@@ -701,14 +696,18 @@ function __wbg_get_imports() {
|
|
|
701
696
|
const ret = new Error();
|
|
702
697
|
return ret;
|
|
703
698
|
};
|
|
704
|
-
imports.wbg.
|
|
705
|
-
const ret = new
|
|
699
|
+
imports.wbg.__wbg_new_9f501325818b4158 = function() {
|
|
700
|
+
const ret = new Array();
|
|
706
701
|
return ret;
|
|
707
702
|
};
|
|
708
703
|
imports.wbg.__wbg_new_c68d7209be747379 = function(arg0, arg1) {
|
|
709
704
|
const ret = new Error(getStringFromWasm0(arg0, arg1));
|
|
710
705
|
return ret;
|
|
711
706
|
};
|
|
707
|
+
imports.wbg.__wbg_new_ec40611a7805f1f0 = function() {
|
|
708
|
+
const ret = new Map();
|
|
709
|
+
return ret;
|
|
710
|
+
};
|
|
712
711
|
imports.wbg.__wbg_newnoargs_105ed471475aaf50 = function(arg0, arg1) {
|
|
713
712
|
const ret = new Function(getStringFromWasm0(arg0, arg1));
|
|
714
713
|
return ret;
|
|
@@ -797,8 +796,8 @@ function __wbg_get_imports() {
|
|
|
797
796
|
const ret = false;
|
|
798
797
|
return ret;
|
|
799
798
|
};
|
|
800
|
-
imports.wbg.
|
|
801
|
-
const ret = makeMutClosure(arg0, arg1,
|
|
799
|
+
imports.wbg.__wbindgen_closure_wrapper1447 = function(arg0, arg1, arg2) {
|
|
800
|
+
const ret = makeMutClosure(arg0, arg1, 448, __wbg_adapter_30);
|
|
802
801
|
return ret;
|
|
803
802
|
};
|
|
804
803
|
imports.wbg.__wbindgen_debug_string = function(arg0, arg1) {
|
package/web/acvm_js_bg.wasm
CHANGED
|
Binary file
|
package/web/acvm_js_bg.wasm.d.ts
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
/* tslint:disable */
|
|
2
2
|
/* eslint-disable */
|
|
3
3
|
export const memory: WebAssembly.Memory;
|
|
4
|
+
export const buildInfo: () => any;
|
|
5
|
+
export const initLogLevel: (a: number, b: number) => [number, number];
|
|
4
6
|
export const executeCircuit: (a: number, b: number, c: any, d: any) => any;
|
|
5
7
|
export const executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
|
|
6
8
|
export const executeProgram: (a: number, b: number, c: any, d: any) => any;
|
|
7
|
-
export const initLogLevel: (a: number, b: number) => [number, number];
|
|
8
9
|
export const getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
9
10
|
export const getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
10
11
|
export const getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
|
|
11
|
-
export const buildInfo: () => any;
|
|
12
12
|
export const compressWitness: (a: any) => [number, number, number, number];
|
|
13
13
|
export const decompressWitness: (a: number, b: number) => [number, number, number];
|
|
14
14
|
export const compressWitnessStack: (a: any) => [number, number, number, number];
|
|
@@ -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 closure447_externref_shim: (a: number, b: number, c: any) => void;
|
|
31
|
+
export const closure932_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
|
|
32
|
+
export const closure936_externref_shim: (a: number, b: number, c: any, d: any) => void;
|
|
33
33
|
export const __wbindgen_start: () => void;
|