@aztec/stdlib 0.84.0-alpha-testnet.0 → 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
@@ -1344,6 +1344,325 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1344
1344
  };
1345
1345
  };
1346
1346
  }>, "many">;
1347
+ createCheckpointHints: z.ZodArray<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
+ }>, {
1360
+ readonly actionCounter: number;
1361
+ readonly oldCheckpointId: number;
1362
+ readonly newCheckpointId: number;
1363
+ }, {
1364
+ actionCounter: number;
1365
+ oldCheckpointId: number;
1366
+ newCheckpointId: number;
1367
+ }>, "many">;
1368
+ commitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1369
+ actionCounter: z.ZodNumber;
1370
+ oldCheckpointId: z.ZodNumber;
1371
+ newCheckpointId: z.ZodNumber;
1372
+ }, "strip", z.ZodTypeAny, {
1373
+ actionCounter: number;
1374
+ oldCheckpointId: number;
1375
+ newCheckpointId: number;
1376
+ }, {
1377
+ actionCounter: number;
1378
+ oldCheckpointId: number;
1379
+ newCheckpointId: number;
1380
+ }>, {
1381
+ readonly actionCounter: number;
1382
+ readonly oldCheckpointId: number;
1383
+ readonly newCheckpointId: number;
1384
+ }, {
1385
+ actionCounter: number;
1386
+ oldCheckpointId: number;
1387
+ newCheckpointId: number;
1388
+ }>, "many">;
1389
+ revertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1390
+ actionCounter: z.ZodNumber;
1391
+ oldCheckpointId: z.ZodNumber;
1392
+ newCheckpointId: z.ZodNumber;
1393
+ stateBefore: z.ZodEffects<z.ZodObject<{
1394
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1395
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1396
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1397
+ }, "strip", z.ZodTypeAny, {
1398
+ root: import("@aztec/foundation/schemas").Fr;
1399
+ nextAvailableLeafIndex: number;
1400
+ }, {
1401
+ root: string;
1402
+ nextAvailableLeafIndex: string | number | bigint;
1403
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1404
+ root: string;
1405
+ nextAvailableLeafIndex: string | number | bigint;
1406
+ }>;
1407
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1408
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1409
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1410
+ }, "strip", z.ZodTypeAny, {
1411
+ root: import("@aztec/foundation/schemas").Fr;
1412
+ nextAvailableLeafIndex: number;
1413
+ }, {
1414
+ root: string;
1415
+ nextAvailableLeafIndex: string | number | bigint;
1416
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1417
+ root: string;
1418
+ nextAvailableLeafIndex: string | number | bigint;
1419
+ }>;
1420
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1421
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1422
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1423
+ }, "strip", z.ZodTypeAny, {
1424
+ root: import("@aztec/foundation/schemas").Fr;
1425
+ nextAvailableLeafIndex: number;
1426
+ }, {
1427
+ root: string;
1428
+ nextAvailableLeafIndex: string | number | bigint;
1429
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1430
+ root: string;
1431
+ nextAvailableLeafIndex: string | number | bigint;
1432
+ }>;
1433
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1434
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1435
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1436
+ }, "strip", z.ZodTypeAny, {
1437
+ root: import("@aztec/foundation/schemas").Fr;
1438
+ nextAvailableLeafIndex: number;
1439
+ }, {
1440
+ root: string;
1441
+ nextAvailableLeafIndex: string | number | bigint;
1442
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1443
+ root: string;
1444
+ nextAvailableLeafIndex: string | number | bigint;
1445
+ }>;
1446
+ }, "strip", z.ZodTypeAny, {
1447
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1448
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1449
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1450
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1451
+ }, {
1452
+ noteHashTree: {
1453
+ root: string;
1454
+ nextAvailableLeafIndex: string | number | bigint;
1455
+ };
1456
+ nullifierTree: {
1457
+ root: string;
1458
+ nextAvailableLeafIndex: string | number | bigint;
1459
+ };
1460
+ publicDataTree: {
1461
+ root: string;
1462
+ nextAvailableLeafIndex: string | number | bigint;
1463
+ };
1464
+ l1ToL2MessageTree: {
1465
+ root: string;
1466
+ nextAvailableLeafIndex: string | number | bigint;
1467
+ };
1468
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1469
+ noteHashTree: {
1470
+ root: string;
1471
+ nextAvailableLeafIndex: string | number | bigint;
1472
+ };
1473
+ nullifierTree: {
1474
+ root: string;
1475
+ nextAvailableLeafIndex: string | number | bigint;
1476
+ };
1477
+ publicDataTree: {
1478
+ root: string;
1479
+ nextAvailableLeafIndex: string | number | bigint;
1480
+ };
1481
+ l1ToL2MessageTree: {
1482
+ root: string;
1483
+ nextAvailableLeafIndex: string | number | bigint;
1484
+ };
1485
+ }>;
1486
+ stateAfter: z.ZodEffects<z.ZodObject<{
1487
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1488
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1489
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1490
+ }, "strip", z.ZodTypeAny, {
1491
+ root: import("@aztec/foundation/schemas").Fr;
1492
+ nextAvailableLeafIndex: number;
1493
+ }, {
1494
+ root: string;
1495
+ nextAvailableLeafIndex: string | number | bigint;
1496
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1497
+ root: string;
1498
+ nextAvailableLeafIndex: string | number | bigint;
1499
+ }>;
1500
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1501
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1502
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1503
+ }, "strip", z.ZodTypeAny, {
1504
+ root: import("@aztec/foundation/schemas").Fr;
1505
+ nextAvailableLeafIndex: number;
1506
+ }, {
1507
+ root: string;
1508
+ nextAvailableLeafIndex: string | number | bigint;
1509
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1510
+ root: string;
1511
+ nextAvailableLeafIndex: string | number | bigint;
1512
+ }>;
1513
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1514
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1515
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1516
+ }, "strip", z.ZodTypeAny, {
1517
+ root: import("@aztec/foundation/schemas").Fr;
1518
+ nextAvailableLeafIndex: number;
1519
+ }, {
1520
+ root: string;
1521
+ nextAvailableLeafIndex: string | number | bigint;
1522
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1523
+ root: string;
1524
+ nextAvailableLeafIndex: string | number | bigint;
1525
+ }>;
1526
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1527
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1528
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1529
+ }, "strip", z.ZodTypeAny, {
1530
+ root: import("@aztec/foundation/schemas").Fr;
1531
+ nextAvailableLeafIndex: number;
1532
+ }, {
1533
+ root: string;
1534
+ nextAvailableLeafIndex: string | number | bigint;
1535
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1536
+ root: string;
1537
+ nextAvailableLeafIndex: string | number | bigint;
1538
+ }>;
1539
+ }, "strip", z.ZodTypeAny, {
1540
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1541
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1542
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1543
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1544
+ }, {
1545
+ noteHashTree: {
1546
+ root: string;
1547
+ nextAvailableLeafIndex: string | number | bigint;
1548
+ };
1549
+ nullifierTree: {
1550
+ root: string;
1551
+ nextAvailableLeafIndex: string | number | bigint;
1552
+ };
1553
+ publicDataTree: {
1554
+ root: string;
1555
+ nextAvailableLeafIndex: string | number | bigint;
1556
+ };
1557
+ l1ToL2MessageTree: {
1558
+ root: string;
1559
+ nextAvailableLeafIndex: string | number | bigint;
1560
+ };
1561
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1562
+ noteHashTree: {
1563
+ root: string;
1564
+ nextAvailableLeafIndex: string | number | bigint;
1565
+ };
1566
+ nullifierTree: {
1567
+ root: string;
1568
+ nextAvailableLeafIndex: string | number | bigint;
1569
+ };
1570
+ publicDataTree: {
1571
+ root: string;
1572
+ nextAvailableLeafIndex: string | number | bigint;
1573
+ };
1574
+ l1ToL2MessageTree: {
1575
+ root: string;
1576
+ nextAvailableLeafIndex: string | number | bigint;
1577
+ };
1578
+ }>;
1579
+ }, "strip", z.ZodTypeAny, {
1580
+ stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
1581
+ actionCounter: number;
1582
+ oldCheckpointId: number;
1583
+ newCheckpointId: number;
1584
+ stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
1585
+ }, {
1586
+ stateAfter: {
1587
+ noteHashTree: {
1588
+ root: string;
1589
+ nextAvailableLeafIndex: string | number | bigint;
1590
+ };
1591
+ nullifierTree: {
1592
+ root: string;
1593
+ nextAvailableLeafIndex: string | number | bigint;
1594
+ };
1595
+ publicDataTree: {
1596
+ root: string;
1597
+ nextAvailableLeafIndex: string | number | bigint;
1598
+ };
1599
+ l1ToL2MessageTree: {
1600
+ root: string;
1601
+ nextAvailableLeafIndex: string | number | bigint;
1602
+ };
1603
+ };
1604
+ actionCounter: number;
1605
+ oldCheckpointId: number;
1606
+ newCheckpointId: number;
1607
+ stateBefore: {
1608
+ noteHashTree: {
1609
+ root: string;
1610
+ nextAvailableLeafIndex: string | number | bigint;
1611
+ };
1612
+ nullifierTree: {
1613
+ root: string;
1614
+ nextAvailableLeafIndex: string | number | bigint;
1615
+ };
1616
+ publicDataTree: {
1617
+ root: string;
1618
+ nextAvailableLeafIndex: string | number | bigint;
1619
+ };
1620
+ l1ToL2MessageTree: {
1621
+ root: string;
1622
+ nextAvailableLeafIndex: string | number | bigint;
1623
+ };
1624
+ };
1625
+ }>, import("./avm.js").AvmRevertCheckpointHint, {
1626
+ stateAfter: {
1627
+ noteHashTree: {
1628
+ root: string;
1629
+ nextAvailableLeafIndex: string | number | bigint;
1630
+ };
1631
+ nullifierTree: {
1632
+ root: string;
1633
+ nextAvailableLeafIndex: string | number | bigint;
1634
+ };
1635
+ publicDataTree: {
1636
+ root: string;
1637
+ nextAvailableLeafIndex: string | number | bigint;
1638
+ };
1639
+ l1ToL2MessageTree: {
1640
+ root: string;
1641
+ nextAvailableLeafIndex: string | number | bigint;
1642
+ };
1643
+ };
1644
+ actionCounter: number;
1645
+ oldCheckpointId: number;
1646
+ newCheckpointId: number;
1647
+ stateBefore: {
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
+ }>, "many">;
1347
1666
  }, "strip", z.ZodTypeAny, {
1348
1667
  tx: {
1349
1668
  nonRevertibleAccumulatedData: {
@@ -1406,6 +1725,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1406
1725
  path: import("@aztec/foundation/schemas").Fr[];
1407
1726
  };
1408
1727
  }[];
1728
+ createCheckpointHints: {
1729
+ readonly actionCounter: number;
1730
+ readonly oldCheckpointId: number;
1731
+ readonly newCheckpointId: number;
1732
+ }[];
1733
+ commitCheckpointHints: {
1734
+ readonly actionCounter: number;
1735
+ readonly oldCheckpointId: number;
1736
+ readonly newCheckpointId: number;
1737
+ }[];
1738
+ revertCheckpointHints: import("./avm.js").AvmRevertCheckpointHint[];
1409
1739
  }, {
1410
1740
  tx: {
1411
1741
  nonRevertibleAccumulatedData: {
@@ -1638,6 +1968,57 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1638
1968
  };
1639
1969
  };
1640
1970
  }[];
