@aztec/stdlib 2.0.0-nightly.20250813 → 2.0.0-nightly.20250815
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/dest/avm/avm.d.ts +3 -3
- package/dest/avm/avm_proving_request.d.ts +1 -1
- package/dest/interfaces/private_kernel_prover.d.ts +3 -1
- package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +1 -1
- package/dest/kernel/hiding_kernel_private_inputs.d.ts +19 -0
- package/dest/kernel/hiding_kernel_private_inputs.d.ts.map +1 -0
- package/dest/kernel/hiding_kernel_private_inputs.js +34 -0
- package/dest/kernel/index.d.ts +1 -0
- package/dest/kernel/index.d.ts.map +1 -1
- package/dest/kernel/index.js +1 -0
- package/dest/stats/stats.d.ts +1 -1
- package/dest/stats/stats.d.ts.map +1 -1
- package/package.json +7 -7
- package/src/interfaces/private_kernel_prover.ts +10 -0
- package/src/kernel/hiding_kernel_private_inputs.ts +37 -0
- package/src/kernel/index.ts +1 -0
- package/src/stats/stats.ts +2 -0
package/dest/avm/avm.d.ts
CHANGED
|
@@ -1975,7 +1975,6 @@ export declare class AvmTxHint {
|
|
|
1975
1975
|
}, "strip", z.ZodTypeAny, {
|
|
1976
1976
|
hash: string;
|
|
1977
1977
|
gasSettings: GasSettings;
|
|
1978
|
-
feePayer: AztecAddress;
|
|
1979
1978
|
nonRevertibleAccumulatedData: {
|
|
1980
1979
|
noteHashes: Fr[];
|
|
1981
1980
|
nullifiers: Fr[];
|
|
@@ -1986,6 +1985,7 @@ export declare class AvmTxHint {
|
|
|
1986
1985
|
nullifiers: Fr[];
|
|
1987
1986
|
l2ToL1Messages: ScopedL2ToL1Message[];
|
|
1988
1987
|
};
|
|
1988
|
+
feePayer: AztecAddress;
|
|
1989
1989
|
effectiveGasFees: GasFees;
|
|
1990
1990
|
setupEnqueuedCalls: PublicCallRequestWithCalldata[];
|
|
1991
1991
|
appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
|
|
@@ -2403,7 +2403,6 @@ export declare class AvmExecutionHints {
|
|
|
2403
2403
|
}, "strip", z.ZodTypeAny, {
|
|
2404
2404
|
hash: string;
|
|
2405
2405
|
gasSettings: GasSettings;
|
|
2406
|
-
feePayer: AztecAddress;
|
|
2407
2406
|
nonRevertibleAccumulatedData: {
|
|
2408
2407
|
noteHashes: Fr[];
|
|
2409
2408
|
nullifiers: Fr[];
|
|
@@ -2414,6 +2413,7 @@ export declare class AvmExecutionHints {
|
|
|
2414
2413
|
nullifiers: Fr[];
|
|
2415
2414
|
l2ToL1Messages: ScopedL2ToL1Message[];
|
|
2416
2415
|
};
|
|
2416
|
+
feePayer: AztecAddress;
|
|
2417
2417
|
effectiveGasFees: GasFees;
|
|
2418
2418
|
setupEnqueuedCalls: PublicCallRequestWithCalldata[];
|
|
2419
2419
|
appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
|
|
@@ -5251,7 +5251,6 @@ export declare class AvmCircuitInputs {
|
|
|
5251
5251
|
}, "strip", z.ZodTypeAny, {
|
|
5252
5252
|
hash: string;
|
|
5253
5253
|
gasSettings: GasSettings;
|
|
5254
|
-
feePayer: AztecAddress;
|
|
5255
5254
|
nonRevertibleAccumulatedData: {
|
|
5256
5255
|
noteHashes: Fr[];
|
|
5257
5256
|
nullifiers: Fr[];
|
|
@@ -5262,6 +5261,7 @@ export declare class AvmCircuitInputs {
|
|
|
5262
5261
|
nullifiers: Fr[];
|
|
5263
5262
|
l2ToL1Messages: ScopedL2ToL1Message[];
|
|
5264
5263
|
};
|
|
5264
|
+
feePayer: AztecAddress;
|
|
5265
5265
|
effectiveGasFees: GasFees;
|
|
5266
5266
|
setupEnqueuedCalls: PublicCallRequestWithCalldata[];
|
|
5267
5267
|
appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
|
|
@@ -287,7 +287,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
287
287
|
}, "strip", z.ZodTypeAny, {
|
|
288
288
|
hash: string;
|
|
289
289
|
gasSettings: import("../gas/gas_settings.js").GasSettings;
|
|
290
|
-
feePayer: import("../aztec-address/index.js").AztecAddress;
|
|
291
290
|
nonRevertibleAccumulatedData: {
|
|
292
291
|
noteHashes: import("@aztec/foundation/schemas").Fr[];
|
|
293
292
|
nullifiers: import("@aztec/foundation/schemas").Fr[];
|
|
@@ -298,6 +297,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
298
297
|
nullifiers: import("@aztec/foundation/schemas").Fr[];
|
|
299
298
|
l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
|
|
300
299
|
};
|
|
300
|
+
feePayer: import("../aztec-address/index.js").AztecAddress;
|
|
301
301
|
effectiveGasFees: import("../gas/gas_fees.js").GasFees;
|
|
302
302
|
setupEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
|
|
303
303
|
appLogicEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type { PrivateExecutionStep, PrivateKernelCircuitPublicInputs, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelResetCircuitPrivateInputs, PrivateKernelSimulateOutput, PrivateKernelTailCircuitPrivateInputs, PrivateKernelTailCircuitPublicInputs } from '../kernel/index.js';
|
|
1
|
+
import type { HidingKernelToPublicPrivateInputs, HidingKernelToRollupPrivateInputs, PrivateExecutionStep, PrivateKernelCircuitPublicInputs, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelResetCircuitPrivateInputs, PrivateKernelSimulateOutput, PrivateKernelTailCircuitPrivateInputs, PrivateKernelTailCircuitPublicInputs } from '../kernel/index.js';
|
|
2
2
|
import type { ClientIvcProof } from '../proofs/client_ivc_proof.js';
|
|
3
3
|
/**
|
|
4
4
|
* PrivateKernelProver provides functionality to simulate and validate circuits, and retrieve
|
|
@@ -61,6 +61,8 @@ export interface PrivateKernelProver {
|
|
|
61
61
|
* @returns A Promise resolving to a ProofOutput object containing public inputs an empty kernel proof.
|
|
62
62
|
*/
|
|
63
63
|
simulateTail(privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
|
|
64
|
+
generateHidingToRollupOutput(inputs: HidingKernelToRollupPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
|
|
65
|
+
generateHidingToPublicOutput(inputs: HidingKernelToPublicPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
|
|
64
66
|
/**
|
|
65
67
|
* Based of a program stack, create a folding proof.
|
|
66
68
|
* @param acirs The program bytecode.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_kernel_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/private_kernel_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,gCAAgC,EAChC,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,2BAA2B,EAC3B,qCAAqC,EACrC,oCAAoC,EACrC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAEpE;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;;OAKG;IACH,kBAAkB,CAChB,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,YAAY,CACV,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,mBAAmB,CACjB,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,aAAa,CACX,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,mBAAmB,CACjB,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,aAAa,CACX,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,kBAAkB,CAChB,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E;;;;;OAKG;IACH,YAAY,CACV,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E;;;;OAIG;IACH,oBAAoB,CAAC,cAAc,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAEtF;;;;;OAKG;IACH,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACpF"}
|
|
1
|
+
{"version":3,"file":"private_kernel_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/private_kernel_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iCAAiC,EACjC,iCAAiC,EACjC,oBAAoB,EACpB,gCAAgC,EAChC,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,2BAA2B,EAC3B,qCAAqC,EACrC,oCAAoC,EACrC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAEpE;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;;OAKG;IACH,kBAAkB,CAChB,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,YAAY,CACV,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,mBAAmB,CACjB,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,aAAa,CACX,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,mBAAmB,CACjB,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,aAAa,CACX,wBAAwB,EAAE,sCAAsC,GAC/D,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC,CAAC;IAE1E;;;;;OAKG;IACH,kBAAkB,CAChB,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E;;;;;OAKG;IACH,YAAY,CACV,uBAAuB,EAAE,qCAAqC,GAC7D,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E,4BAA4B,CAC1B,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E,4BAA4B,CAC1B,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAE9E;;;;OAIG;IACH,oBAAoB,CAAC,cAAc,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAEtF;;;;;OAKG;IACH,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACpF"}
|
|
@@ -317,7 +317,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
317
317
|
}, "strip", z.ZodTypeAny, {
|
|
318
318
|
hash: string;
|
|
319
319
|
gasSettings: import("../gas/gas_settings.js").GasSettings;
|
|
320
|
-
feePayer: import("../aztec-address/index.js").AztecAddress;
|
|
321
320
|
nonRevertibleAccumulatedData: {
|
|
322
321
|
noteHashes: import("@aztec/foundation/schemas").Fr[];
|
|
323
322
|
nullifiers: import("@aztec/foundation/schemas").Fr[];
|
|
@@ -328,6 +327,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
328
327
|
nullifiers: import("@aztec/foundation/schemas").Fr[];
|
|
329
328
|
l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
|
|
330
329
|
};
|
|
330
|
+
feePayer: import("../aztec-address/index.js").AztecAddress;
|
|
331
331
|
effectiveGasFees: import("../gas/gas_fees.js").GasFees;
|
|
332
332
|
setupEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
|
|
333
333
|
appLogicEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
import { BufferReader } from '@aztec/foundation/serialize';
|
|
2
|
+
import { VkData } from '../vks/index.js';
|
|
3
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
|
|
4
|
+
import { PrivateToRollupKernelCircuitPublicInputs } from './private_to_rollup_kernel_circuit_public_inputs.js';
|
|
5
|
+
export declare class HidingKernelToRollupPrivateInputs {
|
|
6
|
+
previousKernelPublicInputs: PrivateToRollupKernelCircuitPublicInputs;
|
|
7
|
+
previousKernelVkData: VkData;
|
|
8
|
+
constructor(previousKernelPublicInputs: PrivateToRollupKernelCircuitPublicInputs, previousKernelVkData: VkData);
|
|
9
|
+
toBuffer(): Buffer<ArrayBufferLike>;
|
|
10
|
+
static fromBuffer(buffer: Buffer | BufferReader): HidingKernelToRollupPrivateInputs;
|
|
11
|
+
}
|
|
12
|
+
export declare class HidingKernelToPublicPrivateInputs {
|
|
13
|
+
previousKernelPublicInputs: PrivateToPublicKernelCircuitPublicInputs;
|
|
14
|
+
previousKernelVkData: VkData;
|
|
15
|
+
constructor(previousKernelPublicInputs: PrivateToPublicKernelCircuitPublicInputs, previousKernelVkData: VkData);
|
|
16
|
+
toBuffer(): Buffer<ArrayBufferLike>;
|
|
17
|
+
static fromBuffer(buffer: Buffer | BufferReader): HidingKernelToPublicPrivateInputs;
|
|
18
|
+
}
|
|
19
|
+
//# sourceMappingURL=hiding_kernel_private_inputs.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"hiding_kernel_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/hiding_kernel_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAE/G,qBAAa,iCAAiC;IAEnC,0BAA0B,EAAE,wCAAwC;IACpE,oBAAoB,EAAE,MAAM;gBAD5B,0BAA0B,EAAE,wCAAwC,EACpE,oBAAoB,EAAE,MAAM;IAGrC,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;CAIhD;AAED,qBAAa,iCAAiC;IAEnC,0BAA0B,EAAE,wCAAwC;IACpE,oBAAoB,EAAE,MAAM;gBAD5B,0BAA0B,EAAE,wCAAwC,EACpE,oBAAoB,EAAE,MAAM;IAGrC,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;CAIhD"}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
2
|
+
import { VkData } from '../vks/index.js';
|
|
3
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
|
|
4
|
+
import { PrivateToRollupKernelCircuitPublicInputs } from './private_to_rollup_kernel_circuit_public_inputs.js';
|
|
5
|
+
export class HidingKernelToRollupPrivateInputs {
|
|
6
|
+
previousKernelPublicInputs;
|
|
7
|
+
previousKernelVkData;
|
|
8
|
+
constructor(previousKernelPublicInputs, previousKernelVkData){
|
|
9
|
+
this.previousKernelPublicInputs = previousKernelPublicInputs;
|
|
10
|
+
this.previousKernelVkData = previousKernelVkData;
|
|
11
|
+
}
|
|
12
|
+
toBuffer() {
|
|
13
|
+
return serializeToBuffer(this.previousKernelPublicInputs, this.previousKernelVkData);
|
|
14
|
+
}
|
|
15
|
+
static fromBuffer(buffer) {
|
|
16
|
+
const reader = BufferReader.asReader(buffer);
|
|
17
|
+
return new this(reader.readObject(PrivateToRollupKernelCircuitPublicInputs), reader.readObject(VkData));
|
|
18
|
+
}
|
|
19
|
+
}
|
|
20
|
+
export class HidingKernelToPublicPrivateInputs {
|
|
21
|
+
previousKernelPublicInputs;
|
|
22
|
+
previousKernelVkData;
|
|
23
|
+
constructor(previousKernelPublicInputs, previousKernelVkData){
|
|
24
|
+
this.previousKernelPublicInputs = previousKernelPublicInputs;
|
|
25
|
+
this.previousKernelVkData = previousKernelVkData;
|
|
26
|
+
}
|
|
27
|
+
toBuffer() {
|
|
28
|
+
return serializeToBuffer(this.previousKernelPublicInputs, this.previousKernelVkData);
|
|
29
|
+
}
|
|
30
|
+
static fromBuffer(buffer) {
|
|
31
|
+
const reader = BufferReader.asReader(buffer);
|
|
32
|
+
return new this(reader.readObject(PrivateToPublicKernelCircuitPublicInputs), reader.readObject(VkData));
|
|
33
|
+
}
|
|
34
|
+
}
|
package/dest/kernel/index.d.ts
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
export * from './claimed_length_array.js';
|
|
2
|
+
export * from './hiding_kernel_private_inputs.js';
|
|
2
3
|
export * from './private_to_rollup_accumulated_data.js';
|
|
3
4
|
export * from './private_to_rollup_kernel_circuit_public_inputs.js';
|
|
4
5
|
export * from './private_accumulated_data.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,yCAAyC,CAAC;AACxD,cAAc,qDAAqD,CAAC;AACpE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0BAA0B,CAAC;AACzC,cAAc,iDAAiD,CAAC;AAChE,cAAc,kDAAkD,CAAC;AACjE,cAAc,kDAAkD,CAAC;AACjE,cAAc,sCAAsC,CAAC;AACrD,cAAc,iDAAiD,CAAC;AAChE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,sCAAsC,CAAC;AACrD,cAAc,yCAAyC,CAAC;AACxD,cAAc,iDAAiD,CAAC;AAChE,cAAc,qDAAqD,CAAC;AACpE,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,6BAA6B,CAAC;AAC5C,cAAc,eAAe,CAAC;AAC9B,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,0BAA0B,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,mCAAmC,CAAC;AAClD,cAAc,yCAAyC,CAAC;AACxD,cAAc,qDAAqD,CAAC;AACpE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0BAA0B,CAAC;AACzC,cAAc,iDAAiD,CAAC;AAChE,cAAc,kDAAkD,CAAC;AACjE,cAAc,kDAAkD,CAAC;AACjE,cAAc,sCAAsC,CAAC;AACrD,cAAc,iDAAiD,CAAC;AAChE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,sCAAsC,CAAC;AACrD,cAAc,yCAAyC,CAAC;AACxD,cAAc,iDAAiD,CAAC;AAChE,cAAc,qDAAqD,CAAC;AACpE,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,6BAA6B,CAAC;AAC5C,cAAc,eAAe,CAAC;AAC9B,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,0BAA0B,CAAC"}
|
package/dest/kernel/index.js
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
export * from './claimed_length_array.js';
|
|
2
|
+
export * from './hiding_kernel_private_inputs.js';
|
|
2
3
|
export * from './private_to_rollup_accumulated_data.js';
|
|
3
4
|
export * from './private_to_rollup_kernel_circuit_public_inputs.js';
|
|
4
5
|
export * from './private_accumulated_data.js';
|
package/dest/stats/stats.d.ts
CHANGED
|
@@ -68,7 +68,7 @@ export type NodeSyncedChainHistoryStats = {
|
|
|
68
68
|
/** Size of the db in bytes. */
|
|
69
69
|
dbSize: number;
|
|
70
70
|
};
|
|
71
|
-
export type ClientCircuitName = 'private-kernel-init' | 'private-kernel-inner' | 'private-kernel-reset' | 'private-kernel-tail' | 'private-kernel-tail-to-public' | 'app-circuit';
|
|
71
|
+
export type ClientCircuitName = 'private-kernel-init' | 'private-kernel-inner' | 'private-kernel-reset' | 'private-kernel-tail' | 'private-kernel-tail-to-public' | 'hiding-kernel-to-rollup' | 'hiding-kernel-to-public' | 'app-circuit';
|
|
72
72
|
export type ServerCircuitName = 'base-parity' | 'root-parity' | 'private-base-rollup' | 'public-base-rollup' | 'merge-rollup' | 'block-root-rollup' | 'single-tx-block-root-rollup' | 'empty-block-root-rollup' | 'padding-block-root-rollup' | 'block-merge-rollup' | 'root-rollup' | 'avm-circuit' | 'tube-circuit';
|
|
73
73
|
export type CircuitName = ClientCircuitName | ServerCircuitName;
|
|
74
74
|
/** Stats for circuit simulation. */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../src/stats/stats.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,6CAA6C;IAC7C,SAAS,EAAE,yBAAyB,CAAC;IACrC,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG;IACzB,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IAC3B,6BAA6B;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,wBAAwB,CAAC;CACrC,GAAG,cAAc,GAChB,YAAY,CAAC;AAEf,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,uBAAuB,CAAC;CACpC,GAAG,cAAc,CAAC;AAEnB,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GAAG;IACxC,yBAAyB;IACzB,SAAS,EAAE,2BAA2B,CAAC;IACvC,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,qBAAqB,GACrB,+BAA+B,GAC/B,aAAa,CAAC;AAElB,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,aAAa,GACb,qBAAqB,GACrB,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,6BAA6B,GAC7B,yBAAyB,GACzB,2BAA2B,GAC3B,oBAAoB,GACpB,aAAa,GACb,aAAa,GACb,cAAc,CAAC;AAEnB,MAAM,MAAM,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;AAEhE,oCAAoC;AACpC,MAAM,MAAM,sBAAsB,GAAG;IACnC,yBAAyB;IACzB,SAAS,EAAE,oBAAoB,CAAC;IAChC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,yDAAyD;IACzD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,6BAA6B,GAAG;IAC1C,yBAAyB;IACzB,SAAS,EAAE,4BAA4B,CAAC;IACxC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,sDAAsD;IACtD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,kCAAkC;AAClC,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,kDAAkD;IAClD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,wBAAwB,GAAG;IACrC,yBAAyB;IACzB,SAAS,EAAE,sBAAsB,CAAC;IAClC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,4CAA4C;IAC5C,SAAS,EAAE,YAAY,GAAG,YAAY,CAAC;IACvC,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,kDAAkD;AAClD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4CAA4C;IAC5C,qBAAqB,EAAE,MAAM,CAAC;IAC9B,+CAA+C;IAC/C,sBAAsB,EAAE,MAAM,CAAC;CAChC,GAAG,YAAY,CAAC;AAEjB,uEAAuE;AACvE,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;IAC9B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,2BAA2B;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,CAAC;CAC7B,GAAG,YAAY,CAAC;AAEjB,sBAAsB;AACtB,MAAM,MAAM,OAAO,GAAG;IACpB,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,gBAAgB,EAAE,WAAW,GAAG,KAAK,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB;IAChB,QAAQ,EAAE,aAAa,GAAG,SAAS,CAAC;IACpC,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;CAC/B,GAAG,OAAO,CAAC;AAEZ,yEAAyE;AACzE,MAAM,MAAM,KAAK,GACb,kBAAkB,GAClB,mBAAmB,GACnB,sBAAsB,GACtB,6BAA6B,GAC7B,mBAAmB,GACnB,mBAAmB,GACnB,mBAAmB,GACnB,iBAAiB,GACjB,mBAAmB,GACnB,2BAA2B,GAC3B,gBAAgB,GAChB,kBAAkB,GAClB,kBAAkB,CAAC;AAEvB,+CAA+C;AAC/C,MAAM,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../src/stats/stats.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,6CAA6C;IAC7C,SAAS,EAAE,yBAAyB,CAAC;IACrC,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG;IACzB,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IAC3B,6BAA6B;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,wBAAwB,CAAC;CACrC,GAAG,cAAc,GAChB,YAAY,CAAC;AAEf,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,uBAAuB,CAAC;CACpC,GAAG,cAAc,CAAC;AAEnB,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GAAG;IACxC,yBAAyB;IACzB,SAAS,EAAE,2BAA2B,CAAC;IACvC,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,qBAAqB,GACrB,+BAA+B,GAC/B,yBAAyB,GACzB,yBAAyB,GACzB,aAAa,CAAC;AAElB,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,aAAa,GACb,qBAAqB,GACrB,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,6BAA6B,GAC7B,yBAAyB,GACzB,2BAA2B,GAC3B,oBAAoB,GACpB,aAAa,GACb,aAAa,GACb,cAAc,CAAC;AAEnB,MAAM,MAAM,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;AAEhE,oCAAoC;AACpC,MAAM,MAAM,sBAAsB,GAAG;IACnC,yBAAyB;IACzB,SAAS,EAAE,oBAAoB,CAAC;IAChC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,yDAAyD;IACzD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,6BAA6B,GAAG;IAC1C,yBAAyB;IACzB,SAAS,EAAE,4BAA4B,CAAC;IACxC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,sDAAsD;IACtD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,kCAAkC;AAClC,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,kDAAkD;IAClD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,wBAAwB,GAAG;IACrC,yBAAyB;IACzB,SAAS,EAAE,sBAAsB,CAAC;IAClC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,4CAA4C;IAC5C,SAAS,EAAE,YAAY,GAAG,YAAY,CAAC;IACvC,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,kDAAkD;AAClD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4CAA4C;IAC5C,qBAAqB,EAAE,MAAM,CAAC;IAC9B,+CAA+C;IAC/C,sBAAsB,EAAE,MAAM,CAAC;CAChC,GAAG,YAAY,CAAC;AAEjB,uEAAuE;AACvE,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;IAC9B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,2BAA2B;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,CAAC;CAC7B,GAAG,YAAY,CAAC;AAEjB,sBAAsB;AACtB,MAAM,MAAM,OAAO,GAAG;IACpB,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,gBAAgB,EAAE,WAAW,GAAG,KAAK,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB;IAChB,QAAQ,EAAE,aAAa,GAAG,SAAS,CAAC;IACpC,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;CAC/B,GAAG,OAAO,CAAC;AAEZ,yEAAyE;AACzE,MAAM,MAAM,KAAK,GACb,kBAAkB,GAClB,mBAAmB,GACnB,sBAAsB,GACtB,6BAA6B,GAC7B,mBAAmB,GACnB,mBAAmB,GACnB,mBAAmB,GACnB,iBAAiB,GACjB,mBAAmB,GACnB,2BAA2B,GAC3B,gBAAgB,GAChB,kBAAkB,GAClB,kBAAkB,CAAC;AAEvB,+CAA+C;AAC/C,MAAM,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/stdlib",
|
|
3
|
-
"version": "2.0.0-nightly.
|
|
3
|
+
"version": "2.0.0-nightly.20250815",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"inherits": [
|
|
6
6
|
"../package.common.json",
|
|
@@ -68,12 +68,12 @@
|
|
|
68
68
|
"test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
|
|
69
69
|
},
|
|
70
70
|
"dependencies": {
|
|
71
|
-
"@aztec/bb.js": "2.0.0-nightly.
|
|
72
|
-
"@aztec/blob-lib": "2.0.0-nightly.
|
|
73
|
-
"@aztec/constants": "2.0.0-nightly.
|
|
74
|
-
"@aztec/ethereum": "2.0.0-nightly.
|
|
75
|
-
"@aztec/foundation": "2.0.0-nightly.
|
|
76
|
-
"@aztec/noir-noirc_abi": "2.0.0-nightly.
|
|
71
|
+
"@aztec/bb.js": "2.0.0-nightly.20250815",
|
|
72
|
+
"@aztec/blob-lib": "2.0.0-nightly.20250815",
|
|
73
|
+
"@aztec/constants": "2.0.0-nightly.20250815",
|
|
74
|
+
"@aztec/ethereum": "2.0.0-nightly.20250815",
|
|
75
|
+
"@aztec/foundation": "2.0.0-nightly.20250815",
|
|
76
|
+
"@aztec/noir-noirc_abi": "2.0.0-nightly.20250815",
|
|
77
77
|
"@google-cloud/storage": "^7.15.0",
|
|
78
78
|
"axios": "^1.9.0",
|
|
79
79
|
"json-stringify-deterministic": "1.0.12",
|
|
@@ -1,4 +1,6 @@
|
|
|
1
1
|
import type {
|
|
2
|
+
HidingKernelToPublicPrivateInputs,
|
|
3
|
+
HidingKernelToRollupPrivateInputs,
|
|
2
4
|
PrivateExecutionStep,
|
|
3
5
|
PrivateKernelCircuitPublicInputs,
|
|
4
6
|
PrivateKernelInitCircuitPrivateInputs,
|
|
@@ -95,6 +97,14 @@ export interface PrivateKernelProver {
|
|
|
95
97
|
privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs,
|
|
96
98
|
): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
|
|
97
99
|
|
|
100
|
+
generateHidingToRollupOutput(
|
|
101
|
+
inputs: HidingKernelToRollupPrivateInputs,
|
|
102
|
+
): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
|
|
103
|
+
|
|
104
|
+
generateHidingToPublicOutput(
|
|
105
|
+
inputs: HidingKernelToPublicPrivateInputs,
|
|
106
|
+
): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
|
|
107
|
+
|
|
98
108
|
/**
|
|
99
109
|
* Based of a program stack, create a folding proof.
|
|
100
110
|
* @param acirs The program bytecode.
|
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
2
|
+
|
|
3
|
+
import { VkData } from '../vks/index.js';
|
|
4
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
|
|
5
|
+
import { PrivateToRollupKernelCircuitPublicInputs } from './private_to_rollup_kernel_circuit_public_inputs.js';
|
|
6
|
+
|
|
7
|
+
export class HidingKernelToRollupPrivateInputs {
|
|
8
|
+
constructor(
|
|
9
|
+
public previousKernelPublicInputs: PrivateToRollupKernelCircuitPublicInputs,
|
|
10
|
+
public previousKernelVkData: VkData,
|
|
11
|
+
) {}
|
|
12
|
+
|
|
13
|
+
toBuffer() {
|
|
14
|
+
return serializeToBuffer(this.previousKernelPublicInputs, this.previousKernelVkData);
|
|
15
|
+
}
|
|
16
|
+
|
|
17
|
+
static fromBuffer(buffer: Buffer | BufferReader) {
|
|
18
|
+
const reader = BufferReader.asReader(buffer);
|
|
19
|
+
return new this(reader.readObject(PrivateToRollupKernelCircuitPublicInputs), reader.readObject(VkData));
|
|
20
|
+
}
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
export class HidingKernelToPublicPrivateInputs {
|
|
24
|
+
constructor(
|
|
25
|
+
public previousKernelPublicInputs: PrivateToPublicKernelCircuitPublicInputs,
|
|
26
|
+
public previousKernelVkData: VkData,
|
|
27
|
+
) {}
|
|
28
|
+
|
|
29
|
+
toBuffer() {
|
|
30
|
+
return serializeToBuffer(this.previousKernelPublicInputs, this.previousKernelVkData);
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
static fromBuffer(buffer: Buffer | BufferReader) {
|
|
34
|
+
const reader = BufferReader.asReader(buffer);
|
|
35
|
+
return new this(reader.readObject(PrivateToPublicKernelCircuitPublicInputs), reader.readObject(VkData));
|
|
36
|
+
}
|
|
37
|
+
}
|
package/src/kernel/index.ts
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
export * from './claimed_length_array.js';
|
|
2
|
+
export * from './hiding_kernel_private_inputs.js';
|
|
2
3
|
export * from './private_to_rollup_accumulated_data.js';
|
|
3
4
|
export * from './private_to_rollup_kernel_circuit_public_inputs.js';
|
|
4
5
|
export * from './private_accumulated_data.js';
|
package/src/stats/stats.ts
CHANGED