@aztec/stdlib 3.0.0-nightly.20251111 → 3.0.0-nightly.20251113
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.d.ts.map +1 -1
- package/dest/abi/abi.js +2 -2
- package/dest/abi/contract_artifact.js +3 -3
- package/dest/avm/avm.d.ts +780 -1010
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm.js +209 -15
- package/dest/avm/avm_accumulated_data.d.ts +22 -6
- package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
- package/dest/avm/avm_accumulated_data.js +18 -0
- package/dest/avm/avm_circuit_public_inputs.d.ts +35 -27
- package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
- package/dest/avm/avm_circuit_public_inputs.js +9 -0
- package/dest/avm/avm_proving_request.d.ts +308 -464
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/avm/public_data_write.d.ts +10 -2
- package/dest/avm/public_data_write.d.ts.map +1 -1
- package/dest/avm/public_data_write.js +9 -0
- package/dest/avm/revert_code.d.ts +8 -0
- package/dest/avm/revert_code.d.ts.map +1 -1
- package/dest/avm/revert_code.js +16 -0
- package/dest/aztec-address/index.d.ts +9 -0
- package/dest/aztec-address/index.d.ts.map +1 -1
- package/dest/aztec-address/index.js +16 -0
- package/dest/block/l2_block.d.ts +1 -1
- package/dest/block/l2_block_info.d.ts +3 -3
- package/dest/block/proposal/attestations_and_signers.d.ts +1 -1
- package/dest/block/proposal/committee_attestation.d.ts +1 -1
- package/dest/block/published_l2_block.d.ts +2 -2
- package/dest/block/validate_block_result.d.ts +12 -12
- package/dest/contract/contract_deployment_data.d.ts +10 -2
- package/dest/contract/contract_deployment_data.d.ts.map +1 -1
- package/dest/contract/contract_deployment_data.js +12 -0
- package/dest/contract/interfaces/contract_class.d.ts +19 -19
- package/dest/contract/interfaces/contract_instance.d.ts +32 -200
- package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
- package/dest/database-version/version_manager.d.ts +1 -1
- package/dest/file-store/http.d.ts.map +1 -1
- package/dest/file-store/http.js +8 -3
- package/dest/file-store/s3.d.ts.map +1 -1
- package/dest/file-store/s3.js +3 -7
- package/dest/gas/gas.d.ts +8 -0
- package/dest/gas/gas.d.ts.map +1 -1
- package/dest/gas/gas.js +12 -0
- package/dest/gas/gas_fees.d.ts +8 -0
- package/dest/gas/gas_fees.d.ts.map +1 -1
- package/dest/gas/gas_fees.js +12 -0
- package/dest/gas/gas_settings.d.ts +8 -0
- package/dest/gas/gas_settings.d.ts.map +1 -1
- package/dest/gas/gas_settings.js +12 -0
- package/dest/gas/gas_used.d.ts +12 -1
- package/dest/gas/gas_used.d.ts.map +1 -1
- package/dest/gas/gas_used.js +19 -1
- package/dest/interfaces/aztec-node-admin.d.ts +8 -5
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/configs.d.ts +5 -0
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +1 -0
- package/dest/interfaces/proving-job.d.ts +336 -492
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/slasher.d.ts +3 -3
- package/dest/interfaces/validator.d.ts +12 -4
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +2 -1
- package/dest/kernel/private_to_avm_accumulated_data.d.ts +20 -4
- package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
- package/dest/kernel/private_to_avm_accumulated_data.js +18 -0
- package/dest/kernel/public_call_request.d.ts +17 -1
- package/dest/kernel/public_call_request.d.ts.map +1 -1
- package/dest/kernel/public_call_request.js +18 -0
- package/dest/keys/public_keys.d.ts +20 -84
- package/dest/keys/public_keys.d.ts.map +1 -1
- package/dest/keys/public_keys.js +12 -0
- package/dest/logs/contract_class_log.d.ts +18 -2
- package/dest/logs/contract_class_log.d.ts.map +1 -1
- package/dest/logs/contract_class_log.js +24 -0
- package/dest/logs/debug_log.d.ts +9 -1
- package/dest/logs/debug_log.d.ts.map +1 -1
- package/dest/logs/debug_log.js +13 -0
- package/dest/logs/directional_app_tagging_secret.d.ts +1 -1
- package/dest/logs/pre_tag.d.ts +1 -1
- package/dest/logs/private_log.d.ts +9 -1
- package/dest/logs/private_log.d.ts.map +1 -1
- package/dest/logs/private_log.js +12 -0
- package/dest/logs/public_log.d.ts +8 -0
- package/dest/logs/public_log.d.ts.map +1 -1
- package/dest/logs/public_log.js +9 -0
- package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
- package/dest/messaging/l2_to_l1_message.d.ts +24 -8
- package/dest/messaging/l2_to_l1_message.d.ts.map +1 -1
- package/dest/messaging/l2_to_l1_message.js +18 -0
- package/dest/noir/index.d.ts +1 -1
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/noir/index.js +1 -2
- package/dest/p2p/consensus_payload.d.ts +5 -5
- package/dest/snapshots/types.d.ts +2 -2
- package/dest/tests/factories.d.ts +4 -1
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +14 -2
- package/dest/trees/append_only_tree_snapshot.d.ts +9 -1
- package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
- package/dest/trees/append_only_tree_snapshot.js +9 -0
- package/dest/trees/nullifier_leaf.d.ts +20 -4
- package/dest/trees/nullifier_leaf.d.ts.map +1 -1
- package/dest/trees/nullifier_leaf.js +24 -0
- package/dest/trees/nullifier_membership_witness.d.ts +2 -2
- package/dest/trees/public_data_leaf.d.ts +23 -7
- package/dest/trees/public_data_leaf.d.ts.map +1 -1
- package/dest/trees/public_data_leaf.js +24 -0
- package/dest/trees/public_data_witness.d.ts +3 -3
- package/dest/tx/content_commitment.d.ts +3 -3
- package/dest/tx/execution_payload.d.ts +45 -0
- package/dest/tx/execution_payload.d.ts.map +1 -0
- package/dest/tx/execution_payload.js +40 -0
- package/dest/tx/global_variables.d.ts +8 -0
- package/dest/tx/global_variables.d.ts.map +1 -1
- package/dest/tx/global_variables.js +9 -0
- package/dest/tx/index.d.ts +1 -0
- package/dest/tx/index.d.ts.map +1 -1
- package/dest/tx/index.js +1 -0
- package/dest/tx/partial_state_reference.d.ts +3 -3
- package/dest/tx/profiling.d.ts +3 -3
- package/dest/tx/profiling.d.ts.map +1 -1
- package/dest/tx/profiling.js +5 -4
- package/dest/tx/protocol_contracts.d.ts +8 -0
- package/dest/tx/protocol_contracts.d.ts.map +1 -1
- package/dest/tx/protocol_contracts.js +9 -0
- package/dest/tx/public_call_request_with_calldata.d.ts +8 -0
- package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -1
- package/dest/tx/public_call_request_with_calldata.js +12 -0
- package/dest/tx/simulated_tx.d.ts +28 -148
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/state_reference.d.ts +4 -4
- package/dest/tx/tree_snapshots.d.ts +12 -4
- package/dest/tx/tree_snapshots.d.ts.map +1 -1
- package/dest/tx/tree_snapshots.js +9 -0
- package/dest/tx/tx_context.d.ts +2 -2
- package/dest/validators/schemas.d.ts +3 -3
- package/package.json +8 -8
- package/src/abi/abi.ts +4 -4
- package/src/abi/contract_artifact.ts +3 -3
- package/src/avm/avm.ts +362 -15
- package/src/avm/avm_accumulated_data.ts +40 -0
- package/src/avm/avm_circuit_public_inputs.ts +40 -0
- package/src/avm/public_data_write.ts +11 -0
- package/src/avm/revert_code.ts +18 -0
- package/src/aztec-address/index.ts +18 -0
- package/src/contract/contract_deployment_data.ts +17 -0
- package/src/file-store/http.ts +6 -3
- package/src/file-store/s3.ts +3 -7
- package/src/gas/gas.ts +14 -0
- package/src/gas/gas_fees.ts +14 -0
- package/src/gas/gas_settings.ts +19 -0
- package/src/gas/gas_used.ts +22 -1
- package/src/interfaces/configs.ts +3 -0
- package/src/interfaces/validator.ts +4 -0
- package/src/kernel/private_to_avm_accumulated_data.ts +35 -0
- package/src/kernel/public_call_request.ts +27 -0
- package/src/keys/public_keys.ts +19 -0
- package/src/logs/contract_class_log.ts +32 -0
- package/src/logs/debug_log.ts +20 -1
- package/src/logs/private_log.ts +17 -0
- package/src/logs/public_log.ts +14 -0
- package/src/messaging/l2_to_l1_message.ts +25 -0
- package/src/noir/index.ts +1 -2
- package/src/tests/factories.ts +45 -0
- package/src/trees/append_only_tree_snapshot.ts +11 -0
- package/src/trees/nullifier_leaf.ts +32 -0
- package/src/trees/public_data_leaf.ts +32 -0
- package/src/tx/execution_payload.ts +60 -0
- package/src/tx/global_variables.ts +20 -0
- package/src/tx/index.ts +1 -0
- package/src/tx/profiling.ts +4 -6
- package/src/tx/protocol_contracts.ts +16 -0
- package/src/tx/public_call_request_with_calldata.ts +17 -0
- package/src/tx/tree_snapshots.ts +16 -0
|
@@ -173,7 +173,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
173
173
|
contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
174
174
|
contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
175
175
|
fields: z.ZodEffects<z.ZodObject<{
|
|
176
|
-
fields: z.ZodEffects<z.ZodArray<z.
|
|
176
|
+
fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
|
|
177
177
|
}, "strip", z.ZodTypeAny, {
|
|
178
178
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
179
179
|
}, {
|
|
@@ -200,7 +200,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
200
200
|
contractAddress?: any;
|
|
201
201
|
}>, "many">;
|
|
202
202
|
privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
203
|
-
fields: z.ZodArray<z.
|
|
203
|
+
fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
204
204
|
emittedLength: z.ZodNumber;
|
|
205
205
|
}, "strict", z.ZodTypeAny, {
|
|
206
206
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
@@ -244,7 +244,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
244
244
|
contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
245
245
|
contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
246
246
|
fields: z.ZodEffects<z.ZodObject<{
|
|
247
|
-
fields: z.ZodEffects<z.ZodArray<z.
|
|
247
|
+
fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
|
|
248
248
|
}, "strip", z.ZodTypeAny, {
|
|
249
249
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
250
250
|
}, {
|
|
@@ -271,7 +271,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
271
271
|
contractAddress?: any;
|
|
272
272
|
}>, "many">;
|
|
273
273
|
privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
274
|
-
fields: z.ZodArray<z.
|
|
274
|
+
fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
275
275
|
emittedLength: z.ZodNumber;
|
|
276
276
|
}, "strict", z.ZodTypeAny, {
|
|
277
277
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
@@ -316,8 +316,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
316
316
|
nullifiers: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
|
|
317
317
|
l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
318
318
|
message: z.ZodEffects<z.ZodObject<{
|
|
319
|
-
recipient: z.
|
|
320
|
-
content: z.
|
|
319
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
320
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
321
321
|
}, "strip", z.ZodTypeAny, {
|
|
322
322
|
content: import("@aztec/foundation/schemas").Fr;
|
|
323
323
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -365,8 +365,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
365
365
|
nullifiers: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
|
|
366
366
|
l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
367
367
|
message: z.ZodEffects<z.ZodObject<{
|
|
368
|
-
recipient: z.
|
|
369
|
-
content: z.
|
|
368
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
369
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
370
370
|
}, "strip", z.ZodTypeAny, {
|
|
371
371
|
content: import("@aztec/foundation/schemas").Fr;
|
|
372
372
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -626,97 +626,25 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
626
626
|
originalContractClassId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
|
|
627
627
|
initializationHash: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
|
|
628
628
|
publicKeys: z.ZodEffects<z.ZodObject<{
|
|
629
|
-
masterNullifierPublicKey: z.
|
|
630
|
-
|
|
631
|
-
|
|
632
|
-
|
|
633
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
634
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
635
|
-
}, {
|
|
636
|
-
x: string;
|
|
637
|
-
y: string;
|
|
638
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
639
|
-
x: string;
|
|
640
|
-
y: string;
|
|
641
|
-
}>]>;
|
|
642
|
-
masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
|
|
643
|
-
x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
644
|
-
y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
645
|
-
}, "strip", z.ZodTypeAny, {
|
|
646
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
647
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
648
|
-
}, {
|
|
649
|
-
x: string;
|
|
650
|
-
y: string;
|
|
651
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
652
|
-
x: string;
|
|
653
|
-
y: string;
|
|
654
|
-
}>]>;
|
|
655
|
-
masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
|
|
656
|
-
x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
657
|
-
y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
658
|
-
}, "strip", z.ZodTypeAny, {
|
|
659
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
660
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
661
|
-
}, {
|
|
662
|
-
x: string;
|
|
663
|
-
y: string;
|
|
664
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
665
|
-
x: string;
|
|
666
|
-
y: string;
|
|
667
|
-
}>]>;
|
|
668
|
-
masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
|
|
669
|
-
x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
670
|
-
y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
671
|
-
}, "strip", z.ZodTypeAny, {
|
|
672
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
673
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
674
|
-
}, {
|
|
675
|
-
x: string;
|
|
676
|
-
y: string;
|
|
677
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
678
|
-
x: string;
|
|
679
|
-
y: string;
|
|
680
|
-
}>]>;
|
|
629
|
+
masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
630
|
+
masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
631
|
+
masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
632
|
+
masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
681
633
|
}, "strip", z.ZodTypeAny, {
|
|
682
634
|
masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
|
|
683
635
|
masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
|
|
684
636
|
masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
|
|
685
637
|
masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
|
|
686
638
|
}, {
|
|
687
|
-
masterNullifierPublicKey: string
|
|
688
|
-
|
|
689
|
-
|
|
690
|
-
|
|
691
|
-
masterIncomingViewingPublicKey: string | {
|
|
692
|
-
x: string;
|
|
693
|
-
y: string;
|
|
694
|
-
};
|
|
695
|
-
masterOutgoingViewingPublicKey: string | {
|
|
696
|
-
x: string;
|
|
697
|
-
y: string;
|
|
698
|
-
};
|
|
699
|
-
masterTaggingPublicKey: string | {
|
|
700
|
-
x: string;
|
|
701
|
-
y: string;
|
|
702
|
-
};
|
|
639
|
+
masterNullifierPublicKey: string;
|
|
640
|
+
masterIncomingViewingPublicKey: string;
|
|
641
|
+
masterOutgoingViewingPublicKey: string;
|
|
642
|
+
masterTaggingPublicKey: string;
|
|
703
643
|
}>, import("../keys/public_keys.js").PublicKeys, {
|
|
704
|
-
masterNullifierPublicKey: string
|
|
705
|
-
|
|
706
|
-
|
|
707
|
-
|
|
708
|
-
masterIncomingViewingPublicKey: string | {
|
|
709
|
-
x: string;
|
|
710
|
-
y: string;
|
|
711
|
-
};
|
|
712
|
-
masterOutgoingViewingPublicKey: string | {
|
|
713
|
-
x: string;
|
|
714
|
-
y: string;
|
|
715
|
-
};
|
|
716
|
-
masterTaggingPublicKey: string | {
|
|
717
|
-
x: string;
|
|
718
|
-
y: string;
|
|
719
|
-
};
|
|
644
|
+
masterNullifierPublicKey: string;
|
|
645
|
+
masterIncomingViewingPublicKey: string;
|
|
646
|
+
masterOutgoingViewingPublicKey: string;
|
|
647
|
+
masterTaggingPublicKey: string;
|
|
720
648
|
}>;
|
|
721
649
|
}, "strip", z.ZodTypeAny, {
|
|
722
650
|
salt: import("@aztec/foundation/schemas").Fr;
|
|
@@ -729,22 +657,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
729
657
|
hintKey: number;
|
|
730
658
|
}, {
|
|
731
659
|
publicKeys: {
|
|
732
|
-
masterNullifierPublicKey: string
|
|
733
|
-
|
|
734
|
-
|
|
735
|
-
|
|
736
|
-
masterIncomingViewingPublicKey: string | {
|
|
737
|
-
x: string;
|
|
738
|
-
y: string;
|
|
739
|
-
};
|
|
740
|
-
masterOutgoingViewingPublicKey: string | {
|
|
741
|
-
x: string;
|
|
742
|
-
y: string;
|
|
743
|
-
};
|
|
744
|
-
masterTaggingPublicKey: string | {
|
|
745
|
-
x: string;
|
|
746
|
-
y: string;
|
|
747
|
-
};
|
|
660
|
+
masterNullifierPublicKey: string;
|
|
661
|
+
masterIncomingViewingPublicKey: string;
|
|
662
|
+
masterOutgoingViewingPublicKey: string;
|
|
663
|
+
masterTaggingPublicKey: string;
|
|
748
664
|
};
|
|
749
665
|
hintKey: number;
|
|
750
666
|
salt?: any;
|
|
@@ -755,22 +671,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
755
671
|
address?: any;
|
|
756
672
|
}>, import("./avm.js").AvmContractInstanceHint, {
|
|
757
673
|
publicKeys: {
|
|
758
|
-
masterNullifierPublicKey: string
|
|
759
|
-
|
|
760
|
-
|
|
761
|
-
|
|
762
|
-
masterIncomingViewingPublicKey: string | {
|
|
763
|
-
x: string;
|
|
764
|
-
y: string;
|
|
765
|
-
};
|
|
766
|
-
masterOutgoingViewingPublicKey: string | {
|
|
767
|
-
x: string;
|
|
768
|
-
y: string;
|
|
769
|
-
};
|
|
770
|
-
masterTaggingPublicKey: string | {
|
|
771
|
-
x: string;
|
|
772
|
-
y: string;
|
|
773
|
-
};
|
|
674
|
+
masterNullifierPublicKey: string;
|
|
675
|
+
masterIncomingViewingPublicKey: string;
|
|
676
|
+
masterOutgoingViewingPublicKey: string;
|
|
677
|
+
masterTaggingPublicKey: string;
|
|
774
678
|
};
|
|
775
679
|
hintKey: number;
|
|
776
680
|
salt?: any;
|
|
@@ -839,9 +743,72 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
839
743
|
selector?: any;
|
|
840
744
|
address?: any;
|
|
841
745
|
}>, "many">;
|
|
746
|
+
contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
747
|
+
actionCounter: z.ZodNumber;
|
|
748
|
+
oldCheckpointId: z.ZodNumber;
|
|
749
|
+
newCheckpointId: z.ZodNumber;
|
|
750
|
+
}, "strip", z.ZodTypeAny, {
|
|
751
|
+
actionCounter: number;
|
|
752
|
+
oldCheckpointId: number;
|
|
753
|
+
newCheckpointId: number;
|
|
754
|
+
}, {
|
|
755
|
+
actionCounter: number;
|
|
756
|
+
oldCheckpointId: number;
|
|
757
|
+
newCheckpointId: number;
|
|
758
|
+
}>, {
|
|
759
|
+
readonly actionCounter: number;
|
|
760
|
+
readonly oldCheckpointId: number;
|
|
761
|
+
readonly newCheckpointId: number;
|
|
762
|
+
}, {
|
|
763
|
+
actionCounter: number;
|
|
764
|
+
oldCheckpointId: number;
|
|
765
|
+
newCheckpointId: number;
|
|
766
|
+
}>, "many">;
|
|
767
|
+
contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
768
|
+
actionCounter: z.ZodNumber;
|
|
769
|
+
oldCheckpointId: z.ZodNumber;
|
|
770
|
+
newCheckpointId: z.ZodNumber;
|
|
771
|
+
}, "strip", z.ZodTypeAny, {
|
|
772
|
+
actionCounter: number;
|
|
773
|
+
oldCheckpointId: number;
|
|
774
|
+
newCheckpointId: number;
|
|
775
|
+
}, {
|
|
776
|
+
actionCounter: number;
|
|
777
|
+
oldCheckpointId: number;
|
|
778
|
+
newCheckpointId: number;
|
|
779
|
+
}>, {
|
|
780
|
+
readonly actionCounter: number;
|
|
781
|
+
readonly oldCheckpointId: number;
|
|
782
|
+
readonly newCheckpointId: number;
|
|
783
|
+
}, {
|
|
784
|
+
actionCounter: number;
|
|
785
|
+
oldCheckpointId: number;
|
|
786
|
+
newCheckpointId: number;
|
|
787
|
+
}>, "many">;
|
|
788
|
+
contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
789
|
+
actionCounter: z.ZodNumber;
|
|
790
|
+
oldCheckpointId: z.ZodNumber;
|
|
791
|
+
newCheckpointId: z.ZodNumber;
|
|
792
|
+
}, "strip", z.ZodTypeAny, {
|
|
793
|
+
actionCounter: number;
|
|
794
|
+
oldCheckpointId: number;
|
|
795
|
+
newCheckpointId: number;
|
|
796
|
+
}, {
|
|
797
|
+
actionCounter: number;
|
|
798
|
+
oldCheckpointId: number;
|
|
799
|
+
newCheckpointId: number;
|
|
800
|
+
}>, {
|
|
801
|
+
readonly actionCounter: number;
|
|
802
|
+
readonly oldCheckpointId: number;
|
|
803
|
+
readonly newCheckpointId: number;
|
|
804
|
+
}, {
|
|
805
|
+
actionCounter: number;
|
|
806
|
+
oldCheckpointId: number;
|
|
807
|
+
newCheckpointId: number;
|
|
808
|
+
}>, "many">;
|
|
842
809
|
startingTreeRoots: z.ZodEffects<z.ZodObject<{
|
|
843
810
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
844
|
-
root: z.
|
|
811
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
845
812
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
846
813
|
}, "strip", z.ZodTypeAny, {
|
|
847
814
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -854,7 +821,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
854
821
|
nextAvailableLeafIndex: string | number | bigint;
|
|
855
822
|
}>;
|
|
856
823
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
857
|
-
root: z.
|
|
824
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
858
825
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
859
826
|
}, "strip", z.ZodTypeAny, {
|
|
860
827
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -867,7 +834,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
867
834
|
nextAvailableLeafIndex: string | number | bigint;
|
|
868
835
|
}>;
|
|
869
836
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
870
|
-
root: z.
|
|
837
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
871
838
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
872
839
|
}, "strip", z.ZodTypeAny, {
|
|
873
840
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -880,7 +847,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
880
847
|
nextAvailableLeafIndex: string | number | bigint;
|
|
881
848
|
}>;
|
|
882
849
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
883
|
-
root: z.
|
|
850
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
884
851
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
885
852
|
}, "strip", z.ZodTypeAny, {
|
|
886
853
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -934,7 +901,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
934
901
|
}>;
|
|
935
902
|
getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
936
903
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
937
|
-
root: z.
|
|
904
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
938
905
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
939
906
|
}, "strip", z.ZodTypeAny, {
|
|
940
907
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -973,7 +940,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
973
940
|
}>, "many">;
|
|
974
941
|
getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
975
942
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
976
|
-
root: z.
|
|
943
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
977
944
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
978
945
|
}, "strip", z.ZodTypeAny, {
|
|
979
946
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1016,7 +983,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1016
983
|
}>, "many">;
|
|
1017
984
|
getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1018
985
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1019
|
-
root: z.
|
|
986
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1020
987
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1021
988
|
}, "strip", z.ZodTypeAny, {
|
|
1022
989
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1031,7 +998,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1031
998
|
index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1032
999
|
leafPreimage: z.ZodEffects<z.ZodObject<{
|
|
1033
1000
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1034
|
-
nullifier: z.
|
|
1001
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1035
1002
|
}, "strip", z.ZodTypeAny, {
|
|
1036
1003
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1037
1004
|
}, {
|
|
@@ -1039,7 +1006,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1039
1006
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1040
1007
|
nullifier: string;
|
|
1041
1008
|
}>;
|
|
1042
|
-
nextKey: z.
|
|
1009
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1043
1010
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1044
1011
|
}, "strip", z.ZodTypeAny, {
|
|
1045
1012
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1059,8 +1026,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1059
1026
|
nextIndex: string | number | bigint;
|
|
1060
1027
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1061
1028
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1062
|
-
slot: z.
|
|
1063
|
-
value: z.
|
|
1029
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1030
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1064
1031
|
}, "strip", z.ZodTypeAny, {
|
|
1065
1032
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1066
1033
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1071,7 +1038,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1071
1038
|
value: string;
|
|
1072
1039
|
slot: string;
|
|
1073
1040
|
}>;
|
|
1074
|
-
nextKey: z.
|
|
1041
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1075
1042
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1076
1043
|
}, "strip", z.ZodTypeAny, {
|
|
1077
1044
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1143,7 +1110,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1143
1110
|
}>, "many">;
|
|
1144
1111
|
getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1145
1112
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1146
|
-
root: z.
|
|
1113
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1147
1114
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1148
1115
|
}, "strip", z.ZodTypeAny, {
|
|
1149
1116
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1158,7 +1125,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1158
1125
|
index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1159
1126
|
leafPreimage: z.ZodEffects<z.ZodObject<{
|
|
1160
1127
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1161
|
-
nullifier: z.
|
|
1128
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1162
1129
|
}, "strip", z.ZodTypeAny, {
|
|
1163
1130
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1164
1131
|
}, {
|
|
@@ -1166,7 +1133,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1166
1133
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1167
1134
|
nullifier: string;
|
|
1168
1135
|
}>;
|
|
1169
|
-
nextKey: z.
|
|
1136
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1170
1137
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1171
1138
|
}, "strip", z.ZodTypeAny, {
|
|
1172
1139
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1186,8 +1153,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1186
1153
|
nextIndex: string | number | bigint;
|
|
1187
1154
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1188
1155
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1189
|
-
slot: z.
|
|
1190
|
-
value: z.
|
|
1156
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1157
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1191
1158
|
}, "strip", z.ZodTypeAny, {
|
|
1192
1159
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1193
1160
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1198,7 +1165,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1198
1165
|
value: string;
|
|
1199
1166
|
slot: string;
|
|
1200
1167
|
}>;
|
|
1201
|
-
nextKey: z.
|
|
1168
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1202
1169
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1203
1170
|
}, "strip", z.ZodTypeAny, {
|
|
1204
1171
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1270,7 +1237,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1270
1237
|
}>, "many">;
|
|
1271
1238
|
getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1272
1239
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1273
|
-
root: z.
|
|
1240
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1274
1241
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1275
1242
|
}, "strip", z.ZodTypeAny, {
|
|
1276
1243
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1309,7 +1276,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1309
1276
|
}>, "many">;
|
|
1310
1277
|
sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1311
1278
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1312
|
-
root: z.
|
|
1279
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1313
1280
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1314
1281
|
}, "strip", z.ZodTypeAny, {
|
|
1315
1282
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1322,7 +1289,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1322
1289
|
nextAvailableLeafIndex: string | number | bigint;
|
|
1323
1290
|
}>;
|
|
1324
1291
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
1325
|
-
root: z.
|
|
1292
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1326
1293
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1327
1294
|
}, "strip", z.ZodTypeAny, {
|
|
1328
1295
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1336,7 +1303,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1336
1303
|
}>;
|
|
1337
1304
|
treeId: z.ZodNumber;
|
|
1338
1305
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1339
|
-
nullifier: z.
|
|
1306
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1340
1307
|
}, "strip", z.ZodTypeAny, {
|
|
1341
1308
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1342
1309
|
}, {
|
|
@@ -1344,8 +1311,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1344
1311
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1345
1312
|
nullifier: string;
|
|
1346
1313
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1347
|
-
slot: z.
|
|
1348
|
-
value: z.
|
|
1314
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1315
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1349
1316
|
}, "strip", z.ZodTypeAny, {
|
|
1350
1317
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1351
1318
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1359,7 +1326,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1359
1326
|
lowLeavesWitnessData: z.ZodObject<{
|
|
1360
1327
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1361
1328
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1362
|
-
nullifier: z.
|
|
1329
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1363
1330
|
}, "strip", z.ZodTypeAny, {
|
|
1364
1331
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1365
1332
|
}, {
|
|
@@ -1367,7 +1334,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1367
1334
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1368
1335
|
nullifier: string;
|
|
1369
1336
|
}>;
|
|
1370
|
-
nextKey: z.
|
|
1337
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1371
1338
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1372
1339
|
}, "strip", z.ZodTypeAny, {
|
|
1373
1340
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1387,8 +1354,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1387
1354
|
nextIndex: string | number | bigint;
|
|
1388
1355
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1389
1356
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1390
|
-
slot: z.
|
|
1391
|
-
value: z.
|
|
1357
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1358
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1392
1359
|
}, "strip", z.ZodTypeAny, {
|
|
1393
1360
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1394
1361
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1399,7 +1366,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1399
1366
|
value: string;
|
|
1400
1367
|
slot: string;
|
|
1401
1368
|
}>;
|
|
1402
|
-
nextKey: z.
|
|
1369
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1403
1370
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1404
1371
|
}, "strip", z.ZodTypeAny, {
|
|
1405
1372
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1447,7 +1414,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1447
1414
|
insertionWitnessData: z.ZodObject<{
|
|
1448
1415
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1449
1416
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1450
|
-
nullifier: z.
|
|
1417
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1451
1418
|
}, "strip", z.ZodTypeAny, {
|
|
1452
1419
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1453
1420
|
}, {
|
|
@@ -1455,7 +1422,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1455
1422
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1456
1423
|
nullifier: string;
|
|
1457
1424
|
}>;
|
|
1458
|
-
nextKey: z.
|
|
1425
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1459
1426
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1460
1427
|
}, "strip", z.ZodTypeAny, {
|
|
1461
1428
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1475,8 +1442,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1475
1442
|
nextIndex: string | number | bigint;
|
|
1476
1443
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1477
1444
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1478
|
-
slot: z.
|
|
1479
|
-
value: z.
|
|
1445
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1446
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1480
1447
|
}, "strip", z.ZodTypeAny, {
|
|
1481
1448
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1482
1449
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1487,7 +1454,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1487
1454
|
value: string;
|
|
1488
1455
|
slot: string;
|
|
1489
1456
|
}>;
|
|
1490
|
-
nextKey: z.
|
|
1457
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1491
1458
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1492
1459
|
}, "strip", z.ZodTypeAny, {
|
|
1493
1460
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1669,7 +1636,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1669
1636
|
}>, "many">;
|
|
1670
1637
|
sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1671
1638
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1672
|
-
root: z.
|
|
1639
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1673
1640
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1674
1641
|
}, "strip", z.ZodTypeAny, {
|
|
1675
1642
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1682,7 +1649,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1682
1649
|
nextAvailableLeafIndex: string | number | bigint;
|
|
1683
1650
|
}>;
|
|
1684
1651
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
1685
|
-
root: z.
|
|
1652
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1686
1653
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1687
1654
|
}, "strip", z.ZodTypeAny, {
|
|
1688
1655
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1696,7 +1663,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1696
1663
|
}>;
|
|
1697
1664
|
treeId: z.ZodNumber;
|
|
1698
1665
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1699
|
-
nullifier: z.
|
|
1666
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1700
1667
|
}, "strip", z.ZodTypeAny, {
|
|
1701
1668
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1702
1669
|
}, {
|
|
@@ -1704,8 +1671,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1704
1671
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1705
1672
|
nullifier: string;
|
|
1706
1673
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1707
|
-
slot: z.
|
|
1708
|
-
value: z.
|
|
1674
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1675
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1709
1676
|
}, "strip", z.ZodTypeAny, {
|
|
1710
1677
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1711
1678
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1719,7 +1686,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1719
1686
|
lowLeavesWitnessData: z.ZodObject<{
|
|
1720
1687
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1721
1688
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1722
|
-
nullifier: z.
|
|
1689
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1723
1690
|
}, "strip", z.ZodTypeAny, {
|
|
1724
1691
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1725
1692
|
}, {
|
|
@@ -1727,7 +1694,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1727
1694
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1728
1695
|
nullifier: string;
|
|
1729
1696
|
}>;
|
|
1730
|
-
nextKey: z.
|
|
1697
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1731
1698
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1732
1699
|
}, "strip", z.ZodTypeAny, {
|
|
1733
1700
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1747,8 +1714,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1747
1714
|
nextIndex: string | number | bigint;
|
|
1748
1715
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1749
1716
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1750
|
-
slot: z.
|
|
1751
|
-
value: z.
|
|
1717
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1718
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1752
1719
|
}, "strip", z.ZodTypeAny, {
|
|
1753
1720
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1754
1721
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1759,7 +1726,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1759
1726
|
value: string;
|
|
1760
1727
|
slot: string;
|
|
1761
1728
|
}>;
|
|
1762
|
-
nextKey: z.
|
|
1729
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1763
1730
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1764
1731
|
}, "strip", z.ZodTypeAny, {
|
|
1765
1732
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1807,7 +1774,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1807
1774
|
insertionWitnessData: z.ZodObject<{
|
|
1808
1775
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1809
1776
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1810
|
-
nullifier: z.
|
|
1777
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1811
1778
|
}, "strip", z.ZodTypeAny, {
|
|
1812
1779
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1813
1780
|
}, {
|
|
@@ -1815,7 +1782,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1815
1782
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1816
1783
|
nullifier: string;
|
|
1817
1784
|
}>;
|
|
1818
|
-
nextKey: z.
|
|
1785
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1819
1786
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1820
1787
|
}, "strip", z.ZodTypeAny, {
|
|
1821
1788
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1835,8 +1802,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1835
1802
|
nextIndex: string | number | bigint;
|
|
1836
1803
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1837
1804
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1838
|
-
slot: z.
|
|
1839
|
-
value: z.
|
|
1805
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1806
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1840
1807
|
}, "strip", z.ZodTypeAny, {
|
|
1841
1808
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1842
1809
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1847,7 +1814,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
1847
1814
|
value: string;
|
|
1848
1815
|
slot: string;
|
|
1849
1816
|
}>;
|
|
1850
|
-
nextKey: z.
|
|
1817
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1851
1818
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1852
1819
|
}, "strip", z.ZodTypeAny, {
|
|
1853
1820
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -2029,7 +1996,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2029
1996
|
}>, "many">;
|
|
2030
1997
|
appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
2031
1998
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
2032
|
-
root: z.
|
|
1999
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2033
2000
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2034
2001
|
}, "strip", z.ZodTypeAny, {
|
|
2035
2002
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2042,7 +2009,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2042
2009
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2043
2010
|
}>;
|
|
2044
2011
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
2045
|
-
root: z.
|
|
2012
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2046
2013
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2047
2014
|
}, "strip", z.ZodTypeAny, {
|
|
2048
2015
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2132,7 +2099,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2132
2099
|
newCheckpointId: z.ZodNumber;
|
|
2133
2100
|
stateBefore: z.ZodEffects<z.ZodObject<{
|
|
2134
2101
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
2135
|
-
root: z.
|
|
2102
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2136
2103
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2137
2104
|
}, "strip", z.ZodTypeAny, {
|
|
2138
2105
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2145,7 +2112,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2145
2112
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2146
2113
|
}>;
|
|
2147
2114
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
2148
|
-
root: z.
|
|
2115
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2149
2116
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2150
2117
|
}, "strip", z.ZodTypeAny, {
|
|
2151
2118
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2158,7 +2125,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2158
2125
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2159
2126
|
}>;
|
|
2160
2127
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
2161
|
-
root: z.
|
|
2128
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2162
2129
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2163
2130
|
}, "strip", z.ZodTypeAny, {
|
|
2164
2131
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2171,7 +2138,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2171
2138
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2172
2139
|
}>;
|
|
2173
2140
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
2174
|
-
root: z.
|
|
2141
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2175
2142
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2176
2143
|
}, "strip", z.ZodTypeAny, {
|
|
2177
2144
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2225,7 +2192,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2225
2192
|
}>;
|
|
2226
2193
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
2227
2194
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
2228
|
-
root: z.
|
|
2195
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2229
2196
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2230
2197
|
}, "strip", z.ZodTypeAny, {
|
|
2231
2198
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2238,7 +2205,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2238
2205
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2239
2206
|
}>;
|
|
2240
2207
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
2241
|
-
root: z.
|
|
2208
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2242
2209
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2243
2210
|
}, "strip", z.ZodTypeAny, {
|
|
2244
2211
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2251,7 +2218,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2251
2218
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2252
2219
|
}>;
|
|
2253
2220
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
2254
|
-
root: z.
|
|
2221
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2255
2222
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2256
2223
|
}, "strip", z.ZodTypeAny, {
|
|
2257
2224
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2264,7 +2231,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2264
2231
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2265
2232
|
}>;
|
|
2266
2233
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
2267
|
-
root: z.
|
|
2234
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2268
2235
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2269
2236
|
}, "strip", z.ZodTypeAny, {
|
|
2270
2237
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2317,12 +2284,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2317
2284
|
};
|
|
2318
2285
|
}>;
|
|
2319
2286
|
}, "strip", z.ZodTypeAny, {
|
|
2320
|
-
stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2321
2287
|
actionCounter: number;
|
|
2322
2288
|
oldCheckpointId: number;
|
|
2323
2289
|
newCheckpointId: number;
|
|
2290
|
+
stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2324
2291
|
stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2325
2292
|
}, {
|
|
2293
|
+
actionCounter: number;
|
|
2294
|
+
oldCheckpointId: number;
|
|
2295
|
+
newCheckpointId: number;
|
|
2326
2296
|
stateAfter: {
|
|
2327
2297
|
noteHashTree: {
|
|
2328
2298
|
root: string;
|
|
@@ -2341,9 +2311,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2341
2311
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2342
2312
|
};
|
|
2343
2313
|
};
|
|
2344
|
-
actionCounter: number;
|
|
2345
|
-
oldCheckpointId: number;
|
|
2346
|
-
newCheckpointId: number;
|
|
2347
2314
|
stateBefore: {
|
|
2348
2315
|
noteHashTree: {
|
|
2349
2316
|
root: string;
|
|
@@ -2363,6 +2330,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2363
2330
|
};
|
|
2364
2331
|
};
|
|
2365
2332
|
}>, import("./avm.js").AvmRevertCheckpointHint, {
|
|
2333
|
+
actionCounter: number;
|
|
2334
|
+
oldCheckpointId: number;
|
|
2335
|
+
newCheckpointId: number;
|
|
2366
2336
|
stateAfter: {
|
|
2367
2337
|
noteHashTree: {
|
|
2368
2338
|
root: string;
|
|
@@ -2381,9 +2351,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2381
2351
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2382
2352
|
};
|
|
2383
2353
|
};
|
|
2384
|
-
actionCounter: number;
|
|
2385
|
-
oldCheckpointId: number;
|
|
2386
|
-
newCheckpointId: number;
|
|
2387
2354
|
stateBefore: {
|
|
2388
2355
|
noteHashTree: {
|
|
2389
2356
|
root: string;
|
|
@@ -2403,77 +2370,29 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2403
2370
|
};
|
|
2404
2371
|
};
|
|
2405
2372
|
}>, "many">;
|
|
2406
|
-
|
|
2407
|
-
|
|
2408
|
-
|
|
2409
|
-
|
|
2410
|
-
|
|
2411
|
-
|
|
2412
|
-
|
|
2413
|
-
|
|
2414
|
-
|
|
2415
|
-
actionCounter: number;
|
|
2416
|
-
oldCheckpointId: number;
|
|
2417
|
-
newCheckpointId: number;
|
|
2418
|
-
}>, {
|
|
2373
|
+
}, "strip", z.ZodTypeAny, {
|
|
2374
|
+
globalVariables: import("../tx/global_variables.js").GlobalVariables;
|
|
2375
|
+
protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
|
|
2376
|
+
tx: import("./avm.js").AvmTxHint;
|
|
2377
|
+
contractInstances: import("./avm.js").AvmContractInstanceHint[];
|
|
2378
|
+
contractClasses: import("./avm.js").AvmContractClassHint[];
|
|
2379
|
+
bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
|
|
2380
|
+
debugFunctionNames: import("./avm.js").AvmDebugFunctionNameHint[];
|
|
2381
|
+
contractDBCreateCheckpointHints: {
|
|
2419
2382
|
readonly actionCounter: number;
|
|
2420
2383
|
readonly oldCheckpointId: number;
|
|
2421
2384
|
readonly newCheckpointId: number;
|
|
2422
|
-
}
|
|
2423
|
-
|
|
2424
|
-
oldCheckpointId: number;
|
|
2425
|
-
newCheckpointId: number;
|
|
2426
|
-
}>, "many">;
|
|
2427
|
-
contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
2428
|
-
actionCounter: z.ZodNumber;
|
|
2429
|
-
oldCheckpointId: z.ZodNumber;
|
|
2430
|
-
newCheckpointId: z.ZodNumber;
|
|
2431
|
-
}, "strip", z.ZodTypeAny, {
|
|
2432
|
-
actionCounter: number;
|
|
2433
|
-
oldCheckpointId: number;
|
|
2434
|
-
newCheckpointId: number;
|
|
2435
|
-
}, {
|
|
2436
|
-
actionCounter: number;
|
|
2437
|
-
oldCheckpointId: number;
|
|
2438
|
-
newCheckpointId: number;
|
|
2439
|
-
}>, {
|
|
2385
|
+
}[];
|
|
2386
|
+
contractDBCommitCheckpointHints: {
|
|
2440
2387
|
readonly actionCounter: number;
|
|
2441
2388
|
readonly oldCheckpointId: number;
|
|
2442
2389
|
readonly newCheckpointId: number;
|
|
2443
|
-
}
|
|
2444
|
-
|
|
2445
|
-
oldCheckpointId: number;
|
|
2446
|
-
newCheckpointId: number;
|
|
2447
|
-
}>, "many">;
|
|
2448
|
-
contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
2449
|
-
actionCounter: z.ZodNumber;
|
|
2450
|
-
oldCheckpointId: z.ZodNumber;
|
|
2451
|
-
newCheckpointId: z.ZodNumber;
|
|
2452
|
-
}, "strip", z.ZodTypeAny, {
|
|
2453
|
-
actionCounter: number;
|
|
2454
|
-
oldCheckpointId: number;
|
|
2455
|
-
newCheckpointId: number;
|
|
2456
|
-
}, {
|
|
2457
|
-
actionCounter: number;
|
|
2458
|
-
oldCheckpointId: number;
|
|
2459
|
-
newCheckpointId: number;
|
|
2460
|
-
}>, {
|
|
2390
|
+
}[];
|
|
2391
|
+
contractDBRevertCheckpointHints: {
|
|
2461
2392
|
readonly actionCounter: number;
|
|
2462
2393
|
readonly oldCheckpointId: number;
|
|
2463
2394
|
readonly newCheckpointId: number;
|
|
2464
|
-
}
|
|
2465
|
-
actionCounter: number;
|
|
2466
|
-
oldCheckpointId: number;
|
|
2467
|
-
newCheckpointId: number;
|
|
2468
|
-
}>, "many">;
|
|
2469
|
-
}, "strip", z.ZodTypeAny, {
|
|
2470
|
-
globalVariables: import("../tx/global_variables.js").GlobalVariables;
|
|
2471
|
-
protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
|
|
2472
|
-
tx: import("./avm.js").AvmTxHint;
|
|
2473
|
-
contractInstances: import("./avm.js").AvmContractInstanceHint[];
|
|
2474
|
-
contractClasses: import("./avm.js").AvmContractClassHint[];
|
|
2475
|
-
bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
|
|
2476
|
-
debugFunctionNames: import("./avm.js").AvmDebugFunctionNameHint[];
|
|
2395
|
+
}[];
|
|
2477
2396
|
startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2478
2397
|
getSiblingPathHints: import("./avm.js").AvmGetSiblingPathHint[];
|
|
2479
2398
|
getPreviousValueIndexHints: import("./avm.js").AvmGetPreviousValueIndexHint[];
|
|
@@ -2532,21 +2451,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2532
2451
|
readonly newCheckpointId: number;
|
|
2533
2452
|
}[];
|
|
2534
2453
|
revertCheckpointHints: import("./avm.js").AvmRevertCheckpointHint[];
|
|
2535
|
-
contractDBCreateCheckpointHints: {
|
|
2536
|
-
readonly actionCounter: number;
|
|
2537
|
-
readonly oldCheckpointId: number;
|
|
2538
|
-
readonly newCheckpointId: number;
|
|
2539
|
-
}[];
|
|
2540
|
-
contractDBCommitCheckpointHints: {
|
|
2541
|
-
readonly actionCounter: number;
|
|
2542
|
-
readonly oldCheckpointId: number;
|
|
2543
|
-
readonly newCheckpointId: number;
|
|
2544
|
-
}[];
|
|
2545
|
-
contractDBRevertCheckpointHints: {
|
|
2546
|
-
readonly actionCounter: number;
|
|
2547
|
-
readonly oldCheckpointId: number;
|
|
2548
|
-
readonly newCheckpointId: number;
|
|
2549
|
-
}[];
|
|
2550
2454
|
}, {
|
|
2551
2455
|
globalVariables: {
|
|
2552
2456
|
blockNumber: string | number | bigint;
|
|
@@ -2647,22 +2551,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2647
2551
|
};
|
|
2648
2552
|
contractInstances: {
|
|
2649
2553
|
publicKeys: {
|
|
2650
|
-
masterNullifierPublicKey: string
|
|
2651
|
-
|
|
2652
|
-
|
|
2653
|
-
|
|
2654
|
-
masterIncomingViewingPublicKey: string | {
|
|
2655
|
-
x: string;
|
|
2656
|
-
y: string;
|
|
2657
|
-
};
|
|
2658
|
-
masterOutgoingViewingPublicKey: string | {
|
|
2659
|
-
x: string;
|
|
2660
|
-
y: string;
|
|
2661
|
-
};
|
|
2662
|
-
masterTaggingPublicKey: string | {
|
|
2663
|
-
x: string;
|
|
2664
|
-
y: string;
|
|
2665
|
-
};
|
|
2554
|
+
masterNullifierPublicKey: string;
|
|
2555
|
+
masterIncomingViewingPublicKey: string;
|
|
2556
|
+
masterOutgoingViewingPublicKey: string;
|
|
2557
|
+
masterTaggingPublicKey: string;
|
|
2666
2558
|
};
|
|
2667
2559
|
hintKey: number;
|
|
2668
2560
|
salt?: any;
|
|
@@ -2689,6 +2581,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2689
2581
|
selector?: any;
|
|
2690
2582
|
address?: any;
|
|
2691
2583
|
}[];
|
|
2584
|
+
contractDBCreateCheckpointHints: {
|
|
2585
|
+
actionCounter: number;
|
|
2586
|
+
oldCheckpointId: number;
|
|
2587
|
+
newCheckpointId: number;
|
|
2588
|
+
}[];
|
|
2589
|
+
contractDBCommitCheckpointHints: {
|
|
2590
|
+
actionCounter: number;
|
|
2591
|
+
oldCheckpointId: number;
|
|
2592
|
+
newCheckpointId: number;
|
|
2593
|
+
}[];
|
|
2594
|
+
contractDBRevertCheckpointHints: {
|
|
2595
|
+
actionCounter: number;
|
|
2596
|
+
oldCheckpointId: number;
|
|
2597
|
+
newCheckpointId: number;
|
|
2598
|
+
}[];
|
|
2692
2599
|
startingTreeRoots: {
|
|
2693
2600
|
noteHashTree: {
|
|
2694
2601
|
root: string;
|
|
@@ -2906,6 +2813,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2906
2813
|
newCheckpointId: number;
|
|
2907
2814
|
}[];
|
|
2908
2815
|
revertCheckpointHints: {
|
|
2816
|
+
actionCounter: number;
|
|
2817
|
+
oldCheckpointId: number;
|
|
2818
|
+
newCheckpointId: number;
|
|
2909
2819
|
stateAfter: {
|
|
2910
2820
|
noteHashTree: {
|
|
2911
2821
|
root: string;
|
|
@@ -2924,9 +2834,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2924
2834
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2925
2835
|
};
|
|
2926
2836
|
};
|
|
2927
|
-
actionCounter: number;
|
|
2928
|
-
oldCheckpointId: number;
|
|
2929
|
-
newCheckpointId: number;
|
|
2930
2837
|
stateBefore: {
|
|
2931
2838
|
noteHashTree: {
|
|
2932
2839
|
root: string;
|
|
@@ -2946,21 +2853,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
2946
2853
|
};
|
|
2947
2854
|
};
|
|
2948
2855
|
}[];
|
|
2949
|
-
contractDBCreateCheckpointHints: {
|
|
2950
|
-
actionCounter: number;
|
|
2951
|
-
oldCheckpointId: number;
|
|
2952
|
-
newCheckpointId: number;
|
|
2953
|
-
}[];
|
|
2954
|
-
contractDBCommitCheckpointHints: {
|
|
2955
|
-
actionCounter: number;
|
|
2956
|
-
oldCheckpointId: number;
|
|
2957
|
-
newCheckpointId: number;
|
|
2958
|
-
}[];
|
|
2959
|
-
contractDBRevertCheckpointHints: {
|
|
2960
|
-
actionCounter: number;
|
|
2961
|
-
oldCheckpointId: number;
|
|
2962
|
-
newCheckpointId: number;
|
|
2963
|
-
}[];
|
|
2964
2856
|
}>, import("./avm.js").AvmExecutionHints, {
|
|
2965
2857
|
globalVariables: {
|
|
2966
2858
|
blockNumber: string | number | bigint;
|
|
@@ -3061,22 +2953,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3061
2953
|
};
|
|
3062
2954
|
contractInstances: {
|
|
3063
2955
|
publicKeys: {
|
|
3064
|
-
masterNullifierPublicKey: string
|
|
3065
|
-
|
|
3066
|
-
|
|
3067
|
-
|
|
3068
|
-
masterIncomingViewingPublicKey: string | {
|
|
3069
|
-
x: string;
|
|
3070
|
-
y: string;
|
|
3071
|
-
};
|
|
3072
|
-
masterOutgoingViewingPublicKey: string | {
|
|
3073
|
-
x: string;
|
|
3074
|
-
y: string;
|
|
3075
|
-
};
|
|
3076
|
-
masterTaggingPublicKey: string | {
|
|
3077
|
-
x: string;
|
|
3078
|
-
y: string;
|
|
3079
|
-
};
|
|
2956
|
+
masterNullifierPublicKey: string;
|
|
2957
|
+
masterIncomingViewingPublicKey: string;
|
|
2958
|
+
masterOutgoingViewingPublicKey: string;
|
|
2959
|
+
masterTaggingPublicKey: string;
|
|
3080
2960
|
};
|
|
3081
2961
|
hintKey: number;
|
|
3082
2962
|
salt?: any;
|
|
@@ -3103,6 +2983,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3103
2983
|
selector?: any;
|
|
3104
2984
|
address?: any;
|
|
3105
2985
|
}[];
|
|
2986
|
+
contractDBCreateCheckpointHints: {
|
|
2987
|
+
actionCounter: number;
|
|
2988
|
+
oldCheckpointId: number;
|
|
2989
|
+
newCheckpointId: number;
|
|
2990
|
+
}[];
|
|
2991
|
+
contractDBCommitCheckpointHints: {
|
|
2992
|
+
actionCounter: number;
|
|
2993
|
+
oldCheckpointId: number;
|
|
2994
|
+
newCheckpointId: number;
|
|
2995
|
+
}[];
|
|
2996
|
+
contractDBRevertCheckpointHints: {
|
|
2997
|
+
actionCounter: number;
|
|
2998
|
+
oldCheckpointId: number;
|
|
2999
|
+
newCheckpointId: number;
|
|
3000
|
+
}[];
|
|
3106
3001
|
startingTreeRoots: {
|
|
3107
3002
|
noteHashTree: {
|
|
3108
3003
|
root: string;
|
|
@@ -3320,6 +3215,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3320
3215
|
newCheckpointId: number;
|
|
3321
3216
|
}[];
|
|
3322
3217
|
revertCheckpointHints: {
|
|
3218
|
+
actionCounter: number;
|
|
3219
|
+
oldCheckpointId: number;
|
|
3220
|
+
newCheckpointId: number;
|
|
3323
3221
|
stateAfter: {
|
|
3324
3222
|
noteHashTree: {
|
|
3325
3223
|
root: string;
|
|
@@ -3338,9 +3236,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3338
3236
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3339
3237
|
};
|
|
3340
3238
|
};
|
|
3341
|
-
actionCounter: number;
|
|
3342
|
-
oldCheckpointId: number;
|
|
3343
|
-
newCheckpointId: number;
|
|
3344
3239
|
stateBefore: {
|
|
3345
3240
|
noteHashTree: {
|
|
3346
3241
|
root: string;
|
|
@@ -3360,21 +3255,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3360
3255
|
};
|
|
3361
3256
|
};
|
|
3362
3257
|
}[];
|
|
3363
|
-
contractDBCreateCheckpointHints: {
|
|
3364
|
-
actionCounter: number;
|
|
3365
|
-
oldCheckpointId: number;
|
|
3366
|
-
newCheckpointId: number;
|
|
3367
|
-
}[];
|
|
3368
|
-
contractDBCommitCheckpointHints: {
|
|
3369
|
-
actionCounter: number;
|
|
3370
|
-
oldCheckpointId: number;
|
|
3371
|
-
newCheckpointId: number;
|
|
3372
|
-
}[];
|
|
3373
|
-
contractDBRevertCheckpointHints: {
|
|
3374
|
-
actionCounter: number;
|
|
3375
|
-
oldCheckpointId: number;
|
|
3376
|
-
newCheckpointId: number;
|
|
3377
|
-
}[];
|
|
3378
3258
|
}>;
|
|
3379
3259
|
publicInputs: z.ZodEffects<z.ZodObject<{
|
|
3380
3260
|
globalVariables: z.ZodEffects<z.ZodObject<{
|
|
@@ -3443,7 +3323,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3443
3323
|
}>;
|
|
3444
3324
|
startTreeSnapshots: z.ZodEffects<z.ZodObject<{
|
|
3445
3325
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
3446
|
-
root: z.
|
|
3326
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3447
3327
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3448
3328
|
}, "strip", z.ZodTypeAny, {
|
|
3449
3329
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3456,7 +3336,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3456
3336
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3457
3337
|
}>;
|
|
3458
3338
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
3459
|
-
root: z.
|
|
3339
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3460
3340
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3461
3341
|
}, "strip", z.ZodTypeAny, {
|
|
3462
3342
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3469,7 +3349,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3469
3349
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3470
3350
|
}>;
|
|
3471
3351
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
3472
|
-
root: z.
|
|
3352
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3473
3353
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3474
3354
|
}, "strip", z.ZodTypeAny, {
|
|
3475
3355
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3482,7 +3362,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3482
3362
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3483
3363
|
}>;
|
|
3484
3364
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
3485
|
-
root: z.
|
|
3365
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3486
3366
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3487
3367
|
}, "strip", z.ZodTypeAny, {
|
|
3488
3368
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3654,7 +3534,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3654
3534
|
feePerL2Gas: string | number | bigint;
|
|
3655
3535
|
}>;
|
|
3656
3536
|
feePayer: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3657
|
-
proverId: z.
|
|
3537
|
+
proverId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3658
3538
|
publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
|
|
3659
3539
|
setupCalls: z.ZodNumber;
|
|
3660
3540
|
appLogicCalls: z.ZodNumber;
|
|
@@ -3676,7 +3556,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3676
3556
|
msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3677
3557
|
contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3678
3558
|
isStaticCall: z.ZodBoolean;
|
|
3679
|
-
calldataHash: z.
|
|
3559
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3680
3560
|
}, "strip", z.ZodTypeAny, {
|
|
3681
3561
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
3682
3562
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
@@ -3697,7 +3577,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3697
3577
|
msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3698
3578
|
contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3699
3579
|
isStaticCall: z.ZodBoolean;
|
|
3700
|
-
calldataHash: z.
|
|
3580
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3701
3581
|
}, "strip", z.ZodTypeAny, {
|
|
3702
3582
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
3703
3583
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
@@ -3718,7 +3598,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3718
3598
|
msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3719
3599
|
contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3720
3600
|
isStaticCall: z.ZodBoolean;
|
|
3721
|
-
calldataHash: z.
|
|
3601
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3722
3602
|
}, "strip", z.ZodTypeAny, {
|
|
3723
3603
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
3724
3604
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
@@ -3770,12 +3650,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3770
3650
|
l2ToL1Msgs: string | number | bigint;
|
|
3771
3651
|
}>;
|
|
3772
3652
|
previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
|
|
3773
|
-
noteHashes: z.ZodArray<z.
|
|
3774
|
-
nullifiers: z.ZodArray<z.
|
|
3653
|
+
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3654
|
+
nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3775
3655
|
l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
3776
3656
|
message: z.ZodEffects<z.ZodObject<{
|
|
3777
|
-
recipient: z.
|
|
3778
|
-
content: z.
|
|
3657
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
3658
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3779
3659
|
}, "strip", z.ZodTypeAny, {
|
|
3780
3660
|
content: import("@aztec/foundation/schemas").Fr;
|
|
3781
3661
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -3829,12 +3709,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3829
3709
|
}[];
|
|
3830
3710
|
}>;
|
|
3831
3711
|
previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
|
|
3832
|
-
noteHashes: z.ZodArray<z.
|
|
3833
|
-
nullifiers: z.ZodArray<z.
|
|
3712
|
+
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3713
|
+
nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3834
3714
|
l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
3835
3715
|
message: z.ZodEffects<z.ZodObject<{
|
|
3836
|
-
recipient: z.
|
|
3837
|
-
content: z.
|
|
3716
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
3717
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3838
3718
|
}, "strip", z.ZodTypeAny, {
|
|
3839
3719
|
content: import("@aztec/foundation/schemas").Fr;
|
|
3840
3720
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -3889,7 +3769,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3889
3769
|
}>;
|
|
3890
3770
|
endTreeSnapshots: z.ZodEffects<z.ZodObject<{
|
|
3891
3771
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
3892
|
-
root: z.
|
|
3772
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3893
3773
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3894
3774
|
}, "strip", z.ZodTypeAny, {
|
|
3895
3775
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3902,7 +3782,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3902
3782
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3903
3783
|
}>;
|
|
3904
3784
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
3905
|
-
root: z.
|
|
3785
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3906
3786
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3907
3787
|
}, "strip", z.ZodTypeAny, {
|
|
3908
3788
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3915,7 +3795,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3915
3795
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3916
3796
|
}>;
|
|
3917
3797
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
3918
|
-
root: z.
|
|
3798
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3919
3799
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3920
3800
|
}, "strip", z.ZodTypeAny, {
|
|
3921
3801
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3928,7 +3808,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3928
3808
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3929
3809
|
}>;
|
|
3930
3810
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
3931
|
-
root: z.
|
|
3811
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3932
3812
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3933
3813
|
}, "strip", z.ZodTypeAny, {
|
|
3934
3814
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -4015,12 +3895,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4015
3895
|
publicDataWrites: number;
|
|
4016
3896
|
}>;
|
|
4017
3897
|
accumulatedData: z.ZodEffects<z.ZodObject<{
|
|
4018
|
-
noteHashes: z.ZodArray<z.
|
|
4019
|
-
nullifiers: z.ZodArray<z.
|
|
3898
|
+
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3899
|
+
nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
4020
3900
|
l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
4021
3901
|
message: z.ZodEffects<z.ZodObject<{
|
|
4022
|
-
recipient: z.
|
|
4023
|
-
content: z.
|
|
3902
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
3903
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
4024
3904
|
}, "strip", z.ZodTypeAny, {
|
|
4025
3905
|
content: import("@aztec/foundation/schemas").Fr;
|
|
4026
3906
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -4050,8 +3930,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4050
3930
|
}>, "many">;
|
|
4051
3931
|
publicLogs: import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
|
|
4052
3932
|
publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
4053
|
-
leafSlot: z.
|
|
4054
|
-
value: z.
|
|
3933
|
+
leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3934
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
4055
3935
|
}, "strip", z.ZodTypeAny, {
|
|
4056
3936
|
value: import("@aztec/foundation/schemas").Fr;
|
|
4057
3937
|
leafSlot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -4099,7 +3979,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4099
3979
|
}[];
|
|
4100
3980
|
publicLogs?: any;
|
|
4101
3981
|
}>;
|
|
4102
|
-
transactionFee: z.
|
|
3982
|
+
transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
4103
3983
|
reverted: z.ZodBoolean;
|
|
4104
3984
|
}, "strip", z.ZodTypeAny, {
|
|
4105
3985
|
globalVariables: import("../tx/global_variables.js").GlobalVariables;
|
|
@@ -4722,22 +4602,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4722
4602
|
};
|
|
4723
4603
|
contractInstances: {
|
|
4724
4604
|
publicKeys: {
|
|
4725
|
-
masterNullifierPublicKey: string
|
|
4726
|
-
|
|
4727
|
-
|
|
4728
|
-
|
|
4729
|
-
masterIncomingViewingPublicKey: string | {
|
|
4730
|
-
x: string;
|
|
4731
|
-
y: string;
|
|
4732
|
-
};
|
|
4733
|
-
masterOutgoingViewingPublicKey: string | {
|
|
4734
|
-
x: string;
|
|
4735
|
-
y: string;
|
|
4736
|
-
};
|
|
4737
|
-
masterTaggingPublicKey: string | {
|
|
4738
|
-
x: string;
|
|
4739
|
-
y: string;
|
|
4740
|
-
};
|
|
4605
|
+
masterNullifierPublicKey: string;
|
|
4606
|
+
masterIncomingViewingPublicKey: string;
|
|
4607
|
+
masterOutgoingViewingPublicKey: string;
|
|
4608
|
+
masterTaggingPublicKey: string;
|
|
4741
4609
|
};
|
|
4742
4610
|
hintKey: number;
|
|
4743
4611
|
salt?: any;
|
|
@@ -4764,6 +4632,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4764
4632
|
selector?: any;
|
|
4765
4633
|
address?: any;
|
|
4766
4634
|
}[];
|
|
4635
|
+
contractDBCreateCheckpointHints: {
|
|
4636
|
+
actionCounter: number;
|
|
4637
|
+
oldCheckpointId: number;
|
|
4638
|
+
newCheckpointId: number;
|
|
4639
|
+
}[];
|
|
4640
|
+
contractDBCommitCheckpointHints: {
|
|
4641
|
+
actionCounter: number;
|
|
4642
|
+
oldCheckpointId: number;
|
|
4643
|
+
newCheckpointId: number;
|
|
4644
|
+
}[];
|
|
4645
|
+
contractDBRevertCheckpointHints: {
|
|
4646
|
+
actionCounter: number;
|
|
4647
|
+
oldCheckpointId: number;
|
|
4648
|
+
newCheckpointId: number;
|
|
4649
|
+
}[];
|
|
4767
4650
|
startingTreeRoots: {
|
|
4768
4651
|
noteHashTree: {
|
|
4769
4652
|
root: string;
|
|
@@ -4981,6 +4864,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4981
4864
|
newCheckpointId: number;
|
|
4982
4865
|
}[];
|
|
4983
4866
|
revertCheckpointHints: {
|
|
4867
|
+
actionCounter: number;
|
|
4868
|
+
oldCheckpointId: number;
|
|
4869
|
+
newCheckpointId: number;
|
|
4984
4870
|
stateAfter: {
|
|
4985
4871
|
noteHashTree: {
|
|
4986
4872
|
root: string;
|
|
@@ -4999,9 +4885,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4999
4885
|
nextAvailableLeafIndex: string | number | bigint;
|
|
5000
4886
|
};
|
|
5001
4887
|
};
|
|
5002
|
-
actionCounter: number;
|
|
5003
|
-
oldCheckpointId: number;
|
|
5004
|
-
newCheckpointId: number;
|
|
5005
4888
|
stateBefore: {
|
|
5006
4889
|
noteHashTree: {
|
|
5007
4890
|
root: string;
|
|
@@ -5021,21 +4904,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5021
4904
|
};
|
|
5022
4905
|
};
|
|
5023
4906
|
}[];
|
|
5024
|
-
contractDBCreateCheckpointHints: {
|
|
5025
|
-
actionCounter: number;
|
|
5026
|
-
oldCheckpointId: number;
|
|
5027
|
-
newCheckpointId: number;
|
|
5028
|
-
}[];
|
|
5029
|
-
contractDBCommitCheckpointHints: {
|
|
5030
|
-
actionCounter: number;
|
|
5031
|
-
oldCheckpointId: number;
|
|
5032
|
-
newCheckpointId: number;
|
|
5033
|
-
}[];
|
|
5034
|
-
contractDBRevertCheckpointHints: {
|
|
5035
|
-
actionCounter: number;
|
|
5036
|
-
oldCheckpointId: number;
|
|
5037
|
-
newCheckpointId: number;
|
|
5038
|
-
}[];
|
|
5039
4907
|
};
|
|
5040
4908
|
}>, AvmCircuitInputs, {
|
|
5041
4909
|
publicInputs: {
|
|
@@ -5303,22 +5171,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5303
5171
|
};
|
|
5304
5172
|
contractInstances: {
|
|
5305
5173
|
publicKeys: {
|
|
5306
|
-
masterNullifierPublicKey: string
|
|
5307
|
-
|
|
5308
|
-
|
|
5309
|
-
|
|
5310
|
-
masterIncomingViewingPublicKey: string | {
|
|
5311
|
-
x: string;
|
|
5312
|
-
y: string;
|
|
5313
|
-
};
|
|
5314
|
-
masterOutgoingViewingPublicKey: string | {
|
|
5315
|
-
x: string;
|
|
5316
|
-
y: string;
|
|
5317
|
-
};
|
|
5318
|
-
masterTaggingPublicKey: string | {
|
|
5319
|
-
x: string;
|
|
5320
|
-
y: string;
|
|
5321
|
-
};
|
|
5174
|
+
masterNullifierPublicKey: string;
|
|
5175
|
+
masterIncomingViewingPublicKey: string;
|
|
5176
|
+
masterOutgoingViewingPublicKey: string;
|
|
5177
|
+
masterTaggingPublicKey: string;
|
|
5322
5178
|
};
|
|
5323
5179
|
hintKey: number;
|
|
5324
5180
|
salt?: any;
|
|
@@ -5345,6 +5201,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5345
5201
|
selector?: any;
|
|
5346
5202
|
address?: any;
|
|
5347
5203
|
}[];
|
|
5204
|
+
contractDBCreateCheckpointHints: {
|
|
5205
|
+
actionCounter: number;
|
|
5206
|
+
oldCheckpointId: number;
|
|
5207
|
+
newCheckpointId: number;
|
|
5208
|
+
}[];
|
|
5209
|
+
contractDBCommitCheckpointHints: {
|
|
5210
|
+
actionCounter: number;
|
|
5211
|
+
oldCheckpointId: number;
|
|
5212
|
+
newCheckpointId: number;
|
|
5213
|
+
}[];
|
|
5214
|
+
contractDBRevertCheckpointHints: {
|
|
5215
|
+
actionCounter: number;
|
|
5216
|
+
oldCheckpointId: number;
|
|
5217
|
+
newCheckpointId: number;
|
|
5218
|
+
}[];
|
|
5348
5219
|
startingTreeRoots: {
|
|
5349
5220
|
noteHashTree: {
|
|
5350
5221
|
root: string;
|
|
@@ -5562,6 +5433,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5562
5433
|
newCheckpointId: number;
|
|
5563
5434
|
}[];
|
|
5564
5435
|
revertCheckpointHints: {
|
|
5436
|
+
actionCounter: number;
|
|
5437
|
+
oldCheckpointId: number;
|
|
5438
|
+
newCheckpointId: number;
|
|
5565
5439
|
stateAfter: {
|
|
5566
5440
|
noteHashTree: {
|
|
5567
5441
|
root: string;
|
|
@@ -5580,9 +5454,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5580
5454
|
nextAvailableLeafIndex: string | number | bigint;
|
|
5581
5455
|
};
|
|
5582
5456
|
};
|
|
5583
|
-
actionCounter: number;
|
|
5584
|
-
oldCheckpointId: number;
|
|
5585
|
-
newCheckpointId: number;
|
|
5586
5457
|
stateBefore: {
|
|
5587
5458
|
noteHashTree: {
|
|
5588
5459
|
root: string;
|
|
@@ -5602,21 +5473,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5602
5473
|
};
|
|
5603
5474
|
};
|
|
5604
5475
|
}[];
|
|
5605
|
-
contractDBCreateCheckpointHints: {
|
|
5606
|
-
actionCounter: number;
|
|
5607
|
-
oldCheckpointId: number;
|
|
5608
|
-
newCheckpointId: number;
|
|
5609
|
-
}[];
|
|
5610
|
-
contractDBCommitCheckpointHints: {
|
|
5611
|
-
actionCounter: number;
|
|
5612
|
-
oldCheckpointId: number;
|
|
5613
|
-
newCheckpointId: number;
|
|
5614
|
-
}[];
|
|
5615
|
-
contractDBRevertCheckpointHints: {
|
|
5616
|
-
actionCounter: number;
|
|
5617
|
-
oldCheckpointId: number;
|
|
5618
|
-
newCheckpointId: number;
|
|
5619
|
-
}[];
|
|
5620
5476
|
};
|
|
5621
5477
|
}>;
|
|
5622
5478
|
}, "strip", z.ZodTypeAny, {
|
|
@@ -5890,22 +5746,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5890
5746
|
};
|
|
5891
5747
|
contractInstances: {
|
|
5892
5748
|
publicKeys: {
|
|
5893
|
-
masterNullifierPublicKey: string
|
|
5894
|
-
|
|
5895
|
-
|
|
5896
|
-
|
|
5897
|
-
masterIncomingViewingPublicKey: string | {
|
|
5898
|
-
x: string;
|
|
5899
|
-
y: string;
|
|
5900
|
-
};
|
|
5901
|
-
masterOutgoingViewingPublicKey: string | {
|
|
5902
|
-
x: string;
|
|
5903
|
-
y: string;
|
|
5904
|
-
};
|
|
5905
|
-
masterTaggingPublicKey: string | {
|
|
5906
|
-
x: string;
|
|
5907
|
-
y: string;
|
|
5908
|
-
};
|
|
5749
|
+
masterNullifierPublicKey: string;
|
|
5750
|
+
masterIncomingViewingPublicKey: string;
|
|
5751
|
+
masterOutgoingViewingPublicKey: string;
|
|
5752
|
+
masterTaggingPublicKey: string;
|
|
5909
5753
|
};
|
|
5910
5754
|
hintKey: number;
|
|
5911
5755
|
salt?: any;
|
|
@@ -5932,6 +5776,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5932
5776
|
selector?: any;
|
|
5933
5777
|
address?: any;
|
|
5934
5778
|
}[];
|
|
5779
|
+
contractDBCreateCheckpointHints: {
|
|
5780
|
+
actionCounter: number;
|
|
5781
|
+
oldCheckpointId: number;
|
|
5782
|
+
newCheckpointId: number;
|
|
5783
|
+
}[];
|
|
5784
|
+
contractDBCommitCheckpointHints: {
|
|
5785
|
+
actionCounter: number;
|
|
5786
|
+
oldCheckpointId: number;
|
|
5787
|
+
newCheckpointId: number;
|
|
5788
|
+
}[];
|
|
5789
|
+
contractDBRevertCheckpointHints: {
|
|
5790
|
+
actionCounter: number;
|
|
5791
|
+
oldCheckpointId: number;
|
|
5792
|
+
newCheckpointId: number;
|
|
5793
|
+
}[];
|
|
5935
5794
|
startingTreeRoots: {
|
|
5936
5795
|
noteHashTree: {
|
|
5937
5796
|
root: string;
|
|
@@ -6149,6 +6008,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
6149
6008
|
newCheckpointId: number;
|
|
6150
6009
|
}[];
|
|
6151
6010
|
revertCheckpointHints: {
|
|
6011
|
+
actionCounter: number;
|
|
6012
|
+
oldCheckpointId: number;
|
|
6013
|
+
newCheckpointId: number;
|
|
6152
6014
|
stateAfter: {
|
|
6153
6015
|
noteHashTree: {
|
|
6154
6016
|
root: string;
|
|
@@ -6167,9 +6029,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
6167
6029
|
nextAvailableLeafIndex: string | number | bigint;
|
|
6168
6030
|
};
|
|
6169
6031
|
};
|
|
6170
|
-
actionCounter: number;
|
|
6171
|
-
oldCheckpointId: number;
|
|
6172
|
-
newCheckpointId: number;
|
|
6173
6032
|
stateBefore: {
|
|
6174
6033
|
noteHashTree: {
|
|
6175
6034
|
root: string;
|
|
@@ -6189,21 +6048,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
6189
6048
|
};
|
|
6190
6049
|
};
|
|
6191
6050
|
}[];
|
|
6192
|
-
contractDBCreateCheckpointHints: {
|
|
6193
|
-
actionCounter: number;
|
|
6194
|
-
oldCheckpointId: number;
|
|
6195
|
-
newCheckpointId: number;
|
|
6196
|
-
}[];
|
|
6197
|
-
contractDBCommitCheckpointHints: {
|
|
6198
|
-
actionCounter: number;
|
|
6199
|
-
oldCheckpointId: number;
|
|
6200
|
-
newCheckpointId: number;
|
|
6201
|
-
}[];
|
|
6202
|
-
contractDBRevertCheckpointHints: {
|
|
6203
|
-
actionCounter: number;
|
|
6204
|
-
oldCheckpointId: number;
|
|
6205
|
-
newCheckpointId: number;
|
|
6206
|
-
}[];
|
|
6207
6051
|
};
|
|
6208
6052
|
};
|
|
6209
6053
|
}>;
|