@aztec-labs/stdlib 6.0.0-nightly.20261008 → 6.0.0-nightly.20261010

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 (12) hide show
  1. package/dest/contract/contract_address.d.ts +1 -1
  2. package/dest/contract/contract_address.js +1 -1
  3. package/dest/gas/fee_math.d.ts +2 -2
  4. package/dest/gas/fee_math.js +2 -2
  5. package/dest/interfaces/proving-job.d.ts +70 -70
  6. package/dest/keys/derivation.js +2 -2
  7. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +1 -1
  8. package/package.json +8 -8
  9. package/src/contract/contract_address.ts +1 -1
  10. package/src/gas/README.md +2 -2
  11. package/src/gas/fee_math.ts +2 -2
  12. package/src/keys/derivation.ts +2 -2
package/dest/contract/contract_address.d.ts CHANGED
@@ -8,7 +8,7 @@ import type { PartialAddress } from './partial_address.js';
8
8
  * ```
9
9
  * salted_initialization_hash = poseidon2(DOM_SEP__SALTED_INITIALIZATION_HASH, [salt, initialization_hash, deployer, immutables_hash])
10
10
  * partial_address = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [contract_class_id, salted_initialization_hash])
11
- * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V2, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
11
+ * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V3, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
12
12
  * ```
13
13
  * @param instance - A contract instance for which to calculate the deployment address.
14
14
  */
package/dest/contract/contract_address.js CHANGED
@@ -10,7 +10,7 @@ import { computeAddress } from '../keys/index.js';
10
10
  * ```
11
11
  * salted_initialization_hash = poseidon2(DOM_SEP__SALTED_INITIALIZATION_HASH, [salt, initialization_hash, deployer, immutables_hash])
12
12
  * partial_address = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [contract_class_id, salted_initialization_hash])
13
- * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V2, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
13
+ * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V3, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
14
14
  * ```
15
15
  * @param instance - A contract instance for which to calculate the deployment address.
16
16
  */ export async function computeContractAddressFromInstance(instance) {
package/dest/gas/fee_math.d.ts CHANGED
@@ -3,8 +3,8 @@
3
3
  * Used to predict worst-case min fees over a future window of L2 slots.
4
4
  */
5
5
  export declare const MINIMUM_CONGESTION_MULTIPLIER = 1000000000n;
6
- export declare const L1_GAS_PER_CHECKPOINT_PROPOSED = 500000n;
7
- export declare const L1_GAS_PER_EPOCH_VERIFIED = 4000000n;
6
+ export declare const L1_GAS_PER_CHECKPOINT_PROPOSED = 520000n;
7
+ export declare const L1_GAS_PER_EPOCH_VERIFIED = 2500000n;
8
8
  export declare const BLOBS_PER_CHECKPOINT = 3n;
9
9
  export declare const BLOB_GAS_PER_BLOB: bigint;
10
10
  export declare const MAGIC_CONGESTION_VALUE_MULTIPLIER = 854700854n;
package/dest/gas/fee_math.js CHANGED
@@ -3,8 +3,8 @@
3
3
  * Used to predict worst-case min fees over a future window of L2 slots.
4
4
  */ // Constants matching FeeLib.sol
5
5
  export const MINIMUM_CONGESTION_MULTIPLIER = 1_000_000_000n;
6
- export const L1_GAS_PER_CHECKPOINT_PROPOSED = 500_000n;
7
- export const L1_GAS_PER_EPOCH_VERIFIED = 4_000_000n;
6
+ export const L1_GAS_PER_CHECKPOINT_PROPOSED = 520_000n;
7
+ export const L1_GAS_PER_EPOCH_VERIFIED = 2_500_000n;
8
8
  export const BLOBS_PER_CHECKPOINT = 3n;
9
9
  export const BLOB_GAS_PER_BLOB = 2n ** 17n;
10
10
  export const MAGIC_CONGESTION_VALUE_MULTIPLIER = 854_700_854n;
package/dest/interfaces/proving-job.d.ts CHANGED
@@ -414,18 +414,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
414
414
  }>>;
