@aztec/ivc-integration 3.0.0-devnet.6 → 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.
- package/artifacts/app_creator.json +36 -36
- package/artifacts/app_reader.json +36 -36
- package/artifacts/keys/avm.vk +0 -0
- package/artifacts/keys/mock_hiding.ivc.vk +0 -0
- package/artifacts/keys/mock_rollup_root_verifier.sol +86 -83
- package/artifacts/mock_hiding.json +129 -129
- package/artifacts/mock_private_kernel_init.json +131 -131
- package/artifacts/mock_private_kernel_inner.json +132 -132
- package/artifacts/mock_private_kernel_reset.json +129 -129
- package/artifacts/mock_private_kernel_tail.json +129 -129
- package/artifacts/mock_rollup_root.json +65 -65
- package/artifacts/mock_rollup_tx_base_private.json +118 -118
- package/artifacts/mock_rollup_tx_base_public.json +118 -118
- package/artifacts/mock_rollup_tx_merge.json +116 -116
- 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 +17 -38
- package/dest/scripts/generate_declaration_files.d.ts +1 -1
- package/dest/scripts/generate_ts_from_abi.d.ts +1 -1
- package/dest/serve.d.ts +1 -1
- package/dest/serve.js +34 -17
- package/dest/types/index.d.ts +8 -8
- package/dest/types/index.d.ts.map +1 -1
- package/dest/types/index.js +4 -4
- package/dest/witgen.d.ts +4 -4
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +19 -4
- package/package.json +21 -23
- package/src/prove_native.ts +21 -56
- package/src/serve.ts +43 -16
- package/src/types/index.ts +9 -9
- package/src/witgen.ts +19 -3
- package/dest/prove_wasm.d.ts +0 -4
- package/dest/prove_wasm.d.ts.map +0 -1
- package/dest/prove_wasm.js +0 -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 {
|
|
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 */ //
|
|
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
|
-
|
|
49
|
-
document.
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
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
|
-
|
|
62
|
-
});
|
|
79
|
+
}
|
package/dest/types/index.d.ts
CHANGED
|
@@ -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
|
|
29
|
+
export type ChonkProofData = {
|
|
30
30
|
public_inputs: KernelPublicInputs;
|
|
31
|
-
proof: FixedLengthArray<Field,
|
|
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,
|
|
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
|
-
|
|
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(
|
|
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
|
-
|
|
212
|
+
chonk_proof_data: ChonkProofData;
|
|
213
213
|
};
|
|
214
214
|
export type MockRollupTxBasePrivateReturnType = RollupPublicInputs;
|
|
215
|
-
export declare function MockRollupTxBasePrivate(
|
|
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,
|
|
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"}
|
package/dest/types/index.js
CHANGED
|
@@ -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(
|
|
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
|
-
|
|
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(
|
|
78
|
+
export async function MockRollupTxBasePrivate(chonk_proof_data, MockRollupTxBasePrivate_circuit, foreignCallHandler) {
|
|
79
79
|
const program = new Noir(MockRollupTxBasePrivate_circuit);
|
|
80
80
|
const args = {
|
|
81
|
-
|
|
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/
|
|
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<[
|
|
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=
|
|
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,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/
|
|
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
|
-
|
|
289
|
-
|
|
303
|
+
rawBytecodes,
|
|
304
|
+
rawWitnessStack,
|
|
290
305
|
hidingWitnessGenResult.publicInputs,
|
|
291
|
-
|
|
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.6",
|
|
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 &&
|
|
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,14 +59,14 @@
|
|
|
62
59
|
]
|
|
63
60
|
},
|
|
64
61
|
"dependencies": {
|
|
65
|
-
"@aztec/bb.js": "3.0.0-devnet.6",
|
|
66
|
-
"@aztec/constants": "3.0.0-devnet.6",
|
|
67
|
-
"@aztec/foundation": "3.0.0-devnet.6",
|
|
68
|
-
"@aztec/noir-noir_codegen": "3.0.0-devnet.6",
|
|
69
|
-
"@aztec/noir-noir_js": "3.0.0-devnet.6",
|
|
70
|
-
"@aztec/noir-noirc_abi": "3.0.0-devnet.6",
|
|
71
|
-
"@aztec/noir-types": "3.0.0-devnet.6",
|
|
72
|
-
"@aztec/stdlib": "3.0.0-devnet.6",
|
|
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.6",
|
|
81
|
-
"@aztec/kv-store": "3.0.0-devnet.6",
|
|
82
|
-
"@aztec/noir-protocol-circuits-types": "3.0.0-devnet.6",
|
|
83
|
-
"@aztec/noir-test-contracts.js": "3.0.0-devnet.6",
|
|
84
|
-
"@aztec/simulator": "3.0.0-devnet.6",
|
|
85
|
-
"@aztec/telemetry-client": "3.0.0-devnet.6",
|
|
86
|
-
"@aztec/world-state": "3.0.0-devnet.6",
|
|
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",
|
package/src/prove_native.ts
CHANGED
|
@@ -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
|
-
|
|
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/
|
|
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 {
|
|
25
|
+
import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
|
|
27
26
|
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
28
|
-
import
|
|
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
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
// Convert
|
|
43
|
-
const
|
|
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
|
-
|
|
48
|
-
|
|
49
|
-
}
|
|
43
|
+
// Slice off custom public inputs from the beginning.
|
|
44
|
+
const fieldsWithoutPublicInputs = fields.slice(numCustomPublicInputs);
|
|
50
45
|
|
|
51
|
-
|
|
52
|
-
|
|
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
|
-
|
|
80
|
-
|
|
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
|
|
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 {
|
|
4
|
-
|
|
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
|
-
|
|
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
|
-
|
|
84
|
-
setupConsoleOutput(); // Initialize console output capture
|
|
118
|
+
logger.info(`verified? ${verified}`);
|
|
85
119
|
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
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
|
-
|
|
97
|
-
});
|
|
124
|
+
}
|