@aztec/noir-acvm_js 0.0.1-commit.fce3e4f → 0.0.1-commit.ffe5b04ea

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.
Binary file
@@ -1,33 +1,34 @@
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
- export const buildInfo: () => any;
12
4
  export const compressWitness: (a: any) => [number, number, number, number];
13
5
  export const decompressWitness: (a: number, b: number) => [number, number, number];
14
6
  export const compressWitnessStack: (a: any) => [number, number, number, number];
15
7
  export const decompressWitnessStack: (a: number, b: number) => [number, number, number];
8
+ export const executeCircuit: (a: number, b: number, c: any, d: any) => any;
9
+ export const executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
10
+ export const executeProgram: (a: number, b: number, c: any, d: any) => any;
16
11
  export const and: (a: any, b: any) => any;
17
12
  export const xor: (a: any, b: any) => any;
18
13
  export const sha256_compression: (a: number, b: number, c: number, d: number) => [number, number];
19
14
  export const blake2s256: (a: number, b: number) => [number, number];
20
15
  export const ecdsa_secp256k1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
21
16
  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 getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
18
+ export const getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
19
+ export const getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
20
+ export const initLogLevel: (a: number, b: number) => [number, number];
21
+ export const buildInfo: () => any;
22
+ export const wasm_bindgen__closure__destroy__h589cd82bcdcce84d: (a: number, b: number) => void;
23
+ export const wasm_bindgen__convert__closures_____invoke__h149dcfc5e545a40e: (a: number, b: number, c: any, d: number, e: any) => void;
24
+ export const wasm_bindgen__convert__closures_____invoke__hd0bc2cf4f980f051: (a: number, b: number, c: any) => [number, number];
25
+ export const wasm_bindgen__convert__closures_____invoke__h5a259cce50f322a2: (a: number, b: number, c: any, d: any) => void;
26
+ export const wasm_bindgen__convert__closures_____invoke__h5a259cce50f322a2_21: (a: number, b: number, c: any, d: any) => void;
27
+ export const __wbindgen_malloc: (a: number, b: number) => number;
28
+ export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
22
29
  export const __wbindgen_exn_store: (a: number) => void;
23
30
  export const __externref_table_alloc: () => number;
24
- export const __wbindgen_export_2: WebAssembly.Table;
31
+ export const __wbindgen_externrefs: WebAssembly.Table;
25
32
  export const __wbindgen_free: (a: number, b: number, c: number) => void;
26
- export const __wbindgen_malloc: (a: number, b: number) => number;
27
- export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
28
- export const __wbindgen_export_6: WebAssembly.Table;
29
33
  export const __externref_table_dealloc: (a: number) => void;
30
- export const closure576_externref_shim: (a: number, b: number, c: any) => void;
31
- export const closure1171_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
32
- export const closure1175_externref_shim: (a: number, b: number, c: any, d: any) => void;
33
34
  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.fce3e4f",
3
+ "version": "0.0.1-commit.ffe5b04ea",
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
- "chai": "^4.4.1",
45
- "eslint": "^9.28.0",
46
- "eslint-plugin-prettier": "^5.4.1",
47
- "mocha": "^11.5.0",
48
- "prettier": "3.5.3",
44
+ "chai": "^6.2.2",
45
+ "eslint": "^10.0.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
  }
package/web/acvm_js.d.ts CHANGED
@@ -1,68 +1,88 @@
1
1
  /* tslint:disable */
2
2
  /* eslint-disable */