415
415
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
416
416
  leafPreimage: z.ZodPipe<z.ZodObject<{
417
- leaf: z.ZodPipe<z.ZodObject<{
418
- nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
419
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
420
- nullifier: import("@aztec-labs/foundation/schemas").Fr;
421
- }>>;
422
- nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
423
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
424
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
425
- leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
426
- nextKey: import("@aztec-labs/foundation/schemas").Fr;
427
- nextIndex: bigint;
428
- }>> | z.ZodPipe<z.ZodObject<{
429
417
  leaf: z.ZodPipe<z.ZodObject<{
430
418
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
431
419
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -439,6 +427,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
439
427
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
440
428
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
441
429
  nextIndex: bigint;
430
+ }>> | z.ZodPipe<z.ZodObject<{
431
+ leaf: z.ZodPipe<z.ZodObject<{
432
+ nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
433
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
434
+ nullifier: import("@aztec-labs/foundation/schemas").Fr;
435
+ }>>;
436
+ nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
437
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
438
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
439
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
440
+ nextKey: import("@aztec-labs/foundation/schemas").Fr;
441
+ nextIndex: bigint;
442
442
  }>>;
443
443
  }, z.core.$strip>, z.ZodTransform<{
444
444
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
@@ -459,18 +459,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
459
459
  }>>;
460
460
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
461
461
  leafPreimage: z.ZodPipe<z.ZodObject<{
462
- leaf: z.ZodPipe<z.ZodObject<{
463
- nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
464
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
465
- nullifier: import("@aztec-labs/foundation/schemas").Fr;
466
- }>>;
467
- nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
468
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
469
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
470
- leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
471
- nextKey: import("@aztec-labs/foundation/schemas").Fr;
472
- nextIndex: bigint;
473
- }>> | z.ZodPipe<z.ZodObject<{
474
462
  leaf: z.ZodPipe<z.ZodObject<{
475
463
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
476
464
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -484,6 +472,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
484
472
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
485
473
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
486
474
  nextIndex: bigint;
475
+ }>> | z.ZodPipe<z.ZodObject<{
476
+ leaf: z.ZodPipe<z.ZodObject<{
477
+ nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
478
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
479
+ nullifier: import("@aztec-labs/foundation/schemas").Fr;
480
+ }>>;
481
+ nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
482
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
483
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
484
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
485
+ nextKey: import("@aztec-labs/foundation/schemas").Fr;
486
+ nextIndex: bigint;
487
487
  }>>;
488
488
  }, z.core.$strip>, z.ZodTransform<{
489
489
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
@@ -528,30 +528,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
528
528
  }>>;
529
529
  treeId: z.ZodNumber;
530
530
  leaf: z.ZodPipe<z.ZodObject<{
531
- nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
532
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
533
- nullifier: import("@aztec-labs/foundation/schemas").Fr;
534
- }>> | z.ZodPipe<z.ZodObject<{
535
531
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
536
532
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
537
533
  }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
538
534
  slot: import("@aztec-labs/foundation/schemas").Fr;
539
535
  value: import("@aztec-labs/foundation/schemas").Fr;
536
+ }>> | z.ZodPipe<z.ZodObject<{
537
+ nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
538
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
539
+ nullifier: import("@aztec-labs/foundation/schemas").Fr;
540
540
  }>>;