1971
+ createCheckpointHints: {
1972
+ actionCounter: number;
1973
+ oldCheckpointId: number;
1974
+ newCheckpointId: number;
1975
+ }[];
1976
+ commitCheckpointHints: {
1977
+ actionCounter: number;
1978
+ oldCheckpointId: number;
1979
+ newCheckpointId: number;
1980
+ }[];
1981
+ revertCheckpointHints: {
1982
+ stateAfter: {
1983
+ noteHashTree: {
1984
+ root: string;
1985
+ nextAvailableLeafIndex: string | number | bigint;
1986
+ };
1987
+ nullifierTree: {
1988
+ root: string;
1989
+ nextAvailableLeafIndex: string | number | bigint;
1990
+ };
1991
+ publicDataTree: {
1992
+ root: string;
1993
+ nextAvailableLeafIndex: string | number | bigint;
1994
+ };
1995
+ l1ToL2MessageTree: {
1996
+ root: string;
1997
+ nextAvailableLeafIndex: string | number | bigint;
1998
+ };
1999
+ };
2000
+ actionCounter: number;
2001
+ oldCheckpointId: number;
2002
+ newCheckpointId: number;
2003
+ stateBefore: {
2004
+ noteHashTree: {
2005
+ root: string;
2006
+ nextAvailableLeafIndex: string | number | bigint;
2007
+ };
2008
+ nullifierTree: {
2009
+ root: string;
2010
+ nextAvailableLeafIndex: string | number | bigint;
2011
+ };
2012
+ publicDataTree: {
2013
+ root: string;
2014
+ nextAvailableLeafIndex: string | number | bigint;
2015
+ };
2016
+ l1ToL2MessageTree: {
2017
+ root: string;
2018
+ nextAvailableLeafIndex: string | number | bigint;
2019
+ };
2020
+ };
2021
+ }[];
1641
2022
  }>, import("./avm.js").AvmExecutionHints, {
1642
2023
  tx: {
1643
2024
  nonRevertibleAccumulatedData: {
@@ -1870,6 +2251,57 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1870
2251
  };
1871
2252
  };
1872
2253
  }[];
