@aztec/stdlib 3.0.0-nightly.20250918 → 3.0.0-nightly.20250920
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/avm/avm.d.ts +8 -16
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm_accumulated_data.d.ts +9 -21
- package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
- package/dest/avm/avm_accumulated_data.js +15 -22
- package/dest/avm/avm_circuit_public_inputs.d.ts +6 -12
- package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
- package/dest/avm/avm_proving_request.d.ts +9 -18
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/interfaces/block-builder.d.ts +1 -0
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/epoch-prover.d.ts +4 -4
- package/dest/interfaces/epoch-prover.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +78 -88
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/proving-job.js +40 -84
- package/dest/interfaces/pxe.d.ts +193 -118
- package/dest/interfaces/pxe.d.ts.map +1 -1
- package/dest/interfaces/pxe.js +6 -37
- package/dest/interfaces/server_circuit_prover.d.ts +18 -17
- package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
- package/dest/logs/log_with_tx_data.d.ts +9 -12
- package/dest/logs/log_with_tx_data.d.ts.map +1 -1
- package/dest/logs/log_with_tx_data.js +18 -23
- package/dest/logs/public_log.d.ts +23 -10
- package/dest/logs/public_log.d.ts.map +1 -1
- package/dest/logs/public_log.js +117 -42
- package/dest/parity/index.d.ts +2 -3
- package/dest/parity/index.d.ts.map +1 -1
- package/dest/parity/index.js +2 -3
- package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts} +6 -6
- package/dest/parity/parity_base_private_inputs.d.ts.map +1 -0
- package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js} +5 -5
- package/dest/parity/parity_root_private_inputs.d.ts +39 -0
- package/dest/parity/parity_root_private_inputs.d.ts.map +1 -0
- package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js} +12 -13
- package/dest/proofs/proof_data.d.ts +3 -2
- package/dest/proofs/proof_data.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.d.ts +5 -5
- package/dest/proofs/proving_request_type.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.js +5 -5
- package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts} +10 -4
- package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js} +1 -1
- package/dest/rollup/{block_root_rollup.d.ts → block_root_rollup_private_inputs.d.ts} +23 -34
- package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{block_root_rollup.js → block_root_rollup_private_inputs.js} +7 -7
- package/dest/rollup/{checkpoint_merge_rollup.d.ts → checkpoint_merge_rollup_private_inputs.d.ts} +6 -6
- package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{checkpoint_root_rollup.d.ts → checkpoint_root_rollup_private_inputs.d.ts} +14 -8
- package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/index.d.ts +10 -11
- package/dest/rollup/index.d.ts.map +1 -1
- package/dest/rollup/index.js +10 -11
- package/dest/rollup/{private_base_rollup_inputs.d.ts → private_tx_base_rollup_private_inputs.d.ts} +7 -7
- package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{private_base_rollup_inputs.js → private_tx_base_rollup_private_inputs.js} +6 -6
- package/dest/rollup/{public_base_rollup_inputs.d.ts → public_tx_base_rollup_private_inputs.d.ts} +7 -7
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{public_base_rollup_inputs.js → public_tx_base_rollup_private_inputs.js} +6 -6
- package/dest/rollup/root_rollup_private_inputs.d.ts +67 -0
- package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/root_rollup_private_inputs.js +69 -0
- package/dest/rollup/{root_rollup.d.ts → root_rollup_public_inputs.d.ts} +2 -65
- package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{root_rollup.js → root_rollup_public_inputs.js} +1 -66
- package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts} +11 -10
- package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js} +14 -13
- package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts} +11 -11
- package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{base_or_merge_rollup_public_inputs.js → tx_rollup_public_inputs.js} +13 -13
- package/dest/stats/stats.d.ts +1 -1
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tests/factories.d.ts +16 -31
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +32 -49
- package/dest/tx/processed_tx.js +1 -1
- package/dest/tx/tx_effect.d.ts.map +1 -1
- package/dest/tx/tx_effect.js +9 -10
- package/package.json +8 -8
- package/src/avm/avm_accumulated_data.ts +15 -29
- package/src/interfaces/block-builder.ts +1 -0
- package/src/interfaces/epoch-prover.ts +3 -3
- package/src/interfaces/proving-job.ts +54 -93
- package/src/interfaces/pxe.ts +4 -184
- package/src/interfaces/server_circuit_prover.ts +24 -29
- package/src/logs/log_with_tx_data.ts +14 -24
- package/src/logs/public_log.ts +120 -58
- package/src/parity/index.ts +2 -3
- package/src/parity/{base_parity_inputs.ts → parity_base_private_inputs.ts} +6 -6
- package/src/parity/{root_parity_inputs.ts → parity_root_private_inputs.ts} +16 -18
- package/src/proofs/proof_data.ts +4 -2
- package/src/proofs/proving_request_type.ts +6 -5
- package/src/rollup/{block_merge_rollup.ts → block_merge_rollup_private_inputs.ts} +5 -3
- package/src/rollup/{block_root_rollup.ts → block_root_rollup_private_inputs.ts} +13 -26
- package/src/rollup/{checkpoint_merge_rollup.ts → checkpoint_merge_rollup_private_inputs.ts} +3 -4
- package/src/rollup/{checkpoint_root_rollup.ts → checkpoint_root_rollup_private_inputs.ts} +6 -4
- package/src/rollup/index.ts +10 -11
- package/src/rollup/{private_base_rollup_inputs.ts → private_tx_base_rollup_private_inputs.ts} +9 -9
- package/src/rollup/{public_base_rollup_inputs.ts → public_tx_base_rollup_private_inputs.ts} +9 -9
- package/src/rollup/root_rollup_private_inputs.ts +90 -0
- package/src/rollup/{root_rollup.ts → root_rollup_public_inputs.ts} +1 -86
- package/src/rollup/{merge_rollup.ts → tx_merge_rollup_private_inputs.ts} +13 -9
- package/src/rollup/{base_or_merge_rollup_public_inputs.ts → tx_rollup_public_inputs.ts} +11 -11
- package/src/stats/stats.ts +18 -17
- package/src/tests/factories.ts +33 -80
- package/src/tx/processed_tx.ts +1 -1
- package/src/tx/tx_effect.ts +9 -8
- package/dest/parity/base_parity_inputs.d.ts.map +0 -1
- package/dest/parity/root_parity_input.d.ts +0 -52
- package/dest/parity/root_parity_input.d.ts.map +0 -1
- package/dest/parity/root_parity_input.js +0 -50
- package/dest/parity/root_parity_inputs.d.ts +0 -37
- package/dest/parity/root_parity_inputs.d.ts.map +0 -1
- package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +0 -1
- package/dest/rollup/block_merge_rollup.d.ts.map +0 -1
- package/dest/rollup/block_root_rollup.d.ts.map +0 -1
- package/dest/rollup/checkpoint_merge_rollup.d.ts.map +0 -1
- package/dest/rollup/checkpoint_root_rollup.d.ts.map +0 -1
- package/dest/rollup/merge_rollup.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_data.d.ts +0 -47
- package/dest/rollup/previous_rollup_data.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_data.js +0 -37
- package/dest/rollup/private_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/public_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/rollup_proof_data.d.ts +0 -10
- package/dest/rollup/rollup_proof_data.d.ts.map +0 -1
- package/dest/rollup/rollup_proof_data.js +0 -1
- package/dest/rollup/root_rollup.d.ts.map +0 -1
- package/src/parity/root_parity_input.ts +0 -71
- package/src/rollup/previous_rollup_data.ts +0 -48
- package/src/rollup/rollup_proof_data.ts +0 -12
- /package/dest/rollup/{checkpoint_merge_rollup.js → checkpoint_merge_rollup_private_inputs.js} +0 -0
- /package/dest/rollup/{checkpoint_root_rollup.js → checkpoint_root_rollup_private_inputs.js} +0 -0
|
@@ -3496,26 +3496,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3496
3496
|
noteHashes: z.ZodNumber;
|
|
3497
3497
|
nullifiers: z.ZodNumber;
|
|
3498
3498
|
l2ToL1Msgs: z.ZodNumber;
|
|
3499
|
-
publicLogs: z.ZodNumber;
|
|
3500
3499
|
publicDataWrites: z.ZodNumber;
|
|
3501
3500
|
}, "strip", z.ZodTypeAny, {
|
|
3502
3501
|
noteHashes: number;
|
|
3503
3502
|
nullifiers: number;
|
|
3504
3503
|
l2ToL1Msgs: number;
|
|
3505
3504
|
publicDataWrites: number;
|
|
3506
|
-
publicLogs: number;
|
|
3507
3505
|
}, {
|
|
3508
3506
|
noteHashes: number;
|
|
3509
3507
|
nullifiers: number;
|
|
3510
3508
|
l2ToL1Msgs: number;
|
|
3511
3509
|
publicDataWrites: number;
|
|
3512
|
-
publicLogs: number;
|
|
3513
3510
|
}>, import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths, {
|
|
3514
3511
|
noteHashes: number;
|
|
3515
3512
|
nullifiers: number;
|
|
3516
3513
|
l2ToL1Msgs: number;
|
|
3517
3514
|
publicDataWrites: number;
|
|
3518
|
-
publicLogs: number;
|
|
3519
3515
|
}>;
|
|
3520
3516
|
accumulatedData: z.ZodEffects<z.ZodObject<{
|
|
3521
3517
|
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
@@ -3551,7 +3547,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3551
3547
|
};
|
|
3552
3548
|
contractAddress?: any;
|
|
3553
3549
|
}>, "many">;
|
|
3554
|
-
publicLogs:
|
|
3550
|
+
publicLogs: import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
|
|
3555
3551
|
publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
3556
3552
|
leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3557
3553
|
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
@@ -3570,7 +3566,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3570
3566
|
nullifiers: import("@aztec/foundation/schemas").Fr[];
|
|
3571
3567
|
l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
|
|
3572
3568
|
publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
|
|
3573
|
-
publicLogs: import("../logs/public_log.js").
|
|
3569
|
+
publicLogs: import("../logs/public_log.js").FlatPublicLogs;
|
|
3574
3570
|
}, {
|
|
3575
3571
|
noteHashes: string[];
|
|
3576
3572
|
nullifiers: string[];
|
|
@@ -3585,7 +3581,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3585
3581
|
value: string;
|
|
3586
3582
|
leafSlot: string;
|
|
3587
3583
|
}[];
|
|
3588
|
-
publicLogs
|
|
3584
|
+
publicLogs?: any;
|
|
3589
3585
|
}>, import("./avm_accumulated_data.js").AvmAccumulatedData, {
|
|
3590
3586
|
noteHashes: string[];
|
|
3591
3587
|
nullifiers: string[];
|
|
@@ -3600,7 +3596,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3600
3596
|
value: string;
|
|
3601
3597
|
leafSlot: string;
|
|
3602
3598
|
}[];
|
|
3603
|
-
publicLogs
|
|
3599
|
+
publicLogs?: any;
|
|
3604
3600
|
}>;
|
|
3605
3601
|
transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3606
3602
|
reverted: z.ZodBoolean;
|
|
@@ -3768,7 +3764,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3768
3764
|
nullifiers: number;
|
|
3769
3765
|
l2ToL1Msgs: number;
|
|
3770
3766
|
publicDataWrites: number;
|
|
3771
|
-
publicLogs: number;
|
|
3772
3767
|
};
|
|
3773
3768
|
accumulatedData: {
|
|
3774
3769
|
noteHashes: string[];
|
|
@@ -3784,7 +3779,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3784
3779
|
value: string;
|
|
3785
3780
|
leafSlot: string;
|
|
3786
3781
|
}[];
|
|
3787
|
-
publicLogs
|
|
3782
|
+
publicLogs?: any;
|
|
3788
3783
|
};
|
|
3789
3784
|
reverted: boolean;
|
|
3790
3785
|
feePayer?: any;
|
|
@@ -3930,7 +3925,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3930
3925
|
nullifiers: number;
|
|
3931
3926
|
l2ToL1Msgs: number;
|
|
3932
3927
|
publicDataWrites: number;
|
|
3933
|
-
publicLogs: number;
|
|
3934
3928
|
};
|
|
3935
3929
|
accumulatedData: {
|
|
3936
3930
|
noteHashes: string[];
|
|
@@ -3946,7 +3940,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
3946
3940
|
value: string;
|
|
3947
3941
|
leafSlot: string;
|
|
3948
3942
|
}[];
|
|
3949
|
-
publicLogs
|
|
3943
|
+
publicLogs?: any;
|
|
3950
3944
|
};
|
|
3951
3945
|
reverted: boolean;
|
|
3952
3946
|
feePayer?: any;
|
|
@@ -4097,7 +4091,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4097
4091
|
nullifiers: number;
|
|
4098
4092
|
l2ToL1Msgs: number;
|
|
4099
4093
|
publicDataWrites: number;
|
|
4100
|
-
publicLogs: number;
|
|
4101
4094
|
};
|
|
4102
4095
|
accumulatedData: {
|
|
4103
4096
|
noteHashes: string[];
|
|
@@ -4113,7 +4106,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4113
4106
|
value: string;
|
|
4114
4107
|
leafSlot: string;
|
|
4115
4108
|
}[];
|
|
4116
|
-
publicLogs
|
|
4109
|
+
publicLogs?: any;
|
|
4117
4110
|
};
|
|
4118
4111
|
reverted: boolean;
|
|
4119
4112
|
feePayer?: any;
|
|
@@ -4619,7 +4612,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4619
4612
|
nullifiers: number;
|
|
4620
4613
|
l2ToL1Msgs: number;
|
|
4621
4614
|
publicDataWrites: number;
|
|
4622
|
-
publicLogs: number;
|
|
4623
4615
|
};
|
|
4624
4616
|
accumulatedData: {
|
|
4625
4617
|
noteHashes: string[];
|
|
@@ -4635,7 +4627,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
4635
4627
|
value: string;
|
|
4636
4628
|
leafSlot: string;
|
|
4637
4629
|
}[];
|
|
4638
|
-
publicLogs
|
|
4630
|
+
publicLogs?: any;
|
|
4639
4631
|
};
|
|
4640
4632
|
reverted: boolean;
|
|
4641
4633
|
feePayer?: any;
|
|
@@ -5147,7 +5139,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5147
5139
|
nullifiers: number;
|
|
5148
5140
|
l2ToL1Msgs: number;
|
|
5149
5141
|
publicDataWrites: number;
|
|
5150
|
-
publicLogs: number;
|
|
5151
5142
|
};
|
|
5152
5143
|
accumulatedData: {
|
|
5153
5144
|
noteHashes: string[];
|
|
@@ -5163,7 +5154,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
|
|
|
5163
5154
|
value: string;
|
|
5164
5155
|
leafSlot: string;
|
|
5165
5156
|
}[];
|
|
5166
|
-
publicLogs
|
|
5157
|
+
publicLogs?: any;
|
|
5167
5158
|
};
|
|
5168
5159
|
reverted: boolean;
|
|
5169
5160
|
feePayer?: any;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"avm_proving_request.d.ts","sourceRoot":"","sources":["../../src/avm/avm_proving_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAE5C,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,uBAAuB
|
|
1
|
+
{"version":3,"file":"avm_proving_request.d.ts","sourceRoot":"","sources":["../../src/avm/avm_proving_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAE5C,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"block-builder.d.ts","sourceRoot":"","sources":["../../src/interfaces/block-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAErD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAEpE,6FAA6F;AAC7F,MAAM,WAAW,aAAc,SAAQ,kBAAkB;IACvD;;;;OAIG;IACH,aAAa,CAAC,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAErF;;;OAGG;IACH,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1C;;OAEG;IACH,iBAAiB,CAAC,mBAAmB,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,qBAAqB;IACpC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,GAAG,CAAC;IAClB,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB;AAED,MAAM,WAAW,wBAAwB;IACvC,mBAAmB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;IACtC,cAAc,CAAC,EAAE;QAAE,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,IAAI,CAAA;KAAE,CAAC;CACpE;AACD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,GAAG,CAAC;IACf,uBAAuB,EAAE,MAAM,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,kBAAkB,EAAE,KAAK,CAAC;IAC1B,OAAO,EAAE,EAAE,EAAE,CAAC;CACf;AAED,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,GAChG,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAAC,GAChD,IAAI,CAAC,eAAe,EAAE,wBAAwB,GAAG,4BAA4B,CAAC,CAAC;AAEjF,MAAM,WAAW,qBAAqB;IACpC,SAAS,IAAI,0BAA0B,CAAC;IAExC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,0BAA0B,CAAC,GAAG,IAAI,CAAC;IAEhE,UAAU,CACR,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,EACrC,cAAc,EAAE,EAAE,EAAE,EACpB,eAAe,EAAE,eAAe,EAChC,OAAO,EAAE,qBAAqB,EAC9B,IAAI,CAAC,EAAE,yBAAyB,GAC/B,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAE7B,OAAO,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CAClE"}
|
|
1
|
+
{"version":3,"file":"block-builder.d.ts","sourceRoot":"","sources":["../../src/interfaces/block-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAErD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAEpE,6FAA6F;AAC7F,MAAM,WAAW,aAAc,SAAQ,kBAAkB;IACvD;;;;OAIG;IACH,aAAa,CAAC,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAErF;;;OAGG;IACH,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1C;;OAEG;IACH,iBAAiB,CAAC,mBAAmB,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,qBAAqB;IACpC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,GAAG,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB;AAED,MAAM,WAAW,wBAAwB;IACvC,mBAAmB,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;IACtC,cAAc,CAAC,EAAE;QAAE,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,IAAI,CAAA;KAAE,CAAC;CACpE;AACD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,GAAG,CAAC;IACf,uBAAuB,EAAE,MAAM,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,kBAAkB,EAAE,KAAK,CAAC;IAC1B,OAAO,EAAE,EAAE,EAAE,CAAC;CACf;AAED,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,GAChG,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAAC,GAChD,IAAI,CAAC,eAAe,EAAE,wBAAwB,GAAG,4BAA4B,CAAC,CAAC;AAEjF,MAAM,WAAW,qBAAqB;IACpC,SAAS,IAAI,0BAA0B,CAAC;IAExC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,0BAA0B,CAAC,GAAG,IAAI,CAAC;IAEhE,UAAU,CACR,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,EACrC,cAAc,EAAE,EAAE,EAAE,EACpB,eAAe,EAAE,eAAe,EAChC,OAAO,EAAE,qBAAqB,EAC9B,IAAI,CAAC,EAAE,yBAAyB,GAC/B,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAE7B,OAAO,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CAClE"}
|
|
@@ -3,7 +3,7 @@ import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
|
3
3
|
import type { Fr } from '@aztec/foundation/fields';
|
|
4
4
|
import type { Proof } from '../proofs/proof.js';
|
|
5
5
|
import type { CheckpointConstantData } from '../rollup/checkpoint_constant_data.js';
|
|
6
|
-
import type { RootRollupPublicInputs } from '../rollup/
|
|
6
|
+
import type { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
|
|
7
7
|
import type { BlockHeader } from '../tx/block_header.js';
|
|
8
8
|
import type { Tx } from '../tx/tx.js';
|
|
9
9
|
import type { UInt64 } from '../types/index.js';
|
|
@@ -13,20 +13,20 @@ export interface EpochProver extends Omit<IBlockFactory, 'setBlockCompleted' | '
|
|
|
13
13
|
/**
|
|
14
14
|
* Starts a new epoch. Must be the first method to be called.
|
|
15
15
|
* @param epochNumber - The epoch number.
|
|
16
|
-
* @param firstCheckpointNumber - The number of the first checkpoint in the epoch. Used to determine the correct order when checkpoints are added.
|
|
17
16
|
* @param totalNumCheckpoints - The total number of checkpoints expected in the epoch (must be at least one).
|
|
18
17
|
* @param finalBlobBatchingChallenges - The final blob batching challenges for the epoch.
|
|
19
18
|
**/
|
|
20
|
-
startNewEpoch(epochNumber: number,
|
|
19
|
+
startNewEpoch(epochNumber: number, totalNumCheckpoints: number, finalBlobBatchingChallenges: FinalBlobBatchingChallenges): void;
|
|
21
20
|
/**
|
|
22
21
|
* Starts a new checkpoint.
|
|
22
|
+
* @param checkpointIndex - The index of the checkpoint in the epoch.
|
|
23
23
|
* @param constants - The constants for this checkpoint.
|
|
24
24
|
* @param l1ToL2Messages - The set of L1 to L2 messages to be included in this checkpoint.
|
|
25
25
|
* @param totalNumBlocks - The total number of blocks expected in the checkpoint (must be at least one).
|
|
26
26
|
* @param totalNumBlobFields - The total number of blob fields expected in the checkpoint.
|
|
27
27
|
* @param headerOfLastBlockInPreviousCheckpoint - The header of the last block in the previous checkpoint.
|
|
28
28
|
*/
|
|
29
|
-
startNewCheckpoint(constants: CheckpointConstantData, l1ToL2Messages: Fr[], totalNumBlocks: number, totalNumBlobFields: number, headerOfLastBlockInPreviousCheckpoint: BlockHeader): Promise<void>;
|
|
29
|
+
startNewCheckpoint(checkpointIndex: number, constants: CheckpointConstantData, l1ToL2Messages: Fr[], totalNumBlocks: number, totalNumBlobFields: number, headerOfLastBlockInPreviousCheckpoint: BlockHeader): Promise<void>;
|
|
30
30
|
/**
|
|
31
31
|
* Starts a new block.
|
|
32
32
|
* @param blockNumber - The block number.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"epoch-prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/epoch-prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"epoch-prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/epoch-prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,kDAAkD;AAClD,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,aAAa,EAAE,mBAAmB,GAAG,eAAe,CAAC;IAC7F;;;;;QAKI;IACJ,aAAa,CACX,WAAW,EAAE,MAAM,EACnB,mBAAmB,EAAE,MAAM,EAC3B,2BAA2B,EAAE,2BAA2B,GACvD,IAAI,CAAC;IAER;;;;;;;;OAQG;IACH,kBAAkB,CAChB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,sBAAsB,EACjC,cAAc,EAAE,EAAE,EAAE,EACpB,cAAc,EAAE,MAAM,EACtB,kBAAkB,EAAE,MAAM,EAC1B,qCAAqC,EAAE,WAAW,GACjD,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjB;;;;;OAKG;IACH,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1F;;;OAGG;IACH,iBAAiB,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE5C,yBAAyB;IACzB,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,mBAAmB,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAEhG,6GAA6G;IAC7G,aAAa,IAAI,OAAO,CAAC;QAAE,YAAY,EAAE,sBAAsB,CAAC;QAAC,KAAK,EAAE,KAAK,CAAC;QAAC,iBAAiB,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAEjH,gCAAgC;IAChC,MAAM,IAAI,IAAI,CAAC;IAEf,+DAA+D;IAC/D,WAAW,IAAI,UAAU,CAAC;IAE1B,mEAAmE;IACnE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB"}
|
|
@@ -3,24 +3,24 @@ import type { ZodFor } from '@aztec/foundation/schemas';
|
|
|
3
3
|
import { z } from 'zod';
|
|
4
4
|
import { AvmCircuitInputs } from '../avm/avm.js';
|
|
5
5
|
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
6
|
-
import {
|
|
6
|
+
import { ParityBasePrivateInputs } from '../parity/parity_base_private_inputs.js';
|
|
7
7
|
import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
|
|
8
|
-
import {
|
|
8
|
+
import { ParityRootPrivateInputs } from '../parity/parity_root_private_inputs.js';
|
|
9
9
|
import { ProvingRequestType } from '../proofs/proving_request_type.js';
|
|
10
10
|
import { RecursiveProof } from '../proofs/recursive_proof.js';
|
|
11
|
-
import {
|
|
12
|
-
import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup.js';
|
|
11
|
+
import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
|
|
13
12
|
import { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
|
|
14
|
-
import { BlockRootEmptyTxFirstRollupPrivateInputs, BlockRootFirstRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxFirstRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs } from '../rollup/
|
|
15
|
-
import { CheckpointMergeRollupPrivateInputs } from '../rollup/
|
|
13
|
+
import { BlockRootEmptyTxFirstRollupPrivateInputs, BlockRootFirstRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxFirstRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs } from '../rollup/block_root_rollup_private_inputs.js';
|
|
14
|
+
import { CheckpointMergeRollupPrivateInputs } from '../rollup/checkpoint_merge_rollup_private_inputs.js';
|
|
16
15
|
import { CheckpointRollupPublicInputs } from '../rollup/checkpoint_rollup_public_inputs.js';
|
|
17
|
-
import { CheckpointPaddingRollupPrivateInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs } from '../rollup/
|
|
16
|
+
import { CheckpointPaddingRollupPrivateInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs } from '../rollup/checkpoint_root_rollup_private_inputs.js';
|
|
18
17
|
import { PublicTubePrivateInputs } from '../rollup/index.js';
|
|
19
|
-
import {
|
|
20
|
-
import {
|
|
21
|
-
import {
|
|
22
|
-
import {
|
|
23
|
-
import
|
|
18
|
+
import { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
|
|
19
|
+
import { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
|
|
20
|
+
import { RootRollupPrivateInputs } from '../rollup/root_rollup_private_inputs.js';
|
|
21
|
+
import { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
|
|
22
|
+
import { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
|
|
23
|
+
import { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
|
|
24
24
|
import { VerificationKeyData } from '../vks/verification_key.js';
|
|
25
25
|
export type ProofAndVerificationKey<N extends number> = {
|
|
26
26
|
proof: RecursiveProof<N>;
|
|
@@ -33,7 +33,6 @@ export type PublicInputsAndRecursiveProof<T, N extends number = typeof NESTED_RE
|
|
|
33
33
|
verificationKey: VerificationKeyData;
|
|
34
34
|
};
|
|
35
35
|
export declare function makePublicInputsAndRecursiveProof<T, N extends number = typeof NESTED_RECURSIVE_PROOF_LENGTH>(inputs: T, proof: RecursiveProof<N>, verificationKey: VerificationKeyData): PublicInputsAndRecursiveProof<T, N>;
|
|
36
|
-
export declare function mapProvingRequestTypeToCircuitName(type: ProvingRequestType): ServerCircuitName;
|
|
37
36
|
export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
|
|
38
37
|
type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
|
|
39
38
|
inputs: z.ZodEffects<z.ZodObject<{
|
|
@@ -3528,26 +3527,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3528
3527
|
noteHashes: z.ZodNumber;
|
|
3529
3528
|
nullifiers: z.ZodNumber;
|
|
3530
3529
|
l2ToL1Msgs: z.ZodNumber;
|
|
3531
|
-
publicLogs: z.ZodNumber;
|
|
3532
3530
|
publicDataWrites: z.ZodNumber;
|
|
3533
3531
|
}, "strip", z.ZodTypeAny, {
|
|
3534
3532
|
noteHashes: number;
|
|
3535
3533
|
nullifiers: number;
|
|
3536
3534
|
l2ToL1Msgs: number;
|
|
3537
3535
|
publicDataWrites: number;
|
|
3538
|
-
publicLogs: number;
|
|
3539
3536
|
}, {
|
|
3540
3537
|
noteHashes: number;
|
|
3541
3538
|
nullifiers: number;
|
|
3542
3539
|
l2ToL1Msgs: number;
|
|
3543
3540
|
publicDataWrites: number;
|
|
3544
|
-
publicLogs: number;
|
|
3545
3541
|
}>, import("../avm/avm_accumulated_data.js").AvmAccumulatedDataArrayLengths, {
|
|
3546
3542
|
noteHashes: number;
|
|
3547
3543
|
nullifiers: number;
|
|
3548
3544
|
l2ToL1Msgs: number;
|
|
3549
3545
|
publicDataWrites: number;
|
|
3550
|
-
publicLogs: number;
|
|
3551
3546
|
}>;
|
|
3552
3547
|
accumulatedData: z.ZodEffects<z.ZodObject<{
|
|
3553
3548
|
noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
|
|
@@ -3583,7 +3578,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3583
3578
|
};
|
|
3584
3579
|
contractAddress?: any;
|
|
3585
3580
|
}>, "many">;
|
|
3586
|
-
publicLogs:
|
|
3581
|
+
publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
|
|
3587
3582
|
publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
3588
3583
|
leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3589
3584
|
value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
@@ -3602,7 +3597,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3602
3597
|
nullifiers: import("@aztec/foundation/schemas").Fr[];
|
|
3603
3598
|
l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
|
|
3604
3599
|
publicDataWrites: import("../avm/public_data_write.js").PublicDataWrite[];
|
|
3605
|
-
publicLogs: import("../logs/public_log.js").
|
|
3600
|
+
publicLogs: import("../logs/public_log.js").FlatPublicLogs;
|
|
3606
3601
|
}, {
|
|
3607
3602
|
noteHashes: string[];
|
|
3608
3603
|
nullifiers: string[];
|
|
@@ -3617,7 +3612,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3617
3612
|
value: string;
|
|
3618
3613
|
leafSlot: string;
|
|
3619
3614
|
}[];
|
|
3620
|
-
publicLogs
|
|
3615
|
+
publicLogs?: any;
|
|
3621
3616
|
}>, import("../avm/avm_accumulated_data.js").AvmAccumulatedData, {
|
|
3622
3617
|
noteHashes: string[];
|
|
3623
3618
|
nullifiers: string[];
|
|
@@ -3632,7 +3627,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3632
3627
|
value: string;
|
|
3633
3628
|
leafSlot: string;
|
|
3634
3629
|
}[];
|
|
3635
|
-
publicLogs
|
|
3630
|
+
publicLogs?: any;
|
|
3636
3631
|
}>;
|
|
3637
3632
|
transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
3638
3633
|
reverted: z.ZodBoolean;
|
|
@@ -3800,7 +3795,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3800
3795
|
nullifiers: number;
|
|
3801
3796
|
l2ToL1Msgs: number;
|
|
3802
3797
|
publicDataWrites: number;
|
|
3803
|
-
publicLogs: number;
|
|
3804
3798
|
};
|
|
3805
3799
|
accumulatedData: {
|
|
3806
3800
|
noteHashes: string[];
|
|
@@ -3816,7 +3810,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3816
3810
|
value: string;
|
|
3817
3811
|
leafSlot: string;
|
|
3818
3812
|
}[];
|
|
3819
|
-
publicLogs
|
|
3813
|
+
publicLogs?: any;
|
|
3820
3814
|
};
|
|
3821
3815
|
reverted: boolean;
|
|
3822
3816
|
feePayer?: any;
|
|
@@ -3962,7 +3956,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3962
3956
|
nullifiers: number;
|
|
3963
3957
|
l2ToL1Msgs: number;
|
|
3964
3958
|
publicDataWrites: number;
|
|
3965
|
-
publicLogs: number;
|
|
3966
3959
|
};
|
|
3967
3960
|
accumulatedData: {
|
|
3968
3961
|
noteHashes: string[];
|
|
@@ -3978,7 +3971,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
3978
3971
|
value: string;
|
|
3979
3972
|
leafSlot: string;
|
|
3980
3973
|
}[];
|
|
3981
|
-
publicLogs
|
|
3974
|
+
publicLogs?: any;
|
|
3982
3975
|
};
|
|
3983
3976
|
reverted: boolean;
|
|
3984
3977
|
feePayer?: any;
|
|
@@ -4129,7 +4122,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4129
4122
|
nullifiers: number;
|
|
4130
4123
|
l2ToL1Msgs: number;
|
|
4131
4124
|
publicDataWrites: number;
|
|
4132
|
-
publicLogs: number;
|
|
4133
4125
|
};
|
|
4134
4126
|
accumulatedData: {
|
|
4135
4127
|
noteHashes: string[];
|
|
@@ -4145,7 +4137,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4145
4137
|
value: string;
|
|
4146
4138
|
leafSlot: string;
|
|
4147
4139
|
}[];
|
|
4148
|
-
publicLogs
|
|
4140
|
+
publicLogs?: any;
|
|
4149
4141
|
};
|
|
4150
4142
|
reverted: boolean;
|
|
4151
4143
|
feePayer?: any;
|
|
@@ -4651,7 +4643,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4651
4643
|
nullifiers: number;
|
|
4652
4644
|
l2ToL1Msgs: number;
|
|
4653
4645
|
publicDataWrites: number;
|
|
4654
|
-
publicLogs: number;
|
|
4655
4646
|
};
|
|
4656
4647
|
accumulatedData: {
|
|
4657
4648
|
noteHashes: string[];
|
|
@@ -4667,7 +4658,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
4667
4658
|
value: string;
|
|
4668
4659
|
leafSlot: string;
|
|
4669
4660
|
}[];
|
|
4670
|
-
publicLogs
|
|
4661
|
+
publicLogs?: any;
|
|
4671
4662
|
};
|
|
4672
4663
|
reverted: boolean;
|
|
4673
4664
|
feePayer?: any;
|
|
@@ -5179,7 +5170,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5179
5170
|
nullifiers: number;
|
|
5180
5171
|
l2ToL1Msgs: number;
|
|
5181
5172
|
publicDataWrites: number;
|
|
5182
|
-
publicLogs: number;
|
|
5183
5173
|
};
|
|
5184
5174
|
accumulatedData: {
|
|
5185
5175
|
noteHashes: string[];
|
|
@@ -5195,7 +5185,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5195
5185
|
value: string;
|
|
5196
5186
|
leafSlot: string;
|
|
5197
5187
|
}[];
|
|
5198
|
-
publicLogs
|
|
5188
|
+
publicLogs?: any;
|
|
5199
5189
|
};
|
|
5200
5190
|
reverted: boolean;
|
|
5201
5191
|
feePayer?: any;
|
|
@@ -5560,22 +5550,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5560
5550
|
};
|
|
5561
5551
|
};
|
|
5562
5552
|
}>, z.ZodObject<{
|
|
5563
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5564
|
-
inputs: z.ZodType<
|
|
5553
|
+
type: z.ZodLiteral<ProvingRequestType.PARITY_BASE>;
|
|
5554
|
+
inputs: z.ZodType<ParityBasePrivateInputs, any, string>;
|
|
5565
5555
|
}, "strip", z.ZodTypeAny, {
|
|
5566
|
-
type: ProvingRequestType.
|
|
5567
|
-
inputs:
|
|
5556
|
+
type: ProvingRequestType.PARITY_BASE;
|
|
5557
|
+
inputs: ParityBasePrivateInputs;
|
|
5568
5558
|
}, {
|
|
5569
|
-
type: ProvingRequestType.
|
|
5559
|
+
type: ProvingRequestType.PARITY_BASE;
|
|
5570
5560
|
inputs: string;
|
|
5571
5561
|
}>, z.ZodObject<{
|
|
5572
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5573
|
-
inputs: z.ZodType<
|
|
5562
|
+
type: z.ZodLiteral<ProvingRequestType.PARITY_ROOT>;
|
|
5563
|
+
inputs: z.ZodType<ParityRootPrivateInputs, any, string>;
|
|
5574
5564
|
}, "strip", z.ZodTypeAny, {
|
|
5575
|
-
type: ProvingRequestType.
|
|
5576
|
-
inputs:
|
|
5565
|
+
type: ProvingRequestType.PARITY_ROOT;
|
|
5566
|
+
inputs: ParityRootPrivateInputs;
|
|
5577
5567
|
}, {
|
|
5578
|
-
type: ProvingRequestType.
|
|
5568
|
+
type: ProvingRequestType.PARITY_ROOT;
|
|
5579
5569
|
inputs: string;
|
|
5580
5570
|
}>, z.ZodObject<{
|
|
5581
5571
|
type: z.ZodLiteral<ProvingRequestType.PUBLIC_TUBE>;
|
|
@@ -5587,31 +5577,31 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5587
5577
|
type: ProvingRequestType.PUBLIC_TUBE;
|
|
5588
5578
|
inputs: string;
|
|
5589
5579
|
}>, z.ZodObject<{
|
|
5590
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5591
|
-
inputs: z.ZodType<
|
|
5580
|
+
type: z.ZodLiteral<ProvingRequestType.PRIVATE_TX_BASE_ROLLUP>;
|
|
5581
|
+
inputs: z.ZodType<PrivateTxBaseRollupPrivateInputs, any, string>;
|
|
5592
5582
|
}, "strip", z.ZodTypeAny, {
|
|
5593
|
-
type: ProvingRequestType.
|
|
5594
|
-
inputs:
|
|
5583
|
+
type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
|
|
5584
|
+
inputs: PrivateTxBaseRollupPrivateInputs;
|
|
5595
5585
|
}, {
|
|
5596
|
-
type: ProvingRequestType.
|
|
5586
|
+
type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
|
|
5597
5587
|
inputs: string;
|
|
5598
5588
|
}>, z.ZodObject<{
|
|
5599
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5600
|
-
inputs: z.ZodType<
|
|
5589
|
+
type: z.ZodLiteral<ProvingRequestType.PUBLIC_TX_BASE_ROLLUP>;
|
|
5590
|
+
inputs: z.ZodType<PublicTxBaseRollupPrivateInputs, any, string>;
|
|
5601
5591
|
}, "strip", z.ZodTypeAny, {
|
|
5602
|
-
type: ProvingRequestType.
|
|
5603
|
-
inputs:
|
|
5592
|
+
type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
|
|
5593
|
+
inputs: PublicTxBaseRollupPrivateInputs;
|
|
5604
5594
|
}, {
|
|
5605
|
-
type: ProvingRequestType.
|
|
5595
|
+
type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
|
|
5606
5596
|
inputs: string;
|
|
5607
5597
|
}>, z.ZodObject<{
|
|
5608
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5609
|
-
inputs: z.ZodType<
|
|
5598
|
+
type: z.ZodLiteral<ProvingRequestType.TX_MERGE_ROLLUP>;
|
|
5599
|
+
inputs: z.ZodType<TxMergeRollupPrivateInputs, any, string>;
|
|
5610
5600
|
}, "strip", z.ZodTypeAny, {
|
|
5611
|
-
type: ProvingRequestType.
|
|
5612
|
-
inputs:
|
|
5601
|
+
type: ProvingRequestType.TX_MERGE_ROLLUP;
|
|
5602
|
+
inputs: TxMergeRollupPrivateInputs;
|
|
5613
5603
|
}, {
|
|
5614
|
-
type: ProvingRequestType.
|
|
5604
|
+
type: ProvingRequestType.TX_MERGE_ROLLUP;
|
|
5615
5605
|
inputs: string;
|
|
5616
5606
|
}>, z.ZodObject<{
|
|
5617
5607
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP>;
|
|
@@ -5713,14 +5703,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5713
5703
|
type: ProvingRequestType.ROOT_ROLLUP;
|
|
5714
5704
|
inputs: string;
|
|
5715
5705
|
}>]>;
|
|
5716
|
-
export declare function getProvingJobInputClassFor(type: ProvingRequestType): typeof AvmCircuitInputs | typeof
|
|
5706
|
+
export declare function getProvingJobInputClassFor(type: ProvingRequestType): typeof AvmCircuitInputs | typeof ParityBasePrivateInputs | typeof ParityRootPrivateInputs | typeof BlockMergeRollupPrivateInputs | typeof BlockRootFirstRollupPrivateInputs | typeof BlockRootSingleTxFirstRollupPrivateInputs | typeof BlockRootEmptyTxFirstRollupPrivateInputs | typeof BlockRootRollupPrivateInputs | typeof BlockRootSingleTxRollupPrivateInputs | typeof PrivateTxBaseRollupPrivateInputs | typeof PublicTxBaseRollupPrivateInputs | typeof TxMergeRollupPrivateInputs | typeof CheckpointMergeRollupPrivateInputs | typeof CheckpointRootRollupPrivateInputs | typeof CheckpointRootSingleBlockRollupPrivateInputs | typeof CheckpointPaddingRollupPrivateInputs | typeof PublicTubePrivateInputs;
|
|
5717
5707
|
export type ProvingJobInputs = z.infer<typeof ProvingJobInputs>;
|
|
5718
5708
|
export type ProvingJobInputsMap = {
|
|
5719
5709
|
[ProvingRequestType.PUBLIC_VM]: AvmCircuitInputs;
|
|
5720
5710
|
[ProvingRequestType.PUBLIC_TUBE]: PublicTubePrivateInputs;
|
|
5721
|
-
[ProvingRequestType.
|
|
5722
|
-
[ProvingRequestType.
|
|
5723
|
-
[ProvingRequestType.
|
|
5711
|
+
[ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: PrivateTxBaseRollupPrivateInputs;
|
|
5712
|
+
[ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: PublicTxBaseRollupPrivateInputs;
|
|
5713
|
+
[ProvingRequestType.TX_MERGE_ROLLUP]: TxMergeRollupPrivateInputs;
|
|
5724
5714
|
[ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: BlockRootFirstRollupPrivateInputs;
|
|
5725
5715
|
[ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: BlockRootSingleTxFirstRollupPrivateInputs;
|
|
5726
5716
|
[ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: BlockRootEmptyTxFirstRollupPrivateInputs;
|
|
@@ -5732,8 +5722,8 @@ export type ProvingJobInputsMap = {
|
|
|
5732
5722
|
[ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: CheckpointPaddingRollupPrivateInputs;
|
|
5733
5723
|
[ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: CheckpointMergeRollupPrivateInputs;
|
|
5734
5724
|
[ProvingRequestType.ROOT_ROLLUP]: RootRollupPrivateInputs;
|
|
5735
|
-
[ProvingRequestType.
|
|
5736
|
-
[ProvingRequestType.
|
|
5725
|
+
[ProvingRequestType.PARITY_BASE]: ParityBasePrivateInputs;
|
|
5726
|
+
[ProvingRequestType.PARITY_ROOT]: ParityRootPrivateInputs;
|
|
5737
5727
|
};
|
|
5738
5728
|
export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
|
|
5739
5729
|
type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
|
|
@@ -5754,31 +5744,31 @@ export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5754
5744
|
type: ProvingRequestType.PUBLIC_TUBE;
|
|
5755
5745
|
result?: any;
|
|
5756
5746
|
}>, z.ZodObject<{
|
|
5757
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5758
|
-
result: ZodFor<PublicInputsAndRecursiveProof<
|
|
5747
|
+
type: z.ZodLiteral<ProvingRequestType.PRIVATE_TX_BASE_ROLLUP>;
|
|
5748
|
+
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>>;
|
|
5759
5749
|
}, "strip", z.ZodTypeAny, {
|
|
5760
|
-
type: ProvingRequestType.
|
|
5761
|
-
result: PublicInputsAndRecursiveProof<
|
|
5750
|
+
type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
|
|
5751
|
+
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>;
|
|
5762
5752
|
}, {
|
|
5763
|
-
type: ProvingRequestType.
|
|
5753
|
+
type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
|
|
5764
5754
|
result?: any;
|
|
5765
5755
|
}>, z.ZodObject<{
|
|
5766
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5767
|
-
result: ZodFor<PublicInputsAndRecursiveProof<
|
|
5756
|
+
type: z.ZodLiteral<ProvingRequestType.PUBLIC_TX_BASE_ROLLUP>;
|
|
5757
|
+
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>>;
|
|
5768
5758
|
}, "strip", z.ZodTypeAny, {
|
|
5769
|
-
type: ProvingRequestType.
|
|
5770
|
-
result: PublicInputsAndRecursiveProof<
|
|
5759
|
+
type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
|
|
5760
|
+
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>;
|
|
5771
5761
|
}, {
|
|
5772
|
-
type: ProvingRequestType.
|
|
5762
|
+
type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
|
|
5773
5763
|
result?: any;
|
|
5774
5764
|
}>, z.ZodObject<{
|
|
5775
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5776
|
-
result: ZodFor<PublicInputsAndRecursiveProof<
|
|
5765
|
+
type: z.ZodLiteral<ProvingRequestType.TX_MERGE_ROLLUP>;
|
|
5766
|
+
result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>>;
|
|
5777
5767
|
}, "strip", z.ZodTypeAny, {
|
|
5778
|
-
type: ProvingRequestType.
|
|
5779
|
-
result: PublicInputsAndRecursiveProof<
|
|
5768
|
+
type: ProvingRequestType.TX_MERGE_ROLLUP;
|
|
5769
|
+
result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>;
|
|
5780
5770
|
}, {
|
|
5781
|
-
type: ProvingRequestType.
|
|
5771
|
+
type: ProvingRequestType.TX_MERGE_ROLLUP;
|
|
5782
5772
|
result?: any;
|
|
5783
5773
|
}>, z.ZodObject<{
|
|
5784
5774
|
type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP>;
|
|
@@ -5880,31 +5870,31 @@ export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
5880
5870
|
type: ProvingRequestType.ROOT_ROLLUP;
|
|
5881
5871
|
result?: any;
|
|
5882
5872
|
}>, z.ZodObject<{
|
|
5883
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5873
|
+
type: z.ZodLiteral<ProvingRequestType.PARITY_BASE>;
|
|
5884
5874
|
result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 457>>;
|
|
5885
5875
|
}, "strip", z.ZodTypeAny, {
|
|
5886
|
-
type: ProvingRequestType.
|
|
5876
|
+
type: ProvingRequestType.PARITY_BASE;
|
|
5887
5877
|
result: PublicInputsAndRecursiveProof<ParityPublicInputs, 457>;
|
|
5888
5878
|
}, {
|
|
5889
|
-
type: ProvingRequestType.
|
|
5879
|
+
type: ProvingRequestType.PARITY_BASE;
|
|
5890
5880
|
result?: any;
|
|
5891
5881
|
}>, z.ZodObject<{
|
|
5892
|
-
type: z.ZodLiteral<ProvingRequestType.
|
|
5882
|
+
type: z.ZodLiteral<ProvingRequestType.PARITY_ROOT>;
|
|
5893
5883
|
result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 457>>;
|
|
5894
5884
|
}, "strip", z.ZodTypeAny, {
|
|
5895
|
-
type: ProvingRequestType.
|
|
5885
|
+
type: ProvingRequestType.PARITY_ROOT;
|
|
5896
5886
|
result: PublicInputsAndRecursiveProof<ParityPublicInputs, 457>;
|
|
5897
5887
|
}, {
|
|
5898
|
-
type: ProvingRequestType.
|
|
5888
|
+
type: ProvingRequestType.PARITY_ROOT;
|
|
5899
5889
|
result?: any;
|
|
5900
5890
|
}>]>;
|
|
5901
5891
|
export type ProvingJobResult = z.infer<typeof ProvingJobResult>;
|
|
5902
5892
|
export type ProvingJobResultsMap = {
|
|
5903
5893
|
[ProvingRequestType.PUBLIC_VM]: ProofAndVerificationKey<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
|
|
5904
5894
|
[ProvingRequestType.PUBLIC_TUBE]: PublicInputsAndRecursiveProof<PrivateToPublicKernelCircuitPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5905
|
-
[ProvingRequestType.
|
|
5906
|
-
[ProvingRequestType.
|
|
5907
|
-
[ProvingRequestType.
|
|
5895
|
+
[ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5896
|
+
[ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5897
|
+
[ProvingRequestType.TX_MERGE_ROLLUP]: PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5908
5898
|
[ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5909
5899
|
[ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5910
5900
|
[ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
@@ -5916,8 +5906,8 @@ export type ProvingJobResultsMap = {
|
|
|
5916
5906
|
[ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5917
5907
|
[ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
5918
5908
|
[ProvingRequestType.ROOT_ROLLUP]: PublicInputsAndRecursiveProof<RootRollupPublicInputs>;
|
|
5919
|
-
[ProvingRequestType.
|
|
5920
|
-
[ProvingRequestType.
|
|
5909
|
+
[ProvingRequestType.PARITY_BASE]: PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>;
|
|
5910
|
+
[ProvingRequestType.PARITY_ROOT]: PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>;
|
|
5921
5911
|
};
|
|
5922
5912
|
export type ProvingRequestResultFor<T extends ProvingRequestType> = {
|
|
5923
5913
|
type: T;
|