@aztec/stdlib 0.84.0-alpha-testnet.1 → 0.84.0-nightly.20250405

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 (36) hide show
  1. package/dest/avm/avm.d.ts +1272 -22
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +71 -3
  4. package/dest/avm/avm_proving_request.d.ts +585 -0
  5. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  6. package/dest/epoch-helpers/index.d.ts +9 -0
  7. package/dest/epoch-helpers/index.d.ts.map +1 -1
  8. package/dest/epoch-helpers/index.js +15 -2
  9. package/dest/interfaces/proving-job.d.ts +585 -0
  10. package/dest/interfaces/proving-job.d.ts.map +1 -1
  11. package/dest/logs/log_with_tx_data.d.ts +3 -2
  12. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  13. package/dest/logs/log_with_tx_data.js +3 -2
  14. package/dest/logs/pending_tagged_log.d.ts +3 -2
  15. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  16. package/dest/logs/pending_tagged_log.js +1 -1
  17. package/dest/messaging/l1_to_l2_message_source.d.ts +5 -0
  18. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  19. package/dest/tests/factories.d.ts +4 -1
  20. package/dest/tests/factories.d.ts.map +1 -1
  21. package/dest/tests/factories.js +14 -2
  22. package/dest/tx/index.d.ts +1 -0
  23. package/dest/tx/index.d.ts.map +1 -1
  24. package/dest/tx/index.js +1 -0
  25. package/dest/tx/validator/error_texts.d.ts +19 -0
  26. package/dest/tx/validator/error_texts.d.ts.map +1 -0
  27. package/dest/tx/validator/error_texts.js +26 -0
  28. package/package.json +6 -6
  29. package/src/avm/avm.ts +99 -1
  30. package/src/epoch-helpers/index.ts +19 -0
  31. package/src/logs/log_with_tx_data.ts +4 -3
  32. package/src/logs/pending_tagged_log.ts +3 -2
  33. package/src/messaging/l1_to_l2_message_source.ts +7 -0
  34. package/src/tests/factories.ts +35 -0
  35. package/src/tx/index.ts +1 -0
  36. package/src/tx/validator/error_texts.ts +33 -0
package/dest/avm/avm.d.ts CHANGED
@@ -8,7 +8,7 @@ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
8
8
  import { MerkleTreeId } from '../trees/merkle_tree_id.js';
9
9
  import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
10
10
  import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
11
- import type { Tx } from '../tx/index.js';
11
+ import { TreeSnapshots, type Tx } from '../tx/index.js';
12
12
  import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
13
13
  export declare class AvmContractClassHint {
14
14
  readonly classId: Fr;
@@ -1339,6 +1339,319 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1339
1339
  };
1340
1340
  export declare class AvmSequentialInsertHintNullifierTree extends AvmSequentialInsertHintNullifierTree_base {
1341
1341
  }
