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

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 +1691 -123
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +110 -17
  4. package/dest/avm/avm_proving_request.d.ts +740 -23
  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 +740 -23
  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 +5 -1
  20. package/dest/tests/factories.d.ts.map +1 -1
  21. package/dest/tests/factories.js +22 -7
  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 +171 -29
  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 +51 -4
  35. package/src/tx/index.ts +1 -0
  36. package/src/tx/validator/error_texts.ts +33 -0
package/dest/interfaces/proving-job.d.ts CHANGED
@@ -36,10 +36,9 @@ export declare function mapProvingRequestTypeToCircuitName(type: ProvingRequestT
36
36
  export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
37
37
  type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
38
38
  inputs: z.ZodEffects<z.ZodObject<{
39
- functionName: z.ZodString;
40
- calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
41
39
  hints: z.ZodEffects<z.ZodObject<{
42
- tx: z.ZodObject<{
40
+ tx: z.ZodEffects<z.ZodObject<{
41
+ hash: z.ZodString;
43
42
  nonRevertibleAccumulatedData: z.ZodObject<{
44
43
  noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
45
44
  nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
@@ -124,6 +123,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
124
123
  msgSender?: any;
125
124
  }>>;
126
125
  }, "strip", z.ZodTypeAny, {
126
+ hash: string;
127
127
  nonRevertibleAccumulatedData: {
128
128
  noteHashes: import("@aztec/foundation/schemas").Fr[];
129
129
  nullifiers: import("@aztec/foundation/schemas").Fr[];
@@ -136,6 +136,35 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
136
136
  appLogicEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
137
137
  teardownEnqueuedCall: import("../avm/avm.js").AvmEnqueuedCallHint | null;
138
138
  }, {
139
+ hash: string;
140
+ nonRevertibleAccumulatedData: {
141
+ noteHashes: string[];
142
+ nullifiers: string[];
143
+ };
144
+ revertibleAccumulatedData: {
145
+ noteHashes: string[];
146
+ nullifiers: string[];
147
+ };
148
+ setupEnqueuedCalls: {
149
+ isStaticCall: boolean;
150
+ calldata: string[];
151
+ contractAddress?: any;
152
+ msgSender?: any;
153
+ }[];
154
+ appLogicEnqueuedCalls: {
155
+ isStaticCall: boolean;
156
+ calldata: string[];
157
+ contractAddress?: any;
158
+ msgSender?: any;
159
+ }[];
160
+ teardownEnqueuedCall: {
161
+ isStaticCall: boolean;
162
+ calldata: string[];
163
+ contractAddress?: any;
164
+ msgSender?: any;
165
+ } | null;
166
+ }>, import("../avm/avm.js").AvmTxHint, {
167
+ hash: string;
139
168
  nonRevertibleAccumulatedData: {
140
169
  noteHashes: string[];
141
170
  nullifiers: string[];
@@ -1373,20 +1402,384 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1373
1402
  };
1374
1403
  };
1375
1404
  }>, "many">;
1376
- }, "strip", z.ZodTypeAny, {
1377
- tx: {
1378
- nonRevertibleAccumulatedData: {
1379
- noteHashes: import("@aztec/foundation/schemas").Fr[];
1380
- nullifiers: import("@aztec/foundation/schemas").Fr[];
1405
+ appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1406
+ hintKey: z.ZodEffects<z.ZodObject<{
1407
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1408
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1409
+ }, "strip", z.ZodTypeAny, {
1410
+ root: import("@aztec/foundation/schemas").Fr;
1411
+ nextAvailableLeafIndex: number;
1412
+ }, {
1413
+ root: string;
1414
+ nextAvailableLeafIndex: string | number | bigint;
1415
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1416
+ root: string;
1417
+ nextAvailableLeafIndex: string | number | bigint;
1418
+ }>;
1419
+ stateAfter: z.ZodEffects<z.ZodObject<{
1420
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1421
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1422
+ }, "strip", z.ZodTypeAny, {
1423
+ root: import("@aztec/foundation/schemas").Fr;
1424
+ nextAvailableLeafIndex: number;
1425
+ }, {
1426
+ root: string;
1427
+ nextAvailableLeafIndex: string | number | bigint;
1428
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1429
+ root: string;
1430
+ nextAvailableLeafIndex: string | number | bigint;
1431
+ }>;
1432
+ treeId: z.ZodNumber;
1433
+ leaves: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1434
+ }, "strip", z.ZodTypeAny, {
1435
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1436
+ treeId: number;
1437
+ stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1438
+ leaves: import("@aztec/foundation/schemas").Fr[];
1439
+ }, {
1440
+ hintKey: {
1441
+ root: string;
1442
+ nextAvailableLeafIndex: string | number | bigint;
1381
1443
  };
1382
- revertibleAccumulatedData: {
1383
- noteHashes: import("@aztec/foundation/schemas").Fr[];
1384
- nullifiers: import("@aztec/foundation/schemas").Fr[];
1444
+ treeId: number;
1445
+ stateAfter: {
1446
+ root: string;
1447
+ nextAvailableLeafIndex: string | number | bigint;
1385
1448
  };
1386
- setupEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
1387
- appLogicEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
1388
- teardownEnqueuedCall: import("../avm/avm.js").AvmEnqueuedCallHint | null;
1389
- };
1449
+ leaves: string[];
1450
+ }>, import("../avm/avm.js").AvmAppendLeavesHint, {
1451
+ hintKey: {
1452
+ root: string;
1453
+ nextAvailableLeafIndex: string | number | bigint;
1454
+ };
1455
+ treeId: number;
1456
+ stateAfter: {
1457
+ root: string;
1458
+ nextAvailableLeafIndex: string | number | bigint;
1459
+ };
1460
+ leaves: string[];
1461
+ }>, "many">;
1462
+ createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1463
+ actionCounter: z.ZodNumber;
1464
+ oldCheckpointId: z.ZodNumber;
1465
+ newCheckpointId: z.ZodNumber;
1466
+ }, "strip", z.ZodTypeAny, {
1467
+ actionCounter: number;
1468
+ oldCheckpointId: number;
1469
+ newCheckpointId: number;
1470
+ }, {
1471
+ actionCounter: number;
1472
+ oldCheckpointId: number;
1473
+ newCheckpointId: number;
1474
+ }>, {
1475
+ readonly actionCounter: number;
1476
+ readonly oldCheckpointId: number;
1477
+ readonly newCheckpointId: number;
1478
+ }, {
1479
+ actionCounter: number;
1480
+ oldCheckpointId: number;
1481
+ newCheckpointId: number;
1482
+ }>, "many">;
1483
+ commitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1484
+ actionCounter: z.ZodNumber;
1485
+ oldCheckpointId: z.ZodNumber;
1486
+ newCheckpointId: z.ZodNumber;
1487
+ }, "strip", z.ZodTypeAny, {
1488
+ actionCounter: number;
1489
+ oldCheckpointId: number;
1490
+ newCheckpointId: number;
1491
+ }, {
1492
+ actionCounter: number;
1493
+ oldCheckpointId: number;
1494
+ newCheckpointId: number;
1495
+ }>, {
1496
+ readonly actionCounter: number;
1497
+ readonly oldCheckpointId: number;
1498
+ readonly newCheckpointId: number;
1499
+ }, {
1500
+ actionCounter: number;
1501
+ oldCheckpointId: number;
1502
+ newCheckpointId: number;
1503
+ }>, "many">;
1504
+ revertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1505
+ actionCounter: z.ZodNumber;
1506
+ oldCheckpointId: z.ZodNumber;
1507
+ newCheckpointId: z.ZodNumber;
1508
+ stateBefore: z.ZodEffects<z.ZodObject<{
1509
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1510
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1511
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1512
+ }, "strip", z.ZodTypeAny, {
1513
+ root: import("@aztec/foundation/schemas").Fr;
1514
+ nextAvailableLeafIndex: number;
1515
+ }, {
1516
+ root: string;
1517
+ nextAvailableLeafIndex: string | number | bigint;
1518
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1519
+ root: string;
1520
+ nextAvailableLeafIndex: string | number | bigint;
1521
+ }>;
1522
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1523
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1524
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1525
+ }, "strip", z.ZodTypeAny, {
1526
+ root: import("@aztec/foundation/schemas").Fr;
1527
+ nextAvailableLeafIndex: number;
1528
+ }, {
1529
+ root: string;
1530
+ nextAvailableLeafIndex: string | number | bigint;
1531
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1532
+ root: string;
1533
+ nextAvailableLeafIndex: string | number | bigint;
1534
+ }>;
1535
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1536
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1537
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1538
+ }, "strip", z.ZodTypeAny, {
1539
+ root: import("@aztec/foundation/schemas").Fr;
1540
+ nextAvailableLeafIndex: number;
1541
+ }, {
1542
+ root: string;
1543
+ nextAvailableLeafIndex: string | number | bigint;
1544
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1545
+ root: string;
1546
+ nextAvailableLeafIndex: string | number | bigint;
1547
+ }>;
1548
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1549
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1550
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1551
+ }, "strip", z.ZodTypeAny, {
1552
+ root: import("@aztec/foundation/schemas").Fr;
1553
+ nextAvailableLeafIndex: number;
1554
+ }, {
1555
+ root: string;
1556
+ nextAvailableLeafIndex: string | number | bigint;
1557
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1558
+ root: string;
1559
+ nextAvailableLeafIndex: string | number | bigint;
1560
+ }>;
1561
+ }, "strip", z.ZodTypeAny, {
1562
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1563
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1564
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1565
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1566
+ }, {
1567
+ noteHashTree: {
1568
+ root: string;
1569
+ nextAvailableLeafIndex: string | number | bigint;
1570
+ };
1571
+ nullifierTree: {
1572
+ root: string;
1573
+ nextAvailableLeafIndex: string | number | bigint;
1574
+ };
1575
+ publicDataTree: {
1576
+ root: string;
1577
+ nextAvailableLeafIndex: string | number | bigint;
1578
+ };
1579
+ l1ToL2MessageTree: {
1580
+ root: string;
1581
+ nextAvailableLeafIndex: string | number | bigint;
1582
+ };
1583
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1584
+ noteHashTree: {
1585
+ root: string;
1586
+ nextAvailableLeafIndex: string | number | bigint;
1587
+ };
1588
+ nullifierTree: {
1589
+ root: string;
1590
+ nextAvailableLeafIndex: string | number | bigint;
1591
+ };
1592
+ publicDataTree: {
1593
+ root: string;
1594
+ nextAvailableLeafIndex: string | number | bigint;
1595
+ };
1596
+ l1ToL2MessageTree: {
1597
+ root: string;
1598
+ nextAvailableLeafIndex: string | number | bigint;
1599
+ };
1600
+ }>;
1601
+ stateAfter: z.ZodEffects<z.ZodObject<{
1602
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1603
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1604
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1605
+ }, "strip", z.ZodTypeAny, {
1606
+ root: import("@aztec/foundation/schemas").Fr;
1607
+ nextAvailableLeafIndex: number;
1608
+ }, {
1609
+ root: string;
1610
+ nextAvailableLeafIndex: string | number | bigint;
1611
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1612
+ root: string;
1613
+ nextAvailableLeafIndex: string | number | bigint;
1614
+ }>;
1615
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1616
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1617
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1618
+ }, "strip", z.ZodTypeAny, {
1619
+ root: import("@aztec/foundation/schemas").Fr;
1620
+ nextAvailableLeafIndex: number;
1621
+ }, {
1622
+ root: string;
1623
+ nextAvailableLeafIndex: string | number | bigint;
1624
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1625
+ root: string;
1626
+ nextAvailableLeafIndex: string | number | bigint;
1627
+ }>;
1628
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1629
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1630
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1631
+ }, "strip", z.ZodTypeAny, {
1632
+ root: import("@aztec/foundation/schemas").Fr;
1633
+ nextAvailableLeafIndex: number;
1634
+ }, {
1635
+ root: string;
1636
+ nextAvailableLeafIndex: string | number | bigint;
1637
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1638
+ root: string;
1639
+ nextAvailableLeafIndex: string | number | bigint;
1640
+ }>;
1641
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1642
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1643
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1644
+ }, "strip", z.ZodTypeAny, {
1645
+ root: import("@aztec/foundation/schemas").Fr;
1646
+ nextAvailableLeafIndex: number;
1647
+ }, {
1648
+ root: string;
1649
+ nextAvailableLeafIndex: string | number | bigint;
1650
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1651
+ root: string;
1652
+ nextAvailableLeafIndex: string | number | bigint;
1653
+ }>;
1654
+ }, "strip", z.ZodTypeAny, {
1655
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1656
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1657
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1658
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1659
+ }, {
1660
+ noteHashTree: {
1661
+ root: string;
1662
+ nextAvailableLeafIndex: string | number | bigint;
1663
+ };
1664
+ nullifierTree: {
1665
+ root: string;
1666
+ nextAvailableLeafIndex: string | number | bigint;
1667
+ };
1668
+ publicDataTree: {
1669
+ root: string;
1670
+ nextAvailableLeafIndex: string | number | bigint;
1671
+ };
1672
+ l1ToL2MessageTree: {
1673
+ root: string;
1674
+ nextAvailableLeafIndex: string | number | bigint;
1675
+ };
1676
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1677
+ noteHashTree: {
1678
+ root: string;
1679
+ nextAvailableLeafIndex: string | number | bigint;
1680
+ };
1681
+ nullifierTree: {
1682
+ root: string;
1683
+ nextAvailableLeafIndex: string | number | bigint;
1684
+ };
1685
+ publicDataTree: {
1686
+ root: string;
1687
+ nextAvailableLeafIndex: string | number | bigint;
1688
+ };
1689
+ l1ToL2MessageTree: {
1690
+ root: string;
1691
+ nextAvailableLeafIndex: string | number | bigint;
1692
+ };
1693
+ }>;
1694
+ }, "strip", z.ZodTypeAny, {
1695
+ stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
1696
+ actionCounter: number;
1697
+ oldCheckpointId: number;
1698
+ newCheckpointId: number;
1699
+ stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
1700
+ }, {
1701
+ stateAfter: {
1702
+ noteHashTree: {
1703
+ root: string;
1704
+ nextAvailableLeafIndex: string | number | bigint;
1705
+ };
1706
+ nullifierTree: {
1707
+ root: string;
1708
+ nextAvailableLeafIndex: string | number | bigint;
1709
+ };
1710
+ publicDataTree: {
1711
+ root: string;
1712
+ nextAvailableLeafIndex: string | number | bigint;
1713
+ };
1714
+ l1ToL2MessageTree: {
1715
+ root: string;
1716
+ nextAvailableLeafIndex: string | number | bigint;
1717
+ };
1718
+ };
1719
+ actionCounter: number;
1720
+ oldCheckpointId: number;
1721
+ newCheckpointId: number;
1722
+ stateBefore: {
1723
+ noteHashTree: {
1724
+ root: string;
1725
+ nextAvailableLeafIndex: string | number | bigint;
1726
+ };
1727
+ nullifierTree: {
1728
+ root: string;
1729
+ nextAvailableLeafIndex: string | number | bigint;
1730
+ };
1731
+ publicDataTree: {
1732
+ root: string;
1733
+ nextAvailableLeafIndex: string | number | bigint;
1734
+ };
1735
+ l1ToL2MessageTree: {
1736
+ root: string;
1737
+ nextAvailableLeafIndex: string | number | bigint;
1738
+ };
1739
+ };
1740
+ }>, import("../avm/avm.js").AvmRevertCheckpointHint, {
1741
+ stateAfter: {
1742
+ noteHashTree: {
1743
+ root: string;
1744
+ nextAvailableLeafIndex: string | number | bigint;
1745
+ };
1746
+ nullifierTree: {
1747
+ root: string;
1748
+ nextAvailableLeafIndex: string | number | bigint;
1749
+ };
1750
+ publicDataTree: {
1751
+ root: string;
1752
+ nextAvailableLeafIndex: string | number | bigint;
1753
+ };
1754
+ l1ToL2MessageTree: {
1755
+ root: string;
1756
+ nextAvailableLeafIndex: string | number | bigint;
1757
+ };
1758
+ };
1759
+ actionCounter: number;
1760
+ oldCheckpointId: number;
1761
+ newCheckpointId: number;
1762
+ stateBefore: {
1763
+ noteHashTree: {
1764
+ root: string;
1765
+ nextAvailableLeafIndex: string | number | bigint;
1766
+ };
1767
+ nullifierTree: {
1768
+ root: string;
1769
+ nextAvailableLeafIndex: string | number | bigint;
1770
+ };
1771
+ publicDataTree: {
1772
+ root: string;
1773
+ nextAvailableLeafIndex: string | number | bigint;
1774
+ };
1775
+ l1ToL2MessageTree: {
1776
+ root: string;
1777
+ nextAvailableLeafIndex: string | number | bigint;
1778
+ };
1779
+ };
1780
+ }>, "many">;
1781
+ }, "strip", z.ZodTypeAny, {
1782
+ tx: import("../avm/avm.js").AvmTxHint;
1390
1783
  contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
1391
1784
  contractClasses: import("../avm/avm.js").AvmContractClassHint[];
1392
1785
  bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
@@ -1435,8 +1828,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1435
1828
  path: import("@aztec/foundation/schemas").Fr[];
1436
1829
  };