3
+
3
4
  /**
4
- * Executes an ACIR circuit to generate the solved witness from the initial witness.
5
- *
6
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
7
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
8
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
9
- * @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
10
- */
11
- export function executeCircuit(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessMap>;
12
- /**
13
- * Executes an ACIR circuit to generate the solved witness from the initial witness.
14
- * This method also extracts the public return values from the solved witness into its own return witness.
15
- *
16
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
17
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
18
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
19
- * @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.
20
- */
21
- export function executeCircuitWithReturnWitness(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<SolvedAndReturnWitness>;
22
- /**
23
- * Executes an ACIR circuit to generate the solved witness from the initial witness.
24
- *
25
- * @param {Uint8Array} program - A serialized representation of an ACIR program
26
- * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
27
- * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
28
- * @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
5
+ * @typedef {Object} BuildInfo - Information about how the installed package was built
6
+ * @property {string} gitHash - The hash of the git commit from which the package was built.
7
+ * @property {string} version - The version of the package at the built git commit.
8
+ * @property {boolean} dirty - Whether the package contained uncommitted changes when built.
29
9
  */
30
- export function executeProgram(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessStack>;
10
+ export type BuildInfo = {
11
+ gitHash: string;
12
+ version: string;
13
+ dirty: string;
14
+ }
15
+
16
+
17
+
18
+ // Map from witness index to hex string value of witness.
19
+ export type WitnessMap = Map<number, string>;
20
+
31
21
  /**
32
- * Sets the package's logging level.
33
- *
34
- * @param {LogLevel} level - The maximum level of logging to be emitted.
22
+ * An execution result containing two witnesses.
23
+ * 1. The full solved witness of the execution.
24
+ * 2. The return witness which contains the given public return values within the full witness.
35
25
  */
36
- export function initLogLevel(filter: string): void;
26
+ export type SolvedAndReturnWitness = {
27
+ solvedWitness: WitnessMap;
28
+ returnWitness: WitnessMap;
29
+ }
30
+
31
+
32
+
33
+ export type ForeignCallInput = string[]
34
+ export type ForeignCallOutput = string | string[]
35
+
37
36
  /**
38
- * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
39
- *
40
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
41
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
42
- * @returns {WitnessMap} A witness map containing the circuit's return values.
37
+ * A callback which performs an foreign call and returns the response.
38
+ * @callback ForeignCallHandler
39
+ * @param {string} name - The identifier for the type of foreign call being performed.
40
+ * @param {string[][]} inputs - An array of hex encoded inputs to the foreign call.
41
+ * @returns {Promise<string[]>} outputs - An array of hex encoded outputs containing the results of the foreign call.
43
42
  */
44
- export function getReturnWitness(program: Uint8Array, witness_map: WitnessMap): WitnessMap;
43
+ export type ForeignCallHandler = (name: string, inputs: ForeignCallInput[]) => Promise<ForeignCallOutput[]>;
44
+
45
+
46
+
47
+ export type RawAssertionPayload = {
48
+ selector: string;
49
+ data: string[];
50
+ };
51
+
52
+ export type ExecutionError = Error & {
53
+ callStack?: string[];
54
+ rawAssertionPayload?: RawAssertionPayload;
55
+ acirFunctionId?: number;
56
+ brilligFunctionId?: number;
57
+ };
58
+
59
+
60
+
61
+ export type StackItem = {
62
+ index: number;
63
+ witness: WitnessMap;
64
+ }
65
+
66
+ export type WitnessStack = Array<StackItem>;
67
+
68
+
69
+
45
70
  /**
46
- * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
47
- *
48
- * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
49
- * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
50
- * @returns {WitnessMap} A witness map containing the circuit's public parameters.
71
+ * Performs a bitwise AND operation between `lhs` and `rhs`
51
72
  */
52
- export function getPublicParametersWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
73
+ export function and(lhs: string, rhs: string): string;
74
+
53
75
  /**
54
- * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
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 public inputs.
76
+ * Calculates the Blake2s256 hash of the input bytes
59
77
  */
60
- export function getPublicWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
78
+ export function blake2s256(inputs: Uint8Array): Uint8Array;
79
+
61
80
  /**
62
81
  * Returns the `BuildInfo` object containing information about how the installed package was built.
63
82
  * @returns {BuildInfo} - Information on how the installed package was built.
64
83
  */
65
84
  export function buildInfo(): BuildInfo;
85
+
66
86
  /**
67
87
  * Compresses a `WitnessMap` into the binary format outputted by Nargo.
68
88
  *
@@ -70,6 +90,15 @@ export function buildInfo(): BuildInfo;
70
90
  * @returns {Uint8Array} A compressed witness map
71
91
  */
72
92
  export function compressWitness(witness_map: WitnessMap): Uint8Array;
93
+
94
+ /**
95
+ * Compresses a `WitnessStack` into the binary format outputted by Nargo.
96
+ *
97
+ * @param {WitnessStack} witness_stack - A witness stack.
98
+ * @returns {Uint8Array} A compressed witness stack
99
+ */
100
+ export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
101
+
73
102
  /**
74
103
  * Decompresses a compressed witness as outputted by Nargo into a `WitnessMap`.
75
104
  * This should be used to only fetch the witness map for the main function.
@@ -78,13 +107,7 @@ export function compressWitness(witness_map: WitnessMap): Uint8Array;
78
107
  * @returns {WitnessMap} The decompressed witness map.
79
108
  */
80
109
  export function decompressWitness(compressed_witness: Uint8Array): WitnessMap;
81
- /**
82
- * Compresses a `WitnessStack` into the binary format outputted by Nargo.
83
- *
84
- * @param {WitnessStack} witness_stack - A witness stack.
85
- * @returns {Uint8Array} A compressed witness stack
86
- */
87
- export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
110
+
88
111
  /**
89
112
  * Decompresses a compressed witness stack as outputted by Nargo into a `WitnessStack`.
90
113
  *
@@ -92,150 +115,147 @@ export function compressWitnessStack(witness_stack: WitnessStack): Uint8Array;
92
115
  * @returns {WitnessStack} The decompressed witness stack.
93
116
  */
94
117
  export function decompressWitnessStack(compressed_witness: Uint8Array): WitnessStack;
95
- /**
96
- * Performs a bitwise AND operation between `lhs` and `rhs`
97
- */
98
- export function and(lhs: string, rhs: string): string;
99
- /**
100
- * Performs a bitwise XOR operation between `lhs` and `rhs`
101
- */
102
- export function xor(lhs: string, rhs: string): string;
103
- /**
104
- * Sha256 compression function
105
- */
106
- export function sha256_compression(inputs: Uint32Array, state: Uint32Array): Uint32Array;
107
- /**
108
- * Calculates the Blake2s256 hash of the input bytes
109
- */
110
- export function blake2s256(inputs: Uint8Array): Uint8Array;
118
+
111
119
  /**
112
120
  * Verifies a ECDSA signature over the secp256k1 curve.
113
121
  */
114
122
  export function ecdsa_secp256k1_verify(hashed_msg: Uint8Array, public_key_x_bytes: Uint8Array, public_key_y_bytes: Uint8Array, signature: Uint8Array): boolean;
123
+
115
124
  /**
116
125
  * Verifies a ECDSA signature over the secp256r1 curve.
117
126
  */
118
127
  export function ecdsa_secp256r1_verify(hashed_msg: Uint8Array, public_key_x_bytes: Uint8Array, public_key_y_bytes: Uint8Array, signature: Uint8Array): boolean;
119
128
 
120
- // Map from witness index to hex string value of witness.
121
- export type WitnessMap = Map<number, string>;
122
-
123
129
  /**
124
- * An execution result containing two witnesses.
125
- * 1. The full solved witness of the execution.
126
- * 2. The return witness which contains the given public return values within the full witness.
130
+ * Executes an ACIR circuit to generate the solved witness from the initial witness.
131
+ *
132
+ * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
133
+ * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
134
+ * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
135
+ * @returns {WitnessMap} The solved witness calculated by executing the circuit on the provided inputs.
127
136
  */
128
- export type SolvedAndReturnWitness = {
129
- solvedWitness: WitnessMap;
130
- returnWitness: WitnessMap;
131
- }
132
-
133
-
134
-
135
- export type StackItem = {
136
- index: number;
137
- witness: WitnessMap;
138
- }
139
-
140
- export type WitnessStack = Array<StackItem>;
141
-
142
-
143
-
144
- export type ForeignCallInput = string[]
145
- export type ForeignCallOutput = string | string[]
137
+ export function executeCircuit(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessMap>;
146
138
 
147
139
  /**
148
- * A callback which performs an foreign call and returns the response.
149
- * @callback ForeignCallHandler
150
- * @param {string} name - The identifier for the type of foreign call being performed.
151
- * @param {string[][]} inputs - An array of hex encoded inputs to the foreign call.
152
- * @returns {Promise<string[]>} outputs - An array of hex encoded outputs containing the results of the foreign call.
153
- */
154
- export type ForeignCallHandler = (name: string, inputs: ForeignCallInput[]) => Promise<ForeignCallOutput[]>;
155
-
156
-
140
+ * Executes an ACIR circuit to generate the solved witness from the initial witness.
141
+ * This method also extracts the public return values from the solved witness into its own return witness.
142
+ *
143
+ * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
144
+ * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `circuit`..
145
+ * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the circuit.
146
+ * @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.
147
+ */
148
+ export function executeCircuitWithReturnWitness(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<SolvedAndReturnWitness>;
157
149
 
158
- export type RawAssertionPayload = {
159
- selector: string;
160
- data: string[];
161
- };
150
+ /**
151
+ * Executes an ACIR circuit to generate the solved witness from the initial witness.
152
+ *
153
+ * @param {Uint8Array} program - A serialized representation of an ACIR program
154
+ * @param {WitnessMap} initial_witness - The initial witness map defining all of the inputs to `program`.
155
+ * @param {ForeignCallHandler} foreign_call_handler - A callback to process any foreign calls from the program.
156
+ * @returns {WitnessStack} The solved witness calculated by executing the program on the provided inputs.
157
+ */
158
+ export function executeProgram(program: Uint8Array, initial_witness: WitnessMap, foreign_call_handler: ForeignCallHandler): Promise<WitnessStack>;
162
159
 
163
- export type ExecutionError = Error & {
164
- callStack?: string[];
165
- rawAssertionPayload?: RawAssertionPayload;
166
- acirFunctionId?: number;
167
- brilligFunctionId?: number;
168
- };
160
+ /**
161
+ * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public parameters.
162
+ *
163
+ * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
164
+ * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
165
+ * @returns {WitnessMap} A witness map containing the circuit's public parameters.
166
+ */
167
+ export function getPublicParametersWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
169
168
 
169
+ /**
170
+ * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's public inputs.
171
+ *
172
+ * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
173
+ * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
174
+ * @returns {WitnessMap} A witness map containing the circuit's public inputs.
175
+ */
176
+ export function getPublicWitness(program: Uint8Array, solved_witness: WitnessMap): WitnessMap;
170
177
 
178
+ /**
179
+ * Extracts a `WitnessMap` containing the witness indices corresponding to the circuit's return values.
180
+ *
181
+ * @param {Uint8Array} circuit - A serialized representation of an ACIR circuit
182
+ * @param {WitnessMap} witness_map - The completed witness map after executing the circuit.
183
+ * @returns {WitnessMap} A witness map containing the circuit's return values.
184
+ */
185
+ export function getReturnWitness(program: Uint8Array, witness_map: WitnessMap): WitnessMap;
171
186
 
172
187
  /**
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.
188
+ * Sets the package's logging level.
189
+ *
190
+ * @param {LogLevel} level - The maximum level of logging to be emitted.
177
191
  */
178
- export type BuildInfo = {
179
- gitHash: string;
180
- version: string;
181
- dirty: string;
182
- }
192
+ export function initLogLevel(filter: string): void;
183
193
 
194
+ /**
195
+ * Sha256 compression function
196
+ */
197
+ export function sha256_compression(inputs: Uint32Array, state: Uint32Array): Uint32Array;
184
198
 
199
+ /**
200
+ * Performs a bitwise XOR operation between `lhs` and `rhs`
201
+ */
202
+ export function xor(lhs: string, rhs: string): string;
185
203
 
186
204
  export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
187
205
 
188
206
  export interface InitOutput {
189
- readonly memory: WebAssembly.Memory;
190
- readonly executeCircuit: (a: number, b: number, c: any, d: any) => any;
191
- readonly executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
192
- readonly executeProgram: (a: number, b: number, c: any, d: any) => any;
193
- readonly initLogLevel: (a: number, b: number) => [number, number];
194
- readonly getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
195
- readonly getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
196
- readonly getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
197
- readonly buildInfo: () => any;
198
- readonly compressWitness: (a: any) => [number, number, number, number];
199
- readonly decompressWitness: (a: number, b: number) => [number, number, number];
200
- readonly compressWitnessStack: (a: any) => [number, number, number, number];
201
- readonly decompressWitnessStack: (a: number, b: number) => [number, number, number];
202
- readonly and: (a: any, b: any) => any;
203
- readonly xor: (a: any, b: any) => any;
204
- readonly sha256_compression: (a: number, b: number, c: number, d: number) => [number, number];
205
- readonly blake2s256: (a: number, b: number) => [number, number];
206
- readonly ecdsa_secp256k1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
207
- readonly ecdsa_secp256r1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
208
- readonly __wbindgen_exn_store: (a: number) => void;
209
- readonly __externref_table_alloc: () => number;
210
- readonly __wbindgen_export_2: WebAssembly.Table;
211
- readonly __wbindgen_free: (a: number, b: number, c: number) => void;
212
- readonly __wbindgen_malloc: (a: number, b: number) => number;
213
- readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
214
- readonly __wbindgen_export_6: WebAssembly.Table;
215
- readonly __externref_table_dealloc: (a: number) => void;
216
- readonly closure576_externref_shim: (a: number, b: number, c: any) => void;
217
- readonly closure1171_externref_shim: (a: number, b: number, c: any, d: number, e: any) => void;
218
- readonly closure1175_externref_shim: (a: number, b: number, c: any, d: any) => void;
219
- readonly __wbindgen_start: () => void;
207
+ readonly memory: WebAssembly.Memory;
208
+ readonly compressWitness: (a: any) => [number, number, number, number];
209
+ readonly decompressWitness: (a: number, b: number) => [number, number, number];
210
+ readonly compressWitnessStack: (a: any) => [number, number, number, number];
211
+ readonly decompressWitnessStack: (a: number, b: number) => [number, number, number];
212
+ readonly executeCircuit: (a: number, b: number, c: any, d: any) => any;
213
+ readonly executeCircuitWithReturnWitness: (a: number, b: number, c: any, d: any) => any;
214
+ readonly executeProgram: (a: number, b: number, c: any, d: any) => any;
215
+ readonly and: (a: any, b: any) => any;
216
+ readonly xor: (a: any, b: any) => any;
217
+ readonly sha256_compression: (a: number, b: number, c: number, d: number) => [number, number];
218
+ readonly blake2s256: (a: number, b: number) => [number, number];
219
+ readonly ecdsa_secp256k1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
220
+ readonly ecdsa_secp256r1_verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => number;
221
+ readonly getReturnWitness: (a: number, b: number, c: any) => [number, number, number];
222
+ readonly getPublicParametersWitness: (a: number, b: number, c: any) => [number, number, number];
223
+ readonly getPublicWitness: (a: number, b: number, c: any) => [number, number, number];
224
+ readonly initLogLevel: (a: number, b: number) => [number, number];
225
+ readonly buildInfo: () => any;
226
+ readonly wasm_bindgen__closure__destroy__h589cd82bcdcce84d: (a: number, b: number) => void;
227
+ readonly wasm_bindgen__convert__closures_____invoke__h149dcfc5e545a40e: (a: number, b: number, c: any, d: number, e: any) => void;
228
+ readonly wasm_bindgen__convert__closures_____invoke__hd0bc2cf4f980f051: (a: number, b: number, c: any) => [number, number];
229
+ readonly wasm_bindgen__convert__closures_____invoke__h5a259cce50f322a2: (a: number, b: number, c: any, d: any) => void;
230
+ readonly wasm_bindgen__convert__closures_____invoke__h5a259cce50f322a2_21: (a: number, b: number, c: any, d: any) => void;
231
+ readonly __wbindgen_malloc: (a: number, b: number) => number;
232
+ readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
233
+ readonly __wbindgen_exn_store: (a: number) => void;
234
+ readonly __externref_table_alloc: () => number;
235
+ readonly __wbindgen_externrefs: WebAssembly.Table;
236
+ readonly __wbindgen_free: (a: number, b: number, c: number) => void;
237
+ readonly __externref_table_dealloc: (a: number) => void;
238
+ readonly __wbindgen_start: () => void;
220
239
  }
221
240
 
222
241
  export type SyncInitInput = BufferSource | WebAssembly.Module;
242
+
223
243
  /**
224
- * Instantiates the given `module`, which can either be bytes or
225
- * a precompiled `WebAssembly.Module`.
226
- *
227
- * @param {{ module: SyncInitInput }} module - Passing `SyncInitInput` directly is deprecated.
228
- *
229
- * @returns {InitOutput}
230
- */
244
+ * Instantiates the given `module`, which can either be bytes or
245
+ * a precompiled `WebAssembly.Module`.
246
+ *
247
+ * @param {{ module: SyncInitInput }} module - Passing `SyncInitInput` directly is deprecated.
248
+ *
249
+ * @returns {InitOutput}
250
+ */
231
251
  export function initSync(module: { module: SyncInitInput } | SyncInitInput): InitOutput;
232
252
 
233
253
  /**
234
- * If `module_or_path` is {RequestInfo} or {URL}, makes a request and
235
- * for everything else, calls `WebAssembly.instantiate` directly.
236
- *
237
- * @param {{ module_or_path: InitInput | Promise<InitInput> }} module_or_path - Passing `InitInput` directly is deprecated.
238
- *
239
- * @returns {Promise<InitOutput>}
240
- */
254
+ * If `module_or_path` is {RequestInfo} or {URL}, makes a request and
255
+ * for everything else, calls `WebAssembly.instantiate` directly.
256
+ *
257
+ * @param {{ module_or_path: InitInput | Promise<InitInput> }} module_or_path - Passing `InitInput` directly is deprecated.
258
+ *
259
+ * @returns {Promise<InitOutput>}
260
+ */
241
261
  export default function __wbg_init (module_or_path?: { module_or_path: InitInput | Promise<InitInput> } | InitInput | Promise<InitInput>): Promise<InitOutput>;