@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/avm/avm_proving_request.d.ts CHANGED
@@ -7,10 +7,9 @@ export type AvmProvingRequest = z.infer<typeof AvmProvingRequestSchema>;
7
7
  export declare const AvmProvingRequestSchema: z.ZodObject<{
8
8
  type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
9
9
  inputs: z.ZodEffects<z.ZodObject<{
10
- functionName: z.ZodString;
11
- calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
12
10
  hints: z.ZodEffects<z.ZodObject<{
13
- tx: z.ZodObject<{
11
+ tx: z.ZodEffects<z.ZodObject<{
12
+ hash: z.ZodString;
14
13
  nonRevertibleAccumulatedData: z.ZodObject<{
15
14
  noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
16
15
  nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
@@ -95,6 +94,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
95
94
  msgSender?: any;
96
95
  }>>;
97
96
  }, "strip", z.ZodTypeAny, {
97
+ hash: string;
98
98
  nonRevertibleAccumulatedData: {
99
99
  noteHashes: import("@aztec/foundation/schemas").Fr[];
100
100
  nullifiers: import("@aztec/foundation/schemas").Fr[];
@@ -107,6 +107,35 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
107
107
  appLogicEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
108
108
  teardownEnqueuedCall: import("./avm.js").AvmEnqueuedCallHint | null;
109
109
  }, {
110
+ hash: string;
111
+ nonRevertibleAccumulatedData: {
112
+ noteHashes: string[];
113
+ nullifiers: string[];
114
+ };
115
+ revertibleAccumulatedData: {
116
+ noteHashes: string[];
117
+ nullifiers: string[];
118
+ };
119
+ setupEnqueuedCalls: {
120
+ isStaticCall: boolean;
121
+ calldata: string[];
122
+ contractAddress?: any;
123
+ msgSender?: any;
124
+ }[];
125
+ appLogicEnqueuedCalls: {
126
+ isStaticCall: boolean;
127
+ calldata: string[];
128
+ contractAddress?: any;
129
+ msgSender?: any;
130
+ }[];
131
+ teardownEnqueuedCall: {
132
+ isStaticCall: boolean;
133
+ calldata: string[];
134
+ contractAddress?: any;
135
+ msgSender?: any;
136
+ } | null;
137
+ }>, import("./avm.js").AvmTxHint, {
138
+ hash: string;
110
139
  nonRevertibleAccumulatedData: {
111
140
  noteHashes: string[];
112
141
  nullifiers: string[];
@@ -1344,20 +1373,384 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1344
1373
  };
1345
1374
  };
1346
1375
  }>, "many">;
1347
- }, "strip", z.ZodTypeAny, {
1348
- tx: {
1349
- nonRevertibleAccumulatedData: {
1350
- noteHashes: import("@aztec/foundation/schemas").Fr[];
1351
- nullifiers: import("@aztec/foundation/schemas").Fr[];
1376
+ appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1377
+ hintKey: z.ZodEffects<z.ZodObject<{
1378
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1379
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1380
+ }, "strip", z.ZodTypeAny, {
1381
+ root: import("@aztec/foundation/schemas").Fr;
1382
+ nextAvailableLeafIndex: number;
1383
+ }, {
1384
+ root: string;
1385
+ nextAvailableLeafIndex: string | number | bigint;
1386
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1387
+ root: string;
1388
+ nextAvailableLeafIndex: string | number | bigint;
1389
+ }>;
1390
+ stateAfter: z.ZodEffects<z.ZodObject<{
1391
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1392
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1393
+ }, "strip", z.ZodTypeAny, {
1394
+ root: import("@aztec/foundation/schemas").Fr;
1395
+ nextAvailableLeafIndex: number;
1396
+ }, {
1397
+ root: string;
1398
+ nextAvailableLeafIndex: string | number | bigint;
1399
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1400
+ root: string;
1401
+ nextAvailableLeafIndex: string | number | bigint;
1402
+ }>;
1403
+ treeId: z.ZodNumber;
1404
+ leaves: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1405
+ }, "strip", z.ZodTypeAny, {
1406
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1407
+ treeId: number;
1408
+ stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1409
+ leaves: import("@aztec/foundation/schemas").Fr[];
1410
+ }, {
1411
+ hintKey: {
1412
+ root: string;
1413
+ nextAvailableLeafIndex: string | number | bigint;
1352
1414
  };
1353
- revertibleAccumulatedData: {
1354
- noteHashes: import("@aztec/foundation/schemas").Fr[];
1355
- nullifiers: import("@aztec/foundation/schemas").Fr[];
1415
+ treeId: number;
1416
+ stateAfter: {
1417
+ root: string;
1418
+ nextAvailableLeafIndex: string | number | bigint;
1356
1419
  };
1357
- setupEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
1358
- appLogicEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
1359
- teardownEnqueuedCall: import("./avm.js").AvmEnqueuedCallHint | null;
1360
- };
1420
+ leaves: string[];
1421
+ }>, import("./avm.js").AvmAppendLeavesHint, {
1422
+ hintKey: {
1423
+ root: string;
1424
+ nextAvailableLeafIndex: string | number | bigint;
1425
+ };
1426
+ treeId: number;
1427
+ stateAfter: {
1428
+ root: string;
1429
+ nextAvailableLeafIndex: string | number | bigint;
1430
+ };
1431
+ leaves: string[];
1432
+ }>, "many">;
1433
+ createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1434
+ actionCounter: z.ZodNumber;
1435
+ oldCheckpointId: z.ZodNumber;
1436
+ newCheckpointId: z.ZodNumber;
1437
+ }, "strip", z.ZodTypeAny, {
1438
+ actionCounter: number;
1439
+ oldCheckpointId: number;
1440
+ newCheckpointId: number;
1441
+ }, {
1442
+ actionCounter: number;
1443
+ oldCheckpointId: number;
1444
+ newCheckpointId: number;
1445
+ }>, {
1446
+ readonly actionCounter: number;
1447
+ readonly oldCheckpointId: number;
1448
+ readonly newCheckpointId: number;
1449
+ }, {
1450
+ actionCounter: number;
1451
+ oldCheckpointId: number;
1452
+ newCheckpointId: number;
1453
+ }>, "many">;
1454
+ commitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1455
+ actionCounter: z.ZodNumber;
1456
+ oldCheckpointId: z.ZodNumber;
1457
+ newCheckpointId: z.ZodNumber;
1458
+ }, "strip", z.ZodTypeAny, {
1459
+ actionCounter: number;
1460
+ oldCheckpointId: number;
1461
+ newCheckpointId: number;
1462
+ }, {
1463
+ actionCounter: number;
1464
+ oldCheckpointId: number;
1465
+ newCheckpointId: number;
1466
+ }>, {
1467
+ readonly actionCounter: number;
1468
+ readonly oldCheckpointId: number;
1469
+ readonly newCheckpointId: number;
1470
+ }, {
1471
+ actionCounter: number;
1472
+ oldCheckpointId: number;
1473
+ newCheckpointId: number;
1474
+ }>, "many">;
1475
+ revertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1476
+ actionCounter: z.ZodNumber;
1477
+ oldCheckpointId: z.ZodNumber;
1478
+ newCheckpointId: z.ZodNumber;
1479
+ stateBefore: z.ZodEffects<z.ZodObject<{
1480
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1481
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1482
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1483
+ }, "strip", z.ZodTypeAny, {
1484
+ root: import("@aztec/foundation/schemas").Fr;
1485
+ nextAvailableLeafIndex: number;
1486
+ }, {
1487
+ root: string;
1488
+ nextAvailableLeafIndex: string | number | bigint;
1489
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1490
+ root: string;
1491
+ nextAvailableLeafIndex: string | number | bigint;
1492
+ }>;
1493
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1494
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1495
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1496
+ }, "strip", z.ZodTypeAny, {
1497
+ root: import("@aztec/foundation/schemas").Fr;
1498
+ nextAvailableLeafIndex: number;
1499
+ }, {
1500
+ root: string;
1501
+ nextAvailableLeafIndex: string | number | bigint;
1502
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1503
+ root: string;
1504
+ nextAvailableLeafIndex: string | number | bigint;
1505
+ }>;
1506
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1507
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1508
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1509
+ }, "strip", z.ZodTypeAny, {
1510
+ root: import("@aztec/foundation/schemas").Fr;
1511
+ nextAvailableLeafIndex: number;
1512
+ }, {
1513
+ root: string;
1514
+ nextAvailableLeafIndex: string | number | bigint;
1515
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1516
+ root: string;
1517
+ nextAvailableLeafIndex: string | number | bigint;
1518
+ }>;
1519
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1520
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1521
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1522
+ }, "strip", z.ZodTypeAny, {
1523
+ root: import("@aztec/foundation/schemas").Fr;
1524
+ nextAvailableLeafIndex: number;
1525
+ }, {
1526
+ root: string;
1527
+ nextAvailableLeafIndex: string | number | bigint;
1528
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1529
+ root: string;
1530
+ nextAvailableLeafIndex: string | number | bigint;
1531
+ }>;
1532
+ }, "strip", z.ZodTypeAny, {
1533
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1534
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1535
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1536
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1537
+ }, {
1538
+ noteHashTree: {
1539
+ root: string;
1540
+ nextAvailableLeafIndex: string | number | bigint;
1541
+ };
1542
+ nullifierTree: {
1543
+ root: string;
1544
+ nextAvailableLeafIndex: string | number | bigint;
1545
+ };
1546
+ publicDataTree: {
1547
+ root: string;
1548
+ nextAvailableLeafIndex: string | number | bigint;
1549
+ };
1550
+ l1ToL2MessageTree: {
1551
+ root: string;
1552
+ nextAvailableLeafIndex: string | number | bigint;
1553
+ };
1554
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1555
+ noteHashTree: {
1556
+ root: string;
1557
+ nextAvailableLeafIndex: string | number | bigint;
1558
+ };
1559
+ nullifierTree: {
1560
+ root: string;
1561
+ nextAvailableLeafIndex: string | number | bigint;
1562
+ };
1563
+ publicDataTree: {
1564
+ root: string;
1565
+ nextAvailableLeafIndex: string | number | bigint;
1566
+ };
1567
+ l1ToL2MessageTree: {
1568
+ root: string;
1569
+ nextAvailableLeafIndex: string | number | bigint;
1570
+ };
1571
+ }>;
1572
+ stateAfter: z.ZodEffects<z.ZodObject<{
1573
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1574
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1575
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1576
+ }, "strip", z.ZodTypeAny, {
1577
+ root: import("@aztec/foundation/schemas").Fr;
1578
+ nextAvailableLeafIndex: number;
1579
+ }, {
1580
+ root: string;
1581
+ nextAvailableLeafIndex: string | number | bigint;
1582
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1583
+ root: string;
1584
+ nextAvailableLeafIndex: string | number | bigint;
1585
+ }>;
1586
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1587
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1588
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1589
+ }, "strip", z.ZodTypeAny, {
1590
+ root: import("@aztec/foundation/schemas").Fr;
1591
+ nextAvailableLeafIndex: number;
1592
+ }, {
1593
+ root: string;
1594
+ nextAvailableLeafIndex: string | number | bigint;
1595
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1596
+ root: string;
1597
+ nextAvailableLeafIndex: string | number | bigint;
1598
+ }>;
1599
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1600
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1601
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1602
+ }, "strip", z.ZodTypeAny, {
1603
+ root: import("@aztec/foundation/schemas").Fr;
1604
+ nextAvailableLeafIndex: number;
1605
+ }, {
1606
+ root: string;
1607
+ nextAvailableLeafIndex: string | number | bigint;
1608
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1609
+ root: string;
1610
+ nextAvailableLeafIndex: string | number | bigint;
1611
+ }>;
1612
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1613
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1614
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1615
+ }, "strip", z.ZodTypeAny, {
1616
+ root: import("@aztec/foundation/schemas").Fr;
1617
+ nextAvailableLeafIndex: number;
1618
+ }, {
1619
+ root: string;
1620
+ nextAvailableLeafIndex: string | number | bigint;
1621
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1622
+ root: string;
1623
+ nextAvailableLeafIndex: string | number | bigint;
1624
+ }>;
1625
+ }, "strip", z.ZodTypeAny, {
1626
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1627
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1628
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1629
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1630
+ }, {
1631
+ noteHashTree: {
1632
+ root: string;
1633
+ nextAvailableLeafIndex: string | number | bigint;
1634
+ };
1635
+ nullifierTree: {
1636
+ root: string;
1637
+ nextAvailableLeafIndex: string | number | bigint;
1638
+ };
1639
+ publicDataTree: {
1640
+ root: string;
1641
+ nextAvailableLeafIndex: string | number | bigint;
1642
+ };
1643
+ l1ToL2MessageTree: {
1644
+ root: string;
1645
+ nextAvailableLeafIndex: string | number | bigint;
1646
+ };
1647
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1648
+ noteHashTree: {
1649
+ root: string;
1650
+ nextAvailableLeafIndex: string | number | bigint;
1651
+ };
1652
+ nullifierTree: {
1653
+ root: string;
1654
+ nextAvailableLeafIndex: string | number | bigint;
1655
+ };
1656
+ publicDataTree: {
1657
+ root: string;
1658
+ nextAvailableLeafIndex: string | number | bigint;
1659
+ };
1660
+ l1ToL2MessageTree: {
1661
+ root: string;
1662
+ nextAvailableLeafIndex: string | number | bigint;
1663
+ };
1664
+ }>;
1665
+ }, "strip", z.ZodTypeAny, {
1666
+ stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
1667
+ actionCounter: number;
1668
+ oldCheckpointId: number;
1669
+ newCheckpointId: number;
1670
+ stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
1671
+ }, {
1672
+ stateAfter: {
1673
+ noteHashTree: {
1674
+ root: string;
1675
+ nextAvailableLeafIndex: string | number | bigint;
1676
+ };
1677
+ nullifierTree: {
1678
+ root: string;
1679
+ nextAvailableLeafIndex: string | number | bigint;
1680
+ };
1681
+ publicDataTree: {
1682
+ root: string;
1683
+ nextAvailableLeafIndex: string | number | bigint;
1684
+ };
1685
+ l1ToL2MessageTree: {
1686
+ root: string;
1687
+ nextAvailableLeafIndex: string | number | bigint;
1688
+ };
1689
+ };
1690
+ actionCounter: number;
1691
+ oldCheckpointId: number;
1692
+ newCheckpointId: number;
1693
+ stateBefore: {
1694
+ noteHashTree: {
1695
+ root: string;
1696
+ nextAvailableLeafIndex: string | number | bigint;
1697
+ };
1698
+ nullifierTree: {
1699
+ root: string;
1700
+ nextAvailableLeafIndex: string | number | bigint;
1701
+ };
1702
+ publicDataTree: {
1703
+ root: string;
1704
+ nextAvailableLeafIndex: string | number | bigint;
1705
+ };
1706
+ l1ToL2MessageTree: {
1707
+ root: string;
1708
+ nextAvailableLeafIndex: string | number | bigint;
1709
+ };
1710
+ };
1711
+ }>, import("./avm.js").AvmRevertCheckpointHint, {
1712
+ stateAfter: {
1713
+ noteHashTree: {
1714
+ root: string;
1715
+ nextAvailableLeafIndex: string | number | bigint;
1716
+ };
1717
+ nullifierTree: {
1718
+ root: string;
1719
+ nextAvailableLeafIndex: string | number | bigint;
1720
+ };
1721
+ publicDataTree: {
1722
+ root: string;
1723
+ nextAvailableLeafIndex: string | number | bigint;
1724
+ };
1725
+ l1ToL2MessageTree: {
1726
+ root: string;
1727
+ nextAvailableLeafIndex: string | number | bigint;
1728
+ };
1729
+ };
1730
+ actionCounter: number;
1731
+ oldCheckpointId: number;
1732
+ newCheckpointId: number;
1733
+ stateBefore: {
1734
+ noteHashTree: {
1735
+ root: string;
1736
+ nextAvailableLeafIndex: string | number | bigint;
1737
+ };
1738
+ nullifierTree: {
1739
+ root: string;
1740
+ nextAvailableLeafIndex: string | number | bigint;
1741
+ };
1742
+ publicDataTree: {
1743
+ root: string;
1744
+ nextAvailableLeafIndex: string | number | bigint;
1745
+ };
1746
+ l1ToL2MessageTree: {
1747
+ root: string;
1748
+ nextAvailableLeafIndex: string | number | bigint;
1749
+ };
1750
+ };
1751
+ }>, "many">;
1752
+ }, "strip", z.ZodTypeAny, {
1753
+ tx: import("./avm.js").AvmTxHint;
1361
1754
  contractInstances: import("./avm.js").AvmContractInstanceHint[];
1362
1755
  contractClasses: import("./avm.js").AvmContractClassHint[];
1363
1756
  bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
@@ -1406,8 +1799,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1406
1799
  path: import("@aztec/foundation/schemas").Fr[];
1407
1800
  };