1437
1830
  }[];
1831
+ appendLeavesHints: import("../avm/avm.js").AvmAppendLeavesHint[];
1832
+ createCheckpointHints: {
1833
+ readonly actionCounter: number;
1834
+ readonly oldCheckpointId: number;
1835
+ readonly newCheckpointId: number;
1836
+ }[];
1837
+ commitCheckpointHints: {
1838
+ readonly actionCounter: number;
1839
+ readonly oldCheckpointId: number;
1840
+ readonly newCheckpointId: number;
1841
+ }[];
1842
+ revertCheckpointHints: import("../avm/avm.js").AvmRevertCheckpointHint[];
1438
1843
  }, {
1439
1844
  tx: {
1845
+ hash: string;
1440
1846
  nonRevertibleAccumulatedData: {
1441
1847
  noteHashes: string[];
1442
1848
  nullifiers: string[];
@@ -1667,8 +2073,72 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1667
2073
  };
1668
2074
  };
1669
2075
  }[];
2076
+ appendLeavesHints: {
2077
+ hintKey: {
2078
+ root: string;
2079
+ nextAvailableLeafIndex: string | number | bigint;
2080
+ };
2081
+ treeId: number;
2082
+ stateAfter: {
2083
+ root: string;
2084
+ nextAvailableLeafIndex: string | number | bigint;
2085
+ };
2086
+ leaves: string[];
2087
+ }[];
2088
+ createCheckpointHints: {
2089
+ actionCounter: number;
2090
+ oldCheckpointId: number;
2091
+ newCheckpointId: number;
2092
+ }[];
2093
+ commitCheckpointHints: {
2094
+ actionCounter: number;
2095
+ oldCheckpointId: number;
2096
+ newCheckpointId: number;
2097
+ }[];
2098
+ revertCheckpointHints: {
2099
+ stateAfter: {
2100
+ noteHashTree: {
2101
+ root: string;
2102
+ nextAvailableLeafIndex: string | number | bigint;
2103
+ };
2104
+ nullifierTree: {
2105
+ root: string;
2106
+ nextAvailableLeafIndex: string | number | bigint;
2107
+ };
2108
+ publicDataTree: {
2109
+ root: string;
2110
+ nextAvailableLeafIndex: string | number | bigint;
2111
+ };
2112
+ l1ToL2MessageTree: {
2113
+ root: string;
2114
+ nextAvailableLeafIndex: string | number | bigint;
2115
+ };
2116
+ };
2117
+ actionCounter: number;
2118
+ oldCheckpointId: number;
2119
+ newCheckpointId: number;
2120
+ stateBefore: {
2121
+ noteHashTree: {
2122
+ root: string;
2123
+ nextAvailableLeafIndex: string | number | bigint;
2124
+ };
2125
+ nullifierTree: {
2126
+ root: string;
2127
+ nextAvailableLeafIndex: string | number | bigint;
2128
+ };
2129
+ publicDataTree: {
2130
+ root: string;
2131
+ nextAvailableLeafIndex: string | number | bigint;
2132
+ };
2133
+ l1ToL2MessageTree: {
2134
+ root: string;
2135
+ nextAvailableLeafIndex: string | number | bigint;
2136
+ };
2137
+ };
2138
+ }[];
1670
2139
  }>, import("../avm/avm.js").AvmExecutionHints, {
1671
2140
  tx: {
2141
+ hash: string;
1672
2142
  nonRevertibleAccumulatedData: {
1673
2143
  noteHashes: string[];
1674
2144
  nullifiers: string[];
@@ -1899,6 +2369,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1899
2369
  };
1900
2370
  };
1901
2371
  }[];