1342
+ declare class AvmCheckpointActionNoStateChangeHint {
1343
+ readonly actionCounter: number;
1344
+ readonly oldCheckpointId: number;
1345
+ readonly newCheckpointId: number;
1346
+ constructor(actionCounter: number, oldCheckpointId: number, newCheckpointId: number);
1347
+ static get schema(): z.ZodEffects<z.ZodObject<{
1348
+ actionCounter: z.ZodNumber;
1349
+ oldCheckpointId: z.ZodNumber;
1350
+ newCheckpointId: z.ZodNumber;
1351
+ }, "strip", z.ZodTypeAny, {
1352
+ actionCounter: number;
1353
+ oldCheckpointId: number;
1354
+ newCheckpointId: number;
1355
+ }, {
1356
+ actionCounter: number;
1357
+ oldCheckpointId: number;
1358
+ newCheckpointId: number;
1359
+ }>, AvmCheckpointActionNoStateChangeHint, {
1360
+ actionCounter: number;
1361
+ oldCheckpointId: number;
1362
+ newCheckpointId: number;
1363
+ }>;
1364
+ }
1365
+ export declare class AvmCreateCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
1366
+ }
1367
+ export declare class AvmCommitCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
1368
+ }
1369
+ export declare class AvmRevertCheckpointHint {
1370
+ readonly actionCounter: number;
1371
+ readonly oldCheckpointId: number;
1372
+ readonly newCheckpointId: number;
1373
+ readonly stateBefore: TreeSnapshots;
1374
+ readonly stateAfter: TreeSnapshots;
1375
+ constructor(actionCounter: number, oldCheckpointId: number, newCheckpointId: number, stateBefore: TreeSnapshots, stateAfter: TreeSnapshots);
1376
+ static create(actionCounter: number, oldCheckpointId: number, newCheckpointId: number, stateBefore: Record<MerkleTreeId, AppendOnlyTreeSnapshot>, stateAfter: Record<MerkleTreeId, AppendOnlyTreeSnapshot>): AvmRevertCheckpointHint;
1377
+ static get schema(): z.ZodEffects<z.ZodObject<{
1378
+ actionCounter: z.ZodNumber;
1379
+ oldCheckpointId: z.ZodNumber;
1380
+ newCheckpointId: z.ZodNumber;
1381
+ stateBefore: z.ZodEffects<z.ZodObject<{
1382
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1383
+ root: z.ZodType<Fr, any, string>;
1384
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1385
+ }, "strip", z.ZodTypeAny, {
1386
+ root: Fr;
1387
+ nextAvailableLeafIndex: number;
1388
+ }, {
1389
+ root: string;
1390
+ nextAvailableLeafIndex: string | number | bigint;
1391
+ }>, AppendOnlyTreeSnapshot, {
1392
+ root: string;
1393
+ nextAvailableLeafIndex: string | number | bigint;
1394
+ }>;
1395
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1396
+ root: z.ZodType<Fr, any, string>;
1397
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1398
+ }, "strip", z.ZodTypeAny, {
1399
+ root: Fr;
1400
+ nextAvailableLeafIndex: number;
1401
+ }, {
1402
+ root: string;
1403
+ nextAvailableLeafIndex: string | number | bigint;
1404
+ }>, AppendOnlyTreeSnapshot, {
1405
+ root: string;
1406
+ nextAvailableLeafIndex: string | number | bigint;
1407
+ }>;
1408
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1409
+ root: z.ZodType<Fr, any, string>;
1410
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1411
+ }, "strip", z.ZodTypeAny, {
1412
+ root: Fr;
1413
+ nextAvailableLeafIndex: number;
1414
+ }, {
1415
+ root: string;
1416
+ nextAvailableLeafIndex: string | number | bigint;
1417
+ }>, AppendOnlyTreeSnapshot, {
1418
+ root: string;
1419
+ nextAvailableLeafIndex: string | number | bigint;
1420
+ }>;
1421
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1422
+ root: z.ZodType<Fr, any, string>;
1423
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1424
+ }, "strip", z.ZodTypeAny, {
1425
+ root: Fr;
1426
+ nextAvailableLeafIndex: number;
1427
+ }, {
1428
+ root: string;
1429
+ nextAvailableLeafIndex: string | number | bigint;
1430
+ }>, AppendOnlyTreeSnapshot, {
1431
+ root: string;
1432
+ nextAvailableLeafIndex: string | number | bigint;
1433
+ }>;
1434
+ }, "strip", z.ZodTypeAny, {
1435
+ noteHashTree: AppendOnlyTreeSnapshot;
1436
+ nullifierTree: AppendOnlyTreeSnapshot;
1437
+ publicDataTree: AppendOnlyTreeSnapshot;
1438
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
1439
+ }, {
1440
+ noteHashTree: {
1441
+ root: string;
1442
+ nextAvailableLeafIndex: string | number | bigint;
1443
+ };
1444
+ nullifierTree: {
1445
+ root: string;
1446
+ nextAvailableLeafIndex: string | number | bigint;
1447
+ };
1448
+ publicDataTree: {
1449
+ root: string;
1450
+ nextAvailableLeafIndex: string | number | bigint;
1451
+ };
1452
+ l1ToL2MessageTree: {
1453
+ root: string;
1454
+ nextAvailableLeafIndex: string | number | bigint;
1455
+ };
1456
+ }>, TreeSnapshots, {
1457
+ noteHashTree: {
1458
+ root: string;
1459
+ nextAvailableLeafIndex: string | number | bigint;
1460
+ };
1461
+ nullifierTree: {
1462
+ root: string;
1463
+ nextAvailableLeafIndex: string | number | bigint;
1464
+ };
1465
+ publicDataTree: {
1466
+ root: string;
1467
+ nextAvailableLeafIndex: string | number | bigint;
1468
+ };
1469
+ l1ToL2MessageTree: {
1470
+ root: string;
1471
+ nextAvailableLeafIndex: string | number | bigint;
1472
+ };
1473
+ }>;
1474
+ stateAfter: z.ZodEffects<z.ZodObject<{
1475
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1476
+ root: z.ZodType<Fr, any, string>;
1477
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1478
+ }, "strip", z.ZodTypeAny, {
1479
+ root: Fr;
1480
+ nextAvailableLeafIndex: number;
1481
+ }, {
1482
+ root: string;
1483
+ nextAvailableLeafIndex: string | number | bigint;
1484
+ }>, AppendOnlyTreeSnapshot, {
1485
+ root: string;
1486
+ nextAvailableLeafIndex: string | number | bigint;
1487
+ }>;
1488
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1489
+ root: z.ZodType<Fr, any, string>;
1490
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1491
+ }, "strip", z.ZodTypeAny, {
1492
+ root: Fr;
1493
+ nextAvailableLeafIndex: number;
1494
+ }, {
1495
+ root: string;
1496
+ nextAvailableLeafIndex: string | number | bigint;
1497
+ }>, AppendOnlyTreeSnapshot, {
1498
+ root: string;
1499
+ nextAvailableLeafIndex: string | number | bigint;
1500
+ }>;
1501
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1502
+ root: z.ZodType<Fr, any, string>;
1503
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1504
+ }, "strip", z.ZodTypeAny, {
1505
+ root: Fr;
1506
+ nextAvailableLeafIndex: number;
1507
+ }, {
1508
+ root: string;
1509
+ nextAvailableLeafIndex: string | number | bigint;
1510
+ }>, AppendOnlyTreeSnapshot, {
1511
+ root: string;
1512
+ nextAvailableLeafIndex: string | number | bigint;
1513
+ }>;
1514
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1515
+ root: z.ZodType<Fr, any, string>;
1516
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1517
+ }, "strip", z.ZodTypeAny, {
1518
+ root: Fr;
1519
+ nextAvailableLeafIndex: number;
1520
+ }, {
1521
+ root: string;
1522
+ nextAvailableLeafIndex: string | number | bigint;
1523
+ }>, AppendOnlyTreeSnapshot, {
1524
+ root: string;
1525
+ nextAvailableLeafIndex: string | number | bigint;
1526
+ }>;
1527
+ }, "strip", z.ZodTypeAny, {
1528
+ noteHashTree: AppendOnlyTreeSnapshot;
1529
+ nullifierTree: AppendOnlyTreeSnapshot;
1530
+ publicDataTree: AppendOnlyTreeSnapshot;
1531
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
1532
+ }, {
1533
+ noteHashTree: {
1534
+ root: string;
1535
+ nextAvailableLeafIndex: string | number | bigint;
1536
+ };
1537
+ nullifierTree: {
1538
+ root: string;
1539
+ nextAvailableLeafIndex: string | number | bigint;
1540
+ };
1541
+ publicDataTree: {
1542
+ root: string;
1543
+ nextAvailableLeafIndex: string | number | bigint;
1544
+ };
1545
+ l1ToL2MessageTree: {
1546
+ root: string;
1547
+ nextAvailableLeafIndex: string | number | bigint;
1548
+ };
1549
+ }>, TreeSnapshots, {
1550
+ noteHashTree: {
1551
+ root: string;
1552
+ nextAvailableLeafIndex: string | number | bigint;
1553
+ };
1554
+ nullifierTree: {
1555
+ root: string;
1556
+ nextAvailableLeafIndex: string | number | bigint;
1557
+ };
1558
+ publicDataTree: {
1559
+ root: string;
1560
+ nextAvailableLeafIndex: string | number | bigint;
1561
+ };
1562
+ l1ToL2MessageTree: {
1563
+ root: string;
1564
+ nextAvailableLeafIndex: string | number | bigint;
1565
+ };
1566
+ }>;
1567
+ }, "strip", z.ZodTypeAny, {
1568
+ stateAfter: TreeSnapshots;
1569
+ actionCounter: number;
1570
+ oldCheckpointId: number;
1571
+ newCheckpointId: number;
1572
+ stateBefore: TreeSnapshots;
1573
+ }, {
1574
+ stateAfter: {
1575
+ noteHashTree: {
1576
+ root: string;
1577
+ nextAvailableLeafIndex: string | number | bigint;
1578
+ };
1579
+ nullifierTree: {
1580
+ root: string;
1581
+ nextAvailableLeafIndex: string | number | bigint;
1582
+ };
1583
+ publicDataTree: {
1584
+ root: string;
1585
+ nextAvailableLeafIndex: string | number | bigint;
1586
+ };
1587
+ l1ToL2MessageTree: {
1588
+ root: string;
1589
+ nextAvailableLeafIndex: string | number | bigint;
1590
+ };
1591
+ };
1592
+ actionCounter: number;
1593
+ oldCheckpointId: number;
1594
+ newCheckpointId: number;
1595
+ stateBefore: {
1596
+ noteHashTree: {
1597
+ root: string;
1598
+ nextAvailableLeafIndex: string | number | bigint;
1599
+ };
1600
+ nullifierTree: {
1601
+ root: string;
1602
+ nextAvailableLeafIndex: string | number | bigint;
1603
+ };
1604
+ publicDataTree: {
1605
+ root: string;
1606
+ nextAvailableLeafIndex: string | number | bigint;
1607
+ };
1608
+ l1ToL2MessageTree: {
1609
+ root: string;
1610
+ nextAvailableLeafIndex: string | number | bigint;
1611
+ };
1612
+ };
1613
+ }>, AvmRevertCheckpointHint, {
1614
+ stateAfter: {
1615
+ noteHashTree: {
1616
+ root: string;
1617
+ nextAvailableLeafIndex: string | number | bigint;
1618
+ };
1619
+ nullifierTree: {
1620
+ root: string;
1621
+ nextAvailableLeafIndex: string | number | bigint;
1622
+ };
1623
+ publicDataTree: {
1624
+ root: string;
1625
+ nextAvailableLeafIndex: string | number | bigint;
1626
+ };
1627
+ l1ToL2MessageTree: {
1628
+ root: string;
1629
+ nextAvailableLeafIndex: string | number | bigint;
1630
+ };
1631
+ };
1632
+ actionCounter: number;
1633
+ oldCheckpointId: number;
1634
+ newCheckpointId: number;
1635
+ stateBefore: {
1636
+ noteHashTree: {
1637
+ root: string;
1638
+ nextAvailableLeafIndex: string | number | bigint;
1639
+ };
1640
+ nullifierTree: {
1641
+ root: string;
1642
+ nextAvailableLeafIndex: string | number | bigint;
1643
+ };
1644
+ publicDataTree: {
1645
+ root: string;
1646
+ nextAvailableLeafIndex: string | number | bigint;
1647
+ };
1648
+ l1ToL2MessageTree: {
1649
+ root: string;
1650
+ nextAvailableLeafIndex: string | number | bigint;
1651
+ };
1652
+ };
1653
+ }>;
1654
+ }
1342
1655
  export declare class AvmEnqueuedCallHint {
1343
1656
  readonly msgSender: AztecAddress;
1344
1657
  readonly contractAddress: AztecAddress;
@@ -1525,7 +1838,10 @@ export declare class AvmExecutionHints {
1525
1838
  readonly getLeafValueHints: AvmGetLeafValueHint[];
1526
1839
  readonly sequentialInsertHintsPublicDataTree: AvmSequentialInsertHintPublicDataTree[];
1527
1840
  readonly sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree[];
1528
- constructor(tx: AvmTxHint, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[]);
1841
+ readonly createCheckpointHints: AvmCreateCheckpointHint[];
1842
+ readonly commitCheckpointHints: AvmCommitCheckpointHint[];
1843
+ readonly revertCheckpointHints: AvmRevertCheckpointHint[];
1844
+ constructor(tx: AvmTxHint, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
1529
1845
  static empty(): AvmExecutionHints;
1530
1846
  static get schema(): z.ZodEffects<z.ZodObject<{
1531
1847
  tx: z.ZodObject<{
@@ -2843,22 +3159,333 @@ export declare class AvmExecutionHints {
2843
3159
  nextIndex: string | number | bigint;
2844
3160
  };
2845
3161
  };
2846
- insertionWitnessData: {
2847
- path: string[];
2848
- index: string | number | bigint;
2849
- leaf: {
2850
- leaf: {
2851
- nullifier: string;
2852
- };
2853
- nextKey: string;
2854
- nextIndex: string | number | bigint;
2855
- } | {
2856
- leaf: {
2857
- value: string;
2858
- slot: string;
2859
- };
2860
- nextKey: string;
2861
- nextIndex: string | number | bigint;
3162
+ insertionWitnessData: {
3163
+ path: string[];
3164
+ index: string | number | bigint;
3165
+ leaf: {
3166
+ leaf: {
3167
+ nullifier: string;
3168
+ };
3169
+ nextKey: string;
3170
+ nextIndex: string | number | bigint;
3171
+ } | {
3172
+ leaf: {
3173
+ value: string;
3174
+ slot: string;
3175
+ };
3176
+ nextKey: string;
3177
+ nextIndex: string | number | bigint;
3178
+ };
3179
+ };
3180
+ }>, "many">;
3181
+ createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3182
+ actionCounter: z.ZodNumber;
3183
+ oldCheckpointId: z.ZodNumber;
3184
+ newCheckpointId: z.ZodNumber;
3185
+ }, "strip", z.ZodTypeAny, {
3186
+ actionCounter: number;
3187
+ oldCheckpointId: number;
3188
+ newCheckpointId: number;
3189
+ }, {
3190
+ actionCounter: number;
3191
+ oldCheckpointId: number;
3192
+ newCheckpointId: number;
3193
+ }>, AvmCheckpointActionNoStateChangeHint, {
3194
+ actionCounter: number;
3195
+ oldCheckpointId: number;
3196
+ newCheckpointId: number;
3197
+ }>, "many">;
3198
+ commitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3199
+ actionCounter: z.ZodNumber;
3200
+ oldCheckpointId: z.ZodNumber;
3201
+ newCheckpointId: z.ZodNumber;
3202
+ }, "strip", z.ZodTypeAny, {
3203
+ actionCounter: number;
3204
+ oldCheckpointId: number;
3205
+ newCheckpointId: number;
3206
+ }, {
3207
+ actionCounter: number;
3208
+ oldCheckpointId: number;
3209
+ newCheckpointId: number;
3210
+ }>, AvmCheckpointActionNoStateChangeHint, {
3211
+ actionCounter: number;
3212
+ oldCheckpointId: number;
3213
+ newCheckpointId: number;
3214
+ }>, "many">;
3215
+ revertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3216
+ actionCounter: z.ZodNumber;
3217
+ oldCheckpointId: z.ZodNumber;
3218
+ newCheckpointId: z.ZodNumber;
3219
+ stateBefore: z.ZodEffects<z.ZodObject<{
3220
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3221
+ root: z.ZodType<Fr, any, string>;
3222
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3223
+ }, "strip", z.ZodTypeAny, {
3224
+ root: Fr;
3225
+ nextAvailableLeafIndex: number;
3226
+ }, {
3227
+ root: string;
3228
+ nextAvailableLeafIndex: string | number | bigint;
3229
+ }>, AppendOnlyTreeSnapshot, {
3230
+ root: string;
3231
+ nextAvailableLeafIndex: string | number | bigint;
3232
+ }>;
3233
+ noteHashTree: z.ZodEffects<z.ZodObject<{
3234
+ root: z.ZodType<Fr, any, string>;
3235
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3236
+ }, "strip", z.ZodTypeAny, {
3237
+ root: Fr;
3238
+ nextAvailableLeafIndex: number;
3239
+ }, {
3240
+ root: string;
3241
+ nextAvailableLeafIndex: string | number | bigint;
3242
+ }>, AppendOnlyTreeSnapshot, {
3243
+ root: string;
3244
+ nextAvailableLeafIndex: string | number | bigint;
3245
+ }>;
3246
+ nullifierTree: z.ZodEffects<z.ZodObject<{
3247
+ root: z.ZodType<Fr, any, string>;
3248
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3249
+ }, "strip", z.ZodTypeAny, {
3250
+ root: Fr;
3251
+ nextAvailableLeafIndex: number;
3252
+ }, {
3253
+ root: string;
3254
+ nextAvailableLeafIndex: string | number | bigint;
3255
+ }>, AppendOnlyTreeSnapshot, {
3256
+ root: string;
3257
+ nextAvailableLeafIndex: string | number | bigint;
3258
+ }>;
3259
+ publicDataTree: z.ZodEffects<z.ZodObject<{
3260
+ root: z.ZodType<Fr, any, string>;
3261
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3262
+ }, "strip", z.ZodTypeAny, {
3263
+ root: Fr;
3264
+ nextAvailableLeafIndex: number;
3265
+ }, {
3266
+ root: string;
3267
+ nextAvailableLeafIndex: string | number | bigint;
3268
+ }>, AppendOnlyTreeSnapshot, {
3269
+ root: string;
3270
+ nextAvailableLeafIndex: string | number | bigint;
3271
+ }>;
3272
+ }, "strip", z.ZodTypeAny, {
3273
+ noteHashTree: AppendOnlyTreeSnapshot;
3274
+ nullifierTree: AppendOnlyTreeSnapshot;
3275
+ publicDataTree: AppendOnlyTreeSnapshot;
3276
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
3277
+ }, {
3278
+ noteHashTree: {
3279
+ root: string;
3280
+ nextAvailableLeafIndex: string | number | bigint;
3281
+ };
3282
+ nullifierTree: {
3283
+ root: string;
3284
+ nextAvailableLeafIndex: string | number | bigint;
3285
+ };
3286
+ publicDataTree: {
3287
+ root: string;
3288
+ nextAvailableLeafIndex: string | number | bigint;
3289
+ };
3290
+ l1ToL2MessageTree: {
3291
+ root: string;
3292
+ nextAvailableLeafIndex: string | number | bigint;
3293
+ };
3294
+ }>, TreeSnapshots, {
3295
+ noteHashTree: {
3296
+ root: string;
3297
+ nextAvailableLeafIndex: string | number | bigint;
3298
+ };
3299
+ nullifierTree: {
3300
+ root: string;
3301
+ nextAvailableLeafIndex: string | number | bigint;
3302
+ };
3303
+ publicDataTree: {
3304
+ root: string;
3305
+ nextAvailableLeafIndex: string | number | bigint;
3306
+ };
3307
+ l1ToL2MessageTree: {
3308
+ root: string;
3309
+ nextAvailableLeafIndex: string | number | bigint;
3310
+ };
3311
+ }>;
3312
+ stateAfter: z.ZodEffects<z.ZodObject<{
3313
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3314
+ root: z.ZodType<Fr, any, string>;
3315
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3316
+ }, "strip", z.ZodTypeAny, {
3317
+ root: Fr;
3318
+ nextAvailableLeafIndex: number;
3319
+ }, {
3320
+ root: string;
3321
+ nextAvailableLeafIndex: string | number | bigint;
3322
+ }>, AppendOnlyTreeSnapshot, {
3323
+ root: string;
3324
+ nextAvailableLeafIndex: string | number | bigint;
3325
+ }>;
3326
+ noteHashTree: z.ZodEffects<z.ZodObject<{
3327
+ root: z.ZodType<Fr, any, string>;
3328
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3329
+ }, "strip", z.ZodTypeAny, {
3330
+ root: Fr;
3331
+ nextAvailableLeafIndex: number;
3332
+ }, {
3333
+ root: string;
3334
+ nextAvailableLeafIndex: string | number | bigint;
3335
+ }>, AppendOnlyTreeSnapshot, {
3336
+ root: string;
3337
+ nextAvailableLeafIndex: string | number | bigint;
3338
+ }>;
3339
+ nullifierTree: z.ZodEffects<z.ZodObject<{
3340
+ root: z.ZodType<Fr, any, string>;
3341
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3342
+ }, "strip", z.ZodTypeAny, {
3343
+ root: Fr;
3344
+ nextAvailableLeafIndex: number;
3345
+ }, {
3346
+ root: string;
3347
+ nextAvailableLeafIndex: string | number | bigint;
3348
+ }>, AppendOnlyTreeSnapshot, {
3349
+ root: string;
3350
+ nextAvailableLeafIndex: string | number | bigint;
3351
+ }>;
3352
+ publicDataTree: z.ZodEffects<z.ZodObject<{
3353
+ root: z.ZodType<Fr, any, string>;
3354
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3355
+ }, "strip", z.ZodTypeAny, {
3356
+ root: Fr;
3357
+ nextAvailableLeafIndex: number;
3358
+ }, {
3359
+ root: string;
3360
+ nextAvailableLeafIndex: string | number | bigint;
3361
+ }>, AppendOnlyTreeSnapshot, {
3362
+ root: string;
3363
+ nextAvailableLeafIndex: string | number | bigint;
3364
+ }>;
3365
+ }, "strip", z.ZodTypeAny, {
3366
+ noteHashTree: AppendOnlyTreeSnapshot;
3367
+ nullifierTree: AppendOnlyTreeSnapshot;
3368
+ publicDataTree: AppendOnlyTreeSnapshot;
3369
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
3370
+ }, {
3371
+ noteHashTree: {
3372
+ root: string;
3373
+ nextAvailableLeafIndex: string | number | bigint;
3374
+ };
3375
+ nullifierTree: {
3376
+ root: string;
3377
+ nextAvailableLeafIndex: string | number | bigint;
3378
+ };
3379
+ publicDataTree: {
3380
+ root: string;
3381
+ nextAvailableLeafIndex: string | number | bigint;
3382
+ };
3383
+ l1ToL2MessageTree: {
3384
+ root: string;
3385
+ nextAvailableLeafIndex: string | number | bigint;
3386
+ };
3387
+ }>, TreeSnapshots, {
3388
+ noteHashTree: {
3389
+ root: string;
3390
+ nextAvailableLeafIndex: string | number | bigint;
3391
+ };
3392
+ nullifierTree: {
3393
+ root: string;
3394
+ nextAvailableLeafIndex: string | number | bigint;
3395
+ };
3396
+ publicDataTree: {
3397
+ root: string;
3398
+ nextAvailableLeafIndex: string | number | bigint;
3399
+ };
3400
+ l1ToL2MessageTree: {
3401
+ root: string;
3402
+ nextAvailableLeafIndex: string | number | bigint;
3403
+ };
3404
+ }>;
3405
+ }, "strip", z.ZodTypeAny, {
3406
+ stateAfter: TreeSnapshots;
3407
+ actionCounter: number;
3408
+ oldCheckpointId: number;
3409
+ newCheckpointId: number;
3410
+ stateBefore: TreeSnapshots;
3411
+ }, {
3412
+ stateAfter: {
3413
+ noteHashTree: {
3414
+ root: string;
3415
+ nextAvailableLeafIndex: string | number | bigint;
3416
+ };
3417
+ nullifierTree: {
3418
+ root: string;
3419
+ nextAvailableLeafIndex: string | number | bigint;
3420
+ };
3421
+ publicDataTree: {
3422
+ root: string;
3423
+ nextAvailableLeafIndex: string | number | bigint;
3424
+ };
3425
+ l1ToL2MessageTree: {
3426
+ root: string;
3427
+ nextAvailableLeafIndex: string | number | bigint;
3428
+ };
3429
+ };
3430
+ actionCounter: number;
3431
+ oldCheckpointId: number;
3432
+ newCheckpointId: number;
3433
+ stateBefore: {
3434
+ noteHashTree: {
3435
+ root: string;
3436
+ nextAvailableLeafIndex: string | number | bigint;
3437
+ };
3438
+ nullifierTree: {
3439
+ root: string;
3440
+ nextAvailableLeafIndex: string | number | bigint;
3441
+ };
3442
+ publicDataTree: {
3443
+ root: string;
3444
+ nextAvailableLeafIndex: string | number | bigint;
3445
+ };
3446
+ l1ToL2MessageTree: {
3447
+ root: string;
3448
+ nextAvailableLeafIndex: string | number | bigint;
3449
+ };
3450
+ };
3451
+ }>, AvmRevertCheckpointHint, {
3452
+ stateAfter: {
3453
+ noteHashTree: {
3454
+ root: string;
3455
+ nextAvailableLeafIndex: string | number | bigint;
3456
+ };
3457
+ nullifierTree: {
3458
+ root: string;
3459
+ nextAvailableLeafIndex: string | number | bigint;
3460
+ };
3461
+ publicDataTree: {
3462
+ root: string;
3463
+ nextAvailableLeafIndex: string | number | bigint;
3464
+ };
3465
+ l1ToL2MessageTree: {
3466
+ root: string;
3467
+ nextAvailableLeafIndex: string | number | bigint;
3468
+ };
3469
+ };
3470
+ actionCounter: number;
3471
+ oldCheckpointId: number;
3472
+ newCheckpointId: number;
3473
+ stateBefore: {
3474
+ noteHashTree: {
3475
+ root: string;
3476
+ nextAvailableLeafIndex: string | number | bigint;
3477
+ };
3478
+ nullifierTree: {
3479
+ root: string;
3480
+ nextAvailableLeafIndex: string | number | bigint;
3481
+ };
3482
+ publicDataTree: {
3483
+ root: string;
3484
+ nextAvailableLeafIndex: string | number | bigint;
3485
+ };
3486
+ l1ToL2MessageTree: {
3487
+ root: string;
3488
+ nextAvailableLeafIndex: string | number | bigint;
2862
3489
  };
2863
3490
  };
2864
3491
  }>, "many">;
