@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
|
@@ -204,7 +204,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
204
204
|
contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
205
205
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
206
206
|
fields: z.ZodEffects<z.ZodObject<{
|
|
207
|
-
fields: z.ZodEffects<z.ZodArray<z.
|
|
207
|
+
fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
|
|
208
208
|
}, "strip", z.ZodTypeAny, {
|
|
209
209
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
210
210
|
}, {
|
|
@@ -231,7 +231,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
231
231
|
contractAddress?: any;
|
|
232
232
|
}>, "many">;
|
|
233
233
|
privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
234
|
-
fields: z.ZodArray<z.
|
|
234
|
+
fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
235
235
|
emittedLength: z.ZodNumber;
|
|
236
236
|
}, "strict", z.ZodTypeAny, {
|
|
237
237
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
@@ -275,7 +275,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
275
275
|
contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
276
276
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
277
277
|
fields: z.ZodEffects<z.ZodObject<{
|
|
278
|
-
fields: z.ZodEffects<z.ZodArray<z.
|
|
278
|
+
fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
|
|
279
279
|
}, "strip", z.ZodTypeAny, {
|
|
280
280
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
281
281
|
}, {
|
|
@@ -302,7 +302,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
302
302
|
contractAddress?: any;
|
|
303
303
|
}>, "many">;
|
|
304
304
|
privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
305
|
-
fields: z.ZodArray<z.
|
|
305
|
+
fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
306
306
|
emittedLength: z.ZodNumber;
|
|
307
307
|
}, "strict", z.ZodTypeAny, {
|
|
308
308
|
fields: import("@aztec/foundation/schemas").Fr[];
|
|
@@ -347,8 +347,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
347
347
|
nullifiers: z.ZodArray<ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
|
|
348
348
|
l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
349
349
|
message: z.ZodEffects<z.ZodObject<{
|
|
350
|
-
recipient: z.
|
|
351
|
-
content: z.
|
|
350
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
351
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
352
352
|
}, "strip", z.ZodTypeAny, {
|
|
353
353
|
content: import("@aztec/foundation/schemas").Fr;
|
|
354
354
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -396,8 +396,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
396
396
|
nullifiers: z.ZodArray<ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
|
|
397
397
|
l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
398
398
|
message: z.ZodEffects<z.ZodObject<{
|
|
399
|
-
recipient: z.
|
|
400
|
-
content: z.
|
|
399
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
400
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
401
401
|
}, "strip", z.ZodTypeAny, {
|
|
402
402
|
content: import("@aztec/foundation/schemas").Fr;
|
|
403
403
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -657,97 +657,25 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
657
657
|
originalContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
|
|
658
658
|
initializationHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
|
|
659
659
|
publicKeys: z.ZodEffects<z.ZodObject<{
|
|
660
|
-
masterNullifierPublicKey: z.
|
|
661
|
-
|
|
662
|
-
|
|
663
|
-
|
|
664
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
665
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
666
|
-
}, {
|
|
667
|
-
x: string;
|
|
668
|
-
y: string;
|
|
669
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
670
|
-
x: string;
|
|
671
|
-
y: string;
|
|
672
|
-
}>]>;
|
|
673
|
-
masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
|
|
674
|
-
x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
675
|
-
y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
676
|
-
}, "strip", z.ZodTypeAny, {
|
|
677
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
678
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
679
|
-
}, {
|
|
680
|
-
x: string;
|
|
681
|
-
y: string;
|
|
682
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
683
|
-
x: string;
|
|
684
|
-
y: string;
|
|
685
|
-
}>]>;
|
|
686
|
-
masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
|
|
687
|
-
x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
688
|
-
y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
689
|
-
}, "strip", z.ZodTypeAny, {
|
|
690
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
691
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
692
|
-
}, {
|
|
693
|
-
x: string;
|
|
694
|
-
y: string;
|
|
695
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
696
|
-
x: string;
|
|
697
|
-
y: string;
|
|
698
|
-
}>]>;
|
|
699
|
-
masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
|
|
700
|
-
x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
701
|
-
y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
|
|
702
|
-
}, "strip", z.ZodTypeAny, {
|
|
703
|
-
x: import("@aztec/foundation/schemas").Fr;
|
|
704
|
-
y: import("@aztec/foundation/schemas").Fr;
|
|
705
|
-
}, {
|
|
706
|
-
x: string;
|
|
707
|
-
y: string;
|
|
708
|
-
}>, import("@aztec/foundation/schemas").Point, {
|
|
709
|
-
x: string;
|
|
710
|
-
y: string;
|
|
711
|
-
}>]>;
|
|
660
|
+
masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
661
|
+
masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
662
|
+
masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
663
|
+
masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
|
|
712
664
|
}, "strip", z.ZodTypeAny, {
|
|
713
665
|
masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
|
|
714
666
|
masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
|
|
715
667
|
masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
|
|
716
668
|
masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
|
|
717
669
|
}, {
|
|
718
|
-
masterNullifierPublicKey: string
|
|
719
|
-
|
|
720
|
-
|
|
721
|
-
|
|
722
|
-
masterIncomingViewingPublicKey: string | {
|
|
723
|
-
x: string;
|
|
724
|
-
y: string;
|
|
725
|
-
};
|
|
726
|
-
masterOutgoingViewingPublicKey: string | {
|
|
727
|
-
x: string;
|
|
728
|
-
y: string;
|
|
729
|
-
};
|
|
730
|
-
masterTaggingPublicKey: string | {
|
|
731
|
-
x: string;
|
|
732
|
-
y: string;
|
|
733
|
-
};
|
|
670
|
+
masterNullifierPublicKey: string;
|
|
671
|
+
masterIncomingViewingPublicKey: string;
|
|
672
|
+
masterOutgoingViewingPublicKey: string;
|
|
673
|
+
masterTaggingPublicKey: string;
|
|
734
674
|
}>, import("../keys/public_keys.js").PublicKeys, {
|
|
735
|
-
masterNullifierPublicKey: string
|
|
736
|
-
|
|
737
|
-
|
|
738
|
-
|
|
739
|
-
masterIncomingViewingPublicKey: string | {
|
|
740
|
-
x: string;
|
|
741
|
-
y: string;
|
|
742
|
-
};
|
|
743
|
-
masterOutgoingViewingPublicKey: string | {
|
|
744
|
-
x: string;
|
|
745
|
-
y: string;
|
|
746
|
-
};
|
|
747
|
-
masterTaggingPublicKey: string | {
|
|
748
|
-
x: string;
|
|
749
|
-
y: string;
|
|
750
|
-
};
|
|
675
|
+
masterNullifierPublicKey: string;
|
|
676
|
+
masterIncomingViewingPublicKey: string;
|
|
677
|
+
masterOutgoingViewingPublicKey: string;
|
|
678
|
+
masterTaggingPublicKey: string;
|
|
751
679
|
}>;
|
|
752
680
|
}, "strip", z.ZodTypeAny, {
|
|
753
681
|
salt: import("@aztec/foundation/schemas").Fr;
|
|
@@ -760,22 +688,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
760
688
|
hintKey: number;
|
|
761
689
|
}, {
|
|
762
690
|
publicKeys: {
|
|
763
|
-
masterNullifierPublicKey: string
|
|
764
|
-
|
|
765
|
-
|
|
766
|
-
|
|
767
|
-
masterIncomingViewingPublicKey: string | {
|
|
768
|
-
x: string;
|
|
769
|
-
y: string;
|
|
770
|
-
};
|
|
771
|
-
masterOutgoingViewingPublicKey: string | {
|
|
772
|
-
x: string;
|
|
773
|
-
y: string;
|
|
774
|
-
};
|
|
775
|
-
masterTaggingPublicKey: string | {
|
|
776
|
-
x: string;
|
|
777
|
-
y: string;
|
|
778
|
-
};
|
|
691
|
+
masterNullifierPublicKey: string;
|
|
692
|
+
masterIncomingViewingPublicKey: string;
|
|
693
|
+
masterOutgoingViewingPublicKey: string;
|
|
694
|
+
masterTaggingPublicKey: string;
|
|
779
695
|
};
|
|
780
696
|
hintKey: number;
|
|
781
697
|
salt?: any;
|
|
@@ -786,22 +702,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
786
702
|
address?: any;
|
|
787
703
|
}>, import("../avm/avm.js").AvmContractInstanceHint, {
|
|
788
704
|
publicKeys: {
|
|
789
|
-
masterNullifierPublicKey: string
|
|
790
|
-
|
|
791
|
-
|
|
792
|
-
|
|
793
|
-
masterIncomingViewingPublicKey: string | {
|
|
794
|
-
x: string;
|
|
795
|
-
y: string;
|
|
796
|
-
};
|
|
797
|
-
masterOutgoingViewingPublicKey: string | {
|
|
798
|
-
x: string;
|
|
799
|
-
y: string;
|
|
800
|
-
};
|
|
801
|
-
masterTaggingPublicKey: string | {
|
|
802
|
-
x: string;
|
|
803
|
-
y: string;
|
|
804
|
-
};
|
|
705
|
+
masterNullifierPublicKey: string;
|
|
706
|
+
masterIncomingViewingPublicKey: string;
|
|
707
|
+
masterOutgoingViewingPublicKey: string;
|
|
708
|
+
masterTaggingPublicKey: string;
|
|
805
709
|
};
|
|
806
710
|
hintKey: number;
|
|
807
711
|
salt?: any;
|
|
@@ -870,9 +774,72 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
870
774
|
selector?: any;
|
|
871
775
|
address?: any;
|
|
872
776
|
}>, "many">;
|
|
777
|
+
contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
778
|
+
actionCounter: z.ZodNumber;
|
|
779
|
+
oldCheckpointId: z.ZodNumber;
|
|
780
|
+
newCheckpointId: z.ZodNumber;
|
|
781
|
+
}, "strip", z.ZodTypeAny, {
|
|
782
|
+
actionCounter: number;
|
|
783
|
+
oldCheckpointId: number;
|
|
784
|
+
newCheckpointId: number;
|
|
785
|
+
}, {
|
|
786
|
+
actionCounter: number;
|
|
787
|
+
oldCheckpointId: number;
|
|
788
|
+
newCheckpointId: number;
|
|
789
|
+
}>, {
|
|
790
|
+
readonly actionCounter: number;
|
|
791
|
+
readonly oldCheckpointId: number;
|
|
792
|
+
readonly newCheckpointId: number;
|
|
793
|
+
}, {
|
|
794
|
+
actionCounter: number;
|
|
795
|
+
oldCheckpointId: number;
|
|
796
|
+
newCheckpointId: number;
|
|
797
|
+
}>, "many">;
|
|
798
|
+
contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
799
|
+
actionCounter: z.ZodNumber;
|
|
800
|
+
oldCheckpointId: z.ZodNumber;
|
|
801
|
+
newCheckpointId: z.ZodNumber;
|
|
802
|
+
}, "strip", z.ZodTypeAny, {
|
|
803
|
+
actionCounter: number;
|
|
804
|
+
oldCheckpointId: number;
|
|
805
|
+
newCheckpointId: number;
|
|
806
|
+
}, {
|
|
807
|
+
actionCounter: number;
|
|
808
|
+
oldCheckpointId: number;
|
|
809
|
+
newCheckpointId: number;
|
|
810
|
+
}>, {
|
|
811
|
+
readonly actionCounter: number;
|
|
812
|
+
readonly oldCheckpointId: number;
|
|
813
|
+
readonly newCheckpointId: number;
|
|
814
|
+
}, {
|
|
815
|
+
actionCounter: number;
|
|
816
|
+
oldCheckpointId: number;
|
|
817
|
+
newCheckpointId: number;
|
|
818
|
+
}>, "many">;
|
|
819
|
+
contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
820
|
+
actionCounter: z.ZodNumber;
|
|
821
|
+
oldCheckpointId: z.ZodNumber;
|
|
822
|
+
newCheckpointId: z.ZodNumber;
|
|
823
|
+
}, "strip", z.ZodTypeAny, {
|
|
824
|
+
actionCounter: number;
|
|
825
|
+
oldCheckpointId: number;
|
|
826
|
+
newCheckpointId: number;
|
|
827
|
+
}, {
|
|
828
|
+
actionCounter: number;
|
|
829
|
+
oldCheckpointId: number;
|
|
830
|
+
newCheckpointId: number;
|
|
831
|
+
}>, {
|
|
832
|
+
readonly actionCounter: number;
|
|
833
|
+
readonly oldCheckpointId: number;
|
|
834
|
+
readonly newCheckpointId: number;
|
|
835
|
+
}, {
|
|
836
|
+
actionCounter: number;
|
|
837
|
+
oldCheckpointId: number;
|
|
838
|
+
newCheckpointId: number;
|
|
839
|
+
}>, "many">;
|
|
873
840
|
startingTreeRoots: z.ZodEffects<z.ZodObject<{
|
|
874
841
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
875
|
-
root: z.
|
|
842
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
876
843
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
877
844
|
}, "strip", z.ZodTypeAny, {
|
|
878
845
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -885,7 +852,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
885
852
|
nextAvailableLeafIndex: string | number | bigint;
|
|
886
853
|
}>;
|
|
887
854
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
888
|
-
root: z.
|
|
855
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
889
856
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
890
857
|
}, "strip", z.ZodTypeAny, {
|
|
891
858
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -898,7 +865,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
898
865
|
nextAvailableLeafIndex: string | number | bigint;
|
|
899
866
|
}>;
|
|
900
867
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
901
|
-
root: z.
|
|
868
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
902
869
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
903
870
|
}, "strip", z.ZodTypeAny, {
|
|
904
871
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -911,7 +878,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
911
878
|
nextAvailableLeafIndex: string | number | bigint;
|
|
912
879
|
}>;
|
|
913
880
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
914
|
-
root: z.
|
|
881
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
915
882
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
916
883
|
}, "strip", z.ZodTypeAny, {
|
|
917
884
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -965,7 +932,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
965
932
|
}>;
|
|
966
933
|
getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
967
934
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
968
|
-
root: z.
|
|
935
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
969
936
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
970
937
|
}, "strip", z.ZodTypeAny, {
|
|
971
938
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1004,7 +971,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1004
971
|
}>, "many">;
|
|
1005
972
|
getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1006
973
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1007
|
-
root: z.
|
|
974
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1008
975
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1009
976
|
}, "strip", z.ZodTypeAny, {
|
|
1010
977
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1047,7 +1014,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1047
1014
|
}>, "many">;
|
|
1048
1015
|
getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1049
1016
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1050
|
-
root: z.
|
|
1017
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1051
1018
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1052
1019
|
}, "strip", z.ZodTypeAny, {
|
|
1053
1020
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1062,7 +1029,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1062
1029
|
index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1063
1030
|
leafPreimage: z.ZodEffects<z.ZodObject<{
|
|
1064
1031
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1065
|
-
nullifier: z.
|
|
1032
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1066
1033
|
}, "strip", z.ZodTypeAny, {
|
|
1067
1034
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1068
1035
|
}, {
|
|
@@ -1070,7 +1037,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1070
1037
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1071
1038
|
nullifier: string;
|
|
1072
1039
|
}>;
|
|
1073
|
-
nextKey: z.
|
|
1040
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1074
1041
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1075
1042
|
}, "strip", z.ZodTypeAny, {
|
|
1076
1043
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1090,8 +1057,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1090
1057
|
nextIndex: string | number | bigint;
|
|
1091
1058
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1092
1059
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1093
|
-
slot: z.
|
|
1094
|
-
value: z.
|
|
1060
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1061
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1095
1062
|
}, "strip", z.ZodTypeAny, {
|
|
1096
1063
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1097
1064
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1102,7 +1069,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1102
1069
|
value: string;
|
|
1103
1070
|
slot: string;
|
|
1104
1071
|
}>;
|
|
1105
|
-
nextKey: z.
|
|
1072
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1106
1073
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1107
1074
|
}, "strip", z.ZodTypeAny, {
|
|
1108
1075
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1174,7 +1141,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1174
1141
|
}>, "many">;
|
|
1175
1142
|
getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1176
1143
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1177
|
-
root: z.
|
|
1144
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1178
1145
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1179
1146
|
}, "strip", z.ZodTypeAny, {
|
|
1180
1147
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1189,7 +1156,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1189
1156
|
index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1190
1157
|
leafPreimage: z.ZodEffects<z.ZodObject<{
|
|
1191
1158
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1192
|
-
nullifier: z.
|
|
1159
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1193
1160
|
}, "strip", z.ZodTypeAny, {
|
|
1194
1161
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1195
1162
|
}, {
|
|
@@ -1197,7 +1164,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1197
1164
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1198
1165
|
nullifier: string;
|
|
1199
1166
|
}>;
|
|
1200
|
-
nextKey: z.
|
|
1167
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1201
1168
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1202
1169
|
}, "strip", z.ZodTypeAny, {
|
|
1203
1170
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1217,8 +1184,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1217
1184
|
nextIndex: string | number | bigint;
|
|
1218
1185
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1219
1186
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1220
|
-
slot: z.
|
|
1221
|
-
value: z.
|
|
1187
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1188
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1222
1189
|
}, "strip", z.ZodTypeAny, {
|
|
1223
1190
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1224
1191
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1229,7 +1196,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1229
1196
|
value: string;
|
|
1230
1197
|
slot: string;
|
|
1231
1198
|
}>;
|
|
1232
|
-
nextKey: z.
|
|
1199
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1233
1200
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1234
1201
|
}, "strip", z.ZodTypeAny, {
|
|
1235
1202
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1301,7 +1268,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1301
1268
|
}>, "many">;
|
|
1302
1269
|
getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1303
1270
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1304
|
-
root: z.
|
|
1271
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1305
1272
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1306
1273
|
}, "strip", z.ZodTypeAny, {
|
|
1307
1274
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1340,7 +1307,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1340
1307
|
}>, "many">;
|
|
1341
1308
|
sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1342
1309
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1343
|
-
root: z.
|
|
1310
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1344
1311
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1345
1312
|
}, "strip", z.ZodTypeAny, {
|
|
1346
1313
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1353,7 +1320,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1353
1320
|
nextAvailableLeafIndex: string | number | bigint;
|
|
1354
1321
|
}>;
|
|
1355
1322
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
1356
|
-
root: z.
|
|
1323
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1357
1324
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1358
1325
|
}, "strip", z.ZodTypeAny, {
|
|
1359
1326
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1367,7 +1334,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1367
1334
|
}>;
|
|
1368
1335
|
treeId: z.ZodNumber;
|
|
1369
1336
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1370
|
-
nullifier: z.
|
|
1337
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1371
1338
|
}, "strip", z.ZodTypeAny, {
|
|
1372
1339
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1373
1340
|
}, {
|
|
@@ -1375,8 +1342,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1375
1342
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1376
1343
|
nullifier: string;
|
|
1377
1344
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1378
|
-
slot: z.
|
|
1379
|
-
value: z.
|
|
1345
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1346
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1380
1347
|
}, "strip", z.ZodTypeAny, {
|
|
1381
1348
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1382
1349
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1390,7 +1357,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1390
1357
|
lowLeavesWitnessData: z.ZodObject<{
|
|
1391
1358
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1392
1359
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1393
|
-
nullifier: z.
|
|
1360
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1394
1361
|
}, "strip", z.ZodTypeAny, {
|
|
1395
1362
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1396
1363
|
}, {
|
|
@@ -1398,7 +1365,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1398
1365
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1399
1366
|
nullifier: string;
|
|
1400
1367
|
}>;
|
|
1401
|
-
nextKey: z.
|
|
1368
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1402
1369
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1403
1370
|
}, "strip", z.ZodTypeAny, {
|
|
1404
1371
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1418,8 +1385,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1418
1385
|
nextIndex: string | number | bigint;
|
|
1419
1386
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1420
1387
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1421
|
-
slot: z.
|
|
1422
|
-
value: z.
|
|
1388
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1389
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1423
1390
|
}, "strip", z.ZodTypeAny, {
|
|
1424
1391
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1425
1392
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1430,7 +1397,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1430
1397
|
value: string;
|
|
1431
1398
|
slot: string;
|
|
1432
1399
|
}>;
|
|
1433
|
-
nextKey: z.
|
|
1400
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1434
1401
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1435
1402
|
}, "strip", z.ZodTypeAny, {
|
|
1436
1403
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1478,7 +1445,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1478
1445
|
insertionWitnessData: z.ZodObject<{
|
|
1479
1446
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1480
1447
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1481
|
-
nullifier: z.
|
|
1448
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1482
1449
|
}, "strip", z.ZodTypeAny, {
|
|
1483
1450
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1484
1451
|
}, {
|
|
@@ -1486,7 +1453,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1486
1453
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1487
1454
|
nullifier: string;
|
|
1488
1455
|
}>;
|
|
1489
|
-
nextKey: z.
|
|
1456
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1490
1457
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1491
1458
|
}, "strip", z.ZodTypeAny, {
|
|
1492
1459
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1506,8 +1473,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1506
1473
|
nextIndex: string | number | bigint;
|
|
1507
1474
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1508
1475
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1509
|
-
slot: z.
|
|
1510
|
-
value: z.
|
|
1476
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1477
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1511
1478
|
}, "strip", z.ZodTypeAny, {
|
|
1512
1479
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1513
1480
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1518,7 +1485,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1518
1485
|
value: string;
|
|
1519
1486
|
slot: string;
|
|
1520
1487
|
}>;
|
|
1521
|
-
nextKey: z.
|
|
1488
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1522
1489
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1523
1490
|
}, "strip", z.ZodTypeAny, {
|
|
1524
1491
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1700,7 +1667,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1700
1667
|
}>, "many">;
|
|
1701
1668
|
sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1702
1669
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
1703
|
-
root: z.
|
|
1670
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1704
1671
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1705
1672
|
}, "strip", z.ZodTypeAny, {
|
|
1706
1673
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1713,7 +1680,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1713
1680
|
nextAvailableLeafIndex: string | number | bigint;
|
|
1714
1681
|
}>;
|
|
1715
1682
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
1716
|
-
root: z.
|
|
1683
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1717
1684
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
1718
1685
|
}, "strip", z.ZodTypeAny, {
|
|
1719
1686
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1727,7 +1694,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1727
1694
|
}>;
|
|
1728
1695
|
treeId: z.ZodNumber;
|
|
1729
1696
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1730
|
-
nullifier: z.
|
|
1697
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1731
1698
|
}, "strip", z.ZodTypeAny, {
|
|
1732
1699
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1733
1700
|
}, {
|
|
@@ -1735,8 +1702,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1735
1702
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1736
1703
|
nullifier: string;
|
|
1737
1704
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1738
|
-
slot: z.
|
|
1739
|
-
value: z.
|
|
1705
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1706
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1740
1707
|
}, "strip", z.ZodTypeAny, {
|
|
1741
1708
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1742
1709
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1750,7 +1717,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1750
1717
|
lowLeavesWitnessData: z.ZodObject<{
|
|
1751
1718
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1752
1719
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1753
|
-
nullifier: z.
|
|
1720
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1754
1721
|
}, "strip", z.ZodTypeAny, {
|
|
1755
1722
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1756
1723
|
}, {
|
|
@@ -1758,7 +1725,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1758
1725
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1759
1726
|
nullifier: string;
|
|
1760
1727
|
}>;
|
|
1761
|
-
nextKey: z.
|
|
1728
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1762
1729
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1763
1730
|
}, "strip", z.ZodTypeAny, {
|
|
1764
1731
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1778,8 +1745,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1778
1745
|
nextIndex: string | number | bigint;
|
|
1779
1746
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1780
1747
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1781
|
-
slot: z.
|
|
1782
|
-
value: z.
|
|
1748
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1749
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1783
1750
|
}, "strip", z.ZodTypeAny, {
|
|
1784
1751
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1785
1752
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1790,7 +1757,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1790
1757
|
value: string;
|
|
1791
1758
|
slot: string;
|
|
1792
1759
|
}>;
|
|
1793
|
-
nextKey: z.
|
|
1760
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1794
1761
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1795
1762
|
}, "strip", z.ZodTypeAny, {
|
|
1796
1763
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -1838,7 +1805,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1838
1805
|
insertionWitnessData: z.ZodObject<{
|
|
1839
1806
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1840
1807
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1841
|
-
nullifier: z.
|
|
1808
|
+
nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1842
1809
|
}, "strip", z.ZodTypeAny, {
|
|
1843
1810
|
nullifier: import("@aztec/foundation/schemas").Fr;
|
|
1844
1811
|
}, {
|
|
@@ -1846,7 +1813,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1846
1813
|
}>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
1847
1814
|
nullifier: string;
|
|
1848
1815
|
}>;
|
|
1849
|
-
nextKey: z.
|
|
1816
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1850
1817
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1851
1818
|
}, "strip", z.ZodTypeAny, {
|
|
1852
1819
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
@@ -1866,8 +1833,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1866
1833
|
nextIndex: string | number | bigint;
|
|
1867
1834
|
}> | z.ZodEffects<z.ZodObject<{
|
|
1868
1835
|
leaf: z.ZodEffects<z.ZodObject<{
|
|
1869
|
-
slot: z.
|
|
1870
|
-
value: z.
|
|
1836
|
+
slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1837
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1871
1838
|
}, "strip", z.ZodTypeAny, {
|
|
1872
1839
|
value: import("@aztec/foundation/schemas").Fr;
|
|
1873
1840
|
slot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -1878,7 +1845,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1878
1845
|
value: string;
|
|
1879
1846
|
slot: string;
|
|
1880
1847
|
}>;
|
|
1881
|
-
nextKey: z.
|
|
1848
|
+
nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1882
1849
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
1883
1850
|
}, "strip", z.ZodTypeAny, {
|
|
1884
1851
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
@@ -2060,7 +2027,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2060
2027
|
}>, "many">;
|
|
2061
2028
|
appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
2062
2029
|
hintKey: z.ZodEffects<z.ZodObject<{
|
|
2063
|
-
root: z.
|
|
2030
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2064
2031
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2065
2032
|
}, "strip", z.ZodTypeAny, {
|
|
2066
2033
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2073,7 +2040,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2073
2040
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2074
2041
|
}>;
|
|
2075
2042
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
2076
|
-
root: z.
|
|
2043
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2077
2044
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2078
2045
|
}, "strip", z.ZodTypeAny, {
|
|
2079
2046
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2163,7 +2130,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2163
2130
|
newCheckpointId: z.ZodNumber;
|
|
2164
2131
|
stateBefore: z.ZodEffects<z.ZodObject<{
|
|
2165
2132
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
2166
|
-
root: z.
|
|
2133
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2167
2134
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2168
2135
|
}, "strip", z.ZodTypeAny, {
|
|
2169
2136
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2176,7 +2143,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2176
2143
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2177
2144
|
}>;
|
|
2178
2145
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
2179
|
-
root: z.
|
|
2146
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2180
2147
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2181
2148
|
}, "strip", z.ZodTypeAny, {
|
|
2182
2149
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2189,7 +2156,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2189
2156
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2190
2157
|
}>;
|
|
2191
2158
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
2192
|
-
root: z.
|
|
2159
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2193
2160
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2194
2161
|
}, "strip", z.ZodTypeAny, {
|
|
2195
2162
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2202,7 +2169,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2202
2169
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2203
2170
|
}>;
|
|
2204
2171
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
2205
|
-
root: z.
|
|
2172
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2206
2173
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2207
2174
|
}, "strip", z.ZodTypeAny, {
|
|
2208
2175
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2256,7 +2223,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2256
2223
|
}>;
|
|
2257
2224
|
stateAfter: z.ZodEffects<z.ZodObject<{
|
|
2258
2225
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
2259
|
-
root: z.
|
|
2226
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2260
2227
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2261
2228
|
}, "strip", z.ZodTypeAny, {
|
|
2262
2229
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2269,7 +2236,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2269
2236
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2270
2237
|
}>;
|
|
2271
2238
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
2272
|
-
root: z.
|
|
2239
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2273
2240
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2274
2241
|
}, "strip", z.ZodTypeAny, {
|
|
2275
2242
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2282,7 +2249,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2282
2249
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2283
2250
|
}>;
|
|
2284
2251
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
2285
|
-
root: z.
|
|
2252
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2286
2253
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2287
2254
|
}, "strip", z.ZodTypeAny, {
|
|
2288
2255
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2295,7 +2262,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2295
2262
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2296
2263
|
}>;
|
|
2297
2264
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
2298
|
-
root: z.
|
|
2265
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
2299
2266
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
2300
2267
|
}, "strip", z.ZodTypeAny, {
|
|
2301
2268
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -2348,12 +2315,15 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2348
2315
|
};
|
|
2349
2316
|
}>;
|
|
2350
2317
|
}, "strip", z.ZodTypeAny, {
|
|
2351
|
-
stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2352
2318
|
actionCounter: number;
|
|
2353
2319
|
oldCheckpointId: number;
|
|
2354
2320
|
newCheckpointId: number;
|
|
2321
|
+
stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2355
2322
|
stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2356
2323
|
}, {
|
|
2324
|
+
actionCounter: number;
|
|
2325
|
+
oldCheckpointId: number;
|
|
2326
|
+
newCheckpointId: number;
|
|
2357
2327
|
stateAfter: {
|
|
2358
2328
|
noteHashTree: {
|
|
2359
2329
|
root: string;
|
|
@@ -2372,9 +2342,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2372
2342
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2373
2343
|
};
|
|
2374
2344
|
};
|
|
2375
|
-
actionCounter: number;
|
|
2376
|
-
oldCheckpointId: number;
|
|
2377
|
-
newCheckpointId: number;
|
|
2378
2345
|
stateBefore: {
|
|
2379
2346
|
noteHashTree: {
|
|
2380
2347
|
root: string;
|
|
@@ -2394,6 +2361,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2394
2361
|
};
|
|
2395
2362
|
};
|
|
2396
2363
|
}>, import("../avm/avm.js").AvmRevertCheckpointHint, {
|
|
2364
|
+
actionCounter: number;
|
|
2365
|
+
oldCheckpointId: number;
|
|
2366
|
+
newCheckpointId: number;
|
|
2397
2367
|
stateAfter: {
|
|
2398
2368
|
noteHashTree: {
|
|
2399
2369
|
root: string;
|
|
@@ -2412,9 +2382,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2412
2382
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2413
2383
|
};
|
|
2414
2384
|
};
|
|
2415
|
-
actionCounter: number;
|
|
2416
|
-
oldCheckpointId: number;
|
|
2417
|
-
newCheckpointId: number;
|
|
2418
2385
|
stateBefore: {
|
|
2419
2386
|
noteHashTree: {
|
|
2420
2387
|
root: string;
|
|
@@ -2434,77 +2401,29 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2434
2401
|
};
|
|
2435
2402
|
};
|
|
2436
2403
|
}>, "many">;
|
|
2437
|
-
|
|
2438
|
-
|
|
2439
|
-
|
|
2440
|
-
|
|
2441
|
-
|
|
2442
|
-
|
|
2443
|
-
|
|
2444
|
-
|
|
2445
|
-
|
|
2446
|
-
actionCounter: number;
|
|
2447
|
-
oldCheckpointId: number;
|
|
2448
|
-
newCheckpointId: number;
|
|
2449
|
-
}>, {
|
|
2404
|
+
}, "strip", z.ZodTypeAny, {
|
|
2405
|
+
globalVariables: import("../tx/global_variables.js").GlobalVariables;
|
|
2406
|
+
protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
|
|
2407
|
+
tx: import("../avm/avm.js").AvmTxHint;
|
|
2408
|
+
contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
|
|
2409
|
+
contractClasses: import("../avm/avm.js").AvmContractClassHint[];
|
|
2410
|
+
bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
|
|
2411
|
+
debugFunctionNames: import("../avm/avm.js").AvmDebugFunctionNameHint[];
|
|
2412
|
+
contractDBCreateCheckpointHints: {
|
|
2450
2413
|
readonly actionCounter: number;
|
|
2451
2414
|
readonly oldCheckpointId: number;
|
|
2452
2415
|
readonly newCheckpointId: number;
|
|
2453
|
-
}
|
|
2454
|
-
|
|
2455
|
-
oldCheckpointId: number;
|
|
2456
|
-
newCheckpointId: number;
|
|
2457
|
-
}>, "many">;
|
|
2458
|
-
contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
2459
|
-
actionCounter: z.ZodNumber;
|
|
2460
|
-
oldCheckpointId: z.ZodNumber;
|
|
2461
|
-
newCheckpointId: z.ZodNumber;
|
|
2462
|
-
}, "strip", z.ZodTypeAny, {
|
|
2463
|
-
actionCounter: number;
|
|
2464
|
-
oldCheckpointId: number;
|
|
2465
|
-
newCheckpointId: number;
|
|
2466
|
-
}, {
|
|
2467
|
-
actionCounter: number;
|
|
2468
|
-
oldCheckpointId: number;
|
|
2469
|
-
newCheckpointId: number;
|
|
2470
|
-
}>, {
|
|
2416
|
+
}[];
|
|
2417
|
+
contractDBCommitCheckpointHints: {
|
|
2471
2418
|
readonly actionCounter: number;
|
|
2472
2419
|
readonly oldCheckpointId: number;
|
|
2473
2420
|
readonly newCheckpointId: number;
|
|
2474
|
-
}
|
|
2475
|
-
|
|
2476
|
-
oldCheckpointId: number;
|
|
2477
|
-
newCheckpointId: number;
|
|
2478
|
-
}>, "many">;
|
|
2479
|
-
contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
2480
|
-
actionCounter: z.ZodNumber;
|
|
2481
|
-
oldCheckpointId: z.ZodNumber;
|
|
2482
|
-
newCheckpointId: z.ZodNumber;
|
|
2483
|
-
}, "strip", z.ZodTypeAny, {
|
|
2484
|
-
actionCounter: number;
|
|
2485
|
-
oldCheckpointId: number;
|
|
2486
|
-
newCheckpointId: number;
|
|
2487
|
-
}, {
|
|
2488
|
-
actionCounter: number;
|
|
2489
|
-
oldCheckpointId: number;
|
|
2490
|
-
newCheckpointId: number;
|
|
2491
|
-
}>, {
|
|
2421
|
+
}[];
|
|
2422
|
+
contractDBRevertCheckpointHints: {
|
|
2492
2423
|
readonly actionCounter: number;
|
|
2493
2424
|
readonly oldCheckpointId: number;
|
|
2494
2425
|
readonly newCheckpointId: number;
|
|
2495
|
-
}
|
|
2496
|
-
actionCounter: number;
|
|
2497
|
-
oldCheckpointId: number;
|
|
2498
|
-
newCheckpointId: number;
|
|
2499
|
-
}>, "many">;
|
|
2500
|
-
}, "strip", z.ZodTypeAny, {
|
|
2501
|
-
globalVariables: import("../tx/global_variables.js").GlobalVariables;
|
|
2502
|
-
protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
|
|
2503
|
-
tx: import("../avm/avm.js").AvmTxHint;
|
|
2504
|
-
contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
|
|
2505
|
-
contractClasses: import("../avm/avm.js").AvmContractClassHint[];
|
|
2506
|
-
bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
|
|
2507
|
-
debugFunctionNames: import("../avm/avm.js").AvmDebugFunctionNameHint[];
|
|
2426
|
+
}[];
|
|
2508
2427
|
startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
|
|
2509
2428
|
getSiblingPathHints: import("../avm/avm.js").AvmGetSiblingPathHint[];
|
|
2510
2429
|
getPreviousValueIndexHints: import("../avm/avm.js").AvmGetPreviousValueIndexHint[];
|
|
@@ -2563,21 +2482,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2563
2482
|
readonly newCheckpointId: number;
|
|
2564
2483
|
}[];
|
|
2565
2484
|
revertCheckpointHints: import("../avm/avm.js").AvmRevertCheckpointHint[];
|
|
2566
|
-
contractDBCreateCheckpointHints: {
|
|
2567
|
-
readonly actionCounter: number;
|
|
2568
|
-
readonly oldCheckpointId: number;
|
|
2569
|
-
readonly newCheckpointId: number;
|
|
2570
|
-
}[];
|
|
2571
|
-
contractDBCommitCheckpointHints: {
|
|
2572
|
-
readonly actionCounter: number;
|
|
2573
|
-
readonly oldCheckpointId: number;
|
|
2574
|
-
readonly newCheckpointId: number;
|
|
2575
|
-
}[];
|
|
2576
|
-
contractDBRevertCheckpointHints: {
|
|
2577
|
-
readonly actionCounter: number;
|
|
2578
|
-
readonly oldCheckpointId: number;
|
|
2579
|
-
readonly newCheckpointId: number;
|
|
2580
|
-
}[];
|
|
2581
2485
|
}, {
|
|
2582
2486
|
globalVariables: {
|
|
2583
2487
|
blockNumber: string | number | bigint;
|
|
@@ -2678,22 +2582,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2678
2582
|
};
|
|
2679
2583
|
contractInstances: {
|
|
2680
2584
|
publicKeys: {
|
|
2681
|
-
masterNullifierPublicKey: string
|
|
2682
|
-
|
|
2683
|
-
|
|
2684
|
-
|
|
2685
|
-
masterIncomingViewingPublicKey: string | {
|
|
2686
|
-
x: string;
|
|
2687
|
-
y: string;
|
|
2688
|
-
};
|
|
2689
|
-
masterOutgoingViewingPublicKey: string | {
|
|
2690
|
-
x: string;
|
|
2691
|
-
y: string;
|
|
2692
|
-
};
|
|
2693
|
-
masterTaggingPublicKey: string | {
|
|
2694
|
-
x: string;
|
|
2695
|
-
y: string;
|
|
2696
|
-
};
|
|
2585
|
+
masterNullifierPublicKey: string;
|
|
2586
|
+
masterIncomingViewingPublicKey: string;
|
|
2587
|
+
masterOutgoingViewingPublicKey: string;
|
|
2588
|
+
masterTaggingPublicKey: string;
|
|
2697
2589
|
};
|
|
2698
2590
|
hintKey: number;
|
|
2699
2591
|
salt?: any;
|
|
@@ -2720,6 +2612,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2720
2612
|
selector?: any;
|
|
2721
2613
|
address?: any;
|
|
2722
2614
|
}[];
|
|
2615
|
+
contractDBCreateCheckpointHints: {
|
|
2616
|
+
actionCounter: number;
|
|
2617
|
+
oldCheckpointId: number;
|
|
2618
|
+
newCheckpointId: number;
|
|
2619
|
+
}[];
|
|
2620
|
+
contractDBCommitCheckpointHints: {
|
|
2621
|
+
actionCounter: number;
|
|
2622
|
+
oldCheckpointId: number;
|
|
2623
|
+
newCheckpointId: number;
|
|
2624
|
+
}[];
|
|
2625
|
+
contractDBRevertCheckpointHints: {
|
|
2626
|
+
actionCounter: number;
|
|
2627
|
+
oldCheckpointId: number;
|
|
2628
|
+
newCheckpointId: number;
|
|
2629
|
+
}[];
|
|
2723
2630
|
startingTreeRoots: {
|
|
2724
2631
|
noteHashTree: {
|
|
2725
2632
|
root: string;
|
|
@@ -2937,6 +2844,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2937
2844
|
newCheckpointId: number;
|
|
2938
2845
|
}[];
|
|
2939
2846
|
revertCheckpointHints: {
|
|
2847
|
+
actionCounter: number;
|
|
2848
|
+
oldCheckpointId: number;
|
|
2849
|
+
newCheckpointId: number;
|
|
2940
2850
|
stateAfter: {
|
|
2941
2851
|
noteHashTree: {
|
|
2942
2852
|
root: string;
|
|
@@ -2955,9 +2865,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2955
2865
|
nextAvailableLeafIndex: string | number | bigint;
|
|
2956
2866
|
};
|
|
2957
2867
|
};
|
|
2958
|
-
actionCounter: number;
|
|
2959
|
-
oldCheckpointId: number;
|
|
2960
|
-
newCheckpointId: number;
|
|
2961
2868
|
stateBefore: {
|
|
2962
2869
|
noteHashTree: {
|
|
2963
2870
|
root: string;
|
|
@@ -2977,21 +2884,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2977
2884
|
};
|
|
2978
2885
|
};
|
|
2979
2886
|
}[];
|
|
2980
|
-
contractDBCreateCheckpointHints: {
|
|
2981
|
-
actionCounter: number;
|
|
2982
|
-
oldCheckpointId: number;
|
|
2983
|
-
newCheckpointId: number;
|
|
2984
|
-
}[];
|
|
2985
|
-
contractDBCommitCheckpointHints: {
|
|
2986
|
-
actionCounter: number;
|
|
2987
|
-
oldCheckpointId: number;
|
|
2988
|
-
newCheckpointId: number;
|
|
2989
|
-
}[];
|
|
2990
|
-
contractDBRevertCheckpointHints: {
|
|
2991
|
-
actionCounter: number;
|
|
2992
|
-
oldCheckpointId: number;
|
|
2993
|
-
newCheckpointId: number;
|
|
2994
|
-
}[];
|
|
2995
2887
|
}>, import("../avm/avm.js").AvmExecutionHints, {
|
|
2996
2888
|
globalVariables: {
|
|
2997
2889
|
blockNumber: string | number | bigint;
|
|
@@ -3092,22 +2984,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3092
2984
|
};
|
|
3093
2985
|
contractInstances: {
|
|
3094
2986
|
publicKeys: {
|
|
3095
|
-
masterNullifierPublicKey: string
|
|
3096
|
-
|
|
3097
|
-
|
|
3098
|
-
|
|
3099
|
-
masterIncomingViewingPublicKey: string | {
|
|
3100
|
-
x: string;
|
|
3101
|
-
y: string;
|
|
3102
|
-
};
|
|
3103
|
-
masterOutgoingViewingPublicKey: string | {
|
|
3104
|
-
x: string;
|
|
3105
|
-
y: string;
|
|
3106
|
-
};
|
|
3107
|
-
masterTaggingPublicKey: string | {
|
|
3108
|
-
x: string;
|
|
3109
|
-
y: string;
|
|
3110
|
-
};
|
|
2987
|
+
masterNullifierPublicKey: string;
|
|
2988
|
+
masterIncomingViewingPublicKey: string;
|
|
2989
|
+
masterOutgoingViewingPublicKey: string;
|
|
2990
|
+
masterTaggingPublicKey: string;
|
|
3111
2991
|
};
|
|
3112
2992
|
hintKey: number;
|
|
3113
2993
|
salt?: any;
|
|
@@ -3134,6 +3014,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3134
3014
|
selector?: any;
|
|
3135
3015
|
address?: any;
|
|
3136
3016
|
}[];
|
|
3017
|
+
contractDBCreateCheckpointHints: {
|
|
3018
|
+
actionCounter: number;
|
|
3019
|
+
oldCheckpointId: number;
|
|
3020
|
+
newCheckpointId: number;
|
|
3021
|
+
}[];
|
|
3022
|
+
contractDBCommitCheckpointHints: {
|
|
3023
|
+
actionCounter: number;
|
|
3024
|
+
oldCheckpointId: number;
|
|
3025
|
+
newCheckpointId: number;
|
|
3026
|
+
}[];
|
|
3027
|
+
contractDBRevertCheckpointHints: {
|
|
3028
|
+
actionCounter: number;
|
|
3029
|
+
oldCheckpointId: number;
|
|
3030
|
+
newCheckpointId: number;
|
|
3031
|
+
}[];
|
|
3137
3032
|
startingTreeRoots: {
|
|
3138
3033
|
noteHashTree: {
|
|
3139
3034
|
root: string;
|
|
@@ -3351,6 +3246,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3351
3246
|
newCheckpointId: number;
|
|
3352
3247
|
}[];
|
|
3353
3248
|
revertCheckpointHints: {
|
|
3249
|
+
actionCounter: number;
|
|
3250
|
+
oldCheckpointId: number;
|
|
3251
|
+
newCheckpointId: number;
|
|
3354
3252
|
stateAfter: {
|
|
3355
3253
|
noteHashTree: {
|
|
3356
3254
|
root: string;
|
|
@@ -3369,9 +3267,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3369
3267
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3370
3268
|
};
|
|
3371
3269
|
};
|
|
3372
|
-
actionCounter: number;
|
|
3373
|
-
oldCheckpointId: number;
|
|
3374
|
-
newCheckpointId: number;
|
|
3375
3270
|
stateBefore: {
|
|
3376
3271
|
noteHashTree: {
|
|
3377
3272
|
root: string;
|
|
@@ -3391,21 +3286,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3391
3286
|
};
|
|
3392
3287
|
};
|
|
3393
3288
|
}[];
|
|
3394
|
-
contractDBCreateCheckpointHints: {
|
|
3395
|
-
actionCounter: number;
|
|
3396
|
-
oldCheckpointId: number;
|
|
3397
|
-
newCheckpointId: number;
|
|
3398
|
-
}[];
|
|
3399
|
-
contractDBCommitCheckpointHints: {
|
|
3400
|
-
actionCounter: number;
|
|
3401
|
-
oldCheckpointId: number;
|
|
3402
|
-
newCheckpointId: number;
|
|
3403
|
-
}[];
|
|
3404
|
-
contractDBRevertCheckpointHints: {
|
|
3405
|
-
actionCounter: number;
|
|
3406
|
-
oldCheckpointId: number;
|
|
3407
|
-
newCheckpointId: number;
|
|
3408
|
-
}[];
|
|
3409
3289
|
}>;
|
|
3410
3290
|
publicInputs: z.ZodEffects<z.ZodObject<{
|
|
3411
3291
|
globalVariables: z.ZodEffects<z.ZodObject<{
|
|
@@ -3474,7 +3354,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3474
3354
|
}>;
|
|
3475
3355
|
startTreeSnapshots: z.ZodEffects<z.ZodObject<{
|
|
3476
3356
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
3477
|
-
root: z.
|
|
3357
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3478
3358
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3479
3359
|
}, "strip", z.ZodTypeAny, {
|
|
3480
3360
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3487,7 +3367,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3487
3367
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3488
3368
|
}>;
|
|
3489
3369
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
3490
|
-
root: z.
|
|
3370
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3491
3371
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3492
3372
|
}, "strip", z.ZodTypeAny, {
|
|
3493
3373
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3500,7 +3380,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3500
3380
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3501
3381
|
}>;
|
|
3502
3382
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
3503
|
-
root: z.
|
|
3383
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3504
3384
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3505
3385
|
}, "strip", z.ZodTypeAny, {
|
|
3506
3386
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3513,7 +3393,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3513
3393
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3514
3394
|
}>;
|
|
3515
3395
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
3516
|
-
root: z.
|
|
3396
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3517
3397
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3518
3398
|
}, "strip", z.ZodTypeAny, {
|
|
3519
3399
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3685,7 +3565,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3685
3565
|
feePerL2Gas: string | number | bigint;
|
|
3686
3566
|
}>;
|
|
3687
3567
|
feePayer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3688
|
-
proverId: z.
|
|
3568
|
+
proverId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3689
3569
|
publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
|
|
3690
3570
|
setupCalls: z.ZodNumber;
|
|
3691
3571
|
appLogicCalls: z.ZodNumber;
|
|
@@ -3707,7 +3587,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3707
3587
|
msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3708
3588
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3709
3589
|
isStaticCall: z.ZodBoolean;
|
|
3710
|
-
calldataHash: z.
|
|
3590
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3711
3591
|
}, "strip", z.ZodTypeAny, {
|
|
3712
3592
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
3713
3593
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
@@ -3728,7 +3608,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3728
3608
|
msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3729
3609
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3730
3610
|
isStaticCall: z.ZodBoolean;
|
|
3731
|
-
calldataHash: z.
|
|
3611
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3732
3612
|
}, "strip", z.ZodTypeAny, {
|
|
3733
3613
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
3734
3614
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
@@ -3749,7 +3629,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3749
3629
|
msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3750
3630
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
3751
3631
|
isStaticCall: z.ZodBoolean;
|
|
3752
|
-
calldataHash: z.
|
|
3632
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3753
3633
|
}, "strip", z.ZodTypeAny, {
|
|
3754
3634
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
3755
3635
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
@@ -3801,12 +3681,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3801
3681
|
l2ToL1Msgs: string | number | bigint;
|
|
3802
3682
|
}>;
|
|
3803
3683
|
previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
|
|
3804
|
-
noteHashes: z.ZodArray<z.
|
|
3805
|
-
nullifiers: z.ZodArray<z.
|
|
3684
|
+
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3685
|
+
nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3806
3686
|
l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
3807
3687
|
message: z.ZodEffects<z.ZodObject<{
|
|
3808
|
-
recipient: z.
|
|
3809
|
-
content: z.
|
|
3688
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
3689
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3810
3690
|
}, "strip", z.ZodTypeAny, {
|
|
3811
3691
|
content: import("@aztec/foundation/schemas").Fr;
|
|
3812
3692
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -3860,12 +3740,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3860
3740
|
}[];
|
|
3861
3741
|
}>;
|
|
3862
3742
|
previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
|
|
3863
|
-
noteHashes: z.ZodArray<z.
|
|
3864
|
-
nullifiers: z.ZodArray<z.
|
|
3743
|
+
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3744
|
+
nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3865
3745
|
l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
3866
3746
|
message: z.ZodEffects<z.ZodObject<{
|
|
3867
|
-
recipient: z.
|
|
3868
|
-
content: z.
|
|
3747
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
3748
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3869
3749
|
}, "strip", z.ZodTypeAny, {
|
|
3870
3750
|
content: import("@aztec/foundation/schemas").Fr;
|
|
3871
3751
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -3920,7 +3800,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3920
3800
|
}>;
|
|
3921
3801
|
endTreeSnapshots: z.ZodEffects<z.ZodObject<{
|
|
3922
3802
|
l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
|
|
3923
|
-
root: z.
|
|
3803
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3924
3804
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3925
3805
|
}, "strip", z.ZodTypeAny, {
|
|
3926
3806
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3933,7 +3813,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3933
3813
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3934
3814
|
}>;
|
|
3935
3815
|
noteHashTree: z.ZodEffects<z.ZodObject<{
|
|
3936
|
-
root: z.
|
|
3816
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3937
3817
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3938
3818
|
}, "strip", z.ZodTypeAny, {
|
|
3939
3819
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3946,7 +3826,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3946
3826
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3947
3827
|
}>;
|
|
3948
3828
|
nullifierTree: z.ZodEffects<z.ZodObject<{
|
|
3949
|
-
root: z.
|
|
3829
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3950
3830
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3951
3831
|
}, "strip", z.ZodTypeAny, {
|
|
3952
3832
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -3959,7 +3839,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3959
3839
|
nextAvailableLeafIndex: string | number | bigint;
|
|
3960
3840
|
}>;
|
|
3961
3841
|
publicDataTree: z.ZodEffects<z.ZodObject<{
|
|
3962
|
-
root: z.
|
|
3842
|
+
root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3963
3843
|
nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
3964
3844
|
}, "strip", z.ZodTypeAny, {
|
|
3965
3845
|
root: import("@aztec/foundation/schemas").Fr;
|
|
@@ -4046,12 +3926,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4046
3926
|
publicDataWrites: number;
|
|
4047
3927
|
}>;
|
|
4048
3928
|
accumulatedData: z.ZodEffects<z.ZodObject<{
|
|
4049
|
-
noteHashes: z.ZodArray<z.
|
|
4050
|
-
nullifiers: z.ZodArray<z.
|
|
3929
|
+
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
3930
|
+
nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
4051
3931
|
l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
4052
3932
|
message: z.ZodEffects<z.ZodObject<{
|
|
4053
|
-
recipient: z.
|
|
4054
|
-
content: z.
|
|
3933
|
+
recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
|
|
3934
|
+
content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
4055
3935
|
}, "strip", z.ZodTypeAny, {
|
|
4056
3936
|
content: import("@aztec/foundation/schemas").Fr;
|
|
4057
3937
|
recipient: import("@aztec/foundation/schemas").EthAddress;
|
|
@@ -4081,8 +3961,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4081
3961
|
}>, "many">;
|
|
4082
3962
|
publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
|
|
4083
3963
|
publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
4084
|
-
leafSlot: z.
|
|
4085
|
-
value: z.
|
|
3964
|
+
leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3965
|
+
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
4086
3966
|
}, "strip", z.ZodTypeAny, {
|
|
4087
3967
|
value: import("@aztec/foundation/schemas").Fr;
|
|
4088
3968
|
leafSlot: import("@aztec/foundation/schemas").Fr;
|
|
@@ -4130,7 +4010,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4130
4010
|
}[];
|
|
4131
4011
|
publicLogs?: any;
|
|
4132
4012
|
}>;
|
|
4133
|
-
transactionFee: z.
|
|
4013
|
+
transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
4134
4014
|
reverted: z.ZodBoolean;
|
|
4135
4015
|
}, "strip", z.ZodTypeAny, {
|
|
4136
4016
|
globalVariables: import("../tx/global_variables.js").GlobalVariables;
|
|
@@ -4753,22 +4633,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4753
4633
|
};
|
|
4754
4634
|
contractInstances: {
|
|
4755
4635
|
publicKeys: {
|
|
4756
|
-
masterNullifierPublicKey: string
|
|
4757
|
-
|
|
4758
|
-
|
|
4759
|
-
|
|
4760
|
-
masterIncomingViewingPublicKey: string | {
|
|
4761
|
-
x: string;
|
|
4762
|
-
y: string;
|
|
4763
|
-
};
|
|
4764
|
-
masterOutgoingViewingPublicKey: string | {
|
|
4765
|
-
x: string;
|
|
4766
|
-
y: string;
|
|
4767
|
-
};
|
|
4768
|
-
masterTaggingPublicKey: string | {
|
|
4769
|
-
x: string;
|
|
4770
|
-
y: string;
|
|
4771
|
-
};
|
|
4636
|
+
masterNullifierPublicKey: string;
|
|
4637
|
+
masterIncomingViewingPublicKey: string;
|
|
4638
|
+
masterOutgoingViewingPublicKey: string;
|
|
4639
|
+
masterTaggingPublicKey: string;
|
|
4772
4640
|
};
|
|
4773
4641
|
hintKey: number;
|
|
4774
4642
|
salt?: any;
|
|
@@ -4795,6 +4663,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4795
4663
|
selector?: any;
|
|
4796
4664
|
address?: any;
|
|
4797
4665
|
}[];
|
|
4666
|
+
contractDBCreateCheckpointHints: {
|
|
4667
|
+
actionCounter: number;
|
|
4668
|
+
oldCheckpointId: number;
|
|
4669
|
+
newCheckpointId: number;
|
|
4670
|
+
}[];
|
|
4671
|
+
contractDBCommitCheckpointHints: {
|
|
4672
|
+
actionCounter: number;
|
|
4673
|
+
oldCheckpointId: number;
|
|
4674
|
+
newCheckpointId: number;
|
|
4675
|
+
}[];
|
|
4676
|
+
contractDBRevertCheckpointHints: {
|
|
4677
|
+
actionCounter: number;
|
|
4678
|
+
oldCheckpointId: number;
|
|
4679
|
+
newCheckpointId: number;
|
|
4680
|
+
}[];
|
|
4798
4681
|
startingTreeRoots: {
|
|
4799
4682
|
noteHashTree: {
|
|
4800
4683
|
root: string;
|
|
@@ -5012,6 +4895,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5012
4895
|
newCheckpointId: number;
|
|
5013
4896
|
}[];
|
|
5014
4897
|
revertCheckpointHints: {
|
|
4898
|
+
actionCounter: number;
|
|
4899
|
+
oldCheckpointId: number;
|
|
4900
|
+
newCheckpointId: number;
|
|
5015
4901
|
stateAfter: {
|
|
5016
4902
|
noteHashTree: {
|
|
5017
4903
|
root: string;
|
|
@@ -5030,9 +4916,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5030
4916
|
nextAvailableLeafIndex: string | number | bigint;
|
|
5031
4917
|
};
|
|
5032
4918
|
};
|
|
5033
|
-
actionCounter: number;
|
|
5034
|
-
oldCheckpointId: number;
|
|
5035
|
-
newCheckpointId: number;
|
|
5036
4919
|
stateBefore: {
|
|
5037
4920
|
noteHashTree: {
|
|
5038
4921
|
root: string;
|
|
@@ -5052,21 +4935,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5052
4935
|
};
|
|
5053
4936
|
};
|
|
5054
4937
|
}[];
|
|
5055
|
-
contractDBCreateCheckpointHints: {
|
|
5056
|
-
actionCounter: number;
|
|
5057
|
-
oldCheckpointId: number;
|
|
5058
|
-
newCheckpointId: number;
|
|
5059
|
-
}[];
|
|
5060
|
-
contractDBCommitCheckpointHints: {
|
|
5061
|
-
actionCounter: number;
|
|
5062
|
-
oldCheckpointId: number;
|
|
5063
|
-
newCheckpointId: number;
|
|
5064
|
-
}[];
|
|
5065
|
-
contractDBRevertCheckpointHints: {
|
|
5066
|
-
actionCounter: number;
|
|
5067
|
-
oldCheckpointId: number;
|
|
5068
|
-
newCheckpointId: number;
|
|
5069
|
-
}[];
|
|
5070
4938
|
};
|
|
5071
4939
|
}>, AvmCircuitInputs, {
|
|
5072
4940
|
publicInputs: {
|
|
@@ -5334,22 +5202,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5334
5202
|
};
|
|
5335
5203
|
contractInstances: {
|
|
5336
5204
|
publicKeys: {
|
|
5337
|
-
masterNullifierPublicKey: string
|
|
5338
|
-
|
|
5339
|
-
|
|
5340
|
-
|
|
5341
|
-
masterIncomingViewingPublicKey: string | {
|
|
5342
|
-
x: string;
|
|
5343
|
-
y: string;
|
|
5344
|
-
};
|
|
5345
|
-
masterOutgoingViewingPublicKey: string | {
|
|
5346
|
-
x: string;
|
|
5347
|
-
y: string;
|
|
5348
|
-
};
|
|
5349
|
-
masterTaggingPublicKey: string | {
|
|
5350
|
-
x: string;
|
|
5351
|
-
y: string;
|
|
5352
|
-
};
|
|
5205
|
+
masterNullifierPublicKey: string;
|
|
5206
|
+
masterIncomingViewingPublicKey: string;
|
|
5207
|
+
masterOutgoingViewingPublicKey: string;
|
|
5208
|
+
masterTaggingPublicKey: string;
|
|
5353
5209
|
};
|
|
5354
5210
|
hintKey: number;
|
|
5355
5211
|
salt?: any;
|
|
@@ -5376,6 +5232,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5376
5232
|
selector?: any;
|
|
5377
5233
|
address?: any;
|
|
5378
5234
|
}[];
|
|
5235
|
+
contractDBCreateCheckpointHints: {
|
|
5236
|
+
actionCounter: number;
|
|
5237
|
+
oldCheckpointId: number;
|
|
5238
|
+
newCheckpointId: number;
|
|
5239
|
+
}[];
|
|
5240
|
+
contractDBCommitCheckpointHints: {
|
|
5241
|
+
actionCounter: number;
|
|
5242
|
+
oldCheckpointId: number;
|
|
5243
|
+
newCheckpointId: number;
|
|
5244
|
+
}[];
|
|
5245
|
+
contractDBRevertCheckpointHints: {
|
|
5246
|
+
actionCounter: number;
|
|
5247
|
+
oldCheckpointId: number;
|
|
5248
|
+
newCheckpointId: number;
|
|
5249
|
+
}[];
|
|
5379
5250
|
startingTreeRoots: {
|
|
5380
5251
|
noteHashTree: {
|
|
5381
5252
|
root: string;
|
|
@@ -5593,6 +5464,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5593
5464
|
newCheckpointId: number;
|
|
5594
5465
|
}[];
|
|
5595
5466
|
revertCheckpointHints: {
|
|
5467
|
+
actionCounter: number;
|
|
5468
|
+
oldCheckpointId: number;
|
|
5469
|
+
newCheckpointId: number;
|
|
5596
5470
|
stateAfter: {
|
|
5597
5471
|
noteHashTree: {
|
|
5598
5472
|
root: string;
|
|
@@ -5611,9 +5485,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5611
5485
|
nextAvailableLeafIndex: string | number | bigint;
|
|
5612
5486
|
};
|
|
5613
5487
|
};
|
|
5614
|
-
actionCounter: number;
|
|
5615
|
-
oldCheckpointId: number;
|
|
5616
|
-
newCheckpointId: number;
|
|
5617
5488
|
stateBefore: {
|
|
5618
5489
|
noteHashTree: {
|
|
5619
5490
|
root: string;
|
|
@@ -5633,21 +5504,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5633
5504
|
};
|
|
5634
5505
|
};
|
|
5635
5506
|
}[];
|
|
5636
|
-
contractDBCreateCheckpointHints: {
|
|
5637
|
-
actionCounter: number;
|
|
5638
|
-
oldCheckpointId: number;
|
|
5639
|
-
newCheckpointId: number;
|
|
5640
|
-
}[];
|
|
5641
|
-
contractDBCommitCheckpointHints: {
|
|
5642
|
-
actionCounter: number;
|
|
5643
|
-
oldCheckpointId: number;
|
|
5644
|
-
newCheckpointId: number;
|
|
5645
|
-
}[];
|
|
5646
|
-
contractDBRevertCheckpointHints: {
|
|
5647
|
-
actionCounter: number;
|
|
5648
|
-
oldCheckpointId: number;
|
|
5649
|
-
newCheckpointId: number;
|
|
5650
|
-
}[];
|
|
5651
5507
|
};
|
|
5652
5508
|
}>;
|
|
5653
5509
|
}, "strip", z.ZodTypeAny, {
|
|
@@ -5921,22 +5777,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5921
5777
|
};
|
|
5922
5778
|
contractInstances: {
|
|
5923
5779
|
publicKeys: {
|
|
5924
|
-
masterNullifierPublicKey: string
|
|
5925
|
-
|
|
5926
|
-
|
|
5927
|
-
|
|
5928
|
-
masterIncomingViewingPublicKey: string | {
|
|
5929
|
-
x: string;
|
|
5930
|
-
y: string;
|
|
5931
|
-
};
|
|
5932
|
-
masterOutgoingViewingPublicKey: string | {
|
|
5933
|
-
x: string;
|
|
5934
|
-
y: string;
|
|
5935
|
-
};
|
|
5936
|
-
masterTaggingPublicKey: string | {
|
|
5937
|
-
x: string;
|
|
5938
|
-
y: string;
|
|
5939
|
-
};
|
|
5780
|
+
masterNullifierPublicKey: string;
|
|
5781
|
+
masterIncomingViewingPublicKey: string;
|
|
5782
|
+
masterOutgoingViewingPublicKey: string;
|
|
5783
|
+
masterTaggingPublicKey: string;
|
|
5940
5784
|
};
|
|
5941
5785
|
hintKey: number;
|
|
5942
5786
|
salt?: any;
|
|
@@ -5963,6 +5807,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5963
5807
|
selector?: any;
|
|
5964
5808
|
address?: any;
|
|
5965
5809
|
}[];
|
|
5810
|
+
contractDBCreateCheckpointHints: {
|
|
5811
|
+
actionCounter: number;
|
|
5812
|
+
oldCheckpointId: number;
|
|
5813
|
+
newCheckpointId: number;
|
|
5814
|
+
}[];
|
|
5815
|
+
contractDBCommitCheckpointHints: {
|
|
5816
|
+
actionCounter: number;
|
|
5817
|
+
oldCheckpointId: number;
|
|
5818
|
+
newCheckpointId: number;
|
|
5819
|
+
}[];
|
|
5820
|
+
contractDBRevertCheckpointHints: {
|
|
5821
|
+
actionCounter: number;
|
|
5822
|
+
oldCheckpointId: number;
|
|
5823
|
+
newCheckpointId: number;
|
|
5824
|
+
}[];
|
|
5966
5825
|
startingTreeRoots: {
|
|
5967
5826
|
noteHashTree: {
|
|
5968
5827
|
root: string;
|
|
@@ -6180,6 +6039,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
6180
6039
|
newCheckpointId: number;
|
|
6181
6040
|
}[];
|
|
6182
6041
|
revertCheckpointHints: {
|
|
6042
|
+
actionCounter: number;
|
|
6043
|
+
oldCheckpointId: number;
|
|
6044
|
+
newCheckpointId: number;
|
|
6183
6045
|
stateAfter: {
|
|
6184
6046
|
noteHashTree: {
|
|
6185
6047
|
root: string;
|
|
@@ -6198,9 +6060,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
6198
6060
|
nextAvailableLeafIndex: string | number | bigint;
|
|
6199
6061
|
};
|
|
6200
6062
|
};
|
|
6201
|
-
actionCounter: number;
|
|
6202
|
-
oldCheckpointId: number;
|
|
6203
|
-
newCheckpointId: number;
|
|
6204
6063
|
stateBefore: {
|
|
6205
6064
|
noteHashTree: {
|
|
6206
6065
|
root: string;
|
|
@@ -6220,21 +6079,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
6220
6079
|
};
|
|
6221
6080
|
};
|
|
6222
6081
|
}[];
|
|
6223
|
-
contractDBCreateCheckpointHints: {
|
|
6224
|
-
actionCounter: number;
|
|
6225
|
-
oldCheckpointId: number;
|
|
6226
|
-
newCheckpointId: number;
|
|
6227
|
-
}[];
|
|
6228
|
-
contractDBCommitCheckpointHints: {
|
|
6229
|
-
actionCounter: number;
|
|
6230
|
-
oldCheckpointId: number;
|
|
6231
|
-
newCheckpointId: number;
|
|
6232
|
-
}[];
|
|
6233
|
-
contractDBRevertCheckpointHints: {
|
|
6234
|
-
actionCounter: number;
|
|
6235
|
-
oldCheckpointId: number;
|
|
6236
|
-
newCheckpointId: number;
|
|
6237
|
-
}[];
|
|
6238
6082
|
};
|
|
6239
6083
|
};
|
|
6240
6084
|
}>, z.ZodObject<{
|
|
@@ -6424,127 +6268,127 @@ export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
6424
6268
|
result?: any;
|
|
6425
6269
|
}>, z.ZodObject<{
|
|
6426
6270
|
type: z.ZodLiteral<ProvingRequestType.PUBLIC_CHONK_VERIFIER>;
|
|
6427
|
-
result: ZodFor<PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs,
|
|
6271
|
+
result: ZodFor<PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, 531>>;
|
|
6428
6272
|
}, "strip", z.ZodTypeAny, {
|
|
6429
6273
|
type: ProvingRequestType.PUBLIC_CHONK_VERIFIER;
|
|
6430
|
-
result: PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs,
|
|
6274
|
+
result: PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, 531>;
|
|
6431
6275
|
}, {
|
|
6432
6276
|
type: ProvingRequestType.PUBLIC_CHONK_VERIFIER;
|
|
6433
6277
|
result?: any;
|
|
6434
6278
|
}>, z.ZodObject<{
|
|
6435
6279
|
type: z.ZodLiteral<ProvingRequestType.PRIVATE_TX_BASE_ROLLUP>;
|
|
6436
|
-
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs,
|
|
6280
|
+
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>>;
|
|
6437
6281
|
}, "strip", z.ZodTypeAny, {
|
|
6438
6282
|
type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
|
|
6439
|
-
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs,
|
|
6283
|
+
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>;
|
|
6440
6284
|
}, {
|
|
6441
6285
|
type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
|
|
6442
6286
|
result?: any;
|
|
6443
6287
|
}>, z.ZodObject<{
|
|
6444
6288
|
type: z.ZodLiteral<ProvingRequestType.PUBLIC_TX_BASE_ROLLUP>;
|
|
6445
|
-
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs,
|
|
6289
|
+
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>>;
|
|
6446
6290
|
}, "strip", z.ZodTypeAny, {
|
|
6447
6291
|
type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
|
|
6448
|
-
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs,
|
|
6292
|
+
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>;
|
|
6449
6293
|
}, {
|
|
6450
6294
|
type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
|
|
6451
6295
|
result?: any;
|
|
6452
6296
|
}>, z.ZodObject<{
|
|
6453
6297
|
type: z.ZodLiteral<ProvingRequestType.TX_MERGE_ROLLUP>;
|
|
6454
|
-
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs,
|
|
6298
|
+
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>>;
|
|
6455
6299
|
}, "strip", z.ZodTypeAny, {
|
|
6456
6300
|
type: ProvingRequestType.TX_MERGE_ROLLUP;
|
|
6457
|
-
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs,
|
|
6301
|
+
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>;
|
|
6458
6302
|
}, {
|
|
6459
6303
|
type: ProvingRequestType.TX_MERGE_ROLLUP;
|
|
6460
6304
|
result?: any;
|
|
6461
6305
|
}>, z.ZodObject<{
|
|
6462
6306
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP>;
|
|
6463
|
-
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6307
|
+
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
|
|
6464
6308
|
}, "strip", z.ZodTypeAny, {
|
|
6465
6309
|
type: ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP;
|
|
6466
|
-
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6310
|
+
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
|
|
6467
6311
|
}, {
|
|
6468
6312
|
type: ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP;
|
|
6469
6313
|
result?: any;
|
|
6470
6314
|
}>, z.ZodObject<{
|
|
6471
6315
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP>;
|
|
6472
|
-
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6316
|
+
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
|
|
6473
6317
|
}, "strip", z.ZodTypeAny, {
|
|
6474
6318
|
type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP;
|
|
6475
|
-
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6319
|
+
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
|
|
6476
6320
|
}, {
|
|
6477
6321
|
type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP;
|
|
6478
6322
|
result?: any;
|
|
6479
6323
|
}>, z.ZodObject<{
|
|
6480
6324
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP>;
|
|
6481
|
-
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6325
|
+
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
|
|
6482
6326
|
}, "strip", z.ZodTypeAny, {
|
|
6483
6327
|
type: ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP;
|
|
6484
|
-
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6328
|
+
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
|
|
6485
6329
|
}, {
|
|
6486
6330
|
type: ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP;
|
|
6487
6331
|
result?: any;
|
|
6488
6332
|
}>, z.ZodObject<{
|
|
6489
6333
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_ROLLUP>;
|
|
6490
|
-
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6334
|
+
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
|
|
6491
6335
|
}, "strip", z.ZodTypeAny, {
|
|
6492
6336
|
type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
|
|
6493
|
-
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6337
|
+
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
|
|
6494
6338
|
}, {
|
|
6495
6339
|
type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
|
|
6496
6340
|
result?: any;
|
|
6497
6341
|
}>, z.ZodObject<{
|
|
6498
6342
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP>;
|
|
6499
|
-
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6343
|
+
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
|
|
6500
6344
|
}, "strip", z.ZodTypeAny, {
|
|
6501
6345
|
type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP;
|
|
6502
|
-
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6346
|
+
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
|
|
6503
6347
|
}, {
|
|
6504
6348
|
type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP;
|
|
6505
6349
|
result?: any;
|
|
6506
6350
|
}>, z.ZodObject<{
|
|
6507
6351
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_MERGE_ROLLUP>;
|
|
6508
|
-
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6352
|
+
result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
|
|
6509
6353
|
}, "strip", z.ZodTypeAny, {
|
|
6510
6354
|
type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
|
|
6511
|
-
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs,
|
|
6355
|
+
result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
|
|
6512
6356
|
}, {
|
|
6513
6357
|
type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
|
|
6514
6358
|
result?: any;
|
|
6515
6359
|
}>, z.ZodObject<{
|
|
6516
6360
|
type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_ROLLUP>;
|
|
6517
|
-
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6361
|
+
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
|
|
6518
6362
|
}, "strip", z.ZodTypeAny, {
|
|
6519
6363
|
type: ProvingRequestType.CHECKPOINT_ROOT_ROLLUP;
|
|
6520
|
-
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6364
|
+
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
|
|
6521
6365
|
}, {
|
|
6522
6366
|
type: ProvingRequestType.CHECKPOINT_ROOT_ROLLUP;
|
|
6523
6367
|
result?: any;
|
|
6524
6368
|
}>, z.ZodObject<{
|
|
6525
6369
|
type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP>;
|
|
6526
|
-
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6370
|
+
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
|
|
6527
6371
|
}, "strip", z.ZodTypeAny, {
|
|
6528
6372
|
type: ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP;
|
|
6529
|
-
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6373
|
+
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
|
|
6530
6374
|
}, {
|
|
6531
6375
|
type: ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP;
|
|
6532
6376
|
result?: any;
|
|
6533
6377
|
}>, z.ZodObject<{
|
|
6534
6378
|
type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_PADDING_ROLLUP>;
|
|
6535
|
-
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6379
|
+
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
|
|
6536
6380
|
}, "strip", z.ZodTypeAny, {
|
|
6537
6381
|
type: ProvingRequestType.CHECKPOINT_PADDING_ROLLUP;
|
|
6538
|
-
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6382
|
+
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
|
|
6539
6383
|
}, {
|
|
6540
6384
|
type: ProvingRequestType.CHECKPOINT_PADDING_ROLLUP;
|
|
6541
6385
|
result?: any;
|
|
6542
6386
|
}>, z.ZodObject<{
|
|
6543
6387
|
type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_MERGE_ROLLUP>;
|
|
6544
|
-
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6388
|
+
result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
|
|
6545
6389
|
}, "strip", z.ZodTypeAny, {
|
|
6546
6390
|
type: ProvingRequestType.CHECKPOINT_MERGE_ROLLUP;
|
|
6547
|
-
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs,
|
|
6391
|
+
result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
|
|
6548
6392
|
}, {
|
|
6549
6393
|
type: ProvingRequestType.CHECKPOINT_MERGE_ROLLUP;
|
|
6550
6394
|
result?: any;
|