2372
+ appendLeavesHints: {
2373
+ hintKey: {
2374
+ root: string;
2375
+ nextAvailableLeafIndex: string | number | bigint;
2376
+ };
2377
+ treeId: number;
2378
+ stateAfter: {
2379
+ root: string;
2380
+ nextAvailableLeafIndex: string | number | bigint;
2381
+ };
2382
+ leaves: string[];
2383
+ }[];
2384
+ createCheckpointHints: {
2385
+ actionCounter: number;
2386
+ oldCheckpointId: number;
2387
+ newCheckpointId: number;
2388
+ }[];
2389
+ commitCheckpointHints: {
2390
+ actionCounter: number;
2391
+ oldCheckpointId: number;
2392
+ newCheckpointId: number;
2393
+ }[];
2394
+ revertCheckpointHints: {
2395
+ stateAfter: {
2396
+ noteHashTree: {
2397
+ root: string;
2398
+ nextAvailableLeafIndex: string | number | bigint;
2399
+ };
2400
+ nullifierTree: {
2401
+ root: string;
2402
+ nextAvailableLeafIndex: string | number | bigint;
2403
+ };
2404
+ publicDataTree: {
2405
+ root: string;
2406
+ nextAvailableLeafIndex: string | number | bigint;
2407
+ };
2408
+ l1ToL2MessageTree: {
2409
+ root: string;
2410
+ nextAvailableLeafIndex: string | number | bigint;
2411
+ };
2412
+ };
2413
+ actionCounter: number;
2414
+ oldCheckpointId: number;
2415
+ newCheckpointId: number;
2416
+ stateBefore: {
2417
+ noteHashTree: {
2418
+ root: string;
2419
+ nextAvailableLeafIndex: string | number | bigint;
2420
+ };
2421
+ nullifierTree: {
2422
+ root: string;
2423
+ nextAvailableLeafIndex: string | number | bigint;
2424
+ };
2425
+ publicDataTree: {
2426
+ root: string;
2427
+ nextAvailableLeafIndex: string | number | bigint;
2428
+ };
2429
+ l1ToL2MessageTree: {
2430
+ root: string;
2431
+ nextAvailableLeafIndex: string | number | bigint;
2432
+ };
2433
+ };
2434
+ }[];
1902
2435
  }>;