2254
+ createCheckpointHints: {
2255
+ actionCounter: number;
2256
+ oldCheckpointId: number;
2257
+ newCheckpointId: number;
2258
+ }[];
2259
+ commitCheckpointHints: {
2260
+ actionCounter: number;
2261
+ oldCheckpointId: number;
2262
+ newCheckpointId: number;
2263
+ }[];
2264
+ revertCheckpointHints: {
2265
+ stateAfter: {
2266
+ noteHashTree: {
2267
+ root: string;
2268
+ nextAvailableLeafIndex: string | number | bigint;
2269
+ };
2270
+ nullifierTree: {
2271
+ root: string;
2272
+ nextAvailableLeafIndex: string | number | bigint;
2273
+ };
2274
+ publicDataTree: {
2275
+ root: string;
2276
+ nextAvailableLeafIndex: string | number | bigint;
2277
+ };
2278
+ l1ToL2MessageTree: {
2279
+ root: string;
2280
+ nextAvailableLeafIndex: string | number | bigint;
2281
+ };
2282
+ };
2283
+ actionCounter: number;
2284
+ oldCheckpointId: number;
2285
+ newCheckpointId: number;
2286
+ stateBefore: {
2287
+ noteHashTree: {
2288
+ root: string;
2289
+ nextAvailableLeafIndex: string | number | bigint;
2290
+ };
2291
+ nullifierTree: {
2292
+ root: string;
2293
+ nextAvailableLeafIndex: string | number | bigint;
2294
+ };
2295
+ publicDataTree: {
2296
+ root: string;
2297
+ nextAvailableLeafIndex: string | number | bigint;
2298
+ };
2299
+ l1ToL2MessageTree: {
2300
+ root: string;
2301
+ nextAvailableLeafIndex: string | number | bigint;
2302
+ };
2303
+ };
2304
+ }[];
1873
2305
  }>;