1408
1801
  }[];
1802
+ appendLeavesHints: import("./avm.js").AvmAppendLeavesHint[];
1803
+ createCheckpointHints: {
1804
+ readonly actionCounter: number;
1805
+ readonly oldCheckpointId: number;
1806
+ readonly newCheckpointId: number;
1807
+ }[];
1808
+ commitCheckpointHints: {
1809
+ readonly actionCounter: number;
1810
+ readonly oldCheckpointId: number;
1811
+ readonly newCheckpointId: number;
1812
+ }[];
1813
+ revertCheckpointHints: import("./avm.js").AvmRevertCheckpointHint[];
1409
1814
  }, {
1410
1815
  tx: {
1816
+ hash: string;
1411
1817
  nonRevertibleAccumulatedData: {
1412
1818
  noteHashes: string[];
1413
1819
  nullifiers: string[];
@@ -1638,8 +2044,72 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1638
2044
  };
1639
2045
  };
1640
2046
  }[];
2047
+ appendLeavesHints: {
2048
+ hintKey: {
2049
+ root: string;
2050
+ nextAvailableLeafIndex: string | number | bigint;
2051
+ };
2052
+ treeId: number;
2053
+ stateAfter: {
2054
+ root: string;
2055
+ nextAvailableLeafIndex: string | number | bigint;
2056
+ };
2057
+ leaves: string[];
2058
+ }[];
2059
+ createCheckpointHints: {
2060
+ actionCounter: number;
2061
+ oldCheckpointId: number;
2062
+ newCheckpointId: number;
2063
+ }[];
2064
+ commitCheckpointHints: {
2065
+ actionCounter: number;
2066
+ oldCheckpointId: number;
2067
+ newCheckpointId: number;
2068
+ }[];
2069
+ revertCheckpointHints: {
2070
+ stateAfter: {
2071
+ noteHashTree: {
2072
+ root: string;
2073
+ nextAvailableLeafIndex: string | number | bigint;
2074
+ };
2075
+ nullifierTree: {
2076
+ root: string;
2077
+ nextAvailableLeafIndex: string | number | bigint;
2078
+ };
2079
+ publicDataTree: {
2080
+ root: string;
2081
+ nextAvailableLeafIndex: string | number | bigint;
2082
+ };
2083
+ l1ToL2MessageTree: {
2084
+ root: string;
2085
+ nextAvailableLeafIndex: string | number | bigint;
2086
+ };
2087
+ };
2088
+ actionCounter: number;
2089
+ oldCheckpointId: number;
2090
+ newCheckpointId: number;
2091
+ stateBefore: {
2092
+ noteHashTree: {
2093
+ root: string;
2094
+ nextAvailableLeafIndex: string | number | bigint;
2095
+ };
2096
+ nullifierTree: {
2097
+ root: string;
2098
+ nextAvailableLeafIndex: string | number | bigint;
2099
+ };
2100
+ publicDataTree: {
2101
+ root: string;
2102
+ nextAvailableLeafIndex: string | number | bigint;
2103
+ };
2104
+ l1ToL2MessageTree: {
2105
+ root: string;
2106
+ nextAvailableLeafIndex: string | number | bigint;
2107
+ };
2108
+ };
2109
+ }[];
1641
2110
  }>, import("./avm.js").AvmExecutionHints, {
1642
2111
  tx: {
2112
+ hash: string;
1643
2113
  nonRevertibleAccumulatedData: {
1644
2114
  noteHashes: string[];
1645
2115
  nullifiers: string[];
@@ -1870,6 +2340,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1870
2340
  };
1871
2341
  };
1872
2342
  }[];