1903
2436
  publicInputs: z.ZodEffects<z.ZodObject<{
1904
2437
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -2905,8 +3438,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2905
3438
  }>;
2906
3439
  }, "strip", z.ZodTypeAny, {
2907
3440
  publicInputs: import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
2908
- calldata: import("@aztec/foundation/schemas").Fr[];
2909
- functionName: string;
2910
3441
  hints: import("../avm/avm.js").AvmExecutionHints;
2911
3442
  }, {
2912
3443
  publicInputs: {
@@ -3058,10 +3589,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3058
3589
  reverted: boolean;
3059
3590
  feePayer?: any;
3060
3591
  };
3061
- calldata: string[];
3062
- functionName: string;
3063
3592
  hints: {
3064
3593
  tx: {
3594
+ hash: string;
3065
3595
  nonRevertibleAccumulatedData: {
3066
3596
  noteHashes: string[];
3067
3597
  nullifiers: string[];
@@ -3292,6 +3822,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3292
3822
  };
3293
3823
  };
3294
3824
  }[];
3825
+ appendLeavesHints: {
3826
+ hintKey: {
3827
+ root: string;
3828
+ nextAvailableLeafIndex: string | number | bigint;
3829
+ };
3830
+ treeId: number;
3831
+ stateAfter: {
3832
+ root: string;
3833
+ nextAvailableLeafIndex: string | number | bigint;
3834
+ };
3835
+ leaves: string[];
3836
+ }[];
3837
+ createCheckpointHints: {
3838
+ actionCounter: number;
3839
+ oldCheckpointId: number;
3840
+ newCheckpointId: number;
3841
+ }[];
3842
+ commitCheckpointHints: {
3843
+ actionCounter: number;
3844
+ oldCheckpointId: number;
3845
+ newCheckpointId: number;
3846
+ }[];
3847
+ revertCheckpointHints: {
3848
+ stateAfter: {
3849
+ noteHashTree: {
3850
+ root: string;
3851
+ nextAvailableLeafIndex: string | number | bigint;
3852
+ };
3853
+ nullifierTree: {
3854
+ root: string;
3855
+ nextAvailableLeafIndex: string | number | bigint;
3856
+ };
3857
+ publicDataTree: {
3858
+ root: string;
3859
+ nextAvailableLeafIndex: string | number | bigint;
3860
+ };
3861
+ l1ToL2MessageTree: {
3862
+ root: string;
3863
+ nextAvailableLeafIndex: string | number | bigint;
3864
+ };
3865
+ };
3866
+ actionCounter: number;
3867
+ oldCheckpointId: number;
3868
+ newCheckpointId: number;
3869
+ stateBefore: {
3870
+ noteHashTree: {
3871
+ root: string;
3872
+ nextAvailableLeafIndex: string | number | bigint;
3873
+ };
3874
+ nullifierTree: {
3875
+ root: string;
3876
+ nextAvailableLeafIndex: string | number | bigint;
3877
+ };
3878
+ publicDataTree: {
3879
+ root: string;
3880
+ nextAvailableLeafIndex: string | number | bigint;
3881
+ };
3882
+ l1ToL2MessageTree: {
3883
+ root: string;
3884
+ nextAvailableLeafIndex: string | number | bigint;
3885
+ };
3886
+ };
3887
+ }[];
3295
3888
  };