1874
2306
  publicInputs: z.ZodEffects<z.ZodObject<{
1875
2307
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -3263,6 +3695,57 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3263
3695
  };
3264
3696
  };
3265
3697
  }[];
3698
+ createCheckpointHints: {
3699
+ actionCounter: number;
3700
+ oldCheckpointId: number;
3701
+ newCheckpointId: number;
3702
+ }[];
3703
+ commitCheckpointHints: {
3704
+ actionCounter: number;
3705
+ oldCheckpointId: number;
3706
+ newCheckpointId: number;
3707
+ }[];
3708
+ revertCheckpointHints: {
3709
+ stateAfter: {
3710
+ noteHashTree: {
3711
+ root: string;
3712
+ nextAvailableLeafIndex: string | number | bigint;
3713
+ };
3714
+ nullifierTree: {
3715
+ root: string;
3716
+ nextAvailableLeafIndex: string | number | bigint;
3717
+ };
3718
+ publicDataTree: {
3719
+ root: string;
3720
+ nextAvailableLeafIndex: string | number | bigint;
3721
+ };
3722
+ l1ToL2MessageTree: {
3723
+ root: string;
3724
+ nextAvailableLeafIndex: string | number | bigint;
3725
+ };
3726
+ };
3727
+ actionCounter: number;
3728
+ oldCheckpointId: number;
3729
+ newCheckpointId: number;
3730
+ stateBefore: {
3731
+ noteHashTree: {
3732
+ root: string;
3733
+ nextAvailableLeafIndex: string | number | bigint;
3734
+ };
3735
+ nullifierTree: {
3736
+ root: string;
3737
+ nextAvailableLeafIndex: string | number | bigint;
3738
+ };
3739
+ publicDataTree: {
3740
+ root: string;
3741
+ nextAvailableLeafIndex: string | number | bigint;
3742
+ };
3743
+ l1ToL2MessageTree: {
3744
+ root: string;
3745
+ nextAvailableLeafIndex: string | number | bigint;
3746
+ };
3747
+ };
3748
+ }[];
3266
3749
  };
3267
3750
  }>, AvmCircuitInputs, {
3268
3751
  publicInputs: {
@@ -3648,6 +4131,57 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3648
4131
  };
3649
4132
  };
