@aztec/stdlib 3.0.0-nightly.20251014 → 3.0.0-nightly.20251016
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/abi/abi.d.ts +8 -8
- package/dest/abi/abi.js +1 -1
- package/dest/abi/function_call.d.ts +7 -2
- package/dest/abi/function_call.d.ts.map +1 -1
- package/dest/abi/function_call.js +6 -2
- package/dest/avm/avm.d.ts +54 -54
- package/dest/avm/avm_proving_request.d.ts +30 -30
- package/dest/contract/interfaces/contract_instance.d.ts +2 -2
- package/dest/interfaces/proving-job.d.ts +30 -30
- package/dest/kernel/private_circuit_public_inputs.d.ts +1 -1
- package/dest/kernel/private_to_public_accumulated_data.d.ts +1 -1
- package/dest/kernel/private_to_rollup_accumulated_data.d.ts +1 -1
- package/dest/keys/derivation.d.ts +0 -2
- package/dest/keys/derivation.d.ts.map +1 -1
- package/dest/keys/derivation.js +1 -21
- package/dest/logs/directional_app_tagging_secret.d.ts +40 -0
- package/dest/logs/directional_app_tagging_secret.d.ts.map +1 -0
- package/dest/logs/directional_app_tagging_secret.js +64 -0
- package/dest/logs/index.d.ts +2 -1
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +2 -1
- package/dest/logs/pre_tag.d.ts +34 -0
- package/dest/logs/pre_tag.d.ts.map +1 -0
- package/dest/logs/pre_tag.js +7 -0
- package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +1 -0
- package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
- package/dest/rollup/checkpoint_rollup_public_inputs.js +3 -0
- package/dest/tests/factories.d.ts +2 -1
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +15 -9
- package/dest/tests/mocks.d.ts +3 -1
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +4 -2
- package/dest/tx/private_execution_result.d.ts +5 -0
- package/dest/tx/private_execution_result.d.ts.map +1 -1
- package/dest/tx/private_execution_result.js +7 -3
- package/dest/tx/simulated_tx.d.ts +3 -3
- package/dest/versioning/versioning.d.ts.map +1 -1
- package/dest/versioning/versioning.js +10 -5
- package/package.json +8 -8
- package/src/abi/abi.ts +1 -1
- package/src/abi/function_call.ts +5 -1
- package/src/keys/derivation.ts +1 -26
- package/src/logs/directional_app_tagging_secret.ts +78 -0
- package/src/logs/index.ts +2 -1
- package/src/logs/pre_tag.ts +25 -0
- package/src/rollup/checkpoint_rollup_public_inputs.ts +4 -0
- package/src/tests/factories.ts +11 -4
- package/src/tests/mocks.ts +5 -0
- package/src/tx/private_execution_result.ts +6 -0
- package/src/versioning/versioning.ts +10 -5
- package/dest/logs/indexed_tagging_secret.d.ts +0 -28
- package/dest/logs/indexed_tagging_secret.d.ts.map +0 -1
- package/dest/logs/indexed_tagging_secret.js +0 -50
- package/src/logs/indexed_tagging_secret.ts +0 -48
|
@@ -482,38 +482,38 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
482
482
|
}>;
|
|
483
483
|
}, "strip", z.ZodTypeAny, {
|
|
484
484
|
salt: import("@aztec/foundation/schemas").Fr;
|
|
485
|
-
publicKeys: import("../keys/public_keys.js").PublicKeys;
|
|
486
|
-
address: import("../aztec-address/index.js").AztecAddress;
|
|
487
485
|
deployer: import("../aztec-address/index.js").AztecAddress;
|
|
488
486
|
currentContractClassId: import("@aztec/foundation/schemas").Fr;
|
|
489
487
|
originalContractClassId: import("@aztec/foundation/schemas").Fr;
|
|
490
488
|
initializationHash: import("@aztec/foundation/schemas").Fr;
|
|
489
|
+
publicKeys: import("../keys/public_keys.js").PublicKeys;
|
|
490
|
+
address: import("../aztec-address/index.js").AztecAddress;
|
|
491
491
|
}, {
|
|
492
492
|
salt: string;
|
|
493
|
+
currentContractClassId: string;
|
|
494
|
+
originalContractClassId: string;
|
|
495
|
+
initializationHash: string;
|
|
493
496
|
publicKeys: {
|
|
494
497
|
masterNullifierPublicKey: string;
|
|
495
498
|
masterIncomingViewingPublicKey: string;
|
|
496
499
|
masterOutgoingViewingPublicKey: string;
|
|
497
500
|
masterTaggingPublicKey: string;
|
|
498
501
|
};
|
|
499
|
-
currentContractClassId: string;
|
|
500
|
-
originalContractClassId: string;
|
|
501
|
-
initializationHash: string;
|
|
502
|
-
address?: any;
|
|
503
502
|
deployer?: any;
|
|
503
|
+
address?: any;
|
|
504
504
|
}>, import("../avm/avm.js").AvmContractInstanceHint, {
|
|
505
505
|
salt: string;
|
|
506
|
+
currentContractClassId: string;
|
|
507
|
+
originalContractClassId: string;
|
|
508
|
+
initializationHash: string;
|
|
506
509
|
publicKeys: {
|
|
507
510
|
masterNullifierPublicKey: string;
|
|
508
511
|
masterIncomingViewingPublicKey: string;
|
|
509
512
|
masterOutgoingViewingPublicKey: string;
|
|
510
513
|
masterTaggingPublicKey: string;
|
|
511
514
|
};
|
|
512
|
-
currentContractClassId: string;
|
|
513
|
-
originalContractClassId: string;
|
|
514
|
-
initializationHash: string;
|
|
515
|
-
address?: any;
|
|
516
515
|
deployer?: any;
|
|
516
|
+
address?: any;
|
|
517
517
|
}>, "many">;
|
|
518
518
|
contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
519
519
|
classId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
@@ -2270,17 +2270,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2270
2270
|
};
|
|
2271
2271
|
contractInstances: {
|
|
2272
2272
|
salt: string;
|
|
2273
|
+
currentContractClassId: string;
|
|
2274
|
+
originalContractClassId: string;
|
|
2275
|
+
initializationHash: string;
|
|
2273
2276
|
publicKeys: {
|
|
2274
2277
|
masterNullifierPublicKey: string;
|
|
2275
2278
|
masterIncomingViewingPublicKey: string;
|
|
2276
2279
|
masterOutgoingViewingPublicKey: string;
|
|
2277
2280
|
masterTaggingPublicKey: string;
|
|
2278
2281
|
};
|
|
2279
|
-
currentContractClassId: string;
|
|
2280
|
-
originalContractClassId: string;
|
|
2281
|
-
initializationHash: string;
|
|
2282
|
-
address?: any;
|
|
2283
2282
|
deployer?: any;
|
|
2283
|
+
address?: any;
|
|
2284
2284
|
}[];
|
|
2285
2285
|
contractClasses: {
|
|
2286
2286
|
classId: string;
|
|
@@ -2626,17 +2626,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2626
2626
|
};
|
|
2627
2627
|
contractInstances: {
|
|
2628
2628
|
salt: string;
|
|
2629
|
+
currentContractClassId: string;
|
|
2630
|
+
originalContractClassId: string;
|
|
2631
|
+
initializationHash: string;
|
|
2629
2632
|
publicKeys: {
|
|
2630
2633
|
masterNullifierPublicKey: string;
|
|
2631
2634
|
masterIncomingViewingPublicKey: string;
|
|
2632
2635
|
masterOutgoingViewingPublicKey: string;
|
|
2633
2636
|
masterTaggingPublicKey: string;
|
|
2634
2637
|
};
|
|
2635
|
-
currentContractClassId: string;
|
|
2636
|
-
originalContractClassId: string;
|
|
2637
|
-
initializationHash: string;
|
|
2638
|
-
address?: any;
|
|
2639
2638
|
deployer?: any;
|
|
2639
|
+
address?: any;
|
|
2640
2640
|
}[];
|
|
2641
2641
|
contractClasses: {
|
|
2642
2642
|
classId: string;
|
|
@@ -4229,17 +4229,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4229
4229
|
};
|
|
4230
4230
|
contractInstances: {
|
|
4231
4231
|
salt: string;
|
|
4232
|
+
currentContractClassId: string;
|
|
4233
|
+
originalContractClassId: string;
|
|
4234
|
+
initializationHash: string;
|
|
4232
4235
|
publicKeys: {
|
|
4233
4236
|
masterNullifierPublicKey: string;
|
|
4234
4237
|
masterIncomingViewingPublicKey: string;
|
|
4235
4238
|
masterOutgoingViewingPublicKey: string;
|
|
4236
4239
|
masterTaggingPublicKey: string;
|
|
4237
4240
|
};
|
|
4238
|
-
currentContractClassId: string;
|
|
4239
|
-
originalContractClassId: string;
|
|
4240
|
-
initializationHash: string;
|
|
4241
|
-
address?: any;
|
|
4242
4241
|
deployer?: any;
|
|
4242
|
+
address?: any;
|
|
4243
4243
|
}[];
|
|
4244
4244
|
contractClasses: {
|
|
4245
4245
|
classId: string;
|
|
@@ -4752,17 +4752,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4752
4752
|
};
|
|
4753
4753
|
contractInstances: {
|
|
4754
4754
|
salt: string;
|
|
4755
|
+
currentContractClassId: string;
|
|
4756
|
+
originalContractClassId: string;
|
|
4757
|
+
initializationHash: string;
|
|
4755
4758
|
publicKeys: {
|
|
4756
4759
|
masterNullifierPublicKey: string;
|
|
4757
4760
|
masterIncomingViewingPublicKey: string;
|
|
4758
4761
|
masterOutgoingViewingPublicKey: string;
|
|
4759
4762
|
masterTaggingPublicKey: string;
|
|
4760
4763
|
};
|
|
4761
|
-
currentContractClassId: string;
|
|
4762
|
-
originalContractClassId: string;
|
|
4763
|
-
initializationHash: string;
|
|
4764
|
-
address?: any;
|
|
4765
4764
|
deployer?: any;
|
|
4765
|
+
address?: any;
|
|
4766
4766
|
}[];
|
|
4767
4767
|
contractClasses: {
|
|
4768
4768
|
classId: string;
|
|
@@ -5281,17 +5281,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5281
5281
|
};
|
|
5282
5282
|
contractInstances: {
|
|
5283
5283
|
salt: string;
|
|
5284
|
+
currentContractClassId: string;
|
|
5285
|
+
originalContractClassId: string;
|
|
5286
|
+
initializationHash: string;
|
|
5284
5287
|
publicKeys: {
|
|
5285
5288
|
masterNullifierPublicKey: string;
|
|
5286
5289
|
masterIncomingViewingPublicKey: string;
|
|
5287
5290
|
masterOutgoingViewingPublicKey: string;
|
|
5288
5291
|
masterTaggingPublicKey: string;
|
|
5289
5292
|
};
|
|
5290
|
-
currentContractClassId: string;
|
|
5291
|
-
originalContractClassId: string;
|
|
5292
|
-
initializationHash: string;
|
|
5293
|
-
address?: any;
|
|
5294
5293
|
deployer?: any;
|
|
5294
|
+
address?: any;
|
|
5295
5295
|
}[];
|
|
5296
5296
|
contractClasses: {
|
|
5297
5297
|
classId: string;
|
|
@@ -221,7 +221,7 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
221
221
|
* @param fields - Object with fields.
|
|
222
222
|
* @returns The array.
|
|
223
223
|
*/
|
|
224
|
-
static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, bigint, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<PrivateCallRequest,
|
|
224
|
+
static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, bigint, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>, Fr, Fr, BlockHeader, TxContext];
|
|
225
225
|
/**
|
|
226
226
|
* Serialize this as a buffer.
|
|
227
227
|
* @returns The buffer.
|
|
@@ -16,7 +16,7 @@ export declare class PrivateToPublicAccumulatedData {
|
|
|
16
16
|
readonly publicCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>;
|
|
17
17
|
constructor(noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>, nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>, l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>, privateLogs: Tuple<PrivateLog, typeof MAX_PRIVATE_LOGS_PER_TX>, contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>, publicCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>);
|
|
18
18
|
getSize(): number;
|
|
19
|
-
static getFields(fields: FieldsOf<PrivateToPublicAccumulatedData>): readonly [[Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message], [PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog], [ScopedLogHash], [PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest]];
|
|
19
|
+
static getFields(fields: FieldsOf<PrivateToPublicAccumulatedData>): readonly [[Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message], [PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog], [ScopedLogHash], [PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest, PublicCallRequest]];
|
|
20
20
|
static fromFields(fields: Fr[] | FieldReader): PrivateToPublicAccumulatedData;
|
|
21
21
|
static from(fields: FieldsOf<PrivateToPublicAccumulatedData>): PrivateToPublicAccumulatedData;
|
|
22
22
|
static fromBuffer(buffer: Buffer | BufferReader): PrivateToPublicAccumulatedData;
|
|
@@ -54,7 +54,7 @@ export declare class PrivateToRollupAccumulatedData {
|
|
|
54
54
|
*/
|
|
55
55
|
contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>);
|
|
56
56
|
getSize(): number;
|
|
57
|
-
static getFields(fields: FieldsOf<PrivateToRollupAccumulatedData>): readonly [[Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message], [PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog], [ScopedLogHash]];
|
|
57
|
+
static getFields(fields: FieldsOf<PrivateToRollupAccumulatedData>): readonly [[Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message], [PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog], [ScopedLogHash]];
|
|
58
58
|
static from(fields: FieldsOf<PrivateToRollupAccumulatedData>): PrivateToRollupAccumulatedData;
|
|
59
59
|
static get schema(): import("zod").ZodType<PrivateToRollupAccumulatedData, any, string>;
|
|
60
60
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
@@ -1,6 +1,5 @@
|
|
|
1
1
|
import { Fq, Fr, GrumpkinScalar } from '@aztec/foundation/fields';
|
|
2
2
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
3
|
-
import type { CompleteAddress } from '../contract/complete_address.js';
|
|
4
3
|
import type { KeyPrefix } from './key_types.js';
|
|
5
4
|
import { PublicKeys } from './public_keys.js';
|
|
6
5
|
export declare function computeAppNullifierSecretKey(masterNullifierSecretKey: GrumpkinScalar, app: AztecAddress): Promise<Fr>;
|
|
@@ -26,5 +25,4 @@ export declare function deriveKeys(secretKey: Fr): Promise<{
|
|
|
26
25
|
masterTaggingSecretKey: Fq;
|
|
27
26
|
publicKeys: PublicKeys;
|
|
28
27
|
}>;
|
|
29
|
-
export declare function computeAppTaggingSecret(knownAddress: CompleteAddress, ivsk: Fq, externalAddress: AztecAddress, app: AztecAddress): Promise<Fr>;
|
|
30
28
|
//# sourceMappingURL=derivation.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../../src/keys/derivation.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAElE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../../src/keys/derivation.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAElE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,wBAAgB,4BAA4B,CAAC,wBAAwB,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,EAAE,CAAC,CAErH;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,EAAE,CAAC,CAG7G;AAED,wBAAsB,cAAc,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,EAAE,CAAC,CAKzF;AAED,wBAAgB,8BAA8B,CAAC,SAAS,EAAE,EAAE,GAAG,cAAc,CAE5E;AAED,wBAAgB,oCAAoC,CAAC,SAAS,EAAE,EAAE,GAAG,cAAc,CAElF;AAED,wBAAgB,oCAAoC,CAAC,SAAS,EAAE,EAAE,GAAG,cAAc,CAElF;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,EAAE,GAAG,cAAc,CAG9D;AAED,wBAAgB,iBAAiB,CAAC,cAAc,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,eAEvE;AAED,wBAAsB,cAAc,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAYtG;AAED,wBAAsB,oBAAoB,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,eAoBlE;AAED,wBAAgB,4BAA4B,CAAC,SAAS,EAAE,EAAE,qDAGzD;AAED;;;;GAIG;AACH,wBAAsB,UAAU,CAAC,SAAS,EAAE,EAAE;;;;;;GA6B7C"}
|
package/dest/keys/derivation.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { GeneratorIndex } from '@aztec/constants';
|
|
2
|
-
import { Grumpkin,
|
|
2
|
+
import { Grumpkin, poseidon2HashWithSeparator, sha512ToGrumpkinScalar } from '@aztec/foundation/crypto';
|
|
3
3
|
import { Fq, Fr, GrumpkinScalar } from '@aztec/foundation/fields';
|
|
4
4
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
5
5
|
import { PublicKeys } from './public_keys.js';
|
|
@@ -113,23 +113,3 @@ export function derivePublicKeyFromSecretKey(secretKey) {
|
|
|
113
113
|
publicKeys
|
|
114
114
|
};
|
|
115
115
|
}
|
|
116
|
-
// Returns shared tagging secret computed with Diffie-Hellman key exchange.
|
|
117
|
-
async function computeTaggingSecretPoint(knownAddress, ivsk, externalAddress) {
|
|
118
|
-
const knownPreaddress = await computePreaddress(await knownAddress.publicKeys.hash(), knownAddress.partialAddress);
|
|
119
|
-
// TODO: #8970 - Computation of address point from x coordinate might fail
|
|
120
|
-
const externalAddressPoint = await externalAddress.toAddressPoint();
|
|
121
|
-
const curve = new Grumpkin();
|
|
122
|
-
// Given A (known complete address) -> B (external address) and h == preaddress
|
|
123
|
-
// Compute shared secret as S = (h_A + ivsk_A) * Addr_Point_B
|
|
124
|
-
// Beware! h_a + ivsk_a (also known as the address secret) can lead to an address point with a negative y-coordinate, since there's two possible candidates
|
|
125
|
-
// computeAddressSecret takes care of selecting the one that leads to a positive y-coordinate, which is the only valid address point
|
|
126
|
-
return curve.mul(externalAddressPoint, await computeAddressSecret(knownPreaddress, ivsk));
|
|
127
|
-
}
|
|
128
|
-
export async function computeAppTaggingSecret(knownAddress, ivsk, externalAddress, app) {
|
|
129
|
-
const taggingSecretPoint = await computeTaggingSecretPoint(knownAddress, ivsk, externalAddress);
|
|
130
|
-
return poseidon2Hash([
|
|
131
|
-
taggingSecretPoint.x,
|
|
132
|
-
taggingSecretPoint.y,
|
|
133
|
-
app
|
|
134
|
-
]);
|
|
135
|
-
}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import { type Fq, Fr } from '@aztec/foundation/fields';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
import type { AztecAddress } from '../aztec-address/index.js';
|
|
4
|
+
import type { CompleteAddress } from '../contract/complete_address.js';
|
|
5
|
+
/**
|
|
6
|
+
* Directional application tagging secret used for log tagging.
|
|
7
|
+
*
|
|
8
|
+
* "Directional" because the derived secret is bound to the recipient
|
|
9
|
+
* address: A→B differs from B→A even with the same participants and app.
|
|
10
|
+
*
|
|
11
|
+
* Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides
|
|
12
|
+
* in `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types
|
|
13
|
+
* in stdlib hence there doesn't seem to be a good way around this.
|
|
14
|
+
*/
|
|
15
|
+
export declare class DirectionalAppTaggingSecret {
|
|
16
|
+
readonly value: Fr;
|
|
17
|
+
private constructor();
|
|
18
|
+
/**
|
|
19
|
+
* Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
|
|
20
|
+
* secret.
|
|
21
|
+
*
|
|
22
|
+
* @param localAddress - The complete address of entity A in the shared tagging secret derivation scheme
|
|
23
|
+
* @param localIvsk - The incoming viewing secret key of entity A
|
|
24
|
+
* @param externalAddress - The address of entity B in the shared tagging secret derivation scheme
|
|
25
|
+
* @param app - Contract address to silo the secret to
|
|
26
|
+
* @param recipient - Recipient of the log. Defines the "direction of the secret".
|
|
27
|
+
* @returns The secret that can be used along with an index to compute a tag to be included in a log.
|
|
28
|
+
*/
|
|
29
|
+
static compute(localAddress: CompleteAddress, localIvsk: Fq, externalAddress: AztecAddress, app: AztecAddress, recipient: AztecAddress): Promise<DirectionalAppTaggingSecret>;
|
|
30
|
+
toString(): string;
|
|
31
|
+
static fromString(str: string): DirectionalAppTaggingSecret;
|
|
32
|
+
}
|
|
33
|
+
export declare const DirectionalAppTaggingSecretSchema: z.ZodObject<{
|
|
34
|
+
value: z.ZodType<Fr, any, string>;
|
|
35
|
+
}, "strip", z.ZodTypeAny, {
|
|
36
|
+
value: Fr;
|
|
37
|
+
}, {
|
|
38
|
+
value: string;
|
|
39
|
+
}>;
|
|
40
|
+
//# sourceMappingURL=directional_app_tagging_secret.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"directional_app_tagging_secret.d.ts","sourceRoot":"","sources":["../../src/logs/directional_app_tagging_secret.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAc,MAAM,0BAA0B,CAAC;AAEnE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGvE;;;;;;;;;GASG;AACH,qBAAa,2BAA2B;aACF,KAAK,EAAE,EAAE;IAA7C,OAAO;IAEP;;;;;;;;;;OAUG;WACU,OAAO,CAClB,YAAY,EAAE,eAAe,EAC7B,SAAS,EAAE,EAAE,EACb,eAAe,EAAE,YAAY,EAC7B,GAAG,EAAE,YAAY,EACjB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,2BAA2B,CAAC;IAQvC,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,2BAA2B;CAG5D;AAqBD,eAAO,MAAM,iCAAiC;;;;;;EAE5C,CAAC"}
|
|
@@ -0,0 +1,64 @@
|
|
|
1
|
+
import { Grumpkin, poseidon2Hash } from '@aztec/foundation/crypto';
|
|
2
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
3
|
+
import { z } from 'zod';
|
|
4
|
+
import { computeAddressSecret, computePreaddress } from '../keys/derivation.js';
|
|
5
|
+
/**
|
|
6
|
+
* Directional application tagging secret used for log tagging.
|
|
7
|
+
*
|
|
8
|
+
* "Directional" because the derived secret is bound to the recipient
|
|
9
|
+
* address: A→B differs from B→A even with the same participants and app.
|
|
10
|
+
*
|
|
11
|
+
* Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides
|
|
12
|
+
* in `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types
|
|
13
|
+
* in stdlib hence there doesn't seem to be a good way around this.
|
|
14
|
+
*/ export class DirectionalAppTaggingSecret {
|
|
15
|
+
value;
|
|
16
|
+
constructor(value){
|
|
17
|
+
this.value = value;
|
|
18
|
+
}
|
|
19
|
+
/**
|
|
20
|
+
* Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
|
|
21
|
+
* secret.
|
|
22
|
+
*
|
|
23
|
+
* @param localAddress - The complete address of entity A in the shared tagging secret derivation scheme
|
|
24
|
+
* @param localIvsk - The incoming viewing secret key of entity A
|
|
25
|
+
* @param externalAddress - The address of entity B in the shared tagging secret derivation scheme
|
|
26
|
+
* @param app - Contract address to silo the secret to
|
|
27
|
+
* @param recipient - Recipient of the log. Defines the "direction of the secret".
|
|
28
|
+
* @returns The secret that can be used along with an index to compute a tag to be included in a log.
|
|
29
|
+
*/ static async compute(localAddress, localIvsk, externalAddress, app, recipient) {
|
|
30
|
+
const taggingSecretPoint = await computeSharedTaggingSecret(localAddress, localIvsk, externalAddress);
|
|
31
|
+
const appTaggingSecret = await poseidon2Hash([
|
|
32
|
+
taggingSecretPoint.x,
|
|
33
|
+
taggingSecretPoint.y,
|
|
34
|
+
app
|
|
35
|
+
]);
|
|
36
|
+
const directionalAppTaggingSecret = await poseidon2Hash([
|
|
37
|
+
appTaggingSecret,
|
|
38
|
+
recipient
|
|
39
|
+
]);
|
|
40
|
+
return new DirectionalAppTaggingSecret(directionalAppTaggingSecret);
|
|
41
|
+
}
|
|
42
|
+
toString() {
|
|
43
|
+
return this.value.toString();
|
|
44
|
+
}
|
|
45
|
+
static fromString(str) {
|
|
46
|
+
return new DirectionalAppTaggingSecret(Fr.fromString(str));
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
// Returns shared tagging secret computed with Diffie-Hellman key exchange.
|
|
50
|
+
async function computeSharedTaggingSecret(localAddress, localIvsk, externalAddress) {
|
|
51
|
+
const knownPreaddress = await computePreaddress(await localAddress.publicKeys.hash(), localAddress.partialAddress);
|
|
52
|
+
// TODO: #8970 - Computation of address point from x coordinate might fail
|
|
53
|
+
const externalAddressPoint = await externalAddress.toAddressPoint();
|
|
54
|
+
const curve = new Grumpkin();
|
|
55
|
+
// Given A (local complete address) -> B (external address) and h == preaddress
|
|
56
|
+
// Compute shared secret as S = (h_A + local_ivsk_A) * Addr_Point_B
|
|
57
|
+
// Beware! h_a + local_ivsk_a (also known as the address secret) can lead to an address point with a negative
|
|
58
|
+
// y-coordinate, since there's two possible candidates computeAddressSecret takes care of selecting the one that
|
|
59
|
+
// leads to a positive y-coordinate, which is the only valid address point
|
|
60
|
+
return curve.mul(externalAddressPoint, await computeAddressSecret(knownPreaddress, localIvsk));
|
|
61
|
+
}
|
|
62
|
+
export const DirectionalAppTaggingSecretSchema = z.object({
|
|
63
|
+
value: Fr.schema
|
|
64
|
+
});
|
package/dest/logs/index.d.ts
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
export * from './log_with_tx_data.js';
|
|
2
|
-
export * from './
|
|
2
|
+
export * from './directional_app_tagging_secret.js';
|
|
3
|
+
export * from './pre_tag.js';
|
|
3
4
|
export * from './contract_class_log.js';
|
|
4
5
|
export * from './public_log.js';
|
|
5
6
|
export * from './private_log.js';
|
package/dest/logs/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/logs/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/logs/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,qCAAqC,CAAC;AACpD,cAAc,cAAc,CAAC;AAC7B,cAAc,yBAAyB,CAAC;AACxC,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC"}
|
package/dest/logs/index.js
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
export * from './log_with_tx_data.js';
|
|
2
|
-
export * from './
|
|
2
|
+
export * from './directional_app_tagging_secret.js';
|
|
3
|
+
export * from './pre_tag.js';
|
|
3
4
|
export * from './contract_class_log.js';
|
|
4
5
|
export * from './public_log.js';
|
|
5
6
|
export * from './private_log.js';
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
import { type DirectionalAppTaggingSecret } from './directional_app_tagging_secret.js';
|
|
3
|
+
/**
|
|
4
|
+
* Represents a preimage of a private log tag (see `Tag` in `pxe/src/tagging`).
|
|
5
|
+
*
|
|
6
|
+
* Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides
|
|
7
|
+
* in `pxe/src/tagging`. But this type is used by other types in stdlib hence there doesn't seem to be a good way
|
|
8
|
+
* around this.
|
|
9
|
+
*/
|
|
10
|
+
export type PreTag = {
|
|
11
|
+
secret: DirectionalAppTaggingSecret;
|
|
12
|
+
index: number;
|
|
13
|
+
};
|
|
14
|
+
export declare const PreTagSchema: z.ZodObject<{
|
|
15
|
+
secret: z.ZodObject<{
|
|
16
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
17
|
+
}, "strip", z.ZodTypeAny, {
|
|
18
|
+
value: import("@aztec/foundation/schemas").Fr;
|
|
19
|
+
}, {
|
|
20
|
+
value: string;
|
|
21
|
+
}>;
|
|
22
|
+
index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
23
|
+
}, "strip", z.ZodTypeAny, {
|
|
24
|
+
secret: {
|
|
25
|
+
value: import("@aztec/foundation/schemas").Fr;
|
|
26
|
+
};
|
|
27
|
+
index: number;
|
|
28
|
+
}, {
|
|
29
|
+
secret: {
|
|
30
|
+
value: string;
|
|
31
|
+
};
|
|
32
|
+
index: string | number | bigint;
|
|
33
|
+
}>;
|
|
34
|
+
//# sourceMappingURL=pre_tag.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"pre_tag.d.ts","sourceRoot":"","sources":["../../src/logs/pre_tag.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACL,KAAK,2BAA2B,EAEjC,MAAM,qCAAqC,CAAC;AAE7C;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,MAAM,EAAE,2BAA2B,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;EAGvB,CAAC"}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { schemas } from '@aztec/foundation/schemas';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
import { DirectionalAppTaggingSecretSchema } from './directional_app_tagging_secret.js';
|
|
4
|
+
export const PreTagSchema = z.object({
|
|
5
|
+
secret: DirectionalAppTaggingSecretSchema,
|
|
6
|
+
index: schemas.Integer
|
|
7
|
+
});
|
|
@@ -92,6 +92,7 @@ export declare class FeeRecipient {
|
|
|
92
92
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
93
93
|
static getFields(fields: FieldsOf<FeeRecipient>): readonly [EthAddress, Fr];
|
|
94
94
|
toFields(): Fr[];
|
|
95
|
+
static empty(): FeeRecipient;
|
|
95
96
|
isEmpty(): boolean;
|
|
96
97
|
toFriendlyJSON(): {
|
|
97
98
|
recipient?: undefined;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checkpoint_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,4BAA4B;IAErC;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;;IA/BvD;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IAGzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,QAAQ;IAaR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;gBADT,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE;IAGlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY;IAK9D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC;IAI/C,QAAQ;IAIR,OAAO;IAIP,cAAc;;;;;;;IAOd,MAAM,CAAC,MAAM;CAGd"}
|
|
1
|
+
{"version":3,"file":"checkpoint_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,4BAA4B;IAErC;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;;IA/BvD;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IAGzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,QAAQ;IAaR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;gBADT,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE;IAGlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY;IAK9D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC;IAI/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO;IAIP,cAAc;;;;;;;IAOd,MAAM,CAAC,MAAM;CAGd"}
|
|
@@ -87,6 +87,9 @@ export class FeeRecipient {
|
|
|
87
87
|
toFields() {
|
|
88
88
|
return serializeToFields(...FeeRecipient.getFields(this));
|
|
89
89
|
}
|
|
90
|
+
static empty() {
|
|
91
|
+
return new FeeRecipient(EthAddress.ZERO, Fr.ZERO);
|
|
92
|
+
}
|
|
90
93
|
isEmpty() {
|
|
91
94
|
return this.value.isZero() && this.recipient.isZero();
|
|
92
95
|
}
|
|
@@ -354,7 +354,7 @@ export declare function makeAvmCircuitInputs(seed?: number, overrides?: Partial<
|
|
|
354
354
|
*/
|
|
355
355
|
export declare function fr(n: number): Fr;
|
|
356
356
|
/** Makes a bloated processed tx for testing purposes. */
|
|
357
|
-
export declare function makeBloatedProcessedTx({ seed, header, db, chainId, version, gasSettings, vkTreeRoot, protocolContracts, globalVariables, newL1ToL2Snapshot, feePayer, feePaymentPublicDataWrite, privateOnly, }?: {
|
|
357
|
+
export declare function makeBloatedProcessedTx({ seed, header, db, chainId, version, gasSettings, vkTreeRoot, protocolContracts, globalVariables, newL1ToL2Snapshot, feePayer, feePaymentPublicDataWrite, gasUsed, privateOnly, }?: {
|
|
358
358
|
seed?: number;
|
|
359
359
|
header?: BlockHeader;
|
|
360
360
|
db?: MerkleTreeReadOperations;
|
|
@@ -367,6 +367,7 @@ export declare function makeBloatedProcessedTx({ seed, header, db, chainId, vers
|
|
|
367
367
|
protocolContracts?: ProtocolContracts;
|
|
368
368
|
feePayer?: AztecAddress;
|
|
369
369
|
feePaymentPublicDataWrite?: PublicDataWrite;
|
|
370
|
+
gasUsed?: Gas;
|
|
370
371
|
privateOnly?: boolean;
|
|
371
372
|
}): Promise<import("../tx/processed_tx.js").ProcessedTx>;
|
|
372
373
|
//# sourceMappingURL=factories.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"factories.d.ts","sourceRoot":"","sources":["../../src/tests/factories.ts"],"names":[],"mappings":"AA0CA,OAAO,EAAE,KAAK,QAAQ,EAAgC,MAAM,yBAAyB,CAAC;AAEtF,OAAO,EAAE,gBAAgB,EAAsC,MAAM,0BAA0B,CAAC;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,KAAK,EAAE,UAAU,EAAuB,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AACzF,OAAO,EAGL,mBAAmB,EACnB,yBAAyB,EACzB,gBAAgB,EAEhB,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,EACjB,mCAAmC,EACnC,oCAAoC,EACpC,mBAAmB,EACnB,4BAA4B,EAC5B,qBAAqB,EACrB,uBAAuB,EACvB,oCAAoC,EACpC,qCAAqC,EACrC,SAAS,EAEV,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAChC,KAAK,4CAA4C,EAGjD,KAAK,kCAAkC,EAGxC,MAAM,sBAAsB,CAAC;
|
|
1
|
+
{"version":3,"file":"factories.d.ts","sourceRoot":"","sources":["../../src/tests/factories.ts"],"names":[],"mappings":"AA0CA,OAAO,EAAE,KAAK,QAAQ,EAAgC,MAAM,yBAAyB,CAAC;AAEtF,OAAO,EAAE,gBAAgB,EAAsC,MAAM,0BAA0B,CAAC;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,KAAK,EAAE,UAAU,EAAuB,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AACzF,OAAO,EAGL,mBAAmB,EACnB,yBAAyB,EACzB,gBAAgB,EAEhB,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,EACjB,mCAAmC,EACnC,oCAAoC,EACpC,mBAAmB,EACnB,4BAA4B,EAC5B,qBAAqB,EACrB,uBAAuB,EACvB,oCAAoC,EACpC,qCAAqC,EACrC,SAAS,EAEV,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAChC,KAAK,4CAA4C,EAGjD,KAAK,kCAAkC,EAGxC,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,GAAG,EAAW,WAAW,EAAgB,MAAM,iBAAiB,CAAC;AAE1E,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AAIxF,OAAO,EAIL,oCAAoC,EAGpC,8BAA8B,EAC9B,wCAAwC,EACxC,8BAA8B,EAC/B,MAAM,oBAAoB,CAAC;AAK5B,OAAO,EAAE,0BAA0B,EAAE,MAAM,4CAA4C,CAAC;AAExF,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAEL,iBAAiB,EACjB,6BAA6B,EAC9B,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAkB,MAAM,kBAAkB,CAAC;AAI9D,OAAO,EAAwB,aAAa,EAAuB,MAAM,kCAAkC,CAAC;AAC5G,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAK3C,OAAO,EAAE,6BAA6B,EAAE,MAAM,gDAAgD,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,iCAAiC,EACjC,oCAAoC,EACrC,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,4BAA4B,EAAgB,MAAM,8CAA8C,CAAC;AAE1G,OAAO,EAAE,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACtG,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACpG,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAE/E,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC9F,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG1D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAuB,MAAM,4BAA4B,CAAC;AA2C3G;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,GAAE,MAAU,GAAG,SAAS,CAGzD;AAED;;GAEG;AACH,wBAAgB,eAAe,gBAE9B;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAE3D;AA4BD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,SAAI,GAAG,cAAc,CAE3D;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,IAAI,cAAc,CAExD;AAED;;;;GAIG;AACH,wBAAgB,gCAAgC,CAAC,IAAI,SAAI,GAAG,4BAA4B,CAEvF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,SAAI,GAAG,mBAAmB,CAErE;AAMD;;;;GAIG;AACH,wBAAgB,kCAAkC,CAAC,IAAI,SAAI,EAAE,IAAI,UAAQ,GAAG,8BAA8B,CAUzG;AAED,wBAAgB,kCAAkC,CAAC,IAAI,SAAI,kCAS1D;AA4BD,wBAAgB,OAAO,CAAC,IAAI,SAAI,OAE/B;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,SAAI,EAAE,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAM,GAAG,WAAW,CAQrG;AAED;;;;GAIG;AACH,wBAAgB,wCAAwC,CACtD,IAAI,SAAI,EACR,WAAW,UAAO,GACjB,oCAAoC,CAmBtC;AAED,wBAAgB,4CAA4C,CAAC,IAAI,SAAI,4CAUpE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,SAAI,0BAElD;AAED,wBAAgB,qBAAqB,CAAC,IAAI,SAAI,qBAE7C;AAED;;;;GAIG;AACH,wBAAgB,4CAA4C,CAC1D,IAAI,SAAI,EACR,mBAAmB,UAAO,GACzB,wCAAwC,CAQ1C;AAiCD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAEpG;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,CAEjF;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,IAAI,eAAe,CAErD;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,SAAI,GAAG,KAAK,CAEzC;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,SAAI,GAAG,cAAc,CAE3D;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,SAAI,SAEjC;AAMD,wBAAgB,qBAAqB,CAAC,IAAI,SAAI,qBAE7C;AAED,wBAAgB,iCAAiC,CAAC,IAAI,SAAI,iCAEzD;AAMD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,SAAI,GAAG,SAAS,CAQjD;AAWD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,SAAI,GAAG,0BAA0B,CAgCnF;AAED,wBAAgB,mBAAmB,CAAC,IAAI,SAAI,EAAE,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAM,GAAG,eAAe,CAYjH;AAUD;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,SAAI,GAAG,sBAAsB,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,SAAI,GAAG,UAAU,CAEnD;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,IAAI,SAAK,EAAE,IAAI,SAAI,GAAG,MAAM,CAErD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,SAAI,GAAG,YAAY,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,SAAI,GAAG,gBAAgB,CAE/D;AA+BD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,SAAI,EACR,eAAe,GAAE,eAAe,GAAG,SAAqB,GACvD,oBAAoB,CAYtB;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAgB7E;AAED,wBAAgB,gCAAgC,CAAC,IAAI,SAAI,gCAYxD;AAED,wBAAgB,sBAAsB,CAAC,IAAI,SAAI,GAAG,kBAAkB,CAMnE;AAED,wBAAgB,2BAA2B,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAE7E;AAED,wBAAgB,2BAA2B,CAAC,IAAI,SAAI,2BAInD;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,SAAI,GAAG,sBAAsB,CAS3E;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,SAAI,GAAG,iBAAiB,CAEjE;AAED;;GAEG;AACH,wBAAgB,UAAU,CACxB,IAAI,SAAI,EACR,WAAW,GAAE,MAAM,GAAG,SAAqB,EAC3C,UAAU,GAAE,MAAM,GAAG,SAAqB,EAC1C,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAM,GAC7C,WAAW,CAab;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,SAAI,EACR,WAAW,CAAC,EAAE,MAAM,EACpB,UAAU,CAAC,EAAE,MAAM,EACnB,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAM,iBAcjD;AAED,wBAAgB,oBAAoB,CAAC,IAAI,SAAI,oBAW5C;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,SAAI,GAAG,cAAc,CAK3D;AAWD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,SAAI,GAAG,aAAa,CAKzD;AAUD;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,SAAI,GAAG,qBAAqB,CAMzE;AAED,wBAAgB,8BAA8B,CAAC,IAAI,SAAI,GAAG,0BAA0B,CAKnF;AAED,wBAAgB,qCAAqC,CAAC,IAAI,SAAI,qCAQ7D;AAED,wBAAgB,wCAAwC,CAAC,IAAI,SAAI,wCAKhE;AAED;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,IAAI,SAAI,iCAKzD;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,SAAI,GAAG,kBAAkB,CAEnE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,SAAI,GAAG,aAAa,CAEzD;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,SAAI,GAAG,qBAAqB,CAEzE;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,SAAI,GAAG,0BAA0B,CAEnF;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,SAAI,GAAG,qBAAqB,CAgCzE;AAMD,wBAAgB,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,YAAY,SAAS,MAAM,EAC7E,IAAI,oBAAI,EACR,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EACrC,SAAS,GAAE,YAAwE,8BAOpF;AAyCD,wBAAgB,oCAAoC,CAAC,IAAI,SAAI,oCAK5D;AAED,wBAAgB,mCAAmC,CAAC,IAAI,SAAI,mCAU3D;AAED,wBAAgB,gDAAgD,CAC9D,IAAI,SAAI,GACP,4CAA4C,CAa9C;AAED,wBAAgB,sCAAsC,CAAC,IAAI,SAAI,GAAG,kCAAkC,CAUnG;AAED,wBAAsB,uBAAuB,CAAC,IAAI,SAAI,EAAE,cAAc,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAe7G;AAUD,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,EAAE,MAAM,SAAI,OAE5E;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,SAAI,yBAM1F;AAED,wBAAgB,UAAU,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,EAAE,MAAM,SAAI,aAEhG;AAED,wBAAsB,eAAe,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,SAAI,+BAEpH;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,SAAI,kBAElF;AAED,wBAAsB,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,SAAI,2BAEtG;AAED,wBAAgB,cAAc,CAAC,IAAI,SAAI,GAAG,UAAU,CAOnD;AAED,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,EAAE,EACX,IAAI,SAAI,EACR,SAAS,CAAC,EAAE;IACV,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,kBAAkB,CAAC,EAAE,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,cAAc,CAAC,EAAE,EAAE,CAAC;CACrB,GACA,OAAO,CAAC,2BAA2B,CAAC,CAwBtC;AAED,wBAAgB,yBAAyB,CAAC,IAAI,SAAI,GAAG,qBAAqB,CASzE;AAED,wBAAgB,gCAAgC,CAAC,IAAI,SAAI,GAAG,4BAA4B,CAWvF;AAED,wBAAgB,wCAAwC,CAAC,IAAI,SAAI,GAAG,oCAAoC,CAQvG;AAED,wBAAgB,uCAAuC,CAAC,IAAI,SAAI,GAAG,mCAAmC,CAQrG;AAED,wBAAgB,uBAAuB,CAAC,IAAI,SAAI,GAAG,mBAAmB,CASrE;AAED,wBAAgB,yCAAyC,CAAC,IAAI,SAAI,GAAG,qCAAqC,CAoBzG;AAED,wBAAgB,wCAAwC,CAAC,IAAI,SAAI,GAAG,oCAAoC,CAoBvG;AAED,wBAAgB,uBAAuB,CAAC,IAAI,SAAI,GAAG,mBAAmB,CAQrE;AAED,wBAAgB,2CAA2C,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAM7F;AAED,wBAAgB,2CAA2C,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAM7F;AAED,wBAAgB,2CAA2C,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAQ7F;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAe7E;AAMD,wBAAgB,wBAAwB,CAAC,IAAI,SAAI,GAAG,oBAAoB,CAGvE;AAED,wBAAsB,6BAA6B,CAAC,IAAI,SAAI,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAIhG;AAED,wBAAsB,iCAAiC,CAAC,IAAI,SAAI,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAUxG;AAED,wBAAsB,aAAa,CAAC,IAAI,SAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAqBhE;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,IAAI,SAAI,EACR,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAM,GACnD,OAAO,CAAC,iBAAiB,CAAC,CA2D5B;AAED;;;;GAIG;AACH,wBAAsB,oBAAoB,CACxC,IAAI,SAAI,EACR,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAM,GAClD,OAAO,CAAC,gBAAgB,CAAC,CAQ3B;AAED;;;;;GAKG;AACH,wBAAgB,EAAE,CAAC,CAAC,EAAE,MAAM,GAAG,EAAE,CAEhC;AAED,yDAAyD;AACzD,wBAAsB,sBAAsB,CAAC,EAC3C,IAAQ,EACR,MAAM,EACN,EAAE,EACF,OAAiB,EACjB,OAAiB,EACjB,WAAyE,EACzE,UAAoB,EACpB,iBAAuD,EACvD,eAAyC,EACzC,iBAAkD,EAClD,QAAQ,EACR,yBAAyB,EAEzB,OAAgE,EAChE,WAAmB,GACpB,GAAE;IACD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,EAAE,CAAC,EAAE,wBAAwB,CAAC;IAC9B,OAAO,CAAC,EAAE,EAAE,CAAC;IACb,OAAO,CAAC,EAAE,EAAE,CAAC;IACb,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,UAAU,CAAC,EAAE,EAAE,CAAC;IAChB,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,iBAAiB,CAAC,EAAE,sBAAsB,CAAC;IAC3C,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,yBAAyB,CAAC,EAAE,eAAe,CAAC;IAC5C,OAAO,CAAC,EAAE,GAAG,CAAC;IACd,WAAW,CAAC,EAAE,OAAO,CAAC;CAClB,wDAyHL"}
|
package/dest/tests/factories.js
CHANGED
|
@@ -16,6 +16,7 @@ import { PublicDataWrite } from '../avm/public_data_write.js';
|
|
|
16
16
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
17
17
|
import { L2BlockHeader } from '../block/index.js';
|
|
18
18
|
import { SerializableContractInstance, computeContractClassId, computePublicBytecodeCommitment } from '../contract/index.js';
|
|
19
|
+
import { computeEffectiveGasFees } from '../fees/transaction_fee.js';
|
|
19
20
|
import { Gas, GasFees, GasSettings } from '../gas/index.js';
|
|
20
21
|
import { computeCalldataHash } from '../hash/hash.js';
|
|
21
22
|
import { KeyValidationRequest } from '../kernel/hints/key_validation_request.js';
|
|
@@ -902,7 +903,11 @@ export async function makeAvmTxHint(seed = 0) {
|
|
|
902
903
|
}
|
|
903
904
|
/** Makes a bloated processed tx for testing purposes. */ export async function makeBloatedProcessedTx({ seed = 1, header, db, chainId = Fr.ZERO, version = Fr.ZERO, gasSettings = GasSettings.default({
|
|
904
905
|
maxFeesPerGas: new GasFees(10, 10)
|
|
905
|
-
}), vkTreeRoot = Fr.ZERO, protocolContracts = makeProtocolContracts(seed + 0x100), globalVariables = GlobalVariables.empty(), newL1ToL2Snapshot = AppendOnlyTreeSnapshot.empty(), feePayer, feePaymentPublicDataWrite,
|
|
906
|
+
}), vkTreeRoot = Fr.ZERO, protocolContracts = makeProtocolContracts(seed + 0x100), globalVariables = GlobalVariables.empty(), newL1ToL2Snapshot = AppendOnlyTreeSnapshot.empty(), feePayer, feePaymentPublicDataWrite, // The default gasUsed is the tx overhead.
|
|
907
|
+
gasUsed = Gas.from({
|
|
908
|
+
daGas: FIXED_DA_GAS,
|
|
909
|
+
l2Gas: FIXED_L2_GAS
|
|
910
|
+
}), privateOnly = false } = {}) {
|
|
906
911
|
seed *= 0x1000; // Avoid clashing with the previous mock values if seed only increases by 1.
|
|
907
912
|
header ??= db?.getInitialHeader() ?? makeHeader(seed);
|
|
908
913
|
feePayer ??= await AztecAddress.random();
|
|
@@ -914,22 +919,19 @@ export async function makeAvmTxHint(seed = 0) {
|
|
|
914
919
|
txConstantData.vkTreeRoot = vkTreeRoot;
|
|
915
920
|
txConstantData.protocolContractsHash = await protocolContracts.hash();
|
|
916
921
|
const tx = !privateOnly ? await mockTx(seed, {
|
|
917
|
-
feePayer
|
|
922
|
+
feePayer,
|
|
923
|
+
gasUsed
|
|
918
924
|
}) : await mockTx(seed, {
|
|
919
925
|
numberOfNonRevertiblePublicCallRequests: 0,
|
|
920
926
|
numberOfRevertiblePublicCallRequests: 0,
|
|
921
|
-
feePayer
|
|
927
|
+
feePayer,
|
|
928
|
+
gasUsed
|
|
922
929
|
});
|
|
923
930
|
tx.data.constants = txConstantData;
|
|
924
|
-
|
|
925
|
-
tx.data.gasUsed = Gas.from({
|
|
926
|
-
daGas: FIXED_DA_GAS,
|
|
927
|
-
l2Gas: FIXED_L2_GAS
|
|
928
|
-
});
|
|
931
|
+
const transactionFee = tx.data.gasUsed.computeFee(globalVariables.gasFees);
|
|
929
932
|
if (privateOnly) {
|
|
930
933
|
const data = makePrivateToRollupAccumulatedData(seed + 0x1000);
|
|
931
934
|
clearContractClassLogs(data);
|
|
932
|
-
const transactionFee = tx.data.gasUsed.computeFee(globalVariables.gasFees);
|
|
933
935
|
feePaymentPublicDataWrite ??= new PublicDataWrite(Fr.random(), Fr.random());
|
|
934
936
|
tx.data.forRollup.end = data;
|
|
935
937
|
await tx.recomputeHash();
|
|
@@ -948,6 +950,7 @@ export async function makeAvmTxHint(seed = 0) {
|
|
|
948
950
|
avmOutput.protocolContracts = protocolContracts;
|
|
949
951
|
avmOutput.startTreeSnapshots.l1ToL2MessageTree = newL1ToL2Snapshot;
|
|
950
952
|
avmOutput.endTreeSnapshots.l1ToL2MessageTree = newL1ToL2Snapshot;
|
|
953
|
+
avmOutput.effectiveGasFees = computeEffectiveGasFees(globalVariables.gasFees, gasSettings);
|
|
951
954
|
// Assign data from private.
|
|
952
955
|
avmOutput.globalVariables = globalVariables;
|
|
953
956
|
avmOutput.startGasUsed = tx.data.gasUsed;
|
|
@@ -968,6 +971,9 @@ export async function makeAvmTxHint(seed = 0) {
|
|
|
968
971
|
avmOutput.accumulatedData.publicDataWrites = makeTuple(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, (i)=>new PublicDataWrite(new Fr(i), new Fr(i + 10)), seed + 0x2000);
|
|
969
972
|
avmOutput.accumulatedDataArrayLengths = avmOutput.accumulatedData.getArrayLengths();
|
|
970
973
|
avmOutput.gasSettings = gasSettings;
|
|
974
|
+
// Note: The fee is computed from the tx's gas used, which only includes the gas used in private. But this shouldn't
|
|
975
|
+
// be a problem for the tests.
|
|
976
|
+
avmOutput.transactionFee = transactionFee;
|
|
971
977
|
const avmCircuitInputs = await makeAvmCircuitInputs(seed + 0x3000, {
|
|
972
978
|
publicInputs: avmOutput
|
|
973
979
|
});
|
package/dest/tests/mocks.d.ts
CHANGED
|
@@ -7,6 +7,7 @@ import { L2Block } from '../block/l2_block.js';
|
|
|
7
7
|
import type { CommitteeAttestationsAndSigners } from '../block/proposal/attestations_and_signers.js';
|
|
8
8
|
import { PublishedL2Block } from '../block/published_l2_block.js';
|
|
9
9
|
import type { ContractInstanceWithAddress } from '../contract/index.js';
|
|
10
|
+
import { Gas } from '../gas/gas.js';
|
|
10
11
|
import { GasFees } from '../gas/gas_fees.js';
|
|
11
12
|
import { ExtendedNote, UniqueNote } from '../note/extended_note.js';
|
|
12
13
|
import { BlockAttestation } from '../p2p/block_attestation.js';
|
|
@@ -18,7 +19,7 @@ import { TxHash } from '../tx/tx_hash.js';
|
|
|
18
19
|
export declare const randomTxHash: () => TxHash;
|
|
19
20
|
export declare const randomExtendedNote: ({ note, recipient, contractAddress, txHash, storageSlot, }?: Partial<ExtendedNote>) => Promise<ExtendedNote>;
|
|
20
21
|
export declare const randomUniqueNote: ({ note, recipient, contractAddress, txHash, storageSlot, noteNonce, }?: Partial<UniqueNote>) => Promise<UniqueNote>;
|
|
21
|
-
export declare const mockTx: (seed?: number, { numberOfNonRevertiblePublicCallRequests, numberOfRevertiblePublicCallRequests, numberOfRevertibleNullifiers, hasPublicTeardownCallRequest, publicCalldataSize, feePayer, clientIvcProof, maxPriorityFeesPerGas, chainId, version, vkTreeRoot, protocolContractsHash, }?: {
|
|
22
|
+
export declare const mockTx: (seed?: number, { numberOfNonRevertiblePublicCallRequests, numberOfRevertiblePublicCallRequests, numberOfRevertibleNullifiers, hasPublicTeardownCallRequest, publicCalldataSize, feePayer, clientIvcProof, maxPriorityFeesPerGas, gasUsed, chainId, version, vkTreeRoot, protocolContractsHash, }?: {
|
|
22
23
|
numberOfNonRevertiblePublicCallRequests?: number;
|
|
23
24
|
numberOfRevertiblePublicCallRequests?: number;
|
|
24
25
|
numberOfRevertibleNullifiers?: number;
|
|
@@ -27,6 +28,7 @@ export declare const mockTx: (seed?: number, { numberOfNonRevertiblePublicCallRe
|
|
|
27
28
|
feePayer?: AztecAddress;
|
|
28
29
|
clientIvcProof?: ClientIvcProof;
|
|
29
30
|
maxPriorityFeesPerGas?: GasFees;
|
|
31
|
+
gasUsed?: Gas;
|
|
30
32
|
chainId?: Fr;
|
|
31
33
|
version?: Fr;
|
|
32
34
|
vkTreeRoot?: Fr;
|