3296
3889
  }>, AvmCircuitInputs, {
3297
3890
  publicInputs: {
@@ -3443,10 +4036,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3443
4036
  reverted: boolean;
3444
4037
  feePayer?: any;
3445
4038
  };
3446
- calldata: string[];
3447
- functionName: string;
3448
4039
  hints: {
3449
4040
  tx: {
4041
+ hash: string;
3450
4042
  nonRevertibleAccumulatedData: {
3451
4043
  noteHashes: string[];
3452
4044
  nullifiers: string[];
@@ -3677,6 +4269,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3677
4269
  };
3678
4270
  };
3679
4271
  }[];
4272
+ appendLeavesHints: {
4273
+ hintKey: {
4274
+ root: string;
4275
+ nextAvailableLeafIndex: string | number | bigint;
4276
+ };
4277
+ treeId: number;
4278
+ stateAfter: {
4279
+ root: string;
4280
+ nextAvailableLeafIndex: string | number | bigint;
4281
+ };
4282
+ leaves: string[];
4283
+ }[];
4284
+ createCheckpointHints: {
4285
+ actionCounter: number;
4286
+ oldCheckpointId: number;
4287
+ newCheckpointId: number;
4288
+ }[];
4289
+ commitCheckpointHints: {
4290
+ actionCounter: number;
4291
+ oldCheckpointId: number;
4292
+ newCheckpointId: number;
4293
+ }[];
4294
+ revertCheckpointHints: {
4295
+ stateAfter: {
4296
+ noteHashTree: {
4297
+ root: string;
4298
+ nextAvailableLeafIndex: string | number | bigint;
4299
+ };
4300
+ nullifierTree: {
4301
+ root: string;
4302
+ nextAvailableLeafIndex: string | number | bigint;
4303
+ };
4304
+ publicDataTree: {
4305
+ root: string;
4306
+ nextAvailableLeafIndex: string | number | bigint;
4307
+ };
4308
+ l1ToL2MessageTree: {
4309
+ root: string;
4310
+ nextAvailableLeafIndex: string | number | bigint;
4311
+ };
4312
+ };
4313
+ actionCounter: number;
4314
+ oldCheckpointId: number;
4315
+ newCheckpointId: number;
4316
+ stateBefore: {
4317
+ noteHashTree: {
4318
+ root: string;
4319
+ nextAvailableLeafIndex: string | number | bigint;
4320
+ };
4321
+ nullifierTree: {
4322
+ root: string;
4323
+ nextAvailableLeafIndex: string | number | bigint;
4324
+ };
4325
+ publicDataTree: {
4326
+ root: string;
4327
+ nextAvailableLeafIndex: string | number | bigint;
4328
+ };
4329
+ l1ToL2MessageTree: {
4330
+ root: string;
4331
+ nextAvailableLeafIndex: string | number | bigint;
4332
+ };
4333
+ };
4334
+ }[];
3680
4335
  };