2343
+ appendLeavesHints: {
2344
+ hintKey: {
2345
+ root: string;
2346
+ nextAvailableLeafIndex: string | number | bigint;
2347
+ };
2348
+ treeId: number;
2349
+ stateAfter: {
2350
+ root: string;
2351
+ nextAvailableLeafIndex: string | number | bigint;
2352
+ };
2353
+ leaves: string[];
2354
+ }[];
2355
+ createCheckpointHints: {
2356
+ actionCounter: number;
2357
+ oldCheckpointId: number;
2358
+ newCheckpointId: number;
2359
+ }[];
2360
+ commitCheckpointHints: {
2361
+ actionCounter: number;
2362
+ oldCheckpointId: number;
2363
+ newCheckpointId: number;
2364
+ }[];
2365
+ revertCheckpointHints: {
2366
+ stateAfter: {
2367
+ noteHashTree: {
2368
+ root: string;
2369
+ nextAvailableLeafIndex: string | number | bigint;
2370
+ };
2371
+ nullifierTree: {
2372
+ root: string;
2373
+ nextAvailableLeafIndex: string | number | bigint;
2374
+ };
2375
+ publicDataTree: {
2376
+ root: string;
2377
+ nextAvailableLeafIndex: string | number | bigint;
2378
+ };
2379
+ l1ToL2MessageTree: {
2380
+ root: string;
2381
+ nextAvailableLeafIndex: string | number | bigint;
2382
+ };
2383
+ };
2384
+ actionCounter: number;
2385
+ oldCheckpointId: number;
2386
+ newCheckpointId: number;
2387
+ stateBefore: {
2388
+ noteHashTree: {
2389
+ root: string;
2390
+ nextAvailableLeafIndex: string | number | bigint;
2391
+ };
2392
+ nullifierTree: {
2393
+ root: string;
2394
+ nextAvailableLeafIndex: string | number | bigint;
2395
+ };
2396
+ publicDataTree: {
2397
+ root: string;
2398
+ nextAvailableLeafIndex: string | number | bigint;
2399
+ };
2400
+ l1ToL2MessageTree: {
2401
+ root: string;
2402
+ nextAvailableLeafIndex: string | number | bigint;
2403
+ };
2404
+ };
2405
+ }[];
1873
2406
  }>;
1874
2407
  publicInputs: z.ZodEffects<z.ZodObject<{
1875
2408
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -2876,8 +3409,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2876
3409
  }>;
2877
3410
  }, "strip", z.ZodTypeAny, {
2878
3411
  publicInputs: import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
2879
- calldata: import("@aztec/foundation/schemas").Fr[];
2880
- functionName: string;
2881
3412
  hints: import("./avm.js").AvmExecutionHints;
2882
3413
  }, {
2883
3414
  publicInputs: {
@@ -3029,10 +3560,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3029
3560
  reverted: boolean;
3030
3561
  feePayer?: any;
3031
3562
  };
3032
- calldata: string[];
3033
- functionName: string;
3034
3563
  hints: {
3035
3564
  tx: {
3565
+ hash: string;
3036
3566
  nonRevertibleAccumulatedData: {
3037
3567
  noteHashes: string[];
3038
3568
  nullifiers: string[];
@@ -3263,6 +3793,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3263
3793
  };
3264
3794
  };
3265
3795
  }[];
3796
+ appendLeavesHints: {
3797
+ hintKey: {
3798
+ root: string;
3799
+ nextAvailableLeafIndex: string | number | bigint;
3800
+ };
3801
+ treeId: number;
3802
+ stateAfter: {
3803
+ root: string;
3804
+ nextAvailableLeafIndex: string | number | bigint;
3805
+ };
3806
+ leaves: string[];
3807
+ }[];
3808
+ createCheckpointHints: {
3809
+ actionCounter: number;
3810
+ oldCheckpointId: number;
3811
+ newCheckpointId: number;
3812
+ }[];
3813
+ commitCheckpointHints: {
3814
+ actionCounter: number;
3815
+ oldCheckpointId: number;
3816
+ newCheckpointId: number;
3817
+ }[];
3818
+ revertCheckpointHints: {
3819
+ stateAfter: {
3820
+ noteHashTree: {
3821
+ root: string;
3822
+ nextAvailableLeafIndex: string | number | bigint;
3823
+ };
3824
+ nullifierTree: {
3825
+ root: string;
3826
+ nextAvailableLeafIndex: string | number | bigint;
3827
+ };
3828
+ publicDataTree: {
3829
+ root: string;
3830
+ nextAvailableLeafIndex: string | number | bigint;
3831
+ };
3832
+ l1ToL2MessageTree: {
3833
+ root: string;
3834
+ nextAvailableLeafIndex: string | number | bigint;
3835
+ };
3836
+ };
3837
+ actionCounter: number;
3838
+ oldCheckpointId: number;
3839
+ newCheckpointId: number;
3840
+ stateBefore: {
3841
+ noteHashTree: {
3842
+ root: string;
3843
+ nextAvailableLeafIndex: string | number | bigint;
3844
+ };
3845
+ nullifierTree: {
3846
+ root: string;
3847
+ nextAvailableLeafIndex: string | number | bigint;
3848
+ };
3849
+ publicDataTree: {
3850
+ root: string;
3851
+ nextAvailableLeafIndex: string | number | bigint;
3852
+ };
3853
+ l1ToL2MessageTree: {
3854
+ root: string;
3855
+ nextAvailableLeafIndex: string | number | bigint;
3856
+ };
3857
+ };
3858
+ }[];
3266
3859
  };
3267
3860
  }>, AvmCircuitInputs, {
3268
3861
  publicInputs: {
@@ -3414,10 +4007,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3414
4007
  reverted: boolean;
3415
4008
  feePayer?: any;
3416
4009
  };
3417
- calldata: string[];
3418
- functionName: string;
3419
4010
  hints: {
3420
4011
  tx: {
4012
+ hash: string;
3421
4013
  nonRevertibleAccumulatedData: {
3422
4014
  noteHashes: string[];
3423
4015
  nullifiers: string[];
@@ -3648,6 +4240,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3648
4240
  };
3649
4241
  };
3650
4242
  }[];
4243
+ appendLeavesHints: {
4244
+ hintKey: {
4245
+ root: string;
4246
+ nextAvailableLeafIndex: string | number | bigint;
4247
+ };
4248
+ treeId: number;
4249
+ stateAfter: {
4250
+ root: string;
4251
+ nextAvailableLeafIndex: string | number | bigint;
4252
+ };
4253
+ leaves: string[];
4254
+ }[];
4255
+ createCheckpointHints: {
4256
+ actionCounter: number;
4257
+ oldCheckpointId: number;
4258
+ newCheckpointId: number;
4259
+ }[];
4260
+ commitCheckpointHints: {
4261
+ actionCounter: number;
4262
+ oldCheckpointId: number;
4263
+ newCheckpointId: number;
4264
+ }[];
4265
+ revertCheckpointHints: {
4266
+ stateAfter: {
4267
+ noteHashTree: {
4268
+ root: string;
4269
+ nextAvailableLeafIndex: string | number | bigint;
4270
+ };
4271
+ nullifierTree: {
4272
+ root: string;
4273
+ nextAvailableLeafIndex: string | number | bigint;
4274
+ };
4275
+ publicDataTree: {
4276
+ root: string;
4277
+ nextAvailableLeafIndex: string | number | bigint;
4278
+ };
4279
+ l1ToL2MessageTree: {
4280
+ root: string;
4281
+ nextAvailableLeafIndex: string | number | bigint;
4282
+ };
4283
+ };
4284
+ actionCounter: number;
4285
+ oldCheckpointId: number;
4286
+ newCheckpointId: number;
4287
+ stateBefore: {
4288
+ noteHashTree: {
4289
+ root: string;
4290
+ nextAvailableLeafIndex: string | number | bigint;
4291
+ };
4292
+ nullifierTree: {
4293
+ root: string;
4294
+ nextAvailableLeafIndex: string | number | bigint;
4295
+ };
4296
+ publicDataTree: {
4297
+ root: string;
4298
+ nextAvailableLeafIndex: string | number | bigint;
4299
+ };
4300
+ l1ToL2MessageTree: {
4301
+ root: string;
4302
+ nextAvailableLeafIndex: string | number | bigint;
4303
+ };
4304
+ };
4305
+ }[];
3651
4306
  };
3652
4307
  }>;
3653
4308
  }, "strip", z.ZodTypeAny, {
@@ -3805,10 +4460,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3805
4460
  reverted: boolean;
3806
4461
  feePayer?: any;
3807
4462
  };
3808
- calldata: string[];
3809
- functionName: string;
3810
4463
  hints: {
3811
4464
  tx: {
4465
+ hash: string;
3812
4466
  nonRevertibleAccumulatedData: {
3813
4467
  noteHashes: string[];
3814
4468
  nullifiers: string[];
@@ -4039,6 +4693,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4039
4693
  };
4040
4694
  };
4041
4695
  }[];
4696
+ appendLeavesHints: {
4697
+ hintKey: {
4698
+ root: string;
4699
+ nextAvailableLeafIndex: string | number | bigint;
4700
+ };
4701
+ treeId: number;
4702
+ stateAfter: {
4703
+ root: string;
4704
+ nextAvailableLeafIndex: string | number | bigint;
4705
+ };
4706
+ leaves: string[];
4707
+ }[];
4708
+ createCheckpointHints: {
4709
+ actionCounter: number;
4710
+ oldCheckpointId: number;
4711
+ newCheckpointId: number;
4712
+ }[];
4713
+ commitCheckpointHints: {
4714
+ actionCounter: number;
4715
+ oldCheckpointId: number;
4716
+ newCheckpointId: number;
4717
+ }[];
4718
+ revertCheckpointHints: {
4719
+ stateAfter: {
4720
+ noteHashTree: {
4721
+ root: string;
4722
+ nextAvailableLeafIndex: string | number | bigint;
4723
+ };
4724
+ nullifierTree: {
4725
+ root: string;
4726
+ nextAvailableLeafIndex: string | number | bigint;
4727
+ };
4728
+ publicDataTree: {
4729
+ root: string;
4730
+ nextAvailableLeafIndex: string | number | bigint;
4731
+ };
4732
+ l1ToL2MessageTree: {
4733
+ root: string;
4734
+ nextAvailableLeafIndex: string | number | bigint;
4735
+ };
4736
+ };
4737
+ actionCounter: number;
4738
+ oldCheckpointId: number;
4739
+ newCheckpointId: number;
4740
+ stateBefore: {
4741
+ noteHashTree: {
4742
+ root: string;
4743
+ nextAvailableLeafIndex: string | number | bigint;
4744
+ };
4745
+ nullifierTree: {
4746
+ root: string;
4747
+ nextAvailableLeafIndex: string | number | bigint;
4748
+ };
4749
+ publicDataTree: {
4750
+ root: string;
4751
+ nextAvailableLeafIndex: string | number | bigint;
4752
+ };
4753
+ l1ToL2MessageTree: {
4754
+ root: string;
4755
+ nextAvailableLeafIndex: string | number | bigint;
4756
+ };
4757
+ };
4758
+ }[];
4042
4759
  };
4043
4760
  };
4044
4761
  }>;