@aztec/ivc-integration 3.0.0-devnet.5 → 3.0.0-devnet.6-patch.1

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.
Files changed (38) hide show
  1. package/artifacts/app_creator.json +36 -36
  2. package/artifacts/app_reader.json +36 -36
  3. package/artifacts/keys/avm.vk +0 -0
  4. package/artifacts/keys/mock_hiding.ivc.vk +0 -0
  5. package/artifacts/keys/mock_rollup_root_verifier.sol +86 -83
  6. package/artifacts/mock_hiding.json +129 -129
  7. package/artifacts/mock_private_kernel_init.json +131 -131
  8. package/artifacts/mock_private_kernel_inner.json +132 -132
  9. package/artifacts/mock_private_kernel_reset.json +129 -129
  10. package/artifacts/mock_private_kernel_tail.json +129 -129
  11. package/artifacts/mock_rollup_root.json +65 -65
  12. package/artifacts/mock_rollup_tx_base_private.json +118 -118
  13. package/artifacts/mock_rollup_tx_base_public.json +118 -118
  14. package/artifacts/mock_rollup_tx_merge.json +116 -116
  15. package/dest/bb_working_directory.d.ts +1 -1
  16. package/dest/index.d.ts +1 -1
  17. package/dest/prove_native.d.ts +7 -7
  18. package/dest/prove_native.d.ts.map +1 -1
  19. package/dest/prove_native.js +17 -38
  20. package/dest/scripts/generate_declaration_files.d.ts +1 -1
  21. package/dest/scripts/generate_ts_from_abi.d.ts +1 -1
  22. package/dest/serve.d.ts +1 -1
  23. package/dest/serve.js +34 -17
  24. package/dest/types/index.d.ts +8 -8
  25. package/dest/types/index.d.ts.map +1 -1
  26. package/dest/types/index.js +4 -4
  27. package/dest/witgen.d.ts +4 -4
  28. package/dest/witgen.d.ts.map +1 -1
  29. package/dest/witgen.js +19 -4
  30. package/package.json +21 -23
  31. package/src/prove_native.ts +21 -56
  32. package/src/serve.ts +43 -16
  33. package/src/types/index.ts +9 -9
  34. package/src/witgen.ts +19 -3
  35. package/dest/prove_wasm.d.ts +0 -4
  36. package/dest/prove_wasm.d.ts.map +0 -1
  37. package/dest/prove_wasm.js +0 -38
  38. package/src/prove_wasm.ts +0 -57
package/dest/serve.js CHANGED
@@ -1,8 +1,16 @@
1
+ import { AztecClientBackend, Barretenberg } from '@aztec/bb.js';
1
2
  import { createLogger } from '@aztec/foundation/log';
2
- import { proveThenVerifyAztecClient } from './prove_wasm.js';
3
- import { generateTestingIVCStack } from './witgen.js';
3
+ import { MockAppCreatorCircuit, MockHidingCircuit, MockPrivateKernelInitCircuit, MockPrivateKernelTailCircuit, generateTestingIVCStack } from './witgen.js';
4
4
  const logger = createLogger('aztec:ivc-test');
5
- /* eslint-disable no-console */ // Function to set up the output element and redirect all console output
5
+ /* eslint-disable no-console */ // Expose APIs on window for browser testing
6
+ window.Barretenberg = Barretenberg;
7
+ window.AztecClientBackend = AztecClientBackend;
8
+ window.generateTestingIVCStack = generateTestingIVCStack;
9
+ window.MockAppCreatorCircuit = MockAppCreatorCircuit;
10
+ window.MockPrivateKernelInitCircuit = MockPrivateKernelInitCircuit;
11
+ window.MockPrivateKernelTailCircuit = MockPrivateKernelTailCircuit;
12
+ window.MockHidingCircuit = MockHidingCircuit;
13
+ // Function to set up the output element and redirect all console output
6
14
  function setupConsoleOutput() {
7
15
  const container = document.createElement('div');
8
16
  container.style.marginBottom = '10px';
@@ -45,18 +53,27 @@ function setupConsoleOutput() {
45
53
  addLogMessage(message);
46
54
  };
47
55
  }