@@ -2924,6 +3551,9 @@ export declare class AvmExecutionHints {
2924
3551
  path: Fr[];
2925
3552
  };
2926
3553
  }[];
3554
+ createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
3555
+ commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
3556
+ revertCheckpointHints: AvmRevertCheckpointHint[];
2927
3557
  }, {
2928
3558
  tx: {
2929
3559
  nonRevertibleAccumulatedData: {
@@ -3156,6 +3786,57 @@ export declare class AvmExecutionHints {
3156
3786
  };
3157
3787
  };
3158
3788
  }[];
3789
+ createCheckpointHints: {
3790
+ actionCounter: number;
3791
+ oldCheckpointId: number;
3792
+ newCheckpointId: number;
3793
+ }[];
3794
+ commitCheckpointHints: {
3795
+ actionCounter: number;
3796
+ oldCheckpointId: number;
3797
+ newCheckpointId: number;
3798
+ }[];
3799
+ revertCheckpointHints: {
3800
+ stateAfter: {
3801
+ noteHashTree: {
3802
+ root: string;
3803
+ nextAvailableLeafIndex: string | number | bigint;
3804
+ };
3805
+ nullifierTree: {
3806
+ root: string;
3807
+ nextAvailableLeafIndex: string | number | bigint;
3808
+ };
3809
+ publicDataTree: {
3810
+ root: string;
3811
+ nextAvailableLeafIndex: string | number | bigint;
3812
+ };
3813
+ l1ToL2MessageTree: {
3814
+ root: string;
3815
+ nextAvailableLeafIndex: string | number | bigint;
3816
+ };
3817
+ };
3818
+ actionCounter: number;
3819
+ oldCheckpointId: number;
3820
+ newCheckpointId: number;
3821
+ stateBefore: {
3822
+ noteHashTree: {
3823
+ root: string;
3824
+ nextAvailableLeafIndex: string | number | bigint;
3825
+ };
3826
+ nullifierTree: {
3827
+ root: string;
3828
+ nextAvailableLeafIndex: string | number | bigint;
3829
+ };
3830
+ publicDataTree: {
3831
+ root: string;
3832
+ nextAvailableLeafIndex: string | number | bigint;
3833
+ };
3834
+ l1ToL2MessageTree: {
3835
+ root: string;
3836
+ nextAvailableLeafIndex: string | number | bigint;
3837
+ };
3838
+ };
3839
+ }[];
3159
3840
  }>, AvmExecutionHints, {
3160
3841
  tx: {
3161
3842
  nonRevertibleAccumulatedData: {
@@ -3388,6 +4069,57 @@ export declare class AvmExecutionHints {
3388
4069
  };
3389
4070
  };
3390
4071
  }[];
4072
+ createCheckpointHints: {
4073
+ actionCounter: number;
4074
+ oldCheckpointId: number;
4075
+ newCheckpointId: number;
4076
+ }[];
4077
+ commitCheckpointHints: {
4078
+ actionCounter: number;
4079
+ oldCheckpointId: number;
4080
+ newCheckpointId: number;
4081
+ }[];
4082
+ revertCheckpointHints: {
4083
+ stateAfter: {
4084
+ noteHashTree: {
4085
+ root: string;
4086
+ nextAvailableLeafIndex: string | number | bigint;
4087
+ };
4088
+ nullifierTree: {
4089
+ root: string;
4090
+ nextAvailableLeafIndex: string | number | bigint;
4091
+ };
4092
+ publicDataTree: {
4093
+ root: string;
4094
+ nextAvailableLeafIndex: string | number | bigint;
4095
+ };
4096
+ l1ToL2MessageTree: {
4097
+ root: string;
4098
+ nextAvailableLeafIndex: string | number | bigint;
4099
+ };
4100
+ };
4101
+ actionCounter: number;
4102
+ oldCheckpointId: number;
4103
+ newCheckpointId: number;
4104
+ stateBefore: {
4105
+ noteHashTree: {
4106
+ root: string;
4107
+ nextAvailableLeafIndex: string | number | bigint;
4108
+ };
4109
+ nullifierTree: {
4110
+ root: string;
4111
+ nextAvailableLeafIndex: string | number | bigint;
4112
+ };
4113
+ publicDataTree: {
4114
+ root: string;
4115
+ nextAvailableLeafIndex: string | number | bigint;
4116
+ };
4117
+ l1ToL2MessageTree: {
4118
+ root: string;
4119
+ nextAvailableLeafIndex: string | number | bigint;
4120
+ };
4121
+ };
4122
+ }[];
3391
4123
  }>;
