@aztec/stdlib 3.0.0-nightly.20251111 → 3.0.0-nightly.20251112

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.
Files changed (17) hide show
  1. package/dest/avm/avm.d.ts +241 -241
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +13 -13
  4. package/dest/avm/avm_proving_request.d.ts +174 -174
  5. package/dest/file-store/http.d.ts.map +1 -1
  6. package/dest/file-store/http.js +8 -3
  7. package/dest/file-store/s3.d.ts.map +1 -1
  8. package/dest/file-store/s3.js +3 -7
  9. package/dest/interfaces/proving-job.d.ts +174 -174
  10. package/dest/tests/factories.d.ts +4 -1
  11. package/dest/tests/factories.d.ts.map +1 -1
  12. package/dest/tests/factories.js +14 -2
  13. package/package.json +8 -8
  14. package/src/avm/avm.ts +12 -12
  15. package/src/file-store/http.ts +6 -3
  16. package/src/file-store/s3.ts +3 -7
  17. package/src/tests/factories.ts +45 -0
package/dest/avm/avm.d.ts CHANGED
@@ -1755,12 +1755,15 @@ export declare class AvmRevertCheckpointHint {
1755
1755
  };
1756
1756
  }>;
1757
1757
  }, "strip", z.ZodTypeAny, {
1758
- stateAfter: TreeSnapshots;
1759
1758
  actionCounter: number;
1760
1759
  oldCheckpointId: number;
1761
1760
  newCheckpointId: number;
1761
+ stateAfter: TreeSnapshots;
1762
1762
  stateBefore: TreeSnapshots;
1763
1763
  }, {
1764
+ actionCounter: number;
1765
+ oldCheckpointId: number;
1766
+ newCheckpointId: number;
1764
1767
  stateAfter: {
1765
1768
  noteHashTree: {
1766
1769
  root: string;
@@ -1779,9 +1782,6 @@ export declare class AvmRevertCheckpointHint {
1779
1782
  nextAvailableLeafIndex: string | number | bigint;
1780
1783
  };
1781
1784
  };
1782
- actionCounter: number;
1783
- oldCheckpointId: number;
1784
- newCheckpointId: number;
1785
1785
  stateBefore: {
1786
1786
  noteHashTree: {
1787
1787
  root: string;
@@ -1801,6 +1801,9 @@ export declare class AvmRevertCheckpointHint {
1801
1801
  };
1802
1802
  };
1803
1803
  }>, AvmRevertCheckpointHint, {
1804
+ actionCounter: number;
1805
+ oldCheckpointId: number;
1806
+ newCheckpointId: number;
1804
1807
  stateAfter: {
1805
1808
  noteHashTree: {
1806
1809
  root: string;
@@ -1819,9 +1822,6 @@ export declare class AvmRevertCheckpointHint {
1819
1822
  nextAvailableLeafIndex: string | number | bigint;
1820
1823
  };
1821
1824
  };
1822
- actionCounter: number;
1823
- oldCheckpointId: number;
1824
- newCheckpointId: number;
1825
1825
  stateBefore: {
1826
1826
  noteHashTree: {
1827
1827
  root: string;
@@ -2436,6 +2436,9 @@ export declare class AvmExecutionHints {
2436
2436
  readonly contractClasses: AvmContractClassHint[];
2437
2437
  readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
2438
2438
  readonly debugFunctionNames: AvmDebugFunctionNameHint[];
2439
+ readonly contractDBCreateCheckpointHints: AvmContractDBCreateCheckpointHint[];
2440
+ readonly contractDBCommitCheckpointHints: AvmContractDBCommitCheckpointHint[];
2441
+ readonly contractDBRevertCheckpointHints: AvmContractDBRevertCheckpointHint[];
2439
2442
  startingTreeRoots: TreeSnapshots;
2440
2443
  readonly getSiblingPathHints: AvmGetSiblingPathHint[];
2441
2444
  readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
@@ -2448,10 +2451,7 @@ export declare class AvmExecutionHints {
2448
2451
  readonly createCheckpointHints: AvmCreateCheckpointHint[];
2449
2452
  readonly commitCheckpointHints: AvmCommitCheckpointHint[];
2450
2453
  readonly revertCheckpointHints: AvmRevertCheckpointHint[];
2451
- readonly contractDBCreateCheckpointHints: AvmContractDBCreateCheckpointHint[];
2452
- readonly contractDBCommitCheckpointHints: AvmContractDBCommitCheckpointHint[];
2453
- readonly contractDBRevertCheckpointHints: AvmContractDBRevertCheckpointHint[];
2454
- constructor(globalVariables: GlobalVariables, tx: AvmTxHint, protocolContracts: ProtocolContracts, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], debugFunctionNames?: AvmDebugFunctionNameHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[], contractDBCreateCheckpointHints?: AvmContractDBCreateCheckpointHint[], contractDBCommitCheckpointHints?: AvmContractDBCommitCheckpointHint[], contractDBRevertCheckpointHints?: AvmContractDBRevertCheckpointHint[]);
2454
+ constructor(globalVariables: GlobalVariables, tx: AvmTxHint, protocolContracts: ProtocolContracts, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], debugFunctionNames?: AvmDebugFunctionNameHint[], contractDBCreateCheckpointHints?: AvmContractDBCreateCheckpointHint[], contractDBCommitCheckpointHints?: AvmContractDBCommitCheckpointHint[], contractDBRevertCheckpointHints?: AvmContractDBRevertCheckpointHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
2455
2455
  static empty(): AvmExecutionHints;
2456
2456
  static get schema(): z.ZodEffects<z.ZodObject<{
2457
2457
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -3287,6 +3287,57 @@ export declare class AvmExecutionHints {
3287
3287
  selector?: any;
3288
3288
  address?: any;
3289
3289
  }>, "many">;
3290
+ contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3291
+ actionCounter: z.ZodNumber;
3292
+ oldCheckpointId: z.ZodNumber;
3293
+ newCheckpointId: z.ZodNumber;
3294
+ }, "strip", z.ZodTypeAny, {
3295
+ actionCounter: number;
3296
+ oldCheckpointId: number;
3297
+ newCheckpointId: number;
3298
+ }, {
3299
+ actionCounter: number;
3300
+ oldCheckpointId: number;
3301
+ newCheckpointId: number;
3302
+ }>, AvmCheckpointActionNoStateChangeHint, {
3303
+ actionCounter: number;
3304
+ oldCheckpointId: number;
3305
+ newCheckpointId: number;
3306
+ }>, "many">;
3307
+ contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3308
+ actionCounter: z.ZodNumber;
3309
+ oldCheckpointId: z.ZodNumber;
3310
+ newCheckpointId: z.ZodNumber;
3311
+ }, "strip", z.ZodTypeAny, {
3312
+ actionCounter: number;
3313
+ oldCheckpointId: number;
3314
+ newCheckpointId: number;
3315
+ }, {
3316
+ actionCounter: number;
3317
+ oldCheckpointId: number;
3318
+ newCheckpointId: number;
3319
+ }>, AvmCheckpointActionNoStateChangeHint, {
3320
+ actionCounter: number;
3321
+ oldCheckpointId: number;
3322
+ newCheckpointId: number;
3323
+ }>, "many">;
3324
+ contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3325
+ actionCounter: z.ZodNumber;
3326
+ oldCheckpointId: z.ZodNumber;
3327
+ newCheckpointId: z.ZodNumber;
3328
+ }, "strip", z.ZodTypeAny, {
3329
+ actionCounter: number;
3330
+ oldCheckpointId: number;
3331
+ newCheckpointId: number;
3332
+ }, {
3333
+ actionCounter: number;
3334
+ oldCheckpointId: number;
3335
+ newCheckpointId: number;
3336
+ }>, AvmCheckpointActionNoStateChangeHint, {
3337
+ actionCounter: number;
3338
+ oldCheckpointId: number;
3339
+ newCheckpointId: number;
3340
+ }>, "many">;
3290
3341
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
3291
3342
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3292
3343
  root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
@@ -4757,12 +4808,15 @@ export declare class AvmExecutionHints {
4757
4808
  };
4758
4809
  }>;
4759
4810
  }, "strip", z.ZodTypeAny, {
4760
- stateAfter: TreeSnapshots;
4761
4811
  actionCounter: number;
4762
4812
  oldCheckpointId: number;
4763
4813
  newCheckpointId: number;
4814
+ stateAfter: TreeSnapshots;
4764
4815
  stateBefore: TreeSnapshots;
4765
4816
  }, {
4817
+ actionCounter: number;
4818
+ oldCheckpointId: number;
4819
+ newCheckpointId: number;
4766
4820
  stateAfter: {
4767
4821
  noteHashTree: {
4768
4822
  root: string;
@@ -4781,9 +4835,6 @@ export declare class AvmExecutionHints {
4781
4835
  nextAvailableLeafIndex: string | number | bigint;
4782
4836
  };
4783
4837
  };
4784
- actionCounter: number;
4785
- oldCheckpointId: number;
4786
- newCheckpointId: number;
4787
4838
  stateBefore: {
4788
4839
  noteHashTree: {
4789
4840
  root: string;
@@ -4803,6 +4854,9 @@ export declare class AvmExecutionHints {
4803
4854
  };
4804
4855
  };
4805
4856
  }>, AvmRevertCheckpointHint, {
4857
+ actionCounter: number;
4858
+ oldCheckpointId: number;
4859
+ newCheckpointId: number;
4806
4860
  stateAfter: {
4807
4861
  noteHashTree: {
4808
4862
  root: string;
@@ -4821,9 +4875,6 @@ export declare class AvmExecutionHints {
4821
4875
  nextAvailableLeafIndex: string | number | bigint;
4822
4876
  };
4823
4877
  };
4824
- actionCounter: number;
4825
- oldCheckpointId: number;
4826
- newCheckpointId: number;
4827
4878
  stateBefore: {
4828
4879
  noteHashTree: {
4829
4880
  root: string;
@@ -4843,57 +4894,6 @@ export declare class AvmExecutionHints {
4843
4894
  };
4844
4895
  };
4845
4896
  }>, "many">;
4846
- contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4847
- actionCounter: z.ZodNumber;
4848
- oldCheckpointId: z.ZodNumber;
4849
- newCheckpointId: z.ZodNumber;
4850
- }, "strip", z.ZodTypeAny, {
4851
- actionCounter: number;
4852
- oldCheckpointId: number;
4853
- newCheckpointId: number;
4854
- }, {
4855
- actionCounter: number;
4856
- oldCheckpointId: number;
4857
- newCheckpointId: number;
4858
- }>, AvmCheckpointActionNoStateChangeHint, {
4859
- actionCounter: number;
4860
- oldCheckpointId: number;
4861
- newCheckpointId: number;
4862
- }>, "many">;
4863
- contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4864
- actionCounter: z.ZodNumber;
4865
- oldCheckpointId: z.ZodNumber;
4866
- newCheckpointId: z.ZodNumber;
4867
- }, "strip", z.ZodTypeAny, {
4868
- actionCounter: number;
4869
- oldCheckpointId: number;
4870
- newCheckpointId: number;
4871
- }, {
4872
- actionCounter: number;
4873
- oldCheckpointId: number;
4874
- newCheckpointId: number;
4875
- }>, AvmCheckpointActionNoStateChangeHint, {
4876
- actionCounter: number;
4877
- oldCheckpointId: number;
4878
- newCheckpointId: number;
4879
- }>, "many">;
4880
- contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4881
- actionCounter: z.ZodNumber;
4882
- oldCheckpointId: z.ZodNumber;
4883
- newCheckpointId: z.ZodNumber;
4884
- }, "strip", z.ZodTypeAny, {
4885
- actionCounter: number;
4886
- oldCheckpointId: number;
4887
- newCheckpointId: number;
4888
- }, {
4889
- actionCounter: number;
4890
- oldCheckpointId: number;
4891
- newCheckpointId: number;
4892
- }>, AvmCheckpointActionNoStateChangeHint, {
4893
- actionCounter: number;
4894
- oldCheckpointId: number;
4895
- newCheckpointId: number;
4896
- }>, "many">;
4897
4897
  }, "strip", z.ZodTypeAny, {
4898
4898
  globalVariables: GlobalVariables;
4899
4899
  protocolContracts: ProtocolContracts;
@@ -4902,6 +4902,9 @@ export declare class AvmExecutionHints {
4902
4902
  contractClasses: AvmContractClassHint[];
4903
4903
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
4904
4904
  debugFunctionNames: AvmDebugFunctionNameHint[];
4905
+ contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4906
+ contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4907
+ contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4905
4908
  startingTreeRoots: TreeSnapshots;
4906
4909
  getSiblingPathHints: AvmGetSiblingPathHint[];
4907
4910
  getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
@@ -4952,9 +4955,6 @@ export declare class AvmExecutionHints {
4952
4955
  createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4953
4956
  commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4954
4957
  revertCheckpointHints: AvmRevertCheckpointHint[];
4955
- contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4956
- contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4957
- contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4958
4958
  }, {
4959
4959
  globalVariables: {
4960
4960
  blockNumber: string | number | bigint;
@@ -5097,6 +5097,21 @@ export declare class AvmExecutionHints {
5097
5097
  selector?: any;
5098
5098
  address?: any;
5099
5099
  }[];
5100
+ contractDBCreateCheckpointHints: {
5101
+ actionCounter: number;
5102
+ oldCheckpointId: number;
5103
+ newCheckpointId: number;
5104
+ }[];
5105
+ contractDBCommitCheckpointHints: {
5106
+ actionCounter: number;
5107
+ oldCheckpointId: number;
5108
+ newCheckpointId: number;
5109
+ }[];
5110
+ contractDBRevertCheckpointHints: {
5111
+ actionCounter: number;
5112
+ oldCheckpointId: number;
5113
+ newCheckpointId: number;
5114
+ }[];
5100
5115
  startingTreeRoots: {
5101
5116
  noteHashTree: {
5102
5117
  root: string;
@@ -5314,6 +5329,9 @@ export declare class AvmExecutionHints {
5314
5329
  newCheckpointId: number;
5315
5330
  }[];
5316
5331
  revertCheckpointHints: {
5332
+ actionCounter: number;
5333
+ oldCheckpointId: number;
5334
+ newCheckpointId: number;
5317
5335
  stateAfter: {
5318
5336
  noteHashTree: {
5319
5337
  root: string;
@@ -5332,9 +5350,6 @@ export declare class AvmExecutionHints {
5332
5350
  nextAvailableLeafIndex: string | number | bigint;
5333
5351
  };
5334
5352
  };
5335
- actionCounter: number;
5336
- oldCheckpointId: number;
5337
- newCheckpointId: number;
5338
5353
  stateBefore: {
5339
5354
  noteHashTree: {
5340
5355
  root: string;
@@ -5354,21 +5369,6 @@ export declare class AvmExecutionHints {
5354
5369
  };
5355
5370
  };
5356
5371
  }[];
5357
- contractDBCreateCheckpointHints: {
5358
- actionCounter: number;
5359
- oldCheckpointId: number;
5360
- newCheckpointId: number;
5361
- }[];
5362
- contractDBCommitCheckpointHints: {
5363
- actionCounter: number;
5364
- oldCheckpointId: number;
5365
- newCheckpointId: number;
5366
- }[];
5367
- contractDBRevertCheckpointHints: {
5368
- actionCounter: number;
5369
- oldCheckpointId: number;
5370
- newCheckpointId: number;
5371
- }[];
5372
5372
  }>, AvmExecutionHints, {
5373
5373
  globalVariables: {
5374
5374
  blockNumber: string | number | bigint;
@@ -5511,6 +5511,21 @@ export declare class AvmExecutionHints {
5511
5511
  selector?: any;
5512
5512
  address?: any;
5513
5513
  }[];
5514
+ contractDBCreateCheckpointHints: {
5515
+ actionCounter: number;
5516
+ oldCheckpointId: number;
5517
+ newCheckpointId: number;
5518
+ }[];
5519
+ contractDBCommitCheckpointHints: {
5520
+ actionCounter: number;
5521
+ oldCheckpointId: number;
5522
+ newCheckpointId: number;
5523
+ }[];
5524
+ contractDBRevertCheckpointHints: {
5525
+ actionCounter: number;
5526
+ oldCheckpointId: number;
5527
+ newCheckpointId: number;
5528
+ }[];
5514
5529
  startingTreeRoots: {
5515
5530
  noteHashTree: {
5516
5531
  root: string;
@@ -5728,6 +5743,9 @@ export declare class AvmExecutionHints {
5728
5743
  newCheckpointId: number;
5729
5744
  }[];
5730
5745
  revertCheckpointHints: {
5746
+ actionCounter: number;
5747
+ oldCheckpointId: number;
5748
+ newCheckpointId: number;
5731
5749
  stateAfter: {
5732
5750
  noteHashTree: {
5733
5751
  root: string;
@@ -5746,9 +5764,6 @@ export declare class AvmExecutionHints {
5746
5764
  nextAvailableLeafIndex: string | number | bigint;
5747
5765
  };
5748
5766
  };
5749
- actionCounter: number;
5750
- oldCheckpointId: number;
5751
- newCheckpointId: number;
5752
5767
  stateBefore: {
5753
5768
  noteHashTree: {
5754
5769
  root: string;
@@ -5768,21 +5783,6 @@ export declare class AvmExecutionHints {
5768
5783
  };
5769
5784
  };
5770
5785
  }[];
5771
- contractDBCreateCheckpointHints: {
5772
- actionCounter: number;
5773
- oldCheckpointId: number;
5774
- newCheckpointId: number;
5775
- }[];
5776
- contractDBCommitCheckpointHints: {
5777
- actionCounter: number;
5778
- oldCheckpointId: number;
5779
- newCheckpointId: number;
5780
- }[];
5781
- contractDBRevertCheckpointHints: {
5782
- actionCounter: number;
5783
- oldCheckpointId: number;
5784
- newCheckpointId: number;
5785
- }[];
5786
5786
  }>;
5787
5787
  }
5788
5788
  export declare class AvmCircuitInputs {
@@ -6625,6 +6625,57 @@ export declare class AvmCircuitInputs {
6625
6625
  selector?: any;
6626
6626
  address?: any;
6627
6627
  }>, "many">;
6628
+ contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6629
+ actionCounter: z.ZodNumber;
6630
+ oldCheckpointId: z.ZodNumber;
6631
+ newCheckpointId: z.ZodNumber;
6632
+ }, "strip", z.ZodTypeAny, {
6633
+ actionCounter: number;
6634
+ oldCheckpointId: number;
6635
+ newCheckpointId: number;
6636
+ }, {
6637
+ actionCounter: number;
6638
+ oldCheckpointId: number;
6639
+ newCheckpointId: number;
6640
+ }>, AvmCheckpointActionNoStateChangeHint, {
6641
+ actionCounter: number;
6642
+ oldCheckpointId: number;
6643
+ newCheckpointId: number;
6644
+ }>, "many">;
6645
+ contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6646
+ actionCounter: z.ZodNumber;
6647
+ oldCheckpointId: z.ZodNumber;
6648
+ newCheckpointId: z.ZodNumber;
6649
+ }, "strip", z.ZodTypeAny, {
6650
+ actionCounter: number;
6651
+ oldCheckpointId: number;
6652
+ newCheckpointId: number;
6653
+ }, {
6654
+ actionCounter: number;
6655
+ oldCheckpointId: number;
6656
+ newCheckpointId: number;
6657
+ }>, AvmCheckpointActionNoStateChangeHint, {
6658
+ actionCounter: number;
6659
+ oldCheckpointId: number;
6660
+ newCheckpointId: number;
6661
+ }>, "many">;
6662
+ contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6663
+ actionCounter: z.ZodNumber;
6664
+ oldCheckpointId: z.ZodNumber;
6665
+ newCheckpointId: z.ZodNumber;
6666
+ }, "strip", z.ZodTypeAny, {
6667
+ actionCounter: number;
6668
+ oldCheckpointId: number;
6669
+ newCheckpointId: number;
6670
+ }, {
6671
+ actionCounter: number;
6672
+ oldCheckpointId: number;
6673
+ newCheckpointId: number;
6674
+ }>, AvmCheckpointActionNoStateChangeHint, {
6675
+ actionCounter: number;
6676
+ oldCheckpointId: number;
6677
+ newCheckpointId: number;
6678
+ }>, "many">;
6628
6679
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
6629
6680
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
6630
6681
  root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
@@ -8095,12 +8146,15 @@ export declare class AvmCircuitInputs {
8095
8146
  };
8096
8147
  }>;
8097
8148
  }, "strip", z.ZodTypeAny, {
8098
- stateAfter: TreeSnapshots;
8099
8149
  actionCounter: number;
8100
8150
  oldCheckpointId: number;
8101
8151
  newCheckpointId: number;
8152
+ stateAfter: TreeSnapshots;
8102
8153
  stateBefore: TreeSnapshots;
8103
8154
  }, {
8155
+ actionCounter: number;
8156
+ oldCheckpointId: number;
8157
+ newCheckpointId: number;
8104
8158
  stateAfter: {
8105
8159
  noteHashTree: {
8106
8160
  root: string;
@@ -8119,9 +8173,6 @@ export declare class AvmCircuitInputs {
8119
8173
  nextAvailableLeafIndex: string | number | bigint;
8120
8174
  };
8121
8175
  };
8122
- actionCounter: number;
8123
- oldCheckpointId: number;
8124
- newCheckpointId: number;
8125
8176
  stateBefore: {
8126
8177
  noteHashTree: {
8127
8178
  root: string;
@@ -8141,6 +8192,9 @@ export declare class AvmCircuitInputs {
8141
8192
  };
8142
8193
  };
8143
8194
  }>, AvmRevertCheckpointHint, {
8195
+ actionCounter: number;
8196
+ oldCheckpointId: number;
8197
+ newCheckpointId: number;
8144
8198
  stateAfter: {
8145
8199
  noteHashTree: {
8146
8200
  root: string;
@@ -8159,9 +8213,6 @@ export declare class AvmCircuitInputs {
8159
8213
  nextAvailableLeafIndex: string | number | bigint;
8160
8214
  };
8161
8215
  };
8162
- actionCounter: number;
8163
- oldCheckpointId: number;
8164
- newCheckpointId: number;
8165
8216
  stateBefore: {
8166
8217
  noteHashTree: {
8167
8218
  root: string;
@@ -8181,57 +8232,6 @@ export declare class AvmCircuitInputs {
8181
8232
  };
8182
8233
  };
8183
8234
  }>, "many">;
8184
- contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
8185
- actionCounter: z.ZodNumber;
8186
- oldCheckpointId: z.ZodNumber;
8187
- newCheckpointId: z.ZodNumber;
8188
- }, "strip", z.ZodTypeAny, {
8189
- actionCounter: number;
8190
- oldCheckpointId: number;
8191
- newCheckpointId: number;
8192
- }, {
8193
- actionCounter: number;
8194
- oldCheckpointId: number;
8195
- newCheckpointId: number;
8196
- }>, AvmCheckpointActionNoStateChangeHint, {
8197
- actionCounter: number;
8198
- oldCheckpointId: number;
8199
- newCheckpointId: number;
8200
- }>, "many">;
8201
- contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
8202
- actionCounter: z.ZodNumber;
8203
- oldCheckpointId: z.ZodNumber;
8204
- newCheckpointId: z.ZodNumber;
8205
- }, "strip", z.ZodTypeAny, {
8206
- actionCounter: number;
8207
- oldCheckpointId: number;
8208
- newCheckpointId: number;
8209
- }, {
8210
- actionCounter: number;
8211
- oldCheckpointId: number;
8212
- newCheckpointId: number;
8213
- }>, AvmCheckpointActionNoStateChangeHint, {
8214
- actionCounter: number;
8215
- oldCheckpointId: number;
8216
- newCheckpointId: number;
8217
- }>, "many">;
8218
- contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
8219
- actionCounter: z.ZodNumber;
8220
- oldCheckpointId: z.ZodNumber;
8221
- newCheckpointId: z.ZodNumber;
8222
- }, "strip", z.ZodTypeAny, {
8223
- actionCounter: number;
8224
- oldCheckpointId: number;
8225
- newCheckpointId: number;
8226
- }, {
8227
- actionCounter: number;
8228
- oldCheckpointId: number;
8229
- newCheckpointId: number;
8230
- }>, AvmCheckpointActionNoStateChangeHint, {
8231
- actionCounter: number;
8232
- oldCheckpointId: number;
8233
- newCheckpointId: number;
8234
- }>, "many">;
8235
8235
  }, "strip", z.ZodTypeAny, {
8236
8236
  globalVariables: GlobalVariables;
8237
8237
  protocolContracts: ProtocolContracts;
@@ -8240,6 +8240,9 @@ export declare class AvmCircuitInputs {
8240
8240
  contractClasses: AvmContractClassHint[];
8241
8241
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
8242
8242
  debugFunctionNames: AvmDebugFunctionNameHint[];
8243
+ contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8244
+ contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8245
+ contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8243
8246
  startingTreeRoots: TreeSnapshots;
8244
8247
  getSiblingPathHints: AvmGetSiblingPathHint[];
8245
8248
  getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
@@ -8290,9 +8293,6 @@ export declare class AvmCircuitInputs {
8290
8293
  createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8291
8294
  commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8292
8295
  revertCheckpointHints: AvmRevertCheckpointHint[];
8293
- contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8294
- contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8295
- contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8296
8296
  }, {
8297
8297
  globalVariables: {
8298
8298
  blockNumber: string | number | bigint;
@@ -8435,6 +8435,21 @@ export declare class AvmCircuitInputs {
8435
8435
  selector?: any;
8436
8436
  address?: any;
8437
8437
  }[];
8438
+ contractDBCreateCheckpointHints: {
8439
+ actionCounter: number;
8440
+ oldCheckpointId: number;
8441
+ newCheckpointId: number;
8442
+ }[];
8443
+ contractDBCommitCheckpointHints: {
8444
+ actionCounter: number;
8445
+ oldCheckpointId: number;
8446
+ newCheckpointId: number;
8447
+ }[];
8448
+ contractDBRevertCheckpointHints: {
8449
+ actionCounter: number;
8450
+ oldCheckpointId: number;
8451
+ newCheckpointId: number;
8452
+ }[];
8438
8453
  startingTreeRoots: {
8439
8454
  noteHashTree: {
8440
8455
  root: string;
@@ -8652,6 +8667,9 @@ export declare class AvmCircuitInputs {
8652
8667
  newCheckpointId: number;
8653
8668
  }[];
8654
8669
  revertCheckpointHints: {
8670
+ actionCounter: number;
8671
+ oldCheckpointId: number;
8672
+ newCheckpointId: number;
8655
8673
  stateAfter: {
8656
8674
  noteHashTree: {
8657
8675
  root: string;
@@ -8670,9 +8688,6 @@ export declare class AvmCircuitInputs {
8670
8688
  nextAvailableLeafIndex: string | number | bigint;
8671
8689
  };
8672
8690
  };
8673
- actionCounter: number;
8674
- oldCheckpointId: number;
8675
- newCheckpointId: number;
8676
8691
  stateBefore: {
8677
8692
  noteHashTree: {
8678
8693
  root: string;
@@ -8692,21 +8707,6 @@ export declare class AvmCircuitInputs {
8692
8707
  };
8693
8708
  };
8694
8709
  }[];
8695
- contractDBCreateCheckpointHints: {
8696
- actionCounter: number;
8697
- oldCheckpointId: number;
8698
- newCheckpointId: number;
8699
- }[];
8700
- contractDBCommitCheckpointHints: {
8701
- actionCounter: number;
8702
- oldCheckpointId: number;
8703
- newCheckpointId: number;
8704
- }[];
8705
- contractDBRevertCheckpointHints: {
8706
- actionCounter: number;
8707
- oldCheckpointId: number;
8708
- newCheckpointId: number;
8709
- }[];
8710
8710
  }>, AvmExecutionHints, {
8711
8711
  globalVariables: {
8712
8712
  blockNumber: string | number | bigint;
@@ -8849,6 +8849,21 @@ export declare class AvmCircuitInputs {
8849
8849
  selector?: any;
8850
8850
  address?: any;
8851
8851
  }[];
8852
+ contractDBCreateCheckpointHints: {
8853
+ actionCounter: number;
8854
+ oldCheckpointId: number;
8855
+ newCheckpointId: number;
8856
+ }[];
8857
+ contractDBCommitCheckpointHints: {
8858
+ actionCounter: number;
8859
+ oldCheckpointId: number;
8860
+ newCheckpointId: number;
8861
+ }[];
8862
+ contractDBRevertCheckpointHints: {
8863
+ actionCounter: number;
8864
+ oldCheckpointId: number;
8865
+ newCheckpointId: number;
8866
+ }[];
8852
8867
  startingTreeRoots: {
8853
8868
  noteHashTree: {
8854
8869
  root: string;
@@ -9066,6 +9081,9 @@ export declare class AvmCircuitInputs {
9066
9081
  newCheckpointId: number;
9067
9082
  }[];
9068
9083
  revertCheckpointHints: {
9084
+ actionCounter: number;
9085
+ oldCheckpointId: number;
9086
+ newCheckpointId: number;
9069
9087
  stateAfter: {
9070
9088
  noteHashTree: {
9071
9089
  root: string;
@@ -9084,9 +9102,6 @@ export declare class AvmCircuitInputs {
9084
9102
  nextAvailableLeafIndex: string | number | bigint;
9085
9103
  };
9086
9104
  };
9087
- actionCounter: number;
9088
- oldCheckpointId: number;
9089
- newCheckpointId: number;
9090
9105
  stateBefore: {
9091
9106
  noteHashTree: {
9092
9107
  root: string;
@@ -9106,21 +9121,6 @@ export declare class AvmCircuitInputs {
9106
9121
  };
9107
9122
  };
9108
9123
  }[];
9109
- contractDBCreateCheckpointHints: {
9110
- actionCounter: number;
9111
- oldCheckpointId: number;
9112
- newCheckpointId: number;
9113
- }[];
9114
- contractDBCommitCheckpointHints: {
9115
- actionCounter: number;
9116
- oldCheckpointId: number;
9117
- newCheckpointId: number;
9118
- }[];
9119
- contractDBRevertCheckpointHints: {
9120
- actionCounter: number;
9121
- oldCheckpointId: number;
9122
- newCheckpointId: number;
9123
- }[];
9124
9124
  }>;
9125
9125
  publicInputs: z.ZodEffects<z.ZodObject<{
9126
9126
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -10510,6 +10510,21 @@ export declare class AvmCircuitInputs {
10510
10510
  selector?: any;
10511
10511
  address?: any;
10512
10512
  }[];
10513
+ contractDBCreateCheckpointHints: {
10514
+ actionCounter: number;
10515
+ oldCheckpointId: number;
10516
+ newCheckpointId: number;
10517
+ }[];
10518
+ contractDBCommitCheckpointHints: {
10519
+ actionCounter: number;
10520
+ oldCheckpointId: number;
10521
+ newCheckpointId: number;
10522
+ }[];
10523
+ contractDBRevertCheckpointHints: {
10524
+ actionCounter: number;
10525
+ oldCheckpointId: number;
10526
+ newCheckpointId: number;
10527
+ }[];
10513
10528
  startingTreeRoots: {
10514
10529
  noteHashTree: {
10515
10530
  root: string;
@@ -10727,6 +10742,9 @@ export declare class AvmCircuitInputs {
10727
10742
  newCheckpointId: number;
10728
10743
  }[];
10729
10744
  revertCheckpointHints: {
10745
+ actionCounter: number;
10746
+ oldCheckpointId: number;
10747
+ newCheckpointId: number;
10730
10748
  stateAfter: {
10731
10749
  noteHashTree: {
10732
10750
  root: string;
@@ -10745,9 +10763,6 @@ export declare class AvmCircuitInputs {
10745
10763
  nextAvailableLeafIndex: string | number | bigint;
10746
10764
  };
10747
10765
  };
10748
- actionCounter: number;
10749
- oldCheckpointId: number;
10750
- newCheckpointId: number;
10751
10766
  stateBefore: {
10752
10767
  noteHashTree: {
10753
10768
  root: string;
@@ -10767,21 +10782,6 @@ export declare class AvmCircuitInputs {
10767
10782
  };
10768
10783
  };
10769
10784
  }[];
10770
- contractDBCreateCheckpointHints: {
10771
- actionCounter: number;
10772
- oldCheckpointId: number;
10773
- newCheckpointId: number;
10774
- }[];
10775
- contractDBCommitCheckpointHints: {
10776
- actionCounter: number;
10777
- oldCheckpointId: number;
10778
- newCheckpointId: number;
10779
- }[];
10780
- contractDBRevertCheckpointHints: {
10781
- actionCounter: number;
10782
- oldCheckpointId: number;
10783
- newCheckpointId: number;
10784
- }[];
10785
10785
  };
10786
10786
  }>, AvmCircuitInputs, {
10787
10787
  publicInputs: {
@@ -11091,6 +11091,21 @@ export declare class AvmCircuitInputs {
11091
11091
  selector?: any;
11092
11092
  address?: any;
11093
11093
  }[];
11094
+ contractDBCreateCheckpointHints: {
11095
+ actionCounter: number;
11096
+ oldCheckpointId: number;
11097
+ newCheckpointId: number;
11098
+ }[];
11099
+ contractDBCommitCheckpointHints: {
11100
+ actionCounter: number;
11101
+ oldCheckpointId: number;
11102
+ newCheckpointId: number;
11103
+ }[];
11104
+ contractDBRevertCheckpointHints: {
11105
+ actionCounter: number;
11106
+ oldCheckpointId: number;
11107
+ newCheckpointId: number;
11108
+ }[];
11094
11109
  startingTreeRoots: {
11095
11110
  noteHashTree: {
11096
11111
  root: string;
@@ -11308,6 +11323,9 @@ export declare class AvmCircuitInputs {
11308
11323
  newCheckpointId: number;
11309
11324
  }[];
11310
11325
  revertCheckpointHints: {
11326
+ actionCounter: number;
11327
+ oldCheckpointId: number;
11328
+ newCheckpointId: number;
11311
11329
  stateAfter: {
11312
11330
  noteHashTree: {
11313
11331
  root: string;
@@ -11326,9 +11344,6 @@ export declare class AvmCircuitInputs {
11326
11344
  nextAvailableLeafIndex: string | number | bigint;
11327
11345
  };
11328
11346
  };
11329
- actionCounter: number;
11330
- oldCheckpointId: number;
11331
- newCheckpointId: number;
11332
11347
  stateBefore: {
11333
11348
  noteHashTree: {
11334
11349
  root: string;
@@ -11348,21 +11363,6 @@ export declare class AvmCircuitInputs {
11348
11363
  };
11349
11364
  };
11350
11365
  }[];
11351
- contractDBCreateCheckpointHints: {
11352
- actionCounter: number;
11353
- oldCheckpointId: number;
11354
- newCheckpointId: number;
11355
- }[];
11356
- contractDBCommitCheckpointHints: {
11357
- actionCounter: number;
11358
- oldCheckpointId: number;
11359
- newCheckpointId: number;
11360
- }[];
11361
- contractDBRevertCheckpointHints: {
11362
- actionCounter: number;
11363
- oldCheckpointId: number;
11364
- newCheckpointId: number;
11365
- }[];
11366
11366
  };
11367
11367
  }>;
11368
11368
  serializeWithMessagePack(): Buffer;