541
541
  lowLeavesWitnessData: z.ZodObject<{
542
542
  leaf: z.ZodPipe<z.ZodObject<{
543
- leaf: z.ZodPipe<z.ZodObject<{
544
- nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
545
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
546
- nullifier: import("@aztec-labs/foundation/schemas").Fr;
547
- }>>;
548
- nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
549
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
550
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
551
- leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
552
- nextKey: import("@aztec-labs/foundation/schemas").Fr;
553
- nextIndex: bigint;
554
- }>> | z.ZodPipe<z.ZodObject<{
555
543
  leaf: z.ZodPipe<z.ZodObject<{
556
544
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
557
545
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -565,12 +553,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
565
553
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
566
554
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
567
555
  nextIndex: bigint;
568
- }>>;
569
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
570
- path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
571
- }, z.core.$strip>;
572
- insertionWitnessData: z.ZodObject<{
573
- leaf: z.ZodPipe<z.ZodObject<{
556
+ }>> | z.ZodPipe<z.ZodObject<{
574
557
  leaf: z.ZodPipe<z.ZodObject<{
575
558
  nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
576
559
  }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
@@ -582,7 +565,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
582
565
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
583
566
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
584
567
  nextIndex: bigint;
585
- }>> | z.ZodPipe<z.ZodObject<{
568
+ }>>;
569
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
570
+ path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
571
+ }, z.core.$strip>;
572
+ insertionWitnessData: z.ZodObject<{
573
+ leaf: z.ZodPipe<z.ZodObject<{
586
574
  leaf: z.ZodPipe<z.ZodObject<{
587
575
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
588
576
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -596,6 +584,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
596
584
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
597
585
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
598
586
  nextIndex: bigint;
587
+ }>> | z.ZodPipe<z.ZodObject<{
588
+ leaf: z.ZodPipe<z.ZodObject<{
589
+ nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
590
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
591
+ nullifier: import("@aztec-labs/foundation/schemas").Fr;
592
+ }>>;
593
+ nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
594
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
595
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
596
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
597
+ nextKey: import("@aztec-labs/foundation/schemas").Fr;
598
+ nextIndex: bigint;
599
599
  }>>;
600
600
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
601
601
  path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
@@ -648,30 +648,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
648
648
  }>>;
649
649
  treeId: z.ZodNumber;
650
650
  leaf: z.ZodPipe<z.ZodObject<{
651
- nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
652
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
653
- nullifier: import("@aztec-labs/foundation/schemas").Fr;
654
- }>> | z.ZodPipe<z.ZodObject<{
655
651
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
656
652
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
657
653
  }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
658
654
  slot: import("@aztec-labs/foundation/schemas").Fr;
659
655
  value: import("@aztec-labs/foundation/schemas").Fr;
656
+ }>> | z.ZodPipe<z.ZodObject<{
657
+ nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
658
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
659
+ nullifier: import("@aztec-labs/foundation/schemas").Fr;
660
660
  }>>;
661
661
  lowLeavesWitnessData: z.ZodObject<{
662
662
  leaf: z.ZodPipe<z.ZodObject<{
663
- leaf: z.ZodPipe<z.ZodObject<{
664
- nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
665
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
666
- nullifier: import("@aztec-labs/foundation/schemas").Fr;
667
- }>>;
668
- nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
669
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
670
- }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
671
- leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
672
- nextKey: import("@aztec-labs/foundation/schemas").Fr;
673
- nextIndex: bigint;
674
- }>> | z.ZodPipe<z.ZodObject<{
675
663
  leaf: z.ZodPipe<z.ZodObject<{
676
664
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
677
665
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -685,12 +673,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
685
673
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
686
674
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
687
675
  nextIndex: bigint;
688
- }>>;
689
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
690
- path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
691
- }, z.core.$strip>;
692
- insertionWitnessData: z.ZodObject<{
693
- leaf: z.ZodPipe<z.ZodObject<{
676
+ }>> | z.ZodPipe<z.ZodObject<{
694
677
  leaf: z.ZodPipe<z.ZodObject<{
695
678
  nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
696
679
  }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
@@ -702,7 +685,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
702
685
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
703
686
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
704
687
  nextIndex: bigint;
705
- }>> | z.ZodPipe<z.ZodObject<{
688
+ }>>;
689
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
690
+ path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
691
+ }, z.core.$strip>;
692
+ insertionWitnessData: z.ZodObject<{
693
+ leaf: z.ZodPipe<z.ZodObject<{
706
694
  leaf: z.ZodPipe<z.ZodObject<{
707
695
  slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
708
696
  value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -716,6 +704,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
716
704
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
717
705
  nextKey: import("@aztec-labs/foundation/schemas").Fr;
718
706
  nextIndex: bigint;
707
+ }>> | z.ZodPipe<z.ZodObject<{
708
+ leaf: z.ZodPipe<z.ZodObject<{
709
+ nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
710
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
711
+ nullifier: import("@aztec-labs/foundation/schemas").Fr;
712
+ }>>;
713
+ nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
714
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
715
+ }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
716
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
717
+ nextKey: import("@aztec-labs/foundation/schemas").Fr;
718
+ nextIndex: bigint;
719
719
  }>>;
720
720
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
721
721
  path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
package/dest/keys/derivation.js CHANGED
@@ -59,11 +59,11 @@ export function computePreaddress(publicKeysHash, partialAddress) {
59
59
  return poseidon2HashWithSeparator([
60
60
  publicKeysHash,
61
61
  partialAddress
62
- ], DomainSeparator.CONTRACT_ADDRESS_V2);
62
+ ], DomainSeparator.CONTRACT_ADDRESS_V3);
63
63
  }