3392
4124
  }
3393
4125
  export declare class AvmCircuitInputs {
@@ -4736,6 +5468,317 @@ export declare class AvmCircuitInputs {
4736
5468
  };
4737
5469
  };
4738
5470
  }>, "many">;
5471
+ createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
5472
+ actionCounter: z.ZodNumber;
5473
+ oldCheckpointId: z.ZodNumber;
5474
+ newCheckpointId: z.ZodNumber;
5475
+ }, "strip", z.ZodTypeAny, {
5476
+ actionCounter: number;
5477
+ oldCheckpointId: number;
5478
+ newCheckpointId: number;
5479
+ }, {
5480
+ actionCounter: number;
5481
+ oldCheckpointId: number;
5482
+ newCheckpointId: number;
5483
+ }>, AvmCheckpointActionNoStateChangeHint, {
5484
+ actionCounter: number;
5485
+ oldCheckpointId: number;
5486
+ newCheckpointId: number;
5487
+ }>, "many">;
5488
+ commitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
5489
+ actionCounter: z.ZodNumber;
5490
+ oldCheckpointId: z.ZodNumber;
5491
+ newCheckpointId: z.ZodNumber;
5492
+ }, "strip", z.ZodTypeAny, {
5493
+ actionCounter: number;
5494
+ oldCheckpointId: number;
5495
+ newCheckpointId: number;
5496
+ }, {
5497
+ actionCounter: number;
5498
+ oldCheckpointId: number;
5499
+ newCheckpointId: number;
5500
+ }>, AvmCheckpointActionNoStateChangeHint, {
5501
+ actionCounter: number;
5502
+ oldCheckpointId: number;
5503
+ newCheckpointId: number;
5504
+ }>, "many">;
5505
+ revertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
5506
+ actionCounter: z.ZodNumber;
5507
+ oldCheckpointId: z.ZodNumber;
5508
+ newCheckpointId: z.ZodNumber;
5509
+ stateBefore: z.ZodEffects<z.ZodObject<{
5510
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
5511
+ root: z.ZodType<Fr, any, string>;
5512
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5513
+ }, "strip", z.ZodTypeAny, {
5514
+ root: Fr;
5515
+ nextAvailableLeafIndex: number;
5516
+ }, {
5517
+ root: string;
5518
+ nextAvailableLeafIndex: string | number | bigint;
5519
+ }>, AppendOnlyTreeSnapshot, {
5520
+ root: string;
5521
+ nextAvailableLeafIndex: string | number | bigint;
5522
+ }>;
5523
+ noteHashTree: z.ZodEffects<z.ZodObject<{
5524
+ root: z.ZodType<Fr, any, string>;
5525
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5526
+ }, "strip", z.ZodTypeAny, {
5527
+ root: Fr;
5528
+ nextAvailableLeafIndex: number;
5529
+ }, {
5530
+ root: string;
5531
+ nextAvailableLeafIndex: string | number | bigint;
5532
+ }>, AppendOnlyTreeSnapshot, {
5533
+ root: string;
5534
+ nextAvailableLeafIndex: string | number | bigint;
5535
+ }>;
5536
+ nullifierTree: z.ZodEffects<z.ZodObject<{
5537
+ root: z.ZodType<Fr, any, string>;
5538
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5539
+ }, "strip", z.ZodTypeAny, {
5540
+ root: Fr;
5541
+ nextAvailableLeafIndex: number;
5542
+ }, {
5543
+ root: string;
5544
+ nextAvailableLeafIndex: string | number | bigint;
5545
+ }>, AppendOnlyTreeSnapshot, {
5546
+ root: string;
5547
+ nextAvailableLeafIndex: string | number | bigint;
5548
+ }>;
5549
+ publicDataTree: z.ZodEffects<z.ZodObject<{
5550
+ root: z.ZodType<Fr, any, string>;
5551
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5552
+ }, "strip", z.ZodTypeAny, {
5553
+ root: Fr;
5554
+ nextAvailableLeafIndex: number;
5555
+ }, {
5556
+ root: string;
5557
+ nextAvailableLeafIndex: string | number | bigint;
5558
+ }>, AppendOnlyTreeSnapshot, {
5559
+ root: string;
5560
+ nextAvailableLeafIndex: string | number | bigint;
5561
+ }>;
5562
+ }, "strip", z.ZodTypeAny, {
5563
+ noteHashTree: AppendOnlyTreeSnapshot;
5564
+ nullifierTree: AppendOnlyTreeSnapshot;
5565
+ publicDataTree: AppendOnlyTreeSnapshot;
5566
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
5567
+ }, {
5568
+ noteHashTree: {
5569
+ root: string;
5570
+ nextAvailableLeafIndex: string | number | bigint;
5571
+ };
5572
+ nullifierTree: {
5573
+ root: string;
5574
+ nextAvailableLeafIndex: string | number | bigint;
5575
+ };
5576
+ publicDataTree: {
5577
+ root: string;
5578
+ nextAvailableLeafIndex: string | number | bigint;
5579
+ };
5580
+ l1ToL2MessageTree: {
5581
+ root: string;
5582
+ nextAvailableLeafIndex: string | number | bigint;
5583
+ };
5584
+ }>, TreeSnapshots, {
5585
+ noteHashTree: {
5586
+ root: string;
5587
+ nextAvailableLeafIndex: string | number | bigint;
5588
+ };
5589
+ nullifierTree: {
5590
+ root: string;
5591
+ nextAvailableLeafIndex: string | number | bigint;
5592
+ };
5593
+ publicDataTree: {
5594
+ root: string;
5595
+ nextAvailableLeafIndex: string | number | bigint;
5596
+ };
5597
+ l1ToL2MessageTree: {
5598
+ root: string;
5599
+ nextAvailableLeafIndex: string | number | bigint;
5600
+ };
5601
+ }>;
5602
+ stateAfter: z.ZodEffects<z.ZodObject<{
5603
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
5604
+ root: z.ZodType<Fr, any, string>;
5605
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5606
+ }, "strip", z.ZodTypeAny, {
5607
+ root: Fr;
5608
+ nextAvailableLeafIndex: number;
5609
+ }, {
5610
+ root: string;
5611
+ nextAvailableLeafIndex: string | number | bigint;
5612
+ }>, AppendOnlyTreeSnapshot, {
5613
+ root: string;
5614
+ nextAvailableLeafIndex: string | number | bigint;
5615
+ }>;
5616
+ noteHashTree: z.ZodEffects<z.ZodObject<{
5617
+ root: z.ZodType<Fr, any, string>;
5618
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5619
+ }, "strip", z.ZodTypeAny, {
5620
+ root: Fr;
5621
+ nextAvailableLeafIndex: number;
5622
+ }, {
5623
+ root: string;
5624
+ nextAvailableLeafIndex: string | number | bigint;
5625
+ }>, AppendOnlyTreeSnapshot, {
5626
+ root: string;
5627
+ nextAvailableLeafIndex: string | number | bigint;
5628
+ }>;
5629
+ nullifierTree: z.ZodEffects<z.ZodObject<{
5630
+ root: z.ZodType<Fr, any, string>;
5631
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5632
+ }, "strip", z.ZodTypeAny, {
5633
+ root: Fr;
5634
+ nextAvailableLeafIndex: number;
5635
+ }, {
5636
+ root: string;
5637
+ nextAvailableLeafIndex: string | number | bigint;
5638
+ }>, AppendOnlyTreeSnapshot, {
5639
+ root: string;
5640
+ nextAvailableLeafIndex: string | number | bigint;
5641
+ }>;
5642
+ publicDataTree: z.ZodEffects<z.ZodObject<{
5643
+ root: z.ZodType<Fr, any, string>;
5644
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5645
+ }, "strip", z.ZodTypeAny, {
5646
+ root: Fr;
5647
+ nextAvailableLeafIndex: number;
5648
+ }, {
5649
+ root: string;
5650
+ nextAvailableLeafIndex: string | number | bigint;
5651
+ }>, AppendOnlyTreeSnapshot, {
5652
+ root: string;
5653
+ nextAvailableLeafIndex: string | number | bigint;
5654
+ }>;
5655
+ }, "strip", z.ZodTypeAny, {
5656
+ noteHashTree: AppendOnlyTreeSnapshot;
5657
+ nullifierTree: AppendOnlyTreeSnapshot;
5658
+ publicDataTree: AppendOnlyTreeSnapshot;
5659
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
5660
+ }, {
5661
+ noteHashTree: {
5662
+ root: string;
5663
+ nextAvailableLeafIndex: string | number | bigint;
5664
+ };
5665
+ nullifierTree: {
5666
+ root: string;
5667
+ nextAvailableLeafIndex: string | number | bigint;
5668
+ };
5669
+ publicDataTree: {
5670
+ root: string;
5671
+ nextAvailableLeafIndex: string | number | bigint;
5672
+ };
5673
+ l1ToL2MessageTree: {
5674
+ root: string;
5675
+ nextAvailableLeafIndex: string | number | bigint;
5676
+ };
5677
+ }>, TreeSnapshots, {
5678
+ noteHashTree: {
5679
+ root: string;
5680
+ nextAvailableLeafIndex: string | number | bigint;
5681
+ };
5682
+ nullifierTree: {
5683
+ root: string;
5684
+ nextAvailableLeafIndex: string | number | bigint;
5685
+ };
5686
+ publicDataTree: {
5687
+ root: string;
5688
+ nextAvailableLeafIndex: string | number | bigint;
5689
+ };
5690
+ l1ToL2MessageTree: {
5691
+ root: string;
5692
+ nextAvailableLeafIndex: string | number | bigint;
5693
+ };
5694
+ }>;
5695
+ }, "strip", z.ZodTypeAny, {
5696
+ stateAfter: TreeSnapshots;
5697
+ actionCounter: number;
5698
+ oldCheckpointId: number;
5699
+ newCheckpointId: number;
5700
+ stateBefore: TreeSnapshots;
5701
+ }, {
5702
+ stateAfter: {
5703
+ noteHashTree: {
5704
+ root: string;
5705
+ nextAvailableLeafIndex: string | number | bigint;
5706
+ };
5707
+ nullifierTree: {
5708
+ root: string;
5709
+ nextAvailableLeafIndex: string | number | bigint;
5710
+ };
5711
+ publicDataTree: {
5712
+ root: string;
5713
+ nextAvailableLeafIndex: string | number | bigint;
5714
+ };
5715
+ l1ToL2MessageTree: {
5716
+ root: string;
5717
+ nextAvailableLeafIndex: string | number | bigint;
5718
+ };
5719
+ };
5720
+ actionCounter: number;
5721
+ oldCheckpointId: number;
5722
+ newCheckpointId: number;
5723
+ stateBefore: {
5724
+ noteHashTree: {
5725
+ root: string;
5726
+ nextAvailableLeafIndex: string | number | bigint;
5727
+ };
5728
+ nullifierTree: {
5729
+ root: string;
5730
+ nextAvailableLeafIndex: string | number | bigint;
5731
+ };
5732
+ publicDataTree: {
5733
+ root: string;
5734
+ nextAvailableLeafIndex: string | number | bigint;
5735
+ };
5736
+ l1ToL2MessageTree: {
5737
+ root: string;
5738
+ nextAvailableLeafIndex: string | number | bigint;
5739
+ };
5740
+ };
5741
+ }>, AvmRevertCheckpointHint, {
5742
+ stateAfter: {
5743
+ noteHashTree: {
5744
+ root: string;
5745
+ nextAvailableLeafIndex: string | number | bigint;
5746
+ };
5747
+ nullifierTree: {
5748
+ root: string;
5749
+ nextAvailableLeafIndex: string | number | bigint;
5750
+ };
5751
+ publicDataTree: {
5752
+ root: string;
5753
+ nextAvailableLeafIndex: string | number | bigint;
5754
+ };
5755
+ l1ToL2MessageTree: {
5756
+ root: string;
5757
+ nextAvailableLeafIndex: string | number | bigint;
5758
+ };
5759
+ };
5760
+ actionCounter: number;
5761
+ oldCheckpointId: number;
5762
+ newCheckpointId: number;
5763
+ stateBefore: {
5764
+ noteHashTree: {
5765
+ root: string;
5766
+ nextAvailableLeafIndex: string | number | bigint;
5767
+ };
5768
+ nullifierTree: {
5769
+ root: string;
5770
+ nextAvailableLeafIndex: string | number | bigint;
5771
+ };
5772
+ publicDataTree: {
5773
+ root: string;
5774
+ nextAvailableLeafIndex: string | number | bigint;
5775
+ };
5776
+ l1ToL2MessageTree: {
5777
+ root: string;
5778
+ nextAvailableLeafIndex: string | number | bigint;
5779
+ };
5780
+ };
5781
+ }>, "many">;
4739
5782
  }, "strip", z.ZodTypeAny, {
4740
5783
  tx: {
4741
5784
  nonRevertibleAccumulatedData: {
@@ -4798,6 +5841,9 @@ export declare class AvmCircuitInputs {
4798
5841
  path: Fr[];
4799
5842
  };
4800
5843
  }[];
5844
+ createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
5845
+ commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
5846
+ revertCheckpointHints: AvmRevertCheckpointHint[];
4801
5847
  }, {
4802
5848
  tx: {
4803
5849
  nonRevertibleAccumulatedData: {
@@ -5030,6 +6076,57 @@ export declare class AvmCircuitInputs {
5030
6076
  };
5031
6077
  };
5032
6078
  }[];
6079
+ createCheckpointHints: {
6080
+ actionCounter: number;
6081
+ oldCheckpointId: number;
6082
+ newCheckpointId: number;
6083
+ }[];
6084
+ commitCheckpointHints: {
6085
+ actionCounter: number;
6086
+ oldCheckpointId: number;
6087
+ newCheckpointId: number;
6088
+ }[];
6089
+ revertCheckpointHints: {
6090
+ stateAfter: {
6091
+ noteHashTree: {
6092
+ root: string;
6093
+ nextAvailableLeafIndex: string | number | bigint;
6094
+ };
6095
+ nullifierTree: {
6096
+ root: string;
6097
+ nextAvailableLeafIndex: string | number | bigint;
6098
+ };
6099
+ publicDataTree: {
6100
+ root: string;
6101
+ nextAvailableLeafIndex: string | number | bigint;
6102
+ };
6103
+ l1ToL2MessageTree: {
6104
+ root: string;
6105
+ nextAvailableLeafIndex: string | number | bigint;
6106
+ };
6107
+ };
6108
+ actionCounter: number;
6109
+ oldCheckpointId: number;
6110
+ newCheckpointId: number;
6111
+ stateBefore: {
6112
+ noteHashTree: {
6113
+ root: string;
6114
+ nextAvailableLeafIndex: string | number | bigint;
6115
+ };
6116
+ nullifierTree: {
6117
+ root: string;
6118
+ nextAvailableLeafIndex: string | number | bigint;
6119
+ };
6120
+ publicDataTree: {
6121
+ root: string;
6122
+ nextAvailableLeafIndex: string | number | bigint;
6123
+ };
6124
+ l1ToL2MessageTree: {
6125
+ root: string;
6126
+ nextAvailableLeafIndex: string | number | bigint;
6127
+ };
6128
+ };
6129
+ }[];
5033
6130
  }>, AvmExecutionHints, {
5034
6131
  tx: {
5035
6132
  nonRevertibleAccumulatedData: {
@@ -5262,6 +6359,57 @@ export declare class AvmCircuitInputs {
5262
6359
  };
5263
6360
  };
5264
6361
  }[];
6362
+ createCheckpointHints: {
6363
+ actionCounter: number;
6364
+ oldCheckpointId: number;
6365
+ newCheckpointId: number;
6366
+ }[];
6367
+ commitCheckpointHints: {
6368
+ actionCounter: number;
6369
+ oldCheckpointId: number;
6370
+ newCheckpointId: number;
6371
+ }[];
6372
+ revertCheckpointHints: {
6373
+ stateAfter: {
6374
+ noteHashTree: {
6375
+ root: string;
6376
+ nextAvailableLeafIndex: string | number | bigint;
6377
+ };
6378
+ nullifierTree: {
6379
+ root: string;
6380
+ nextAvailableLeafIndex: string | number | bigint;
6381
+ };
6382
+ publicDataTree: {
6383
+ root: string;
6384
+ nextAvailableLeafIndex: string | number | bigint;
6385
+ };
6386
+ l1ToL2MessageTree: {
6387
+ root: string;
6388
+ nextAvailableLeafIndex: string | number | bigint;
6389
+ };
6390
+ };
6391
+ actionCounter: number;
6392
+ oldCheckpointId: number;
6393
+ newCheckpointId: number;
6394
+ stateBefore: {
6395
+ noteHashTree: {
6396
+ root: string;
6397
+ nextAvailableLeafIndex: string | number | bigint;
6398
+ };
6399
+ nullifierTree: {
6400
+ root: string;
6401
+ nextAvailableLeafIndex: string | number | bigint;
6402
+ };
6403
+ publicDataTree: {
6404
+ root: string;
6405
+ nextAvailableLeafIndex: string | number | bigint;
6406
+ };
6407
+ l1ToL2MessageTree: {
6408
+ root: string;
6409
+ nextAvailableLeafIndex: string | number | bigint;
6410
+ };
6411
+ };
6412
+ }[];
5265
6413
  }>;
5266
6414
  publicInputs: z.ZodEffects<z.ZodObject<{
5267
6415
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -5394,7 +6542,7 @@ export declare class AvmCircuitInputs {
5394
6542
  root: string;
5395
6543
  nextAvailableLeafIndex: string | number | bigint;
5396
6544
  };
5397
- }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
6545
+ }>, TreeSnapshots, {
5398
6546
  noteHashTree: {
5399
6547
  root: string;
5400
6548
  nextAvailableLeafIndex: string | number | bigint;
@@ -5825,7 +6973,7 @@ export declare class AvmCircuitInputs {
5825
6973
  root: string;
5826
6974
  nextAvailableLeafIndex: string | number | bigint;
5827
6975
  };
5828
- }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
6976
+ }>, TreeSnapshots, {
5829
6977
  noteHashTree: {
5830
6978
  root: string;
5831
6979
  nextAvailableLeafIndex: string | number | bigint;
@@ -5957,7 +7105,7 @@ export declare class AvmCircuitInputs {
5957
7105
  publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
5958
7106
  transactionFee: Fr;
5959
7107
  feePayer: AztecAddress;
5960
- startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
7108
+ startTreeSnapshots: TreeSnapshots;
5961
7109
  startGasUsed: import("../gas/gas.js").Gas;
5962
7110
  publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
5963
7111
  publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
@@ -5965,7 +7113,7 @@ export declare class AvmCircuitInputs {
5965
7113
  previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
5966
7114
  previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
5967
7115
  previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
5968
- endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
7116
+ endTreeSnapshots: TreeSnapshots;
5969
7117
  endGasUsed: import("../gas/gas.js").Gas;
5970
7118
  accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
5971
7119
  reverted: boolean;
@@ -6655,6 +7803,57 @@ export declare class AvmCircuitInputs {
6655
7803
  };
6656
7804
  };
6657
7805
  }[];
7806
+ createCheckpointHints: {
7807
+ actionCounter: number;
7808
+ oldCheckpointId: number;
7809
+ newCheckpointId: number;
7810
+ }[];
7811
+ commitCheckpointHints: {
7812
+ actionCounter: number;
7813
+ oldCheckpointId: number;
7814
+ newCheckpointId: number;
7815
+ }[];
7816
+ revertCheckpointHints: {
7817
+ stateAfter: {
7818
+ noteHashTree: {
7819
+ root: string;
7820
+ nextAvailableLeafIndex: string | number | bigint;
7821
+ };
7822
+ nullifierTree: {
7823
+ root: string;
7824
+ nextAvailableLeafIndex: string | number | bigint;
7825
+ };
7826
+ publicDataTree: {
7827
+ root: string;
7828
+ nextAvailableLeafIndex: string | number | bigint;
7829
+ };
7830
+ l1ToL2MessageTree: {
7831
+ root: string;
7832
+ nextAvailableLeafIndex: string | number | bigint;
7833
+ };
7834
+ };
7835
+ actionCounter: number;
7836
+ oldCheckpointId: number;
7837
+ newCheckpointId: number;
7838
+ stateBefore: {
7839
+ noteHashTree: {
7840
+ root: string;
7841
+ nextAvailableLeafIndex: string | number | bigint;
7842
+ };
7843
+ nullifierTree: {
7844
+ root: string;
7845
+ nextAvailableLeafIndex: string | number | bigint;
7846
+ };
7847
+ publicDataTree: {
7848
+ root: string;
7849
+ nextAvailableLeafIndex: string | number | bigint;
7850
+ };
7851
+ l1ToL2MessageTree: {
7852
+ root: string;
7853
+ nextAvailableLeafIndex: string | number | bigint;
7854
+ };
7855
+ };
7856
+ }[];
6658
7857
  };
6659
7858
  }>, AvmCircuitInputs, {
6660
7859
  publicInputs: {
@@ -7040,6 +8239,57 @@ export declare class AvmCircuitInputs {
7040
8239
  };
7041
8240
  };
7042
8241
  }[];