48
- window.proveThenVerifyAztecClient = proveThenVerifyAztecClient;
49
- document.addEventListener('DOMContentLoaded', function() {
50
- setupConsoleOutput(); // Initialize console output capture
51
- const button = document.createElement('button');
52
- button.innerText = 'Run Test';
53
- // eslint-disable-next-line @typescript-eslint/no-misused-promises
54
- button.addEventListener('click', async ()=>{
55
- logger.info(`generating circuit and witness...`);
56
- const [bytecodes, witnessStack, _publicInputs, precomputedVks] = await generateTestingIVCStack(1, 0);
57
- logger.info(`done. proving and verifying...`);
58
- const verified = await proveThenVerifyAztecClient(bytecodes, witnessStack, precomputedVks);
59
- logger.info(`verified? ${verified}`);
56
+ // Only set up the interactive UI if this is not being used for automated testing
57
+ if (!document.getElementById('status')) {
58
+ document.addEventListener('DOMContentLoaded', function() {
59
+ setupConsoleOutput(); // Initialize console output capture
60
+ const button = document.createElement('button');
61
+ button.innerText = 'Run Test';
62
+ // eslint-disable-next-line @typescript-eslint/no-misused-promises
63
+ button.addEventListener('click', async ()=>{
64
+ logger.info(`generating circuit and witness...`);
65
+ const [bytecodes, witnessStack, _publicInputs, precomputedVks] = await generateTestingIVCStack(1, 0);
66
+ logger.info(`done. proving and verifying...`);
67
+ const barretenberg = await Barretenberg.initSingleton({
68
+ threads: 16,
69
+ logger: (m)=>logger.info(m)
70
+ });
71
+ const backend = new AztecClientBackend(bytecodes, barretenberg);
72
+ const [, proof, vk] = await backend.prove(witnessStack, precomputedVks);
73
+ const verified = await backend.verify(proof, vk);
74
+ logger.info(`verified? ${verified}`);
75
+ await Barretenberg.destroySingleton();
76
+ });
77
+ document.body.appendChild(button);
60
78
  });
61
- document.body.appendChild(button);
62
- });
79
+ }
@@ -26,9 +26,9 @@ export type PrivateKernelPublicInputs = {
26
26
  commitments: FixedLengthArray<Field, 4>;
27
27
  read_requests: FixedLengthArray<Field, 4>;
28
28
  };
29
- export type CivcProofData = {
29
+ export type ChonkProofData = {
30
30
  public_inputs: KernelPublicInputs;
31
- proof: FixedLengthArray<Field, 2084>;
31
+ proof: FixedLengthArray<Field, 1963>;
32
32
  vk_data: VerificationKey<127>;
33
33
  };
34
34
  export type AvmCircuitPublicInputs = {
@@ -153,7 +153,7 @@ export type RollupPublicInputs = {
153
153
  };
154
154
  export type PreviousRollupData = {
155
155
  base_or_merge_public_inputs: RollupPublicInputs;
156
- proof: FixedLengthArray<Field, 535>;
156
+ proof: FixedLengthArray<Field, 531>;
157
157
  vk: VerificationKey<115>;
158
158
  };
159
159
  export type AppCreatorInputType = {
@@ -201,18 +201,18 @@ export type MockPrivateKernelTailInputType = {
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
203
  export type MockRollupTxBasePublicInputType = {
204
- civc_proof_data: CivcProofData;
204
+ chonk_proof_data: ChonkProofData;
205
205
  verification_key: VerificationKey<1000>;
206
206
  proof: FixedLengthArray<Field, 20000>;
207
207
  public_inputs: AvmCircuitPublicInputs;
208
208
  };
209
209
  export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
210
- export declare function MockRollupTxBasePublic(civc_proof_data: CivcProofData, verification_key: VerificationKey<1000>, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
210
+ export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, verification_key: VerificationKey<1000>, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
211
211
  export type MockRollupTxBasePrivateInputType = {
212
- civc_proof_data: CivcProofData;
212
+ chonk_proof_data: ChonkProofData;
213
213
  };
214
214
  export type MockRollupTxBasePrivateReturnType = RollupPublicInputs;
215
- export declare function MockRollupTxBasePrivate(civc_proof_data: CivcProofData, MockRollupTxBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
215
+ export declare function MockRollupTxBasePrivate(chonk_proof_data: ChonkProofData, MockRollupTxBasePrivate_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
216
216
  export type MockRollupTxMergeInputType = {
217
217
  a: PreviousRollupData;
218
218
  b: PreviousRollupData;
@@ -225,4 +225,4 @@ export type MockRollupRootInputType = {
225
225
  };
226
226
  export type MockRollupRootReturnType = RollupPublicInputs;
227
227
  export declare function MockRollupRoot(a: PreviousRollupData, b: PreviousRollupData, MockRollupRoot_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
228
- //# sourceMappingURL=index.d.ts.map
228
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eXBlcy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFLQSxPQUFPLEVBQWtCLEtBQUssZUFBZSxFQUFFLEtBQUssa0JBQWtCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQTtBQUVuRyxPQUFPLEVBQUUsS0FBSyxrQkFBa0IsRUFBRSxNQUFNLHFCQUFxQixDQUFBO0FBRTdELE1BQU0sTUFBTSxnQkFBZ0IsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxTQUFTLE1BQU0sSUFBSSxDQUFDLFNBQVMsQ0FBQyxHQUFHLEtBQUssRUFBRSxHQUFFLENBQUMsRUFBRSxHQUFHO0lBQUUsTUFBTSxFQUFFLENBQUMsQ0FBQTtDQUFFLENBQUE7QUFDOUYsTUFBTSxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUM7QUFDM0IsTUFBTSxNQUFNLEdBQUcsR0FBRyxNQUFNLENBQUM7QUFDekIsTUFBTSxNQUFNLEdBQUcsR0FBRyxNQUFNLENBQUM7QUFDekIsTUFBTSxNQUFNLElBQUksR0FBRyxNQUFNLENBQUM7QUFFMUIsTUFBTSxNQUFNLGVBQWUsR0FBRztJQUM1QixXQUFXLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDO0lBQ3hDLGFBQWEsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDM0MsQ0FBQTtBQUVELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixXQUFXLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDO0NBQ3pDLENBQUE7QUFFRCxNQUFNLE1BQU0sZUFBZSxDQUFDLENBQUMsU0FBUyxNQUFNLElBQUk7SUFDOUMsR0FBRyxFQUFFLGdCQUFnQixDQUFDLEtBQUssRUFBRSxDQUFDLENBQUMsQ0FBQztJQUNoQyxJQUFJLEVBQUUsS0FBSyxDQUFDO0NBQ2IsQ0FBQTtBQUVELE1BQU0sTUFBTSxTQUFTLEdBQUc7SUFDdEIsZUFBZSxFQUFFLEdBQUcsQ0FBQztDQUN0QixDQUFBO0FBRUQsTUFBTSxNQUFNLHlCQUF5QixHQUFHO0lBQ3RDLGVBQWUsRUFBRSxHQUFHLENBQUM7SUFDckIsV0FBVyxFQUFFLGdCQUFnQixDQUFDLEtBQUssRUFBRSxDQUFDLENBQUMsQ0FBQztJQUN4QyxhQUFhLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDO0NBQzNDLENBQUE7QUFFRCxNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLGFBQWEsRUFBRSxrQkFBa0IsQ0FBQztJQUNsQyxLQUFLLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLElBQUksQ0FBQyxDQUFDO0lBQ3JDLE9BQU8sRUFBRSxlQUFlLENBQUMsR0FBRyxDQUFDLENBQUM7Q0FDL0IsQ0FBQTtBQUVELE1BQU0sTUFBTSxzQkFBc0IsR0FBRztJQUNuQyxnQkFBZ0IsRUFBRSxlQUFlLENBQUM7SUFDbEMsa0JBQWtCLEVBQUUsaUJBQWlCLENBQUM7SUFDdEMsb0JBQW9CLEVBQUUsYUFBYSxDQUFDO0lBQ3BDLGNBQWMsRUFBRSxHQUFHLENBQUM7SUFDcEIsWUFBWSxFQUFFLFdBQVcsQ0FBQztJQUMxQixrQkFBa0IsRUFBRSxPQUFPLENBQUM7SUFDNUIsU0FBUyxFQUFFLFlBQVksQ0FBQztJQUN4QixTQUFTLEVBQUUsS0FBSyxDQUFDO0lBQ2pCLGlDQUFpQyxFQUFFLDZCQUE2QixDQUFDO0lBQ2pFLDBCQUEwQixFQUFFLGdCQUFnQixDQUFDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3BFLDhCQUE4QixFQUFFLGdCQUFnQixDQUFDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3hFLDRCQUE0QixFQUFFLGlCQUFpQixDQUFDO0lBQ2hELHNEQUFzRCxFQUFFLHVDQUF1QyxDQUFDO0lBQ2hHLGtEQUFrRCxFQUFFLHVDQUF1QyxDQUFDO0lBQzVGLHdDQUF3QyxFQUFFLDJCQUEyQixDQUFDO0lBQ3RFLG9DQUFvQyxFQUFFLDJCQUEyQixDQUFDO0lBQ2xFLGtCQUFrQixFQUFFLGFBQWEsQ0FBQztJQUNsQyxZQUFZLEVBQUUsR0FBRyxDQUFDO0lBQ2xCLDhCQUE4QixFQUFFLDhCQUE4QixDQUFDO0lBQy9ELGdCQUFnQixFQUFFLGtCQUFrQixDQUFDO0lBQ3JDLGVBQWUsRUFBRSxLQUFLLENBQUM7SUFDdkIsUUFBUSxFQUFFLE9BQU8sQ0FBQztDQUNuQixDQUFBO0FBRUQsTUFBTSxNQUFNLGVBQWUsR0FBRztJQUM1QixRQUFRLEVBQUUsS0FBSyxDQUFDO0lBQ2hCLE9BQU8sRUFBRSxLQUFLLENBQUM7SUFDZixZQUFZLEVBQUUsR0FBRyxDQUFDO0lBQ2xCLFdBQVcsRUFBRSxLQUFLLENBQUM7SUFDbkIsU0FBUyxFQUFFLEdBQUcsQ0FBQztJQUNmLFFBQVEsRUFBRSxVQUFVLENBQUM7SUFDckIsYUFBYSxFQUFFLFlBQVksQ0FBQztJQUM1QixRQUFRLEVBQUUsT0FBTyxDQUFDO0NBQ25CLENBQUE7QUFFRCxNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsaUJBQWlCLEVBQUUsZ0JBQWdCLENBQUMsWUFBWSxFQUFFLEVBQUUsQ0FBQyxDQUFDO0NBQ3ZELENBQUE7QUFFRCxNQUFNLE1BQU0sYUFBYSxHQUFHO0lBQzFCLHFCQUFxQixFQUFFLHNCQUFzQixDQUFDO0lBQzlDLGNBQWMsRUFBRSxzQkFBc0IsQ0FBQztJQUN2QyxjQUFjLEVBQUUsc0JBQXNCLENBQUM7SUFDdkMsZ0JBQWdCLEVBQUUsc0JBQXNCLENBQUM7Q0FDMUMsQ0FBQTtBQUVELE1BQU0sTUFBTSxHQUFHLEdBQUc7SUFDaEIsTUFBTSxFQUFFLEdBQUcsQ0FBQztJQUNaLE1BQU0sRUFBRSxHQUFHLENBQUM7Q0FDYixDQUFBO0FBRUQsTUFBTSxNQUFNLFdBQVcsR0FBRztJQUN4QixVQUFVLEVBQUUsR0FBRyxDQUFDO0lBQ2hCLG1CQUFtQixFQUFFLEdBQUcsQ0FBQztJQUN6QixnQkFBZ0IsRUFBRSxPQUFPLENBQUM7SUFDMUIseUJBQXlCLEVBQUUsT0FBTyxDQUFDO0NBQ3BDLENBQUE7QUFFRCxNQUFNLE1BQU0sT0FBTyxHQUFHO0lBQ3BCLGNBQWMsRUFBRSxJQUFJLENBQUM7SUFDckIsY0FBYyxFQUFFLElBQUksQ0FBQztDQUN0QixDQUFBO0FBRUQsTUFBTSxNQUFNLFlBQVksR0FBRztJQUN6QixLQUFLLEVBQUUsS0FBSyxDQUFDO0NBQ2QsQ0FBQTtBQUVELE1BQU0sTUFBTSw2QkFBNkIsR0FBRztJQUMxQyxXQUFXLEVBQUUsR0FBRyxDQUFDO0lBQ2pCLGVBQWUsRUFBRSxHQUFHLENBQUM7SUFDckIsYUFBYSxFQUFFLE9BQU8sQ0FBQztDQUN4QixDQUFBO0FBRUQsTUFBTSxNQUFNLGlCQUFpQixHQUFHO0lBQzlCLFVBQVUsRUFBRSxZQUFZLENBQUM7SUFDekIsZ0JBQWdCLEVBQUUsWUFBWSxDQUFDO0lBQy9CLGNBQWMsRUFBRSxPQUFPLENBQUM7SUFDeEIsYUFBYSxFQUFFLEtBQUssQ0FBQztDQUN0QixDQUFBO0FBRUQsTUFBTSxNQUFNLHVDQUF1QyxHQUFHO0lBQ3BELFdBQVcsRUFBRSxHQUFHLENBQUM7SUFDakIsVUFBVSxFQUFFLEdBQUcsQ0FBQztJQUNoQixhQUFhLEVBQUUsR0FBRyxDQUFDO0NBQ3BCLENBQUE7QUFFRCxNQUFNLE1BQU0sMkJBQTJCLEdBQUc7SUFDeEMsV0FBVyxFQUFFLGdCQUFnQixDQUFDLEtBQUssRUFBRSxFQUFFLENBQUMsQ0FBQztJQUN6QyxVQUFVLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3hDLGFBQWEsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDNUMsQ0FBQTtBQUVELE1BQU0sTUFBTSw4QkFBOEIsR0FBRztJQUMzQyxXQUFXLEVBQUUsR0FBRyxDQUFDO0lBQ2pCLFVBQVUsRUFBRSxHQUFHLENBQUM7SUFDaEIsYUFBYSxFQUFFLEdBQUcsQ0FBQztJQUNuQixrQkFBa0IsRUFBRSxHQUFHLENBQUM7Q0FDekIsQ0FBQTtBQUVELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixXQUFXLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3pDLFVBQVUsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFDeEMsYUFBYSxFQUFFLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQztJQUMzQyxXQUFXLEVBQUUsVUFBVSxDQUFDO0lBQ3hCLGtCQUFrQixFQUFFLGdCQUFnQixDQUFDLGVBQWUsRUFBRSxFQUFFLENBQUMsQ0FBQztDQUMzRCxDQUFBO0FBRUQsTUFBTSxNQUFNLFVBQVUsR0FBRztJQUN2QixLQUFLLEVBQUUsS0FBSyxDQUFDO0NBQ2QsQ0FBQTtBQUVELE1BQU0sTUFBTSxzQkFBc0IsR0FBRztJQUNuQyxJQUFJLEVBQUUsS0FBSyxDQUFDO0lBQ1oseUJBQXlCLEVBQUUsS0FBSyxDQUFDO0NBQ2xDLENBQUE7QUFFRCxNQUFNLE1BQU0sTUFBTSxHQUFHO0lBQ25CLEtBQUssRUFBRSxhQUFhLENBQUM7SUFDckIsZ0JBQWdCLEVBQUUsWUFBWSxDQUFDO0NBQ2hDLENBQUE7QUFFRCxNQUFNLE1BQU0sVUFBVSxHQUFHO0lBQ3ZCLE1BQU0sRUFBRSxHQUFHLENBQUM7SUFDWixPQUFPLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLElBQUksQ0FBQyxDQUFDO0NBQ3hDLENBQUE7QUFFRCxNQUFNLE1BQU0sZUFBZSxHQUFHO0lBQzVCLFNBQVMsRUFBRSxLQUFLLENBQUM7SUFDakIsS0FBSyxFQUFFLEtBQUssQ0FBQztDQUNkLENBQUE7QUFFRCxNQUFNLE1BQU0sYUFBYSxHQUFHO0lBQzFCLFNBQVMsRUFBRSxVQUFVLENBQUM7SUFDdEIsT0FBTyxFQUFFLEtBQUssQ0FBQztDQUNoQixDQUFBO0FBRUQsTUFBTSxNQUFNLGtCQUFrQixHQUFHO0lBQy9CLFdBQVcsRUFBRSxHQUFHLENBQUM7Q0FDbEIsQ0FBQTtBQUVELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQiwyQkFBMkIsRUFBRSxrQkFBa0IsQ0FBQztJQUNoRCxLQUFLLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEdBQUcsQ0FBQyxDQUFDO0lBQ3BDLEVBQUUsRUFBRSxlQUFlLENBQUMsR0FBRyxDQUFDLENBQUM7Q0FDMUIsQ0FBQTtBQUdELE1BQU0sTUFBTSxtQkFBbUIsR0FBRztJQUNoQyxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDbkQsQ0FBQTtBQUVELE1BQU0sTUFBTSxvQkFBb0IsR0FBRyxlQUFlLENBQUM7QUFHbkQsd0JBQXNCLFVBQVUsQ0FBQyxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLEVBQUUsa0JBQWtCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUsxTDtBQUNELE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixtQkFBbUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDakQsQ0FBQTtBQUVELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxlQUFlLENBQUM7QUFHbEQsd0JBQXNCLFNBQVMsQ0FBQyxtQkFBbUIsRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLEVBQUUsaUJBQWlCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUt0TDtBQUNELE1BQU0sTUFBTSxtQkFBbUIsR0FBRztJQUNoQyx5QkFBeUIsRUFBRSxrQkFBa0IsQ0FBQztJQUM5QyxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0NBQ2pDLENBQUE7QUFFRCxNQUFNLE1BQU0sb0JBQW9CLEdBQUcsa0JBQWtCLENBQUM7QUFHdEQsd0JBQXNCLFVBQVUsQ0FBQyx5QkFBeUIsRUFBRSxrQkFBa0IsRUFBRSxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxFQUFFLGtCQUFrQixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUsxTjtBQUNELE1BQU0sTUFBTSw4QkFBOEIsR0FBRztJQUMzQyxFQUFFLEVBQUUsU0FBUyxDQUFDO0lBQ2QsVUFBVSxFQUFFLGVBQWUsQ0FBQztJQUM1QixNQUFNLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0NBQzlCLENBQUE7QUFFRCxNQUFNLE1BQU0sK0JBQStCLEdBQUcseUJBQXlCLENBQUM7QUFHeEUsd0JBQXNCLHFCQUFxQixDQUFDLEVBQUUsRUFBRSxTQUFTLEVBQUUsVUFBVSxFQUFFLGVBQWUsRUFBRSxNQUFNLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxFQUFFLDZCQUE2QixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyx5QkFBeUIsQ0FBQyxDQUtqUDtBQUNELE1BQU0sTUFBTSwrQkFBK0IsR0FBRztJQUM1Qyx5QkFBeUIsRUFBRSx5QkFBeUIsQ0FBQztJQUNyRCxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ2hDLFVBQVUsRUFBRSxlQUFlLENBQUM7SUFDNUIsTUFBTSxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsQ0FBQztDQUM5QixDQUFBO0FBRUQsTUFBTSxNQUFNLGdDQUFnQyxHQUFHLHlCQUF5QixDQUFDO0FBR3pFLHdCQUFzQixzQkFBc0IsQ0FBQyx5QkFBeUIsRUFBRSx5QkFBeUIsRUFBRSxTQUFTLEVBQUUsZUFBZSxDQUFDLEdBQUcsQ0FBQyxFQUFFLFVBQVUsRUFBRSxlQUFlLEVBQUUsTUFBTSxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsRUFBRSw4QkFBOEIsRUFBRSxlQUFlLEVBQUUsa0JBQWtCLENBQUMsRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMseUJBQXlCLENBQUMsQ0FLM1Q7QUFDRCxNQUFNLE1BQU0sK0JBQStCLEdBQUc7SUFDNUMseUJBQXlCLEVBQUUseUJBQXlCLENBQUM7SUFDckQsU0FBUyxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUNoQyxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUM7Q0FDakQsQ0FBQTtBQUVELE1BQU0sTUFBTSxnQ0FBZ0MsR0FBRyx5QkFBeUIsQ0FBQztBQUd6RSx3QkFBc0Isc0JBQXNCLENBQUMseUJBQXlCLEVBQUUseUJBQXlCLEVBQUUsU0FBUyxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsRUFBRSxxQkFBcUIsRUFBRSxnQkFBZ0IsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLEVBQUUsOEJBQThCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLHlCQUF5QixDQUFDLENBS2pUO0FBQ0QsTUFBTSxNQUFNLDhCQUE4QixHQUFHO0lBQzNDLHlCQUF5QixFQUFFLHlCQUF5QixDQUFDO0lBQ3JELFNBQVMsRUFBRSxlQUFlLENBQUMsR0FBRyxDQUFDLENBQUM7Q0FDakMsQ0FBQTtBQUVELE1BQU0sTUFBTSwrQkFBK0IsR0FBRyxrQkFBa0IsQ0FBQztBQUdqRSx3QkFBc0IscUJBQXFCLENBQUMseUJBQXlCLEVBQUUseUJBQXlCLEVBQUUsU0FBUyxFQUFFLGVBQWUsQ0FBQyxHQUFHLENBQUMsRUFBRSw2QkFBNkIsRUFBRSxlQUFlLEVBQUUsa0JBQWtCLENBQUMsRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FLdlA7QUFDRCxNQUFNLE1BQU0sK0JBQStCLEdBQUc7SUFDNUMsZ0JBQWdCLEVBQUUsY0FBYyxDQUFDO0lBQ2pDLGdCQUFnQixFQUFFLGVBQWUsQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUN4QyxLQUFLLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxDQUFDO0lBQ3RDLGFBQWEsRUFBRSxzQkFBc0IsQ0FBQztDQUN2QyxDQUFBO0FBRUQsTUFBTSxNQUFNLGdDQUFnQyxHQUFHLGtCQUFrQixDQUFDO0FBR2xFLHdCQUFzQixzQkFBc0IsQ0FBQyxnQkFBZ0IsRUFBRSxjQUFjLEVBQUUsZ0JBQWdCLEVBQUUsZUFBZSxDQUFDLElBQUksQ0FBQyxFQUFFLEtBQUssRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLEVBQUUsYUFBYSxFQUFFLHNCQUFzQixFQUFFLDhCQUE4QixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUszVDtBQUNELE1BQU0sTUFBTSxnQ0FBZ0MsR0FBRztJQUM3QyxnQkFBZ0IsRUFBRSxjQUFjLENBQUM7Q0FDbEMsQ0FBQTtBQUVELE1BQU0sTUFBTSxpQ0FBaUMsR0FBRyxrQkFBa0IsQ0FBQztBQUduRSx3QkFBc0IsdUJBQXVCLENBQUMsZ0JBQWdCLEVBQUUsY0FBYyxFQUFFLCtCQUErQixFQUFFLGVBQWUsRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUt0TTtBQUNELE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUN2QyxDQUFDLEVBQUUsa0JBQWtCLENBQUM7SUFDdEIsQ0FBQyxFQUFFLGtCQUFrQixDQUFDO0NBQ3ZCLENBQUE7QUFFRCxNQUFNLE1BQU0sMkJBQTJCLEdBQUcsa0JBQWtCLENBQUM7QUFHN0Qsd0JBQXNCLGlCQUFpQixDQUFDLENBQUMsRUFBRSxrQkFBa0IsRUFBRSxDQUFDLEVBQUUsa0JBQWtCLEVBQUUseUJBQXlCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBS3RNO0FBQ0QsTUFBTSxNQUFNLHVCQUF1QixHQUFHO0lBQ3BDLENBQUMsRUFBRSxrQkFBa0IsQ0FBQztJQUN0QixDQUFDLEVBQUUsa0JBQWtCLENBQUM7Q0FDdkIsQ0FBQTtBQUVELE1BQU0sTUFBTSx3QkFBd0IsR0FBRyxrQkFBa0IsQ0FBQztBQUcxRCx3QkFBc0IsY0FBYyxDQUFDLENBQUMsRUFBRSxrQkFBa0IsRUFBRSxDQUFDLEVBQUUsa0JBQWtCLEVBQUUsc0JBQXNCLEVBQUUsZUFBZSxFQUFFLGtCQUFrQixDQUFDLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBS2hNIn0=
@@ -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,aAAa,GAAG;IAC1B,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,eAAe,EAAE,aAAa,CAAC;IAC/B,gBAAgB,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,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,eAAe,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,CAAC,IAAI,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,CAKzT;AACD,MAAM,MAAM,gCAAgC,GAAG;IAC7C,eAAe,EAAE,aAAa,CAAC;CAChC,CAAA;AAED,MAAM,MAAM,iCAAiC,GAAG,kBAAkB,CAAC;AAGnE,wBAAsB,uBAAuB,CAAC,eAAe,EAAE,aAAa,EAAE,+BAA+B,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAKpM;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"}
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,gBAAgB,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,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,gBAAgB,EAAE,eAAe,CAAC,IAAI,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,CAK3T;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"}
@@ -64,10 +64,10 @@ 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 MockRollupTxBasePublic(civc_proof_data, verification_key, proof, public_inputs, MockRollupTxBasePublic_circuit, foreignCallHandler) {
67
+ export async function MockRollupTxBasePublic(chonk_proof_data, verification_key, proof, public_inputs, MockRollupTxBasePublic_circuit, foreignCallHandler) {
68
68
  const program = new Noir(MockRollupTxBasePublic_circuit);
69
69
  const args = {
70
- civc_proof_data,
70
+ chonk_proof_data,
71
71
  verification_key,
72
72
  proof,
73
73
  public_inputs
@@ -75,10 +75,10 @@ export async function MockRollupTxBasePublic(civc_proof_data, verification_key,
75
75
  const { returnValue } = await program.execute(args, foreignCallHandler);
76
76
  return returnValue;
77
77
  }
78
- export async function MockRollupTxBasePrivate(civc_proof_data, MockRollupTxBasePrivate_circuit, foreignCallHandler) {
78
+ export async function MockRollupTxBasePrivate(chonk_proof_data, MockRollupTxBasePrivate_circuit, foreignCallHandler) {
79
79
  const program = new Noir(MockRollupTxBasePrivate_circuit);
80
80
  const args = {
81
- civc_proof_data
81
+ chonk_proof_data
82
82
  };
83
83
  const { returnValue } = await program.execute(args, foreignCallHandler);
84
84
  return returnValue;
package/dest/witgen.d.ts CHANGED
@@ -1,5 +1,5 @@
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/fields';
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';
@@ -56,7 +56,7 @@ declare const MockRollupRootVk: {
56
56
  keyAsFields: any;
57
57
  };
58
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, }: {
59
+ export declare function getVkAsFields({ keyAsFields }: {
60
60
  keyAsFields: string[];
61
61
  }): Promise<VerificationKey<typeof MEGA_VK_LENGTH_IN_FIELDS>>;
62
62
  export declare const MOCK_MAX_COMMITMENTS_PER_TX = 4;
@@ -75,7 +75,7 @@ export declare function witnessGenMockPublicBaseCircuit(args: MockRollupTxBasePu
75
75
  export declare function witnessGenMockRollupTxBasePrivateCircuit(args: MockRollupTxBasePrivateInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
76
76
  export declare function witnessGenMockRollupTxMergeCircuit(args: MockRollupTxMergeInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
77
77
  export declare function witnessGenMockRollupRootCircuit(args: MockRollupRootInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
78
- export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[string[], Uint8Array[], KernelPublicInputs, string[]]>;
78
+ export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[Uint8Array[], Uint8Array[], KernelPublicInputs, Uint8Array[]]>;
79
79
  export declare function mapRecursiveProofToNoir<N extends number>(proof: RecursiveProof<N>): FixedLengthArray<string, N>;
80
80
  export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
81
81
  export declare function mapVerificationKeyToNoir<N extends number>(vk: VerificationKeyAsFields, len: N): {
@@ -83,4 +83,4 @@ export declare function mapVerificationKeyToNoir<N extends number>(vk: Verificat
83
83
  hash: string;
84
84
  };
85
85
  export declare function mapAvmPublicInputsToNoir(publicInputs: AvmCircuitPublicInputs): FixedLengthArray<string, typeof AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH>;
86
- //# sourceMappingURL=witgen.d.ts.map
86
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2l0Z2VuLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvd2l0Z2VuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxnQ0FBZ0MsRUFDaEMsb0NBQW9DLEVBQ3BDLHdCQUF3QixFQUN6QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzNELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBSzVELE9BQU8scUJBQXFCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3hGLE9BQU8sb0JBQW9CLE1BQU0sOEJBQThCLENBQXVCO0FBQ3RGLE9BQU8saUJBQWlCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3BGLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8scUJBQXFCLE1BQU0sb0NBQW9DLENBQXVCO0FBQzdGLE9BQU8sOEJBQThCLE1BQU0sK0NBQStDLENBQXVCO0FBQ2pILE9BQU8sNkJBQTZCLE1BQU0sOENBQThDLENBQXVCO0FBQy9HLE9BQU8sd0JBQXdCLE1BQU0sd0NBQXdDLENBQXVCO0FBQ3BHLE9BQU8sS0FBSyxFQUNWLG1CQUFtQixFQUNuQixlQUFlLEVBQ2Ysa0JBQWtCLEVBQ2xCLGdCQUFnQixFQUNoQixrQkFBa0IsRUFDbEIsbUJBQW1CLEVBQ25CLDhCQUE4QixFQUM5QiwrQkFBK0IsRUFDL0IsK0JBQStCLEVBQy9CLDhCQUE4QixFQUM5Qix1QkFBdUIsRUFDdkIsZ0NBQWdDLEVBQ2hDLCtCQUErQixFQUMvQiwwQkFBMEIsRUFDMUIseUJBQXlCLEVBQ3pCLGtCQUFrQixFQUNsQixlQUFlLEVBQ2hCLE1BQU0sa0JBQWtCLENBQUM7QUFXMUIsUUFBQSxNQUFNLGdCQUFnQjs7O0NBQThDLENBQUM7QUFDckUsUUFBQSxNQUFNLGVBQWU7OztDQUE2QyxDQUFDO0FBQ25FLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBQ25GLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBRW5GLFFBQUEsTUFBTSx5QkFBeUI7OztDQUF1RCxDQUFDO0FBQ3ZGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSxtQkFBbUI7OztDQUFpRCxDQUFDO0FBQzNFLFFBQUEsTUFBTSxnQkFBZ0I7OztDQUE4QyxDQUFDO0FBR3JFLE9BQU8sRUFDTCxxQkFBcUIsRUFDckIsZ0JBQWdCLEVBQ2hCLG9CQUFvQixFQUNwQixlQUFlLEVBQ2YsNEJBQTRCLEVBQzVCLHVCQUF1QixFQUN2Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLDZCQUE2QixFQUM3Qix3QkFBd0IsRUFDeEIsNEJBQTRCLEVBQzVCLGlCQUFpQixFQUNqQix1QkFBdUIsRUFDdkIsOEJBQThCLEVBQzlCLHlCQUF5QixFQUN6Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLHdCQUF3QixFQUN4QixtQkFBbUIsRUFDbkIscUJBQXFCLEVBQ3JCLGdCQUFnQixHQUNqQixDQUFDO0FBTUYsd0JBQXNCLGFBQWEsQ0FBQyxFQUNsQyxXQUFXLEVBQ1osRUFBRTtJQUNELFdBQVcsRUFBRSxNQUFNLEVBQUUsQ0FBQztDQUN2QixHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsT0FBTyx3QkFBd0IsQ0FBQyxDQUFDLENBSTVEO0FBRUQsZUFBTyxNQUFNLDJCQUEyQixJQUFJLENBQUM7QUFlN0MsTUFBTSxXQUFXLGdCQUFnQixDQUFDLGdCQUFnQjtJQUNoRCxPQUFPLEVBQUUsVUFBVSxDQUFDO0lBQ3BCLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztDQUNoQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLG1CQUFtQixHQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FPNUM7QUFFRCx3QkFBc0IsOEJBQThCLENBQ2xELElBQUksRUFBRSxrQkFBa0IsR0FDdkIsT0FBTyxDQUFDLGdCQUFnQixDQUFDLGVBQWUsQ0FBQyxDQUFDLENBTzVDO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLDJCQUEyQixDQUMvQyxJQUFJLEVBQUUsbUJBQW1CLEdBQ3hCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHdDQUF3QyxDQUM1RCxJQUFJLEVBQUUsZ0NBQWdDLEdBQ3JDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLGtDQUFrQyxDQUN0RCxJQUFJLEVBQUUsMEJBQTBCLEdBQy9CLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsdUJBQXVCLEdBQzVCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHVCQUF1QixDQUUzQyxrQkFBa0IsRUFBRSxNQUFNLEVBRzFCLGlCQUFpQixFQUFFLE1BQU0sR0FDeEIsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsVUFBVSxFQUFFLEVBQUUsa0JBQWtCLEVBQUUsVUFBVSxFQUFFLENBQUMsQ0FBQyxDQXFJekU7QUFFRCx3QkFBZ0IsdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FFL0c7QUFFRCx3QkFBZ0IsaUJBQWlCLENBQUMsS0FBSyxFQUFFLEVBQUUsRUFBRSxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLG9DQUFvQyxDQUFDLENBS3BIO0FBRUQsd0JBQWdCLHdCQUF3QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQ3ZELEVBQUUsRUFBRSx1QkFBdUIsRUFDM0IsR0FBRyxFQUFFLENBQUMsR0FDTDtJQUNELEdBQUcsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDakMsSUFBSSxFQUFFLE1BQU0sQ0FBQztDQUNkLENBUUE7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLFlBQVksRUFBRSxzQkFBc0IsR0FDbkMsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLE9BQU8sZ0NBQWdDLENBQUMsQ0FNbkUifQ==
@@ -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,0BAA0B,CAAC;AAG9C,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;AAI5D,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,GACZ,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,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC,CAsHjE;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"}
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,10 +1,11 @@
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/fields';
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
  };
@@ -284,11 +285,25 @@ numReaderAppCalls) {
284
285
  witnessStack.push(hidingWitnessGenResult.witness);
285
286
  bytecodes.push(MockHidingCircuit.bytecode);
286
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);
287
302
  return [
288
- bytecodes,
289
- witnessStack,
303
+ rawBytecodes,
304
+ rawWitnessStack,
290
305
  hidingWitnessGenResult.publicInputs,
291
- vks
306
+ rawVks
292
307
  ];
293
308
  }
294
309
  export function mapRecursiveProofToNoir(proof) {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/ivc-integration",
3
- "version": "3.0.0-devnet.5",
3
+ "version": "3.0.0-devnet.6-patch.1",
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 && tsc -b && rm -rf dest && webpack",
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:non-browser": "RAYON_NUM_THREADS=4 NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --testPathIgnorePatterns=browser --passWithNoTests ",
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 -b --watch",
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,14 +59,14 @@
62
59
  ]
63
60
  },
64
61
  "dependencies": {
65
- "@aztec/bb.js": "3.0.0-devnet.5",
66
- "@aztec/constants": "3.0.0-devnet.5",
67
- "@aztec/foundation": "3.0.0-devnet.5",
68
- "@aztec/noir-noir_codegen": "3.0.0-devnet.5",
69
- "@aztec/noir-noir_js": "3.0.0-devnet.5",
70
- "@aztec/noir-noirc_abi": "3.0.0-devnet.5",
71
- "@aztec/noir-types": "3.0.0-devnet.5",
72
- "@aztec/stdlib": "3.0.0-devnet.5",
62
+ "@aztec/bb.js": "3.0.0-devnet.6-patch.1",
63
+ "@aztec/constants": "3.0.0-devnet.6-patch.1",
64
+ "@aztec/foundation": "3.0.0-devnet.6-patch.1",
65
+ "@aztec/noir-noir_codegen": "3.0.0-devnet.6-patch.1",
66
+ "@aztec/noir-noir_js": "3.0.0-devnet.6-patch.1",
67
+ "@aztec/noir-noirc_abi": "3.0.0-devnet.6-patch.1",
68
+ "@aztec/noir-types": "3.0.0-devnet.6-patch.1",
69
+ "@aztec/stdlib": "3.0.0-devnet.6-patch.1",
73
70
  "change-case": "^5.4.4",
74
71
  "pako": "^2.1.0",
75
72
  "playwright": "1.49.0",
@@ -77,18 +74,19 @@
77
74
  "tslib": "^2.4.0"
78
75
  },
79
76
  "devDependencies": {
80
- "@aztec/bb-prover": "3.0.0-devnet.5",
81
- "@aztec/kv-store": "3.0.0-devnet.5",
82
- "@aztec/noir-protocol-circuits-types": "3.0.0-devnet.5",
83
- "@aztec/noir-test-contracts.js": "3.0.0-devnet.5",
84
- "@aztec/simulator": "3.0.0-devnet.5",
85
- "@aztec/telemetry-client": "3.0.0-devnet.5",
86
- "@aztec/world-state": "3.0.0-devnet.5",
77
+ "@aztec/bb-prover": "3.0.0-devnet.6-patch.1",
78
+ "@aztec/kv-store": "3.0.0-devnet.6-patch.1",
79
+ "@aztec/noir-protocol-circuits-types": "3.0.0-devnet.6-patch.1",
80
+ "@aztec/noir-test-contracts.js": "3.0.0-devnet.6-patch.1",
81
+ "@aztec/simulator": "3.0.0-devnet.6-patch.1",
82
+ "@aztec/telemetry-client": "3.0.0-devnet.6-patch.1",
83
+ "@aztec/world-state": "3.0.0-devnet.6-patch.1",
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",
@@ -4,8 +4,6 @@ import {
4
4
  PUBLIC_INPUTS_FILENAME,
5
5
  type UltraHonkFlavor,
6
6
  VK_FILENAME,
7
- executeBbClientIvcProof,
8
- extractVkData,
9
7
  generateAvmProof,
10
8
  generateProof,
11
9
  readProofsFromOutputDirectory,
@@ -15,75 +13,42 @@ import {
15
13
  import {
16
14
  AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED,
17
15
  AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED,
18
- CIVC_PROOF_LENGTH,
16
+ CHONK_PROOF_LENGTH,
17
+ HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE,
19
18
  NESTED_RECURSIVE_PROOF_LENGTH,
20
19
  RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
21
20
  } from '@aztec/constants';
22
- import { Fr } from '@aztec/foundation/fields';
21
+ import { Fr } from '@aztec/foundation/curves/bn254';
23
22
  import type { Logger } from '@aztec/foundation/log';
24
23
  import { BufferReader } from '@aztec/foundation/serialize';
25
24
  import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
26
- import { type ProofAndVerificationKey, makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
25
+ import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
27
26
  import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
28
- import type { Proof } from '@aztec/stdlib/proofs';
27
+ import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
29
28
  import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
30
29
  import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
31
30
 
32
31
  import * as fs from 'fs/promises';
33
- import { Encoder } from 'msgpackr';
34
32
  import * as path from 'path';
35
33
 
36
- /**
37
- * Converts verification key bytes from a compiled circuit to VerificationKeyData format
38
- * @param vkBytes - The verification key bytes from the circuit
39
- * @returns The verification key data
40
- */
41
- async function convertVkBytesToVkData(vkBytes: Buffer): Promise<VerificationKeyData> {
42
- // Convert binary to field elements (32 bytes per field)
43
- const numFields = vkBytes.length / Fr.SIZE_IN_BYTES;
44
- const reader = BufferReader.asReader(vkBytes);
45
- const fields = reader.readArray(numFields, Fr);
34
+ export async function proofBytesToRecursiveProof(
35
+ proofAsFields: Uint8Array[],
36
+ vkBytes: Uint8Array,
37
+ ): Promise<RecursiveProof<typeof CHONK_PROOF_LENGTH>> {
38
+ const vk = await VerificationKeyAsFields.fromFrBuffer(Buffer.from(vkBytes));
39
+ const numCustomPublicInputs = vk.numPublicInputs - HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE;
40
+ // Convert Uint8Array fields to Fr instances
41
+ const fields = proofAsFields.map(f => Fr.fromBuffer(Buffer.from(f)));
46
42
 
47
- const vkAsFields = await VerificationKeyAsFields.fromKey(fields);
48
- return new VerificationKeyData(vkAsFields, vkBytes);
49
- }
43
+ // Slice off custom public inputs from the beginning.
44
+ const fieldsWithoutPublicInputs = fields.slice(numCustomPublicInputs);
50
45
 
51
- export async function proveClientIVC(
52
- bbBinaryPath: string,
53
- bbWorkingDirectory: string,
54
- witnessStack: Uint8Array[],
55
- bytecodes: string[],
56
- vks: string[],
57
- logger: Logger,
58
- ): Promise<ProofAndVerificationKey<typeof CIVC_PROOF_LENGTH>> {
59
- const stepToStruct = (bytecode: string, index: number) => {
60
- return {
61
- bytecode: Buffer.from(bytecode, 'base64'),
62
- witness: witnessStack[index],
63
- vk: Buffer.from(vks[index], 'hex'),
64
- functionName: `unknown_${index}`,
65
- };
66
- };
67
- const encoded = new Encoder({ useRecords: false }).pack(bytecodes.map(stepToStruct));
68
- const ivcInputsPath = path.join(bbWorkingDirectory, 'ivc-inputs.msgpack');
69
- await fs.writeFile(ivcInputsPath, encoded);
70
-
71
- const provingResult = await executeBbClientIvcProof(
72
- bbBinaryPath,
73
- bbWorkingDirectory,
74
- ivcInputsPath,
75
- logger.info,
76
- true,
77
- );
46
+ // Convert fields to binary buffer
47
+ const proofBuffer = Buffer.concat(proofAsFields.slice(numCustomPublicInputs));
78
48
 
79
- if (provingResult.status === BB_RESULT.FAILURE) {
80
- throw new Error(provingResult.reason);
81
- }
82
-
83
- const vk = await extractVkData(provingResult.vkDirectoryPath!);
84
- const proof = await readProofsFromOutputDirectory(provingResult.proofPath!, vk, CIVC_PROOF_LENGTH, logger);
85
-
86
- return makeProofAndVerificationKey(proof, vk);
49
+ // Create Proof directly (not using fromBuffer which expects different format)
50
+ const proof = new Proof(proofBuffer, numCustomPublicInputs);
51
+ return new RecursiveProof(fieldsWithoutPublicInputs, proof, true, CHONK_PROOF_LENGTH);
87
52
  }
88
53
 
89
54
  async function verifyProofWithKey(
@@ -136,7 +101,7 @@ async function proveRollupCircuit<T extends UltraHonkFlavor, ProofLength extends
136
101
  throw new Error(`Failed to generate proof for ${name} with flavor ${flavor}`);
137
102
  }
138
103
 
139
- const vk = await convertVkBytesToVkData(vkBuffer);
104
+ const vk = await VerificationKeyData.fromFrBuffer(vkBuffer);
140
105
  const proof = await readProofsFromOutputDirectory(proofResult.proofPath!, vk, proofLength, logger);
141
106
 
142
107
  await verifyProofWithKey(pathToBB, workingDirectory, vk, proof.binaryProof, flavor, logger);
package/src/serve.ts CHANGED
@@ -1,12 +1,27 @@
1
+ import { AztecClientBackend, Barretenberg } from '@aztec/bb.js';
1
2
  import { createLogger } from '@aztec/foundation/log';
2
3
 
3
- import { proveThenVerifyAztecClient } from './prove_wasm.js';
4
- import { generateTestingIVCStack } from './witgen.js';
4
+ import {
5
+ MockAppCreatorCircuit,
6
+ MockHidingCircuit,
7
+ MockPrivateKernelInitCircuit,
8
+ MockPrivateKernelTailCircuit,
9
+ generateTestingIVCStack,
10
+ } from './witgen.js';
5
11
 
6
12
  const logger = createLogger('aztec:ivc-test');
7
13
 
8
14
  /* eslint-disable no-console */
9
15
 
16
+ // Expose APIs on window for browser testing
17
+ (window as any).Barretenberg = Barretenberg;
18
+ (window as any).AztecClientBackend = AztecClientBackend;
19
+ (window as any).generateTestingIVCStack = generateTestingIVCStack;
20
+ (window as any).MockAppCreatorCircuit = MockAppCreatorCircuit;
21
+ (window as any).MockPrivateKernelInitCircuit = MockPrivateKernelInitCircuit;
22
+ (window as any).MockPrivateKernelTailCircuit = MockPrivateKernelTailCircuit;
23
+ (window as any).MockHidingCircuit = MockHidingCircuit;
24
+
10
25
  // Function to set up the output element and redirect all console output
11
26
  function setupConsoleOutput() {
12
27
  const container = document.createElement('div');
@@ -78,20 +93,32 @@ function setupConsoleOutput() {
78
93
  };
79
94
  }
80
95
 
81
- (window as any).proveThenVerifyAztecClient = proveThenVerifyAztecClient;
96
+ // Only set up the interactive UI if this is not being used for automated testing
97
+ if (!document.getElementById('status')) {
98
+ document.addEventListener('DOMContentLoaded', function () {
99
+ setupConsoleOutput(); // Initialize console output capture
100
+
101
+ const button = document.createElement('button');
102
+ button.innerText = 'Run Test';
103
+ // eslint-disable-next-line @typescript-eslint/no-misused-promises
104
+ button.addEventListener('click', async () => {
105
+ logger.info(`generating circuit and witness...`);
106
+ const [bytecodes, witnessStack, _publicInputs, precomputedVks] = await generateTestingIVCStack(1, 0);
107
+ logger.info(`done. proving and verifying...`);
108
+
109
+ const barretenberg = await Barretenberg.initSingleton({
110
+ threads: 16,
111
+ logger: (m: string) => logger.info(m),
112
+ });
113
+
114
+ const backend = new AztecClientBackend(bytecodes, barretenberg);
115
+ const [, proof, vk] = await backend.prove(witnessStack, precomputedVks);
116
+ const verified = await backend.verify(proof, vk);
82
117
 
83
- document.addEventListener('DOMContentLoaded', function () {
84
- setupConsoleOutput(); // Initialize console output capture
118
+ logger.info(`verified? ${verified}`);
85
119
 
86
- const button = document.createElement('button');
87
- button.innerText = 'Run Test';
88
- // eslint-disable-next-line @typescript-eslint/no-misused-promises
89
- button.addEventListener('click', async () => {
90
- logger.info(`generating circuit and witness...`);
91
- const [bytecodes, witnessStack, _publicInputs, precomputedVks] = await generateTestingIVCStack(1, 0);
92
- logger.info(`done. proving and verifying...`);
93
- const verified = await proveThenVerifyAztecClient(bytecodes, witnessStack, precomputedVks);
94
- logger.info(`verified? ${verified}`);
120
+ await Barretenberg.destroySingleton();
121
+ });
122
+ document.body.appendChild(button);
95
123
  });
96
- document.body.appendChild(button);
97
- });
124
+ }