3681
4336
  }>;
3682
4337
  }, "strip", z.ZodTypeAny, {
@@ -3834,10 +4489,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3834
4489
  reverted: boolean;
3835
4490
  feePayer?: any;
3836
4491
  };
3837
- calldata: string[];
3838
- functionName: string;
3839
4492
  hints: {
3840
4493
  tx: {
4494
+ hash: string;
3841
4495
  nonRevertibleAccumulatedData: {
3842
4496
  noteHashes: string[];
3843
4497
  nullifiers: string[];
@@ -4068,6 +4722,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4068
4722
  };
4069
4723
  };
4070
4724
  }[];
4725
+ appendLeavesHints: {
4726
+ hintKey: {
4727
+ root: string;
4728
+ nextAvailableLeafIndex: string | number | bigint;
4729
+ };
4730
+ treeId: number;
4731
+ stateAfter: {
4732
+ root: string;
4733
+ nextAvailableLeafIndex: string | number | bigint;
4734
+ };
4735
+ leaves: string[];
4736
+ }[];
4737
+ createCheckpointHints: {
4738
+ actionCounter: number;
4739
+ oldCheckpointId: number;
4740
+ newCheckpointId: number;
4741
+ }[];
4742
+ commitCheckpointHints: {
4743
+ actionCounter: number;
4744
+ oldCheckpointId: number;
4745
+ newCheckpointId: number;
4746
+ }[];
4747
+ revertCheckpointHints: {
4748
+ stateAfter: {
4749
+ noteHashTree: {
4750
+ root: string;
4751
+ nextAvailableLeafIndex: string | number | bigint;
4752
+ };
4753
+ nullifierTree: {
4754
+ root: string;
4755
+ nextAvailableLeafIndex: string | number | bigint;
4756
+ };
4757
+ publicDataTree: {
4758
+ root: string;
4759
+ nextAvailableLeafIndex: string | number | bigint;
4760
+ };
4761
+ l1ToL2MessageTree: {
4762
+ root: string;
4763
+ nextAvailableLeafIndex: string | number | bigint;
4764
+ };
4765
+ };
4766
+ actionCounter: number;
4767
+ oldCheckpointId: number;
4768
+ newCheckpointId: number;
4769
+ stateBefore: {
4770
+ noteHashTree: {
4771
+ root: string;
4772
+ nextAvailableLeafIndex: string | number | bigint;
4773
+ };
4774
+ nullifierTree: {
4775
+ root: string;
4776
+ nextAvailableLeafIndex: string | number | bigint;
4777
+ };
4778
+ publicDataTree: {
4779
+ root: string;
4780
+ nextAvailableLeafIndex: string | number | bigint;
4781
+ };
4782
+ l1ToL2MessageTree: {
4783
+ root: string;
4784
+ nextAvailableLeafIndex: string | number | bigint;
4785
+ };
4786
+ };
4787
+ }[];
4071
4788
  };
4072
4789
  };
4073
4790
  }>, z.ZodObject<{