8242
+ createCheckpointHints: {
8243
+ actionCounter: number;
8244
+ oldCheckpointId: number;
8245
+ newCheckpointId: number;
8246
+ }[];
8247
+ commitCheckpointHints: {
8248
+ actionCounter: number;
8249
+ oldCheckpointId: number;
8250
+ newCheckpointId: number;
8251
+ }[];
8252
+ revertCheckpointHints: {
8253
+ stateAfter: {
8254
+ noteHashTree: {
8255
+ root: string;
8256
+ nextAvailableLeafIndex: string | number | bigint;
8257
+ };
8258
+ nullifierTree: {
8259
+ root: string;
8260
+ nextAvailableLeafIndex: string | number | bigint;
8261
+ };
8262
+ publicDataTree: {
8263
+ root: string;
8264
+ nextAvailableLeafIndex: string | number | bigint;
8265
+ };
8266
+ l1ToL2MessageTree: {
8267
+ root: string;
8268
+ nextAvailableLeafIndex: string | number | bigint;
8269
+ };
8270
+ };
8271
+ actionCounter: number;
8272
+ oldCheckpointId: number;
8273
+ newCheckpointId: number;
8274
+ stateBefore: {
8275
+ noteHashTree: {
8276
+ root: string;
8277
+ nextAvailableLeafIndex: string | number | bigint;
8278
+ };
8279
+ nullifierTree: {
8280
+ root: string;
8281
+ nextAvailableLeafIndex: string | number | bigint;
8282
+ };
8283
+ publicDataTree: {
8284
+ root: string;
8285
+ nextAvailableLeafIndex: string | number | bigint;
8286
+ };
8287
+ l1ToL2MessageTree: {
8288
+ root: string;
8289
+ nextAvailableLeafIndex: string | number | bigint;
8290
+ };
8291
+ };
8292
+ }[];
7043
8293
  };
7044
8294
  }>;
7045
8295
  serializeWithMessagePack(): Buffer;