64
64
  export async function computeAddress(publicKeys, partialAddress) {
65
65
  // Given public keys and a partial address, we can compute our address in the following steps.
66
- // 1. preaddress = poseidon2([publicKeysHash, partialAddress], DomainSeparator.CONTRACT_ADDRESS_V2);
66
+ // 1. preaddress = poseidon2([publicKeysHash, partialAddress], DomainSeparator.CONTRACT_ADDRESS_V3);
67
67
  // 2. addressPoint = (preaddress * G) + ivpk_m
68
68
  // 3. address = addressPoint.x
69
69
  const preaddress = await computePreaddress(await publicKeys.hash(), partialAddress);
package/dest/rollup/checkpoint_rollup_public_inputs.d.ts CHANGED
@@ -138,8 +138,8 @@ export declare class FeeRecipient {
138
138
  static empty(): FeeRecipient;
139
139
  isEmpty(): boolean;
140
140
  toFriendlyJSON(): {
141
- recipient?: undefined;
142
141
  value?: undefined;
142
+ recipient?: undefined;
143
143
  } | {
144
144
  recipient: `0x${string}`;
145
145
  value: `0x${string}`;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec-labs/stdlib",
3
- "version": "6.0.0-nightly.20261008",
3
+ "version": "6.0.0-nightly.20261010",
4
4
  "type": "module",
5
5
  "inherits": [
6
6
  "../package.common.json",
@@ -92,12 +92,12 @@
92
92
  },
93
93
  "dependencies": {
94
94
  "@aws-sdk/client-s3": "^3.892.0",
95
- "@aztec-foundation/bb.js": "6.0.0-rc.5",
96
- "@aztec-foundation/noir-noirc_abi": "6.0.0-rc.5",
97
- "@aztec-labs/blob-lib": "6.0.0-nightly.20261008",
98
- "@aztec-labs/constants": "6.0.0-nightly.20261008",
99
- "@aztec-labs/ethereum": "6.0.0-nightly.20261008",
100
- "@aztec-labs/foundation": "6.0.0-nightly.20261008",
95
+ "@aztec-foundation/bb.js": "6.0.0-rc.6",
96
+ "@aztec-foundation/noir-noirc_abi": "6.0.0-rc.6",
97
+ "@aztec-labs/blob-lib": "6.0.0-nightly.20261010",
98
+ "@aztec-labs/constants": "6.0.0-nightly.20261010",
99
+ "@aztec-labs/ethereum": "6.0.0-nightly.20261010",
100
+ "@aztec-labs/foundation": "6.0.0-nightly.20261010",
101
101
  "@google-cloud/storage": "^7.15.0",
102
102
  "axios": "^1.15.1",
103
103
  "json-stringify-deterministic": "1.0.12",
@@ -108,7 +108,7 @@
108
108
  "msgpackr": "^1.11.2",
109
109
  "pako": "^2.1.0",
110
110
  "tslib": "^2.4.0",
111
- "viem": "npm:@aztec/viem@2.38.3",
111
+ "viem": "2.57.1",
112
112
  "zod": "~4.4.3"
113
113
  },
114
114
  "devDependencies": {
package/src/contract/contract_address.ts CHANGED
@@ -16,7 +16,7 @@ import type { PartialAddress } from './partial_address.js';
16
16
  * ```
17
17
  * salted_initialization_hash = poseidon2(DOM_SEP__SALTED_INITIALIZATION_HASH, [salt, initialization_hash, deployer, immutables_hash])
18
18
  * partial_address = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [contract_class_id, salted_initialization_hash])
19
- * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V2, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
19
+ * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V3, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
20
20
  * ```
21
21
  * @param instance - A contract instance for which to calculate the deployment address.
22
22
  */
package/src/gas/README.md CHANGED
@@ -208,8 +208,8 @@ itself, before actual teardown consumption is known.
208
208
 
209
209
  | Constant | Value |
210
210
  | ------------------------------- | -------------- |
211
- | `L1_GAS_PER_CHECKPOINT_PROPOSED` | 500,000 |
212
- | `L1_GAS_PER_EPOCH_VERIFIED` | 4,000,000 |
211
+ | `L1_GAS_PER_CHECKPOINT_PROPOSED` | 520,000 |
212
+ | `L1_GAS_PER_EPOCH_VERIFIED` | 2,500,000 |
213
213
  | `BLOBS_PER_CHECKPOINT` (FeeLib) | 3 |
214
214
  | `BLOB_GAS_PER_BLOB` | 2^17 |
215
215
  | `MINIMUM_CONGESTION_MULTIPLIER` | 1e9 |
package/src/gas/fee_math.ts CHANGED
@@ -5,8 +5,8 @@
5
5
 
6
6
  // Constants matching FeeLib.sol
7
7
  export const MINIMUM_CONGESTION_MULTIPLIER = 1_000_000_000n;
8
- export const L1_GAS_PER_CHECKPOINT_PROPOSED = 500_000n;
9
- export const L1_GAS_PER_EPOCH_VERIFIED = 4_000_000n;
8
+ export const L1_GAS_PER_CHECKPOINT_PROPOSED = 520_000n;
9
+ export const L1_GAS_PER_EPOCH_VERIFIED = 2_500_000n;
10
10
  export const BLOBS_PER_CHECKPOINT = 3n;
11
11
  export const BLOB_GAS_PER_BLOB = 2n ** 17n;
12
12
  export const MAGIC_CONGESTION_VALUE_MULTIPLIER = 854_700_854n;
package/src/keys/derivation.ts CHANGED
@@ -51,12 +51,12 @@ export function deriveMasterFallbackSecretKey(secretKey: Fr): GrumpkinScalar {
51
51
  }
52
52
 
53
53
  export function computePreaddress(publicKeysHash: Fr, partialAddress: Fr) {
54
- return poseidon2HashWithSeparator([publicKeysHash, partialAddress], DomainSeparator.CONTRACT_ADDRESS_V2);
54
+ return poseidon2HashWithSeparator([publicKeysHash, partialAddress], DomainSeparator.CONTRACT_ADDRESS_V3);
55
55
  }
56
56
 
57
57
  export async function computeAddress(publicKeys: PublicKeys, partialAddress: Fr): Promise<AztecAddress> {
58
58
  // Given public keys and a partial address, we can compute our address in the following steps.
59
- // 1. preaddress = poseidon2([publicKeysHash, partialAddress], DomainSeparator.CONTRACT_ADDRESS_V2);
59
+ // 1. preaddress = poseidon2([publicKeysHash, partialAddress], DomainSeparator.CONTRACT_ADDRESS_V3);
60
60
  // 2. addressPoint = (preaddress * G) + ivpk_m
61
61
  // 3. address = addressPoint.x
62
62
  const preaddress = await computePreaddress(await publicKeys.hash(), partialAddress);