@aztec/ivc-integration 4.0.0-nightly.20250907 → 4.0.0-nightly.20260107
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/artifacts/app_creator.json +190 -1
- package/artifacts/app_reader.json +190 -1
- package/artifacts/keys/mock_hiding.ivc.vk +0 -0
- package/artifacts/keys/mock_rollup_root_verifier.sol +92 -92
- package/artifacts/mock_hiding.json +224 -1
- package/artifacts/mock_private_kernel_init.json +287 -1
- package/artifacts/mock_private_kernel_inner.json +337 -1
- package/artifacts/mock_private_kernel_reset.json +273 -1
- package/artifacts/mock_private_kernel_tail.json +242 -1
- package/artifacts/mock_rollup_root.json +241 -1
- package/artifacts/mock_rollup_tx_base_private.json +232 -0
- package/artifacts/mock_rollup_tx_base_public.json +1394 -0
- package/artifacts/mock_rollup_tx_merge.json +297 -0
- package/dest/bb_working_directory.d.ts +1 -1
- package/dest/index.d.ts +1 -1
- package/dest/prove_native.d.ts +7 -7
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +24 -44
- package/dest/scripts/generate_declaration_files.d.ts +1 -1
- package/dest/scripts/generate_declaration_files.js +0 -6
- package/dest/scripts/generate_ts_from_abi.d.ts +1 -1
- package/dest/scripts/generate_ts_from_abi.js +3 -3
- package/dest/serve.d.ts +1 -1
- package/dest/serve.js +34 -17
- package/dest/types/index.d.ts +27 -28
- package/dest/types/index.d.ts.map +1 -1
- package/dest/types/index.js +8 -9
- package/dest/witgen.d.ts +52 -22
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +48 -47
- package/package.json +23 -25
- package/src/prove_native.ts +27 -65
- package/src/scripts/generate_declaration_files.ts +0 -8
- package/src/scripts/generate_ts_from_abi.ts +3 -3
- package/src/serve.ts +43 -16
- package/src/types/index.ts +32 -33
- package/src/witgen.ts +60 -34
- package/artifacts/keys/app_creator.vk.data.d.json.ts +0 -2
- package/artifacts/keys/app_creator.vk.data.json +0 -132
- package/artifacts/keys/app_reader.vk.data.d.json.ts +0 -2
- package/artifacts/keys/app_reader.vk.data.json +0 -132
- package/artifacts/keys/mock_hiding.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_hiding.vk.data.json +0 -132
- package/artifacts/keys/mock_private_kernel_init.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_private_kernel_init.vk.data.json +0 -132
- package/artifacts/keys/mock_private_kernel_inner.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_private_kernel_inner.vk.data.json +0 -132
- package/artifacts/keys/mock_private_kernel_reset.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_private_kernel_reset.vk.data.json +0 -132
- package/artifacts/keys/mock_private_kernel_tail.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_private_kernel_tail.vk.data.json +0 -132
- package/artifacts/keys/mock_rollup_base_private.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_rollup_base_private.vk.data.json +0 -120
- package/artifacts/keys/mock_rollup_base_public.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_rollup_base_public.vk.data.json +0 -120
- package/artifacts/keys/mock_rollup_merge.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_rollup_merge.vk.data.json +0 -120
- package/artifacts/keys/mock_rollup_root.vk.data.d.json.ts +0 -2
- package/artifacts/keys/mock_rollup_root.vk.data.json +0 -64
- package/artifacts/mock_rollup_base_private.json +0 -1
- package/artifacts/mock_rollup_base_public.json +0 -1
- package/artifacts/mock_rollup_merge.json +0 -1
- package/dest/prove_wasm.d.ts +0 -4
- package/dest/prove_wasm.d.ts.map +0 -1
- package/dest/prove_wasm.js +0 -36
- package/src/prove_wasm.ts +0 -57
- /package/artifacts/{mock_rollup_base_private.d.json.ts → mock_rollup_tx_base_private.d.json.ts} +0 -0
- /package/artifacts/{mock_rollup_base_public.d.json.ts → mock_rollup_tx_base_public.d.json.ts} +0 -0
- /package/artifacts/{mock_rollup_merge.d.json.ts → mock_rollup_tx_merge.d.json.ts} +0 -0
package/dest/types/index.d.ts
CHANGED
|
@@ -26,18 +26,20 @@ export type PrivateKernelPublicInputs = {
|
|
|
26
26
|
commitments: FixedLengthArray<Field, 4>;
|
|
27
27
|
read_requests: FixedLengthArray<Field, 4>;
|
|
28
28
|
};
|
|
29
|
-
export type
|
|
29
|
+
export type ChonkProofData = {
|
|
30
30
|
public_inputs: KernelPublicInputs;
|
|
31
|
-
proof: FixedLengthArray<Field,
|
|
32
|
-
vk_data: VerificationKey<
|
|
31
|
+
proof: FixedLengthArray<Field, 1963>;
|
|
32
|
+
vk_data: VerificationKey<127>;
|
|
33
33
|
};
|
|
34
34
|
export type AvmCircuitPublicInputs = {
|
|
35
35
|
global_variables: GlobalVariables;
|
|
36
|
+
protocol_contracts: ProtocolContracts;
|
|
36
37
|
start_tree_snapshots: TreeSnapshots;
|
|
37
38
|
start_gas_used: Gas;
|
|
38
39
|
gas_settings: GasSettings;
|
|
39
40
|
effective_gas_fees: GasFees;
|
|
40
41
|
fee_payer: AztecAddress;
|
|
42
|
+
prover_id: Field;
|
|
41
43
|
public_call_request_array_lengths: PublicCallRequestArrayLengths;
|
|
42
44
|
public_setup_call_requests: FixedLengthArray<PublicCallRequest, 32>;
|
|
43
45
|
public_app_logic_call_requests: FixedLengthArray<PublicCallRequest, 32>;
|
|
@@ -63,6 +65,9 @@ export type GlobalVariables = {
|
|
|
63
65
|
fee_recipient: AztecAddress;
|
|
64
66
|
gas_fees: GasFees;
|
|
65
67
|
};
|
|
68
|
+
export type ProtocolContracts = {
|
|
69
|
+
derived_addresses: FixedLengthArray<AztecAddress, 11>;
|
|
70
|
+
};
|
|
66
71
|
export type TreeSnapshots = {
|
|
67
72
|
l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
|
|
68
73
|
note_hash_tree: AppendOnlyTreeSnapshot;
|
|
@@ -111,14 +116,13 @@ export type AvmAccumulatedDataArrayLengths = {
|
|
|
111
116
|
note_hashes: u32;
|
|
112
117
|
nullifiers: u32;
|
|
113
118
|
l2_to_l1_msgs: u32;
|
|
114
|
-
public_logs: u32;
|
|
115
119
|
public_data_writes: u32;
|
|
116
120
|
};
|
|
117
121
|
export type AvmAccumulatedData = {
|
|
118
122
|
note_hashes: FixedLengthArray<Field, 64>;
|
|
119
123
|
nullifiers: FixedLengthArray<Field, 64>;
|
|
120
124
|
l2_to_l1_msgs: FixedLengthArray<Scoped, 8>;
|
|
121
|
-
public_logs:
|
|
125
|
+
public_logs: PublicLogs;
|
|
122
126
|
public_data_writes: FixedLengthArray<PublicDataWrite, 64>;
|
|
123
127
|
};
|
|
124
128
|
export type EthAddress = {
|
|
@@ -126,15 +130,15 @@ export type EthAddress = {
|
|
|
126
130
|
};
|
|
127
131
|
export type AppendOnlyTreeSnapshot = {
|
|
128
132
|
root: Field;
|
|
129
|
-
next_available_leaf_index:
|
|
133
|
+
next_available_leaf_index: Field;
|
|
130
134
|
};
|
|
131
135
|
export type Scoped = {
|
|
132
136
|
inner: L2ToL1Message;
|
|
133
137
|
contract_address: AztecAddress;
|
|
134
138
|
};
|
|
135
|
-
export type
|
|
136
|
-
|
|
137
|
-
|
|
139
|
+
export type PublicLogs = {
|
|
140
|
+
length: u32;
|
|
141
|
+
payload: FixedLengthArray<Field, 4096>;
|
|
138
142
|
};
|
|
139
143
|
export type PublicDataWrite = {
|
|
140
144
|
leaf_slot: Field;
|
|
@@ -144,16 +148,12 @@ export type L2ToL1Message = {
|
|
|
144
148
|
recipient: EthAddress;
|
|
145
149
|
content: Field;
|
|
146
150
|
};
|
|
147
|
-
export type Log = {
|
|
148
|
-
fields: FixedLengthArray<Field, 13>;
|
|
149
|
-
length: u32;
|
|
150
|
-
};
|
|
151
151
|
export type RollupPublicInputs = {
|
|
152
152
|
accumulated: u32;
|
|
153
153
|
};
|
|
154
154
|
export type PreviousRollupData = {
|
|
155
155
|
base_or_merge_public_inputs: RollupPublicInputs;
|
|
156
|
-
proof: FixedLengthArray<Field,
|
|
156
|
+
proof: FixedLengthArray<Field, 531>;
|
|
157
157
|
vk: VerificationKey<115>;
|
|
158
158
|
};
|
|
159
159
|
export type AppCreatorInputType = {
|
|
@@ -200,29 +200,28 @@ export type MockPrivateKernelTailInputType = {
|
|
|
200
200
|
};
|
|
201
201
|
export type MockPrivateKernelTailReturnType = KernelPublicInputs;
|
|
202
202
|
export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<127>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
|
|
203
|
-
export type
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
proof: FixedLengthArray<Field, 20000>;
|
|
203
|
+
export type MockRollupTxBasePublicInputType = {
|
|
204
|
+
chonk_proof_data: ChonkProofData;
|
|
205
|
+
proof: FixedLengthArray<Field, 16200>;
|
|
207
206
|
public_inputs: AvmCircuitPublicInputs;
|
|
208
207
|
};
|
|
209
|
-
export type
|
|
210
|
-
export declare function
|
|
211
|
-
export type
|
|
212
|
-
|
|
208
|
+
export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
|
|
209
|
+
export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 16200>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
|
|
210
|
+
export type MockRollupTxBasePrivateInputType = {
|
|
211
|
+
chonk_proof_data: ChonkProofData;
|
|
213
212
|
};
|
|
214
|
-
export type
|
|
215
|
-
export declare function
|
|
216
|
-
export type
|
|
213
|
+
export type MockRollupTxBasePrivateReturnType = RollupPublicInputs;
|
|
214
|
+
export declare function MockRollupTxBasePrivate(chonk_proof_data: ChonkProofData, MockRollupTxBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
|
|
215
|
+
export type MockRollupTxMergeInputType = {
|
|
217
216
|
a: PreviousRollupData;
|
|
218
217
|
b: PreviousRollupData;
|
|
219
218
|
};
|
|
220
|
-
export type
|
|
221
|
-
export declare function
|
|
219
|
+
export type MockRollupTxMergeReturnType = RollupPublicInputs;
|
|
220
|
+
export declare function MockRollupTxMerge(a: PreviousRollupData, b: PreviousRollupData, MockRollupTxMerge_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
|
|
222
221
|
export type MockRollupRootInputType = {
|
|
223
222
|
a: PreviousRollupData;
|
|
224
223
|
b: PreviousRollupData;
|
|
225
224
|
};
|
|
226
225
|
export type MockRollupRootReturnType = RollupPublicInputs;
|
|
227
226
|
export declare function MockRollupRoot(a: PreviousRollupData, b: PreviousRollupData, MockRollupRoot_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
|
|
228
|
-
//# sourceMappingURL=index.d.ts.map
|
|
227
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eXBlcy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFLQSxPQUFPLEVBQWtCLEtBQUssZUFBZSxFQUFFLEtBQUssa0JBQWtCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQTtBQUVuRyxPQUFPLEVBQUUsS0FBSyxrQkFBa0IsRUFBRSxNQUFNLHFCQUFxQixDQUFBO0FBRTdELE1BQU0sTUFBTSxnQkFBZ0IsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxTQUFTLE1BQU0sSUFBSSxDQUFDLFNBQVMsQ0FBQyxHQUFHLEtBQUssRUFBRSxHQUFFLENBQUMsRUFBRSxHQUFHO0lBQUUsTUFBTSxFQUFFLENBQUMsQ0FBQTtDQUFFLENBQUE7QUFDOUYsTUFBTSxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUM7QUFDM0IsTUFBTSxNQUFNLEdBQUcsR0FBRyxNQUFNLENBQUM7QUFDekIsTUFBTSxNQUFNLEdBQUcsR0FBRyxNQUFNLENBQUM7QUFDekIsTUFBTSxNQUFNLElBQUksR0FBRyxNQUFNLENBQUM7QUFFMUIsTUFBTSxNQUFNLGVBQWUsR0FBRztJQUM1QixXQUFXLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDO0lBQ3hDLGFBQWEsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDM0MsQ0FBQTtBQUVELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixXQUFXLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDO0NBQ3pDLENBQUE7QUFFRCxNQUFNLE1BQU0sZUFBZSxDQUFDLENBQUMsU0FBUyxNQUFNLElBQUk7SUFDOUMsR0FBRyxFQUFFLGdCQUFnQixDQUFDLEtBQUssRUFBRSxDQUFDLENBQUMsQ0FBQztJQUNoQyxJQUFJLEVBQUUsS0FBSyxDQUFDO0NBQ2IsQ0FBQTtBQUVELE1BQU0sTUFBTSxTQUFTLEdBQUc7SUFDdEIsZUFBZSxFQUFFLEdBQUcsQ0FBQztDQUN0QixDQUFBO0FBRUQsTUFBTSxNQUFNLHlCQUF5QixHQUFHO0lBQ3RDLGVBQWUsRUFBRSxHQUFHLENBQUM7SUFDckIsV0FBVyxFQUFFLGdCQUFnQixDQUFDLEtBQUssRUFBRSxDQUFDLENBQUMsQ0FBQztJQUN4QyxhQUFhLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDO0NBQzNDLENBQUE7QUFFRCxNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLGFBQWEsRUFBRSxrQkFBa0IsQ0FBQztJQUNsQyxLQUFLLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLElBQUksQ0FBQyxDQUFDO0lBQ3JDLE9BQU8sRUFBRSxlQUFlLENBQUMsR0FBRyxDQUFDLENBQUM7Q0FDL0IsQ0FBQTtBQUVELE1BQU0sTUFBTSxzQkFBc0IsR0FBRztJQUNuQyxnQkFBZ0IsRUFBRSxlQUFlLENBQUM7SUFDbEMsa0JBQWtCLEVBQUUsaUJBQWlCLENBQUM7SUFDdEMsb0JBQW9CLEVBQUUsYUFBYSxDQUFDO0lBQ3BDLGNBQWMsRUFBRSxHQUFHLENBQUM7SUFDcEIsWUFBWSxFQUFFLFdBQVcsQ0FBQztJQUMxQixrQkFBa0IsRUFBRSxPQUFPLENBQUM7SUFDNUIsU0FBUyxFQUFFLFlBQVksQ0FBQztJQUN4QixTQUFTLEVBQUUsS0FBSyxDQUFDO0lBQ2pCLGlDQUFpQyxFQUFFLDZCQUE2QixDQUFDO0lBQ2pFLDBCQUEwQixFQUFFLGdCQUFnQixDQUFDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3BFLDhCQUE4QixFQUFFLGdCQUFnQixDQUFDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3hFLDRCQUE0QixFQUFFLGlCQUFpQixDQUFDO0lBQ2hELHNEQUFzRCxFQUFFLHVDQUF1QyxDQUFDO0lBQ2hHLGtEQUFrRCxFQUFFLHVDQUF1QyxDQUFDO0lBQzVGLHdDQUF3QyxFQUFFLDJCQUEyQixDQUFDO0lBQ3RFLG9DQUFvQyxFQUFFLDJCQUEyQixDQUFDO0lBQ2xFLGtCQUFrQixFQUFFLGFBQWEsQ0FBQztJQUNsQyxZQUFZLEVBQUUsR0FBRyxDQUFDO0lBQ2xCLDhCQUE4QixFQUFFLDhCQUE4QixDQUFDO0lBQy9ELGdCQUFnQixFQUFFLGtCQUFrQixDQUFDO0lBQ3JDLGVBQWUsRUFBRSxLQUFLLENBQUM7SUFDdkIsUUFBUSxFQUFFLE9BQU8sQ0FBQztDQUNuQixDQUFBO0FBRUQsTUFBTSxNQUFNLGVBQWUsR0FBRztJQUM1QixRQUFRLEVBQUUsS0FBSyxDQUFDO0lBQ2hCLE9BQU8sRUFBRSxLQUFLLENBQUM7SUFDZixZQUFZLEVBQUUsR0FBRyxDQUFDO0lBQ2xCLFdBQVcsRUFBRSxLQUFLLENBQUM7SUFDbkIsU0FBUyxFQUFFLEdBQUcsQ0FBQztJQUNmLFFBQVEsRUFBRSxVQUFVLENBQUM7SUFDckIsYUFBYSxFQUFFLFlBQVksQ0FBQztJQUM1QixRQUFRLEVBQUUsT0FBTyxDQUFDO0NBQ25CLENBQUE7QUFFRCxNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsaUJBQWlCLEVBQUUsZ0JBQWdCLENBQUMsWUFBWSxFQUFFLEVBQUUsQ0FBQyxDQUFDO0NBQ3ZELENBQUE7QUFFRCxNQUFNLE1BQU0sYUFBYSxHQUFHO0lBQzFCLHFCQUFxQixFQUFFLHNCQUFzQixDQUFDO0lBQzlDLGNBQWMsRUFBRSxzQkFBc0IsQ0FBQztJQUN2QyxjQUFjLEVBQUUsc0JBQXNCLENBQUM7SUFDdkMsZ0JBQWdCLEVBQUUsc0JBQXNCLENBQUM7Q0FDMUMsQ0FBQTtBQUVELE1BQU0sTUFBTSxHQUFHLEdBQUc7SUFDaEIsTUFBTSxFQUFFLEdBQUcsQ0FBQztJQUNaLE1BQU0sRUFBRSxHQUFHLENBQUM7Q0FDYixDQUFBO0FBRUQsTUFBTSxNQUFNLFdBQVcsR0FBRztJQUN4QixVQUFVLEVBQUUsR0FBRyxDQUFDO0lBQ2hCLG1CQUFtQixFQUFFLEdBQUcsQ0FBQztJQUN6QixnQkFBZ0IsRUFBRSxPQUFPLENBQUM7SUFDMUIseUJBQXlCLEVBQUUsT0FBTyxDQUFDO0NBQ3BDLENBQUE7QUFFRCxNQUFNLE1BQU0sT0FBTyxHQUFHO0lBQ3BCLGNBQWMsRUFBRSxJQUFJLENBQUM7SUFDckIsY0FBYyxFQUFFLElBQUksQ0FBQztDQUN0QixDQUFBO0FBRUQsTUFBTSxNQUFNLFlBQVksR0FBRztJQUN6QixLQUFLLEVBQUUsS0FBSyxDQUFDO0NBQ2QsQ0FBQTtBQUVELE1BQU0sTUFBTSw2QkFBNkIsR0FBRztJQUMxQyxXQUFXLEVBQUUsR0FBRyxDQUFDO0lBQ2pCLGVBQWUsRUFBRSxHQUFHLENBQUM7SUFDckIsYUFBYSxFQUFFLE9BQU8sQ0FBQztDQUN4QixDQUFBO0FBRUQsTUFBTSxNQUFNLGlCQUFpQixHQUFHO0lBQzlCLFVBQVUsRUFBRSxZQUFZLENBQUM7SUFDekIsZ0JBQWdCLEVBQUUsWUFBWSxDQUFDO0lBQy9CLGNBQWMsRUFBRSxPQUFPLENBQUM7SUFDeEIsYUFBYSxFQUFFLEtBQUssQ0FBQztDQUN0QixDQUFBO0FBRUQsTUFBTSxNQUFNLHVDQUF1QyxHQUFHO0lBQ3BELFdBQVcsRUFBRSxHQUFHLENBQUM7SUFDakIsVUFBVSxFQUFFLEdBQUcsQ0FBQztJQUNoQixhQUFhLEVBQUUsR0FBRyxDQUFDO0NBQ3BCLENBQUE7QUFFRCxNQUFNLE1BQU0sMkJBQTJCLEdBQUc7SUFDeEMsV0FBVyxFQUFFLGdCQUFnQixDQUFDLEtBQUssRUFBRSxFQUFFLENBQUMsQ0FBQztJQUN6QyxVQUFVLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3hDLGFBQWEsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDNUMsQ0FBQTtBQUVELE1BQU0sTUFBTSw4QkFBOEIsR0FBRztJQUMzQyxXQUFXLEVBQUUsR0FBRyxDQUFDO0lBQ2pCLFVBQVUsRUFBRSxHQUFHLENBQUM7SUFDaEIsYUFBYSxFQUFFLEdBQUcsQ0FBQztJQUNuQixrQkFBa0IsRUFBRSxHQUFHLENBQUM7Q0FDekIsQ0FBQTtBQUVELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixXQUFXLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3pDLFVBQVUsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFDeEMsYUFBYSxFQUFFLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQztJQUMzQyxXQUFXLEVBQUUsVUFBVSxDQUFDO0lBQ3hCLGtCQUFrQixFQUFFLGdCQUFnQixDQUFDLGVBQWUsRUFBRSxFQUFFLENBQUMsQ0FBQztDQUMzRCxDQUFBO0FBRUQsTUFBTSxNQUFNLFVBQVUsR0FBRztJQUN2QixLQUFLLEVBQUUsS0FBSyxDQUFDO0NBQ2QsQ0FBQTtBQUVELE1BQU0sTUFBTSxzQkFBc0IsR0FBRztJQUNuQyxJQUFJLEVBQUUsS0FBSyxDQUFDO0lBQ1oseUJBQXlCLEVBQUUsS0FBSyxDQUFDO0NBQ2xDLENBQUE7QUFFRCxNQUFNLE1BQU0sTUFBTSxHQUFHO0lBQ25CLEtBQUssRUFBRSxhQUFhLENBQUM7SUFDckIsZ0JBQWdCLEVBQUUsWUFBWSxDQUFDO0NBQ2hDLENBQUE7QUFFRCxNQUFNLE1BQU0sVUFBVSxHQUFHO0lBQ3ZCLE1BQU0sRUFBRSxHQUFHLENBQUM7SUFDWixPQUFPLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLElBQUksQ0FBQyxDQUFDO0NBQ3hDLENBQUE7QUFFRCxNQUFNLE1BQU0sZUFBZSxHQUFHO0lBQzVCLFNBQVMsRUFBRSxLQUFLLENBQUM7SUFDakIsS0FBSyxFQUFFLEtBQUssQ0FBQztDQUNkLENBQUE7QUFFRCxNQUFNLE1BQU0sYUFBYSxHQUFHO0lBQzFCLFNBQVMsRUFBRSxVQUFVLENBQUM7SUFDdEIsT0FBTyxFQUFFLEtBQUssQ0FBQztDQUNoQixDQUFBO0FBRUQsTUFBTSxNQUFNLGtCQUFrQixHQUFHO0lBQy9CLFdBQVcsRUFBRSxHQUFHLENBQUM7Q0FDbEIsQ0FBQTtBQUVELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQiwyQkFBMkIsRUFBRSxrQkFBa0IsQ0FBQztJQUNoRCxLQUFLLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEdBQUcsQ0FBQyxDQUFDO0lBQ3BDLEVBQUUsRUFBRSxlQUFlLENBQUMsR0FBRyxDQUFDLENBQUM7Q0FDMUIsQ0FBQTtBQUdELE1BQU0sTUFBTSxtQkFBbUIsR0FBRztJQUNoQyxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDbkQsQ0FBQTtBQUVELE1BQU0sTUFBTSxvQkFBb0IsR0FBRyxlQUFlLENBQUM7QUFHbkQsd0JBQXNCLFVBQVUsQ0FBQyxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLEVBQUUsa0JBQWtCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUsxTDtBQUNELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixtQkFBbUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDakQsQ0FBQTtBQUVELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxlQUFlLENBQUM7QUFHbEQsd0JBQXNCLFNBQVMsQ0FBQyxtQkFBbUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLEVBQUUsaUJBQWlCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUt0TDtBQUNELE1BQU0sTUFBTSxtQkFBbUIsR0FBRztJQUNoQyx5QkFBeUIsRUFBRSxrQkFBa0IsQ0FBQztJQUM5QyxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0NBQ2pDLENBQUE7QUFFRCxNQUFNLE1BQU0sb0JBQW9CLEdBQUcsa0JBQWtCLENBQUM7QUFHdEQsd0JBQXNCLFVBQVUsQ0FBQyx5QkFBeUIsRUFBRSxrQkFBa0IsRUFBRSxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxFQUFFLGtCQUFrQixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUsxTjtBQUNELE1BQU0sTUFBTSw4QkFBOEIsR0FBRztJQUMzQyxFQUFFLEVBQUUsU0FBUyxDQUFDO0lBQ2QsVUFBVSxFQUFFLGVBQWUsQ0FBQztJQUM1QixNQUFNLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0NBQzlCLENBQUE7QUFFRCxNQUFNLE1BQU0sK0JBQStCLEdBQUcseUJBQXlCLENBQUM7QUFHeEUsd0JBQXNCLHFCQUFxQixDQUFDLEVBQUUsRUFBRSxTQUFTLEVBQUUsVUFBVSxFQUFFLGVBQWUsRUFBRSxNQUFNLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxFQUFFLDZCQUE2QixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyx5QkFBeUIsQ0FBQyxDQUtqUDtBQUNELE1BQU0sTUFBTSwrQkFBK0IsR0FBRztJQUM1Qyx5QkFBeUIsRUFBRSx5QkFBeUIsQ0FBQztJQUNyRCxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ2hDLFVBQVUsRUFBRSxlQUFlLENBQUM7SUFDNUIsTUFBTSxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsQ0FBQztDQUM5QixDQUFBO0FBRUQsTUFBTSxNQUFNLGdDQUFnQyxHQUFHLHlCQUF5QixDQUFDO0FBR3pFLHdCQUFzQixzQkFBc0IsQ0FBQyx5QkFBeUIsRUFBRSx5QkFBeUIsRUFBRSxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxFQUFFLFVBQVUsRUFBRSxlQUFlLEVBQUUsTUFBTSxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsRUFBRSw4QkFBOEIsRUFBRSxlQUFlLEVBQUUsa0JBQWtCLENBQUMsRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMseUJBQXlCLENBQUMsQ0FLM1Q7QUFDRCxNQUFNLE1BQU0sK0JBQStCLEdBQUc7SUFDNUMseUJBQXlCLEVBQUUseUJBQXlCLENBQUM7SUFDckQsU0FBUyxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUNoQyxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDakQsQ0FBQTtBQUVELE1BQU0sTUFBTSxnQ0FBZ0MsR0FBRyx5QkFBeUIsQ0FBQztBQUd6RSx3QkFBc0Isc0JBQXNCLENBQUMseUJBQXlCLEVBQUUseUJBQXlCLEVBQUUsU0FBUyxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsRUFBRSxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLEVBQUUsOEJBQThCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLHlCQUF5QixDQUFDLENBS2pUO0FBQ0QsTUFBTSxNQUFNLDhCQUE4QixHQUFHO0lBQzNDLHlCQUF5QixFQUFFLHlCQUF5QixDQUFDO0lBQ3JELFNBQVMsRUFBRSxlQUFlLENBQUMsR0FBRyxDQUFDLENBQUM7Q0FDakMsQ0FBQTtBQUVELE1BQU0sTUFBTSwrQkFBK0IsR0FBRyxrQkFBa0IsQ0FBQztBQUdqRSx3QkFBc0IscUJBQXFCLENBQUMseUJBQXlCLEVBQUUseUJBQXlCLEVBQUUsU0FBUyxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsRUFBRSw2QkFBNkIsRUFBRSxlQUFlLEVBQUUsa0JBQWtCLENBQUMsRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FLdlA7QUFDRCxNQUFNLE1BQU0sK0JBQStCLEdBQUc7SUFDNUMsZ0JBQWdCLEVBQUUsY0FBYyxDQUFDO0lBQ2pDLEtBQUssRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDdEMsYUFBYSxFQUFFLHNCQUFzQixDQUFDO0NBQ3ZDLENBQUE7QUFFRCxNQUFNLE1BQU0sZ0NBQWdDLEdBQUcsa0JBQWtCLENBQUM7QUFHbEUsd0JBQXNCLHNCQUFzQixDQUFDLGdCQUFnQixFQUFFLGNBQWMsRUFBRSxLQUFLLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxFQUFFLGFBQWEsRUFBRSxzQkFBc0IsRUFBRSw4QkFBOEIsRUFBRSxlQUFlLEVBQUUsa0JBQWtCLENBQUMsRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FLbFI7QUFDRCxNQUFNLE1BQU0sZ0NBQWdDLEdBQUc7SUFDN0MsZ0JBQWdCLEVBQUUsY0FBYyxDQUFDO0NBQ2xDLENBQUE7QUFFRCxNQUFNLE1BQU0saUNBQWlDLEdBQUcsa0JBQWtCLENBQUM7QUFHbkUsd0JBQXNCLHVCQUF1QixDQUFDLGdCQUFnQixFQUFFLGNBQWMsRUFBRSwrQkFBK0IsRUFBRSxlQUFlLEVBQUUsa0JBQWtCLENBQUMsRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FLdE07QUFDRCxNQUFNLE1BQU0sMEJBQTBCLEdBQUc7SUFDdkMsQ0FBQyxFQUFFLGtCQUFrQixDQUFDO0lBQ3RCLENBQUMsRUFBRSxrQkFBa0IsQ0FBQztDQUN2QixDQUFBO0FBRUQsTUFBTSxNQUFNLDJCQUEyQixHQUFHLGtCQUFrQixDQUFDO0FBRzdELHdCQUFzQixpQkFBaUIsQ0FBQyxDQUFDLEVBQUUsa0JBQWtCLEVBQUUsQ0FBQyxFQUFFLGtCQUFrQixFQUFFLHlCQUF5QixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUt0TTtBQUNELE1BQU0sTUFBTSx1QkFBdUIsR0FBRztJQUNwQyxDQUFDLEVBQUUsa0JBQWtCLENBQUM7SUFDdEIsQ0FBQyxFQUFFLGtCQUFrQixDQUFDO0NBQ3ZCLENBQUE7QUFFRCxNQUFNLE1BQU0sd0JBQXdCLEdBQUcsa0JBQWtCLENBQUM7QUFHMUQsd0JBQXNCLGNBQWMsQ0FBQyxDQUFDLEVBQUUsa0JBQWtCLEVBQUUsQ0FBQyxFQUFFLGtCQUFrQixFQUFFLHNCQUFzQixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUtoTSJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAkB,KAAK,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAEnG,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAE,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAC9F,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,IAAI;IAC9C,GAAG,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK,CAAC;CACb,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,eAAe,EAAE,GAAG,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,eAAe,EAAE,GAAG,CAAC;IACrB,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAkB,KAAK,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAEnG,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAE,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAC9F,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,MAAM,MAAM,eAAe,GAAG;IAC5B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACzC,CAAA;AAED,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,IAAI;IAC9C,GAAG,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK,CAAC;CACb,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,eAAe,EAAE,GAAG,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,eAAe,EAAE,GAAG,CAAC;IACrB,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC3C,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,aAAa,EAAE,kBAAkB,CAAC;IAClC,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC/B,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,gBAAgB,EAAE,eAAe,CAAC;IAClC,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,oBAAoB,EAAE,aAAa,CAAC;IACpC,cAAc,EAAE,GAAG,CAAC;IACpB,YAAY,EAAE,WAAW,CAAC;IAC1B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,SAAS,EAAE,YAAY,CAAC;IACxB,SAAS,EAAE,KAAK,CAAC;IACjB,iCAAiC,EAAE,6BAA6B,CAAC;IACjE,0BAA0B,EAAE,gBAAgB,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACpE,8BAA8B,EAAE,gBAAgB,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACxE,4BAA4B,EAAE,iBAAiB,CAAC;IAChD,sDAAsD,EAAE,uCAAuC,CAAC;IAChG,kDAAkD,EAAE,uCAAuC,CAAC;IAC5F,wCAAwC,EAAE,2BAA2B,CAAC;IACtE,oCAAoC,EAAE,2BAA2B,CAAC;IAClE,kBAAkB,EAAE,aAAa,CAAC;IAClC,YAAY,EAAE,GAAG,CAAC;IAClB,8BAA8B,EAAE,8BAA8B,CAAC;IAC/D,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,eAAe,EAAE,KAAK,CAAC;IACvB,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;IACf,YAAY,EAAE,GAAG,CAAC;IAClB,WAAW,EAAE,KAAK,CAAC;IACnB,SAAS,EAAE,GAAG,CAAC;IACf,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa,EAAE,YAAY,CAAC;IAC5B,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,iBAAiB,EAAE,gBAAgB,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;CACvD,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,cAAc,EAAE,sBAAsB,CAAC;IACvC,cAAc,EAAE,sBAAsB,CAAC;IACvC,gBAAgB,EAAE,sBAAsB,CAAC;CAC1C,CAAA;AAED,MAAM,MAAM,GAAG,GAAG;IAChB,MAAM,EAAE,GAAG,CAAC;IACZ,MAAM,EAAE,GAAG,CAAC;CACb,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,UAAU,EAAE,GAAG,CAAC;IAChB,mBAAmB,EAAE,GAAG,CAAC;IACzB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,yBAAyB,EAAE,OAAO,CAAC;CACpC,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,cAAc,EAAE,IAAI,CAAC;IACrB,cAAc,EAAE,IAAI,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,KAAK,EAAE,KAAK,CAAC;CACd,CAAA;AAED,MAAM,MAAM,6BAA6B,GAAG;IAC1C,WAAW,EAAE,GAAG,CAAC;IACjB,eAAe,EAAE,GAAG,CAAC;IACrB,aAAa,EAAE,OAAO,CAAC;CACxB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,UAAU,EAAE,YAAY,CAAC;IACzB,gBAAgB,EAAE,YAAY,CAAC;IAC/B,cAAc,EAAE,OAAO,CAAC;IACxB,aAAa,EAAE,KAAK,CAAC;CACtB,CAAA;AAED,MAAM,MAAM,uCAAuC,GAAG;IACpD,WAAW,EAAE,GAAG,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC;IAChB,aAAa,EAAE,GAAG,CAAC;CACpB,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,UAAU,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;CAC5C,CAAA;AAED,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,EAAE,GAAG,CAAC;IACjB,UAAU,EAAE,GAAG,CAAC;IAChB,aAAa,EAAE,GAAG,CAAC;IACnB,kBAAkB,EAAE,GAAG,CAAC;CACzB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,UAAU,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC;IACxB,kBAAkB,EAAE,gBAAgB,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;CAC3D,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,KAAK,EAAE,KAAK,CAAC;CACd,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,KAAK,CAAC;CAClC,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACnB,KAAK,EAAE,aAAa,CAAC;IACrB,gBAAgB,EAAE,YAAY,CAAC;CAChC,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,MAAM,EAAE,GAAG,CAAC;IACZ,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;CACxC,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;CACd,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,SAAS,EAAE,UAAU,CAAC;IACtB,OAAO,EAAE,KAAK,CAAC;CAChB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,WAAW,EAAE,GAAG,CAAC;CAClB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,2BAA2B,EAAE,kBAAkB,CAAC;IAChD,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpC,EAAE,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC1B,CAAA;AAGD,MAAM,MAAM,mBAAmB,GAAG;IAChC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACnD,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAGnD,wBAAsB,UAAU,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAK1L;AACD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAGlD,wBAAsB,SAAS,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,iBAAiB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAKtL;AACD,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB,EAAE,kBAAkB,CAAC;IAC9C,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CACjC,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,CAAC;AAGtD,wBAAsB,UAAU,CAAC,yBAAyB,EAAE,kBAAkB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,kBAAkB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAK1N;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,EAAE,EAAE,SAAS,CAAC;IACd,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,CAAC;AAGxE,wBAAsB,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKjP;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;IAChC,UAAU,EAAE,eAAe,CAAC;IAC5B,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAK3T;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;IAChC,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACjD,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,yBAAyB,CAAC;AAGzE,wBAAsB,sBAAsB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAKjT;AACD,MAAM,MAAM,8BAA8B,GAAG;IAC3C,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC;CACjC,CAAA;AAED,MAAM,MAAM,+BAA+B,GAAG,kBAAkB,CAAC;AAGjE,wBAAsB,qBAAqB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,6BAA6B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKvP;AACD,MAAM,MAAM,+BAA+B,GAAG;IAC5C,gBAAgB,EAAE,cAAc,CAAC;IACjC,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,aAAa,EAAE,sBAAsB,CAAC;CACvC,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,kBAAkB,CAAC;AAGlE,wBAAsB,sBAAsB,CAAC,gBAAgB,EAAE,cAAc,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,aAAa,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKlR;AACD,MAAM,MAAM,gCAAgC,GAAG;IAC7C,gBAAgB,EAAE,cAAc,CAAC;CAClC,CAAA;AAED,MAAM,MAAM,iCAAiC,GAAG,kBAAkB,CAAC;AAGnE,wBAAsB,uBAAuB,CAAC,gBAAgB,EAAE,cAAc,EAAE,+BAA+B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKtM;AACD,MAAM,MAAM,0BAA0B,GAAG;IACvC,CAAC,EAAE,kBAAkB,CAAC;IACtB,CAAC,EAAE,kBAAkB,CAAC;CACvB,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,CAAC;AAG7D,wBAAsB,iBAAiB,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKtM;AACD,MAAM,MAAM,uBAAuB,GAAG;IACpC,CAAC,EAAE,kBAAkB,CAAC;IACtB,CAAC,EAAE,kBAAkB,CAAC;CACvB,CAAA;AAED,MAAM,MAAM,wBAAwB,GAAG,kBAAkB,CAAC;AAG1D,wBAAsB,cAAc,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKhM"}
|
package/dest/types/index.js
CHANGED
|
@@ -64,27 +64,26 @@ export async function MockPrivateKernelTail(prev_kernel_public_inputs, kernel_vk
|
|
|
64
64
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
65
65
|
return returnValue;
|
|
66
66
|
}
|
|
67
|
-
export async function
|
|
68
|
-
const program = new Noir(
|
|
67
|
+
export async function MockRollupTxBasePublic(chonk_proof_data, proof, public_inputs, MockRollupTxBasePublic_circuit, foreignCallHandler) {
|
|
68
|
+
const program = new Noir(MockRollupTxBasePublic_circuit);
|
|
69
69
|
const args = {
|
|
70
|
-
|
|
71
|
-
verification_key,
|
|
70
|
+
chonk_proof_data,
|
|
72
71
|
proof,
|
|
73
72
|
public_inputs
|
|
74
73
|
};
|
|
75
74
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
76
75
|
return returnValue;
|
|
77
76
|
}
|
|
78
|
-
export async function
|
|
79
|
-
const program = new Noir(
|
|
77
|
+
export async function MockRollupTxBasePrivate(chonk_proof_data, MockRollupTxBasePrivate_circuit, foreignCallHandler) {
|
|
78
|
+
const program = new Noir(MockRollupTxBasePrivate_circuit);
|
|
80
79
|
const args = {
|
|
81
|
-
|
|
80
|
+
chonk_proof_data
|
|
82
81
|
};
|
|
83
82
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
84
83
|
return returnValue;
|
|
85
84
|
}
|
|
86
|
-
export async function
|
|
87
|
-
const program = new Noir(
|
|
85
|
+
export async function MockRollupTxMerge(a, b, MockRollupTxMerge_circuit, foreignCallHandler) {
|
|
86
|
+
const program = new Noir(MockRollupTxMerge_circuit);
|
|
88
87
|
const args = {
|
|
89
88
|
a,
|
|
90
89
|
b
|
package/dest/witgen.d.ts
CHANGED
|
@@ -1,32 +1,62 @@
|
|
|
1
1
|
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
|
-
import { Fr } from '@aztec/foundation/
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import type { AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
|
4
4
|
import type { RecursiveProof } from '@aztec/stdlib/proofs';
|
|
5
5
|
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
6
6
|
import MockAppCreatorCircuit from '../artifacts/app_creator.json';
|
|
7
7
|
import MockAppReaderCircuit from '../artifacts/app_reader.json';
|
|
8
|
-
import MockAppCreatorVk from '../artifacts/keys/app_creator.vk.data.json';
|
|
9
|
-
import MockAppReaderVk from '../artifacts/keys/app_reader.vk.data.json';
|
|
10
|
-
import MockPrivateKernelInitVk from '../artifacts/keys/mock_private_kernel_init.vk.data.json';
|
|
11
|
-
import MockPrivateKernelInnerVk from '../artifacts/keys/mock_private_kernel_inner.vk.data.json';
|
|
12
|
-
import MockPrivateKernelResetVk from '../artifacts/keys/mock_private_kernel_reset.vk.data.json';
|
|
13
|
-
import MockPrivateKernelTailVk from '../artifacts/keys/mock_private_kernel_tail.vk.data.json';
|
|
14
|
-
import MockRollupBasePrivateVk from '../artifacts/keys/mock_rollup_base_private.vk.data.json';
|
|
15
|
-
import MockRollupBasePublicVk from '../artifacts/keys/mock_rollup_base_public.vk.data.json';
|
|
16
|
-
import MockRollupMergeVk from '../artifacts/keys/mock_rollup_merge.vk.data.json';
|
|
17
|
-
import MockRollupRootVk from '../artifacts/keys/mock_rollup_root.vk.data.json';
|
|
18
8
|
import MockHidingCircuit from '../artifacts/mock_hiding.json';
|
|
19
9
|
import MockPrivateKernelInitCircuit from '../artifacts/mock_private_kernel_init.json';
|
|
20
10
|
import MockPrivateKernelInnerCircuit from '../artifacts/mock_private_kernel_inner.json';
|
|
21
11
|
import MockPrivateKernelResetCircuit from '../artifacts/mock_private_kernel_reset.json';
|
|
22
12
|
import MockPrivateKernelTailCircuit from '../artifacts/mock_private_kernel_tail.json';
|
|
23
|
-
import MockRollupBasePrivateCircuit from '../artifacts/mock_rollup_base_private.json';
|
|
24
|
-
import MockRollupBasePublicCircuit from '../artifacts/mock_rollup_base_public.json';
|
|
25
|
-
import MockRollupMergeCircuit from '../artifacts/mock_rollup_merge.json';
|
|
26
13
|
import MockRollupRootCircuit from '../artifacts/mock_rollup_root.json';
|
|
27
|
-
import
|
|
28
|
-
|
|
29
|
-
|
|
14
|
+
import MockRollupTxBasePrivateCircuit from '../artifacts/mock_rollup_tx_base_private.json';
|
|
15
|
+
import MockRollupTxBasePublicCircuit from '../artifacts/mock_rollup_tx_base_public.json';
|
|
16
|
+
import MockRollupTxMergeCircuit from '../artifacts/mock_rollup_tx_merge.json';
|
|
17
|
+
import type { AppCreatorInputType, AppPublicInputs, AppReaderInputType, FixedLengthArray, KernelPublicInputs, MockHidingInputType, MockPrivateKernelInitInputType, MockPrivateKernelInnerInputType, MockPrivateKernelResetInputType, MockPrivateKernelTailInputType, MockRollupRootInputType, MockRollupTxBasePrivateInputType, MockRollupTxBasePublicInputType, MockRollupTxMergeInputType, PrivateKernelPublicInputs, RollupPublicInputs, VerificationKey } from './types/index.js';
|
|
18
|
+
declare const MockAppCreatorVk: {
|
|
19
|
+
keyAsBytes: any;
|
|
20
|
+
keyAsFields: any;
|
|
21
|
+
};
|
|
22
|
+
declare const MockAppReaderVk: {
|
|
23
|
+
keyAsBytes: any;
|
|
24
|
+
keyAsFields: any;
|
|
25
|
+
};
|
|
26
|
+
declare const MockPrivateKernelInitVk: {
|
|
27
|
+
keyAsBytes: any;
|
|
28
|
+
keyAsFields: any;
|
|
29
|
+
};
|
|
30
|
+
declare const MockPrivateKernelInnerVk: {
|
|
31
|
+
keyAsBytes: any;
|
|
32
|
+
keyAsFields: any;
|
|
33
|
+
};
|
|
34
|
+
declare const MockPrivateKernelResetVk: {
|
|
35
|
+
keyAsBytes: any;
|
|
36
|
+
keyAsFields: any;
|
|
37
|
+
};
|
|
38
|
+
declare const MockPrivateKernelTailVk: {
|
|
39
|
+
keyAsBytes: any;
|
|
40
|
+
keyAsFields: any;
|
|
41
|
+
};
|
|
42
|
+
declare const MockRollupTxBasePrivateVk: {
|
|
43
|
+
keyAsBytes: any;
|
|
44
|
+
keyAsFields: any;
|
|
45
|
+
};
|
|
46
|
+
declare const MockRollupTxBasePublicVk: {
|
|
47
|
+
keyAsBytes: any;
|
|
48
|
+
keyAsFields: any;
|
|
49
|
+
};
|
|
50
|
+
declare const MockRollupTxMergeVk: {
|
|
51
|
+
keyAsBytes: any;
|
|
52
|
+
keyAsFields: any;
|
|
53
|
+
};
|
|
54
|
+
declare const MockRollupRootVk: {
|
|
55
|
+
keyAsBytes: any;
|
|
56
|
+
keyAsFields: any;
|
|
57
|
+
};
|
|
58
|
+
export { MockAppCreatorCircuit, MockAppCreatorVk, MockAppReaderCircuit, MockAppReaderVk, MockPrivateKernelInitCircuit, MockPrivateKernelInitVk, MockPrivateKernelInnerCircuit, MockPrivateKernelInnerVk, MockPrivateKernelResetCircuit, MockPrivateKernelResetVk, MockPrivateKernelTailCircuit, MockHidingCircuit, MockPrivateKernelTailVk, MockRollupTxBasePrivateCircuit, MockRollupTxBasePrivateVk, MockRollupTxBasePublicCircuit, MockRollupTxBasePublicVk, MockRollupTxMergeCircuit, MockRollupTxMergeVk, MockRollupRootCircuit, MockRollupRootVk, };
|
|
59
|
+
export declare function getVkAsFields({ keyAsFields }: {
|
|
30
60
|
keyAsFields: string[];
|
|
31
61
|
}): Promise<VerificationKey<typeof MEGA_VK_LENGTH_IN_FIELDS>>;
|
|
32
62
|
export declare const MOCK_MAX_COMMITMENTS_PER_TX = 4;
|
|
@@ -41,11 +71,11 @@ export declare function witnessGenMockPrivateKernelInnerCircuit(args: MockPrivat
|
|
|
41
71
|
export declare function witnessGenMockPrivateKernelResetCircuit(args: MockPrivateKernelResetInputType): Promise<WitnessGenResult<PrivateKernelPublicInputs>>;
|
|
42
72
|
export declare function witnessGenMockPrivateKernelTailCircuit(args: MockPrivateKernelTailInputType): Promise<WitnessGenResult<KernelPublicInputs>>;
|
|
43
73
|
export declare function witnessGenMockHidingCircuit(args: MockHidingInputType): Promise<WitnessGenResult<KernelPublicInputs>>;
|
|
44
|
-
export declare function witnessGenMockPublicBaseCircuit(args:
|
|
45
|
-
export declare function
|
|
46
|
-
export declare function
|
|
74
|
+
export declare function witnessGenMockPublicBaseCircuit(args: MockRollupTxBasePublicInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
75
|
+
export declare function witnessGenMockRollupTxBasePrivateCircuit(args: MockRollupTxBasePrivateInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
76
|
+
export declare function witnessGenMockRollupTxMergeCircuit(args: MockRollupTxMergeInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
47
77
|
export declare function witnessGenMockRollupRootCircuit(args: MockRollupRootInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
48
|
-
export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[
|
|
78
|
+
export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[Uint8Array[], Uint8Array[], KernelPublicInputs, Uint8Array[]]>;
|
|
49
79
|
export declare function mapRecursiveProofToNoir<N extends number>(proof: RecursiveProof<N>): FixedLengthArray<string, N>;
|
|
50
80
|
export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
|
|
51
81
|
export declare function mapVerificationKeyToNoir<N extends number>(vk: VerificationKeyAsFields, len: N): {
|
|
@@ -53,4 +83,4 @@ export declare function mapVerificationKeyToNoir<N extends number>(vk: Verificat
|
|
|
53
83
|
hash: string;
|
|
54
84
|
};
|
|
55
85
|
export declare function mapAvmPublicInputsToNoir(publicInputs: AvmCircuitPublicInputs): FixedLengthArray<string, typeof AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH>;
|
|
56
|
-
//# sourceMappingURL=
|
|
86
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2l0Z2VuLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvd2l0Z2VuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxnQ0FBZ0MsRUFDaEMsb0NBQW9DLEVBQ3BDLHdCQUF3QixFQUN6QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzNELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBSzVELE9BQU8scUJBQXFCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3hGLE9BQU8sb0JBQW9CLE1BQU0sOEJBQThCLENBQXVCO0FBQ3RGLE9BQU8saUJBQWlCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3BGLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8scUJBQXFCLE1BQU0sb0NBQW9DLENBQXVCO0FBQzdGLE9BQU8sOEJBQThCLE1BQU0sK0NBQStDLENBQXVCO0FBQ2pILE9BQU8sNkJBQTZCLE1BQU0sOENBQThDLENBQXVCO0FBQy9HLE9BQU8sd0JBQXdCLE1BQU0sd0NBQXdDLENBQXVCO0FBQ3BHLE9BQU8sS0FBSyxFQUNWLG1CQUFtQixFQUNuQixlQUFlLEVBQ2Ysa0JBQWtCLEVBQ2xCLGdCQUFnQixFQUNoQixrQkFBa0IsRUFDbEIsbUJBQW1CLEVBQ25CLDhCQUE4QixFQUM5QiwrQkFBK0IsRUFDL0IsK0JBQStCLEVBQy9CLDhCQUE4QixFQUM5Qix1QkFBdUIsRUFDdkIsZ0NBQWdDLEVBQ2hDLCtCQUErQixFQUMvQiwwQkFBMEIsRUFDMUIseUJBQXlCLEVBQ3pCLGtCQUFrQixFQUNsQixlQUFlLEVBQ2hCLE1BQU0sa0JBQWtCLENBQUM7QUFXMUIsUUFBQSxNQUFNLGdCQUFnQjs7O0NBQThDLENBQUM7QUFDckUsUUFBQSxNQUFNLGVBQWU7OztDQUE2QyxDQUFDO0FBQ25FLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBQ25GLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBRW5GLFFBQUEsTUFBTSx5QkFBeUI7OztDQUF1RCxDQUFDO0FBQ3ZGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSxtQkFBbUI7OztDQUFpRCxDQUFDO0FBQzNFLFFBQUEsTUFBTSxnQkFBZ0I7OztDQUE4QyxDQUFDO0FBR3JFLE9BQU8sRUFDTCxxQkFBcUIsRUFDckIsZ0JBQWdCLEVBQ2hCLG9CQUFvQixFQUNwQixlQUFlLEVBQ2YsNEJBQTRCLEVBQzVCLHVCQUF1QixFQUN2Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLDZCQUE2QixFQUM3Qix3QkFBd0IsRUFDeEIsNEJBQTRCLEVBQzVCLGlCQUFpQixFQUNqQix1QkFBdUIsRUFDdkIsOEJBQThCLEVBQzlCLHlCQUF5QixFQUN6Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLHdCQUF3QixFQUN4QixtQkFBbUIsRUFDbkIscUJBQXFCLEVBQ3JCLGdCQUFnQixHQUNqQixDQUFDO0FBTUYsd0JBQXNCLGFBQWEsQ0FBQyxFQUNsQyxXQUFXLEVBQ1osRUFBRTtJQUNELFdBQVcsRUFBRSxNQUFNLEVBQUUsQ0FBQztDQUN2QixHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsT0FBTyx3QkFBd0IsQ0FBQyxDQUFDLENBSTVEO0FBRUQsZUFBTyxNQUFNLDJCQUEyQixJQUFJLENBQUM7QUFlN0MsTUFBTSxXQUFXLGdCQUFnQixDQUFDLGdCQUFnQjtJQUNoRCxPQUFPLEVBQUUsVUFBVSxDQUFDO0lBQ3BCLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztDQUNoQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLG1CQUFtQixHQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FPNUM7QUFFRCx3QkFBc0IsOEJBQThCLENBQ2xELElBQUksRUFBRSxrQkFBa0IsR0FDdkIsT0FBTyxDQUFDLGdCQUFnQixDQUFDLGVBQWUsQ0FBQyxDQUFDLENBTzVDO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLDJCQUEyQixDQUMvQyxJQUFJLEVBQUUsbUJBQW1CLEdBQ3hCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHdDQUF3QyxDQUM1RCxJQUFJLEVBQUUsZ0NBQWdDLEdBQ3JDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLGtDQUFrQyxDQUN0RCxJQUFJLEVBQUUsMEJBQTBCLEdBQy9CLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsdUJBQXVCLEdBQzVCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHVCQUF1QixDQUUzQyxrQkFBa0IsRUFBRSxNQUFNLEVBRzFCLGlCQUFpQixFQUFFLE1BQU0sR0FDeEIsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsVUFBVSxFQUFFLEVBQUUsa0JBQWtCLEVBQUUsVUFBVSxFQUFFLENBQUMsQ0FBQyxDQXFJekU7QUFFRCx3QkFBZ0IsdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FFL0c7QUFFRCx3QkFBZ0IsaUJBQWlCLENBQUMsS0FBSyxFQUFFLEVBQUUsRUFBRSxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLG9DQUFvQyxDQUFDLENBS3BIO0FBRUQsd0JBQWdCLHdCQUF3QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQ3ZELEVBQUUsRUFBRSx1QkFBdUIsRUFDM0IsR0FBRyxFQUFFLENBQUMsR0FDTDtJQUNELEdBQUcsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDakMsSUFBSSxFQUFFLE1BQU0sQ0FBQztDQUNkLENBUUE7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLFlBQVksRUFBRSxzQkFBc0IsR0FDbkMsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLE9BQU8sZ0NBQWdDLENBQUMsQ0FNbkUifQ==
|
package/dest/witgen.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,oCAAoC,EACpC,wBAAwB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,oCAAoC,EACpC,wBAAwB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAK5D,OAAO,qBAAqB,MAAM,+BAA+B,CAAuB;AACxF,OAAO,oBAAoB,MAAM,8BAA8B,CAAuB;AACtF,OAAO,iBAAiB,MAAM,+BAA+B,CAAuB;AACpF,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,qBAAqB,MAAM,oCAAoC,CAAuB;AAC7F,OAAO,8BAA8B,MAAM,+CAA+C,CAAuB;AACjH,OAAO,6BAA6B,MAAM,8CAA8C,CAAuB;AAC/G,OAAO,wBAAwB,MAAM,wCAAwC,CAAuB;AACpG,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,8BAA8B,EAC9B,+BAA+B,EAC/B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,gCAAgC,EAChC,+BAA+B,EAC/B,0BAA0B,EAC1B,yBAAyB,EACzB,kBAAkB,EAClB,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAW1B,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AACrE,QAAA,MAAM,eAAe;;;CAA6C,CAAC;AACnE,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AACnF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AAEnF,QAAA,MAAM,yBAAyB;;;CAAuD,CAAC;AACvF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,mBAAmB;;;CAAiD,CAAC;AAC3E,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AAGrE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,4BAA4B,EAC5B,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,EACxB,6BAA6B,EAC7B,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,uBAAuB,EACvB,8BAA8B,EAC9B,yBAAyB,EACzB,6BAA6B,EAC7B,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACrB,gBAAgB,GACjB,CAAC;AAMF,wBAAsB,aAAa,CAAC,EAClC,WAAW,EACZ,EAAE;IACD,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GAAG,OAAO,CAAC,eAAe,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAI5D;AAED,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAe7C,MAAM,WAAW,gBAAgB,CAAC,gBAAgB;IAChD,OAAO,EAAE,UAAU,CAAC;IACpB,YAAY,EAAE,gBAAgB,CAAC;CAChC;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,wCAAwC,CAC5D,IAAI,EAAE,gCAAgC,GACrC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,kCAAkC,CACtD,IAAI,EAAE,0BAA0B,GAC/B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,uBAAuB,CAE3C,kBAAkB,EAAE,MAAM,EAG1B,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,CAqIzE;AAED,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAE/G;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,oCAAoC,CAAC,CAKpH;AAED,wBAAgB,wBAAwB,CAAC,CAAC,SAAS,MAAM,EACvD,EAAE,EAAE,uBAAuB,EAC3B,GAAG,EAAE,CAAC,GACL;IACD,GAAG,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC;CACd,CAQA;AAED,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,sBAAsB,GACnC,gBAAgB,CAAC,MAAM,EAAE,OAAO,gCAAgC,CAAC,CAMnE"}
|
package/dest/witgen.js
CHANGED
|
@@ -1,49 +1,17 @@
|
|
|
1
1
|
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
2
|
import { padArrayEnd } from '@aztec/foundation/collection';
|
|
3
|
-
import { Fr } from '@aztec/foundation/
|
|
3
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
|
|
5
5
|
import { Noir } from '@aztec/noir-noir_js';
|
|
6
6
|
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
7
7
|
import { strict as assert } from 'assert';
|
|
8
|
+
import { ungzip } from 'pako';
|
|
8
9
|
import MockAppCreatorCircuit from '../artifacts/app_creator.json' with {
|
|
9
10
|
type: 'json'
|
|
10
11
|
};
|
|
11
12
|
import MockAppReaderCircuit from '../artifacts/app_reader.json' with {
|
|
12
13
|
type: 'json'
|
|
13
14
|
};
|
|
14
|
-
import MockAppCreatorVk from '../artifacts/keys/app_creator.vk.data.json' with {
|
|
15
|
-
type: 'json'
|
|
16
|
-
};
|
|
17
|
-
import MockAppReaderVk from '../artifacts/keys/app_reader.vk.data.json' with {
|
|
18
|
-
type: 'json'
|
|
19
|
-
};
|
|
20
|
-
import MockHidingVk from '../artifacts/keys/mock_hiding.vk.data.json' with {
|
|
21
|
-
type: 'json'
|
|
22
|
-
};
|
|
23
|
-
import MockPrivateKernelInitVk from '../artifacts/keys/mock_private_kernel_init.vk.data.json' with {
|
|
24
|
-
type: 'json'
|
|
25
|
-
};
|
|
26
|
-
import MockPrivateKernelInnerVk from '../artifacts/keys/mock_private_kernel_inner.vk.data.json' with {
|
|
27
|
-
type: 'json'
|
|
28
|
-
};
|
|
29
|
-
import MockPrivateKernelResetVk from '../artifacts/keys/mock_private_kernel_reset.vk.data.json' with {
|
|
30
|
-
type: 'json'
|
|
31
|
-
};
|
|
32
|
-
import MockPrivateKernelTailVk from '../artifacts/keys/mock_private_kernel_tail.vk.data.json' with {
|
|
33
|
-
type: 'json'
|
|
34
|
-
};
|
|
35
|
-
import MockRollupBasePrivateVk from '../artifacts/keys/mock_rollup_base_private.vk.data.json' with {
|
|
36
|
-
type: 'json'
|
|
37
|
-
};
|
|
38
|
-
import MockRollupBasePublicVk from '../artifacts/keys/mock_rollup_base_public.vk.data.json' with {
|
|
39
|
-
type: 'json'
|
|
40
|
-
};
|
|
41
|
-
import MockRollupMergeVk from '../artifacts/keys/mock_rollup_merge.vk.data.json' with {
|
|
42
|
-
type: 'json'
|
|
43
|
-
};
|
|
44
|
-
import MockRollupRootVk from '../artifacts/keys/mock_rollup_root.vk.data.json' with {
|
|
45
|
-
type: 'json'
|
|
46
|
-
};
|
|
47
15
|
import MockHidingCircuit from '../artifacts/mock_hiding.json' with {
|
|
48
16
|
type: 'json'
|
|
49
17
|
};
|
|
@@ -59,20 +27,39 @@ import MockPrivateKernelResetCircuit from '../artifacts/mock_private_kernel_rese
|
|
|
59
27
|
import MockPrivateKernelTailCircuit from '../artifacts/mock_private_kernel_tail.json' with {
|
|
60
28
|
type: 'json'
|
|
61
29
|
};
|
|
62
|
-
import
|
|
30
|
+
import MockRollupRootCircuit from '../artifacts/mock_rollup_root.json' with {
|
|
63
31
|
type: 'json'
|
|
64
32
|
};
|
|
65
|
-
import
|
|
33
|
+
import MockRollupTxBasePrivateCircuit from '../artifacts/mock_rollup_tx_base_private.json' with {
|
|
66
34
|
type: 'json'
|
|
67
35
|
};
|
|
68
|
-
import
|
|
36
|
+
import MockRollupTxBasePublicCircuit from '../artifacts/mock_rollup_tx_base_public.json' with {
|
|
69
37
|
type: 'json'
|
|
70
38
|
};
|
|
71
|
-
import
|
|
39
|
+
import MockRollupTxMergeCircuit from '../artifacts/mock_rollup_tx_merge.json' with {
|
|
72
40
|
type: 'json'
|
|
73
41
|
};
|
|
42
|
+
// Helper to extract VK from circuit artifact
|
|
43
|
+
function extractVkFromCircuit(circuit) {
|
|
44
|
+
return {
|
|
45
|
+
keyAsBytes: circuit.verificationKey.bytes,
|
|
46
|
+
keyAsFields: circuit.verificationKey.fields
|
|
47
|
+
};
|
|
48
|
+
}
|
|
49
|
+
// Extract VKs from circuit artifacts
|
|
50
|
+
const MockAppCreatorVk = extractVkFromCircuit(MockAppCreatorCircuit);
|
|
51
|
+
const MockAppReaderVk = extractVkFromCircuit(MockAppReaderCircuit);
|
|
52
|
+
const MockPrivateKernelInitVk = extractVkFromCircuit(MockPrivateKernelInitCircuit);
|
|
53
|
+
const MockPrivateKernelInnerVk = extractVkFromCircuit(MockPrivateKernelInnerCircuit);
|
|
54
|
+
const MockPrivateKernelResetVk = extractVkFromCircuit(MockPrivateKernelResetCircuit);
|
|
55
|
+
const MockPrivateKernelTailVk = extractVkFromCircuit(MockPrivateKernelTailCircuit);
|
|
56
|
+
const MockHidingVk = extractVkFromCircuit(MockHidingCircuit);
|
|
57
|
+
const MockRollupTxBasePrivateVk = extractVkFromCircuit(MockRollupTxBasePrivateCircuit);
|
|
58
|
+
const MockRollupTxBasePublicVk = extractVkFromCircuit(MockRollupTxBasePublicCircuit);
|
|
59
|
+
const MockRollupTxMergeVk = extractVkFromCircuit(MockRollupTxMergeCircuit);
|
|
60
|
+
const MockRollupRootVk = extractVkFromCircuit(MockRollupRootCircuit);
|
|
74
61
|
// Re export the circuit jsons
|
|
75
|
-
export { MockAppCreatorCircuit, MockAppCreatorVk, MockAppReaderCircuit, MockAppReaderVk, MockPrivateKernelInitCircuit, MockPrivateKernelInitVk, MockPrivateKernelInnerCircuit, MockPrivateKernelInnerVk, MockPrivateKernelResetCircuit, MockPrivateKernelResetVk, MockPrivateKernelTailCircuit, MockHidingCircuit, MockPrivateKernelTailVk,
|
|
62
|
+
export { MockAppCreatorCircuit, MockAppCreatorVk, MockAppReaderCircuit, MockAppReaderVk, MockPrivateKernelInitCircuit, MockPrivateKernelInitVk, MockPrivateKernelInnerCircuit, MockPrivateKernelInnerVk, MockPrivateKernelResetCircuit, MockPrivateKernelResetVk, MockPrivateKernelTailCircuit, MockHidingCircuit, MockPrivateKernelTailVk, MockRollupTxBasePrivateCircuit, MockRollupTxBasePrivateVk, MockRollupTxBasePublicCircuit, MockRollupTxBasePublicVk, MockRollupTxMergeCircuit, MockRollupTxMergeVk, MockRollupRootCircuit, MockRollupRootVk };
|
|
76
63
|
/* eslint-disable camelcase */ const log = createLogger('aztec:ivc-test');
|
|
77
64
|
export async function getVkAsFields({ keyAsFields }) {
|
|
78
65
|
const key = keyAsFields.map((f)=>Fr.fromString(f));
|
|
@@ -149,23 +136,23 @@ export async function witnessGenMockHidingCircuit(args) {
|
|
|
149
136
|
};
|
|
150
137
|
}
|
|
151
138
|
export async function witnessGenMockPublicBaseCircuit(args) {
|
|
152
|
-
const program = new Noir(
|
|
139
|
+
const program = new Noir(MockRollupTxBasePublicCircuit);
|
|
153
140
|
const { witness, returnValue } = await program.execute(args, foreignCallHandler);
|
|
154
141
|
return {
|
|
155
142
|
witness,
|
|
156
143
|
publicInputs: returnValue
|
|
157
144
|
};
|
|
158
145
|
}
|
|
159
|
-
export async function
|
|
160
|
-
const program = new Noir(
|
|
146
|
+
export async function witnessGenMockRollupTxBasePrivateCircuit(args) {
|
|
147
|
+
const program = new Noir(MockRollupTxBasePrivateCircuit);
|
|
161
148
|
const { witness, returnValue } = await program.execute(args, foreignCallHandler);
|
|
162
149
|
return {
|
|
163
150
|
witness,
|
|
164
151
|
publicInputs: returnValue
|
|
165
152
|
};
|
|
166
153
|
}
|
|
167
|
-
export async function
|
|
168
|
-
const program = new Noir(
|
|
154
|
+
export async function witnessGenMockRollupTxMergeCircuit(args) {
|
|
155
|
+
const program = new Noir(MockRollupTxMergeCircuit);
|
|
169
156
|
const { witness, returnValue } = await program.execute(args, foreignCallHandler);
|
|
170
157
|
return {
|
|
171
158
|
witness,
|
|
@@ -298,11 +285,25 @@ numReaderAppCalls) {
|
|
|
298
285
|
witnessStack.push(hidingWitnessGenResult.witness);
|
|
299
286
|
bytecodes.push(MockHidingCircuit.bytecode);
|
|
300
287
|
vks.push(MockHidingVk.keyAsBytes);
|
|
288
|
+
function base64ToUint8Array(base64) {
|
|
289
|
+
return Uint8Array.from(atob(base64), (c)=>c.charCodeAt(0));
|
|
290
|
+
}
|
|
291
|
+
function hexToUint8Array(hex) {
|
|
292
|
+
const cleaned = hex.replace(/^0x/i, '');
|
|
293
|
+
const bytes = new Uint8Array(cleaned.length / 2);
|
|
294
|
+
for(let i = 0; i < bytes.length; i++){
|
|
295
|
+
bytes[i] = parseInt(cleaned.slice(i * 2, i * 2 + 2), 16);
|
|
296
|
+
}
|
|
297
|
+
return bytes;
|
|
298
|
+
}
|
|
299
|
+
const rawBytecodes = bytecodes.map(base64ToUint8Array).map((arr)=>ungzip(arr));
|
|
300
|
+
const rawWitnessStack = witnessStack.map((arr)=>ungzip(arr));
|
|
301
|
+
const rawVks = vks.map(hexToUint8Array);
|
|
301
302
|
return [
|
|
302
|
-
|
|
303
|
-
|
|
303
|
+
rawBytecodes,
|
|
304
|
+
rawWitnessStack,
|
|
304
305
|
hidingWitnessGenResult.publicInputs,
|
|
305
|
-
|
|
306
|
+
rawVks
|
|
306
307
|
];
|
|
307
308
|
}
|
|
308
309
|
export function mapRecursiveProofToNoir(proof) {
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/ivc-integration",
|
|
3
|
-
"version": "4.0.0-nightly.
|
|
3
|
+
"version": "4.0.0-nightly.20260107",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -11,17 +11,14 @@
|
|
|
11
11
|
"./package.local.json"
|
|
12
12
|
],
|
|
13
13
|
"scripts": {
|
|
14
|
-
"build": "yarn clean && yarn generate &&
|
|
15
|
-
"clean": "rm -rf ./dest .tsbuildinfo src/types artifacts",
|
|
14
|
+
"build": "yarn clean && yarn generate && tsgo -b && webpack",
|
|
15
|
+
"clean": "rm -rf ./dest ./dist .tsbuildinfo src/types artifacts",
|
|
16
16
|
"formatting:fix:types": "NODE_OPTIONS='--max-old-space-size=8096' run -T eslint --fix ./src/types && run -T prettier -w ./src/types",
|
|
17
17
|
"generate": "yarn generate:noir-circuits",
|
|
18
18
|
"generate:noir-circuits": "mkdir -p ./artifacts && cp -r ../../noir-projects/mock-protocol-circuits/target/* ./artifacts && node --no-warnings --loader @swc-node/register/esm src/scripts/generate_declaration_files.ts && node --no-warnings --loader @swc-node/register/esm src/scripts/generate_ts_from_abi.ts",
|
|
19
|
-
"test
|
|
20
|
-
"test:browser": "./run_browser_tests.sh",
|
|
21
|
-
"test": "yarn test:non-browser",
|
|
19
|
+
"test": "RAYON_NUM_THREADS=4 NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests ",
|
|
22
20
|
"codegen": "yarn noir-codegen",
|
|
23
|
-
"build:dev": "tsc
|
|
24
|
-
"build:browser-app": "rm -rf dest && webpack",
|
|
21
|
+
"build:dev": "../scripts/tsc.sh --watch",
|
|
25
22
|
"serve": "serve -n -L -p 8080 -c ../serve.mt.json dest"
|
|
26
23
|
},
|
|
27
24
|
"jest": {
|
|
@@ -62,33 +59,34 @@
|
|
|
62
59
|
]
|
|
63
60
|
},
|
|
64
61
|
"dependencies": {
|
|
65
|
-
"@aztec/bb.js": "4.0.0-nightly.
|
|
66
|
-
"@aztec/constants": "4.0.0-nightly.
|
|
67
|
-
"@aztec/foundation": "4.0.0-nightly.
|
|
68
|
-
"@aztec/noir-noir_codegen": "4.0.0-nightly.
|
|
69
|
-
"@aztec/noir-noir_js": "4.0.0-nightly.
|
|
70
|
-
"@aztec/noir-noirc_abi": "4.0.0-nightly.
|
|
71
|
-
"@aztec/noir-types": "4.0.0-nightly.
|
|
72
|
-
"@aztec/stdlib": "4.0.0-nightly.
|
|
62
|
+
"@aztec/bb.js": "4.0.0-nightly.20260107",
|
|
63
|
+
"@aztec/constants": "4.0.0-nightly.20260107",
|
|
64
|
+
"@aztec/foundation": "4.0.0-nightly.20260107",
|
|
65
|
+
"@aztec/noir-noir_codegen": "4.0.0-nightly.20260107",
|
|
66
|
+
"@aztec/noir-noir_js": "4.0.0-nightly.20260107",
|
|
67
|
+
"@aztec/noir-noirc_abi": "4.0.0-nightly.20260107",
|
|
68
|
+
"@aztec/noir-types": "4.0.0-nightly.20260107",
|
|
69
|
+
"@aztec/stdlib": "4.0.0-nightly.20260107",
|
|
73
70
|
"change-case": "^5.4.4",
|
|
74
71
|
"pako": "^2.1.0",
|
|
75
72
|
"playwright": "1.49.0",
|
|
76
|
-
"puppeteer": "^22.
|
|
73
|
+
"puppeteer": "^24.22.3",
|
|
77
74
|
"tslib": "^2.4.0"
|
|
78
75
|
},
|
|
79
76
|
"devDependencies": {
|
|
80
|
-
"@aztec/bb-prover": "4.0.0-nightly.
|
|
81
|
-
"@aztec/kv-store": "4.0.0-nightly.
|
|
82
|
-
"@aztec/noir-protocol-circuits-types": "4.0.0-nightly.
|
|
83
|
-
"@aztec/noir-test-contracts.js": "4.0.0-nightly.
|
|
84
|
-
"@aztec/simulator": "4.0.0-nightly.
|
|
85
|
-
"@aztec/telemetry-client": "4.0.0-nightly.
|
|
86
|
-
"@aztec/world-state": "4.0.0-nightly.
|
|
77
|
+
"@aztec/bb-prover": "4.0.0-nightly.20260107",
|
|
78
|
+
"@aztec/kv-store": "4.0.0-nightly.20260107",
|
|
79
|
+
"@aztec/noir-protocol-circuits-types": "4.0.0-nightly.20260107",
|
|
80
|
+
"@aztec/noir-test-contracts.js": "4.0.0-nightly.20260107",
|
|
81
|
+
"@aztec/simulator": "4.0.0-nightly.20260107",
|
|
82
|
+
"@aztec/telemetry-client": "4.0.0-nightly.20260107",
|
|
83
|
+
"@aztec/world-state": "4.0.0-nightly.20260107",
|
|
87
84
|
"@jest/globals": "^30.0.0",
|
|
88
85
|
"@playwright/test": "1.49.0",
|
|
89
86
|
"@types/jest": "^30.0.0",
|
|
90
87
|
"@types/node": "^22.15.17",
|
|
91
88
|
"@types/pako": "^2.0.3",
|
|
89
|
+
"@typescript/native-preview": "7.0.0-dev.20251126.1",
|
|
92
90
|
"copy-webpack-plugin": "^12.0.2",
|
|
93
91
|
"html-webpack-plugin": "^5.6.0",
|
|
94
92
|
"jest": "^30.0.0",
|
|
@@ -96,7 +94,7 @@
|
|
|
96
94
|
"msgpackr": "^1.11.2",
|
|
97
95
|
"resolve-typescript-plugin": "^2.0.1",
|
|
98
96
|
"serve": "^14.2.1",
|
|
99
|
-
"ts-loader": "^9.5.
|
|
97
|
+
"ts-loader": "^9.5.4",
|
|
100
98
|
"ts-node": "^10.9.1",
|
|
101
99
|
"typescript": "^5.3.3",
|
|
102
100
|
"webpack": "^5.99.6",
|