3650
4133
  }[];
4134
+ createCheckpointHints: {
4135
+ actionCounter: number;
4136
+ oldCheckpointId: number;
4137
+ newCheckpointId: number;
4138
+ }[];
4139
+ commitCheckpointHints: {
4140
+ actionCounter: number;
4141
+ oldCheckpointId: number;
4142
+ newCheckpointId: number;
4143
+ }[];
4144
+ revertCheckpointHints: {
4145
+ stateAfter: {
4146
+ noteHashTree: {
4147
+ root: string;
4148
+ nextAvailableLeafIndex: string | number | bigint;
4149
+ };
4150
+ nullifierTree: {
4151
+ root: string;
4152
+ nextAvailableLeafIndex: string | number | bigint;
4153
+ };
4154
+ publicDataTree: {
4155
+ root: string;
4156
+ nextAvailableLeafIndex: string | number | bigint;
4157
+ };
4158
+ l1ToL2MessageTree: {
4159
+ root: string;
4160
+ nextAvailableLeafIndex: string | number | bigint;
4161
+ };
4162
+ };
4163
+ actionCounter: number;
4164
+ oldCheckpointId: number;
4165
+ newCheckpointId: number;
4166
+ stateBefore: {
4167
+ noteHashTree: {
4168
+ root: string;
4169
+ nextAvailableLeafIndex: string | number | bigint;
4170
+ };
4171
+ nullifierTree: {
4172
+ root: string;
4173
+ nextAvailableLeafIndex: string | number | bigint;
4174
+ };
4175
+ publicDataTree: {
4176
+ root: string;
4177
+ nextAvailableLeafIndex: string | number | bigint;
4178
+ };
4179
+ l1ToL2MessageTree: {
4180
+ root: string;
4181
+ nextAvailableLeafIndex: string | number | bigint;
4182
+ };
4183
+ };
4184
+ }[];
3651
4185
  };
3652
4186
  }>;
3653
4187
  }, "strip", z.ZodTypeAny, {
@@ -4039,6 +4573,57 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4039
4573
  };
4040
4574
  };
4041
4575
  }[];
4576
+ createCheckpointHints: {
4577
+ actionCounter: number;
4578
+ oldCheckpointId: number;
4579
+ newCheckpointId: number;
4580
+ }[];
4581
+ commitCheckpointHints: {
4582
+ actionCounter: number;
4583
+ oldCheckpointId: number;
4584
+ newCheckpointId: number;
4585
+ }[];
4586
+ revertCheckpointHints: {
4587
+ stateAfter: {
4588
+ noteHashTree: {
4589
+ root: string;
4590
+ nextAvailableLeafIndex: string | number | bigint;
4591
+ };
4592
+ nullifierTree: {
4593
+ root: string;
4594
+ nextAvailableLeafIndex: string | number | bigint;
4595
+ };
4596
+ publicDataTree: {
4597
+ root: string;
4598
+ nextAvailableLeafIndex: string | number | bigint;
4599
+ };
4600
+ l1ToL2MessageTree: {
4601
+ root: string;
4602
+ nextAvailableLeafIndex: string | number | bigint;
4603
+ };
4604
+ };
4605
+ actionCounter: number;
4606
+ oldCheckpointId: number;
4607
+ newCheckpointId: number;
4608
+ stateBefore: {
4609
+ noteHashTree: {
4610
+ root: string;
4611
+ nextAvailableLeafIndex: string | number | bigint;
4612
+ };
4613
+ nullifierTree: {
4614
+ root: string;
4615
+ nextAvailableLeafIndex: string | number | bigint;
4616
+ };
4617
+ publicDataTree: {
4618
+ root: string;
4619
+ nextAvailableLeafIndex: string | number | bigint;
4620
+ };
4621
+ l1ToL2MessageTree: {
4622
+ root: string;
4623
+ nextAvailableLeafIndex: string | number | bigint;
4624
+ };
4625
+ };
4626
+ }[];
4042
4627
  };
4043
4628
  };
4044
4629
  }>;
@@ -1 +1 @@
1
- {"version":3,"file":"avm_proving_request.d.ts","sourceRoot":"","sources":["../../src/avm/avm_proving_request.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAE5C,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlC,CAAC"}
1
+ {"version":3,"file":"avm_proving_request.d.ts","sourceRoot":"","sources":["../../src/avm/avm_proving_request.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAE5C,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlC,CAAC"}