@aztec/stdlib 1.0.0-nightly.20250605 → 1.0.0-nightly.20250607

package/dest/tx/tx_context.d.ts

@@ -49,30 +49,30 @@ export declare class TxContext {
                 l2Gas: string | number | bigint;
             }>;
             maxFeesPerGas: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodType<Fr, any, string>;
-                feePerL2Gas: z.ZodType<Fr, any, string>;
+                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
-                feePerDaGas: Fr;
-                feePerL2Gas: Fr;
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
             }, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             }>, import("../gas/gas_fees.js").GasFees, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             }>;
             maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodType<Fr, any, string>;
-                feePerL2Gas: z.ZodType<Fr, any, string>;
+                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
-                feePerDaGas: Fr;
-                feePerL2Gas: Fr;
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
             }, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             }>, import("../gas/gas_fees.js").GasFees, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             }>;
         }, "strip", z.ZodTypeAny, {
             gasLimits: import("../gas/gas.js").Gas;
@@ -89,12 +89,12 @@ export declare class TxContext {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         }>, GasSettings, {
             gasLimits: {
@@ -106,12 +106,12 @@ export declare class TxContext {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         }>;
     }, "strip", z.ZodTypeAny, {
@@ -131,12 +131,12 @@ export declare class TxContext {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         };
     }>, TxContext, {
@@ -152,12 +152,12 @@ export declare class TxContext {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         };
     }>;

package/dest/types/shared.d.ts

@@ -23,6 +23,10 @@ export type UInt32 = number;
  * A type alias for a 64-bit unsigned integer.
  */
 export type UInt64 = bigint;
+/**
+ * A type alias for a 128-bit unsigned integer.
+ */
+export type UInt128 = bigint;
 /**
  * CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
  * to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are  constructed;

package/dest/types/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;;IAHjB;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAGnB,QAAQ;IAIR,cAAc;CAGf;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;;;GAIG;AACH,oBAAY,WAAW;IACrB,QAAQ,IAAI;IACZ,KAAK,IAAI;CACV;AAED;;GAEG;AACH,oBAAY,WAAW;IACrB,IAAI,IAAI;IACR,KAAK,IAAI;IACT,IAAI,IAAI;CACT"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;;IAHjB;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAGnB,QAAQ;IAIR,cAAc;CAGf;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B;;;;GAIG;AACH,oBAAY,WAAW;IACrB,QAAQ,IAAI;IACZ,KAAK,IAAI;CACV;AAED;;GAEG;AACH,oBAAY,WAAW;IACrB,IAAI,IAAI;IACR,KAAK,IAAI;IACT,IAAI,IAAI;CACT"}

package/dest/zkpassport/index.d.ts

@@ -0,0 +1,31 @@
+import { Buffer32 } from '@aztec/foundation/buffer';
+import { Fr } from '@aztec/foundation/fields';
+export type ViemZkPassportProofParams = {
+    vkeyHash: `0x${string}`;
+    proof: `0x${string}`;
+    publicInputs: `0x${string}`[];
+    committedInputs: `0x${string}`;
+    committedInputCounts: bigint[];
+    validityPeriodInDays: bigint;
+    scope: string;
+    subscope: string;
+    devMode: boolean;
+};
+export declare class ZkPassportProofParams {
+    devMode: boolean;
+    vkeyHash: Buffer32;
+    proof: Buffer;
+    publicInputs: Fr[];
+    committedInputs: Buffer;
+    committedInputCounts: bigint[];
+    validityPeriodInDays: bigint;
+    scope: string;
+    subscope: string;
+    constructor(devMode: boolean, vkeyHash: Buffer32, proof: Buffer, publicInputs: Fr[], committedInputs: Buffer, committedInputCounts: bigint[], validityPeriodInDays: bigint, scope: string, subscope: string);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static random(): ZkPassportProofParams;
+    static fromBuffer(buffer: Buffer): ZkPassportProofParams;
+    static fromViem(params: ViemZkPassportProofParams): ZkPassportProofParams;
+    toViem(): ViemZkPassportProofParams;
+}
+//# sourceMappingURL=index.d.ts.map

package/dest/zkpassport/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/zkpassport/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEpD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAI9C,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,EAAE,KAAK,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,KAAK,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,KAAK,MAAM,EAAE,EAAE,CAAC;IAC9B,eAAe,EAAE,KAAK,MAAM,EAAE,CAAC;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAIF,qBAAa,qBAAqB;IAEvB,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,QAAQ;IAClB,KAAK,EAAE,MAAM;IACb,YAAY,EAAE,EAAE,EAAE;IAClB,eAAe,EAAE,MAAM;IACvB,oBAAoB,EAAE,MAAM,EAAE;IAC9B,oBAAoB,EAAE,MAAM;IAC5B,KAAK,EAAE,MAAM;IACb,QAAQ,EAAE,MAAM;gBARhB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,MAAM,EACb,YAAY,EAAE,EAAE,EAAE,EAClB,eAAe,EAAE,MAAM,EACvB,oBAAoB,EAAE,MAAM,EAAE,EAC9B,oBAAoB,EAAE,MAAM,EAC5B,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM;IAGzB,QAAQ;IAkBR,MAAM,CAAC,MAAM;IAqBb,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM;IAehC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,yBAAyB;IAcjD,MAAM,IAAI,yBAAyB;CAapC"}

package/dest/zkpassport/index.js

@@ -0,0 +1,81 @@
+import { Buffer32 } from '@aztec/foundation/buffer';
+import { randomBytes } from '@aztec/foundation/crypto';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { withoutHexPrefix } from '@aztec/foundation/string';
+// NOTE: Must match the ZkPassportProofParams struct in the zkpassport verifier contract
+// find here: ROOT/l1-contracts/lib/circuits/src/solidity/src/ZKPassportVerifier.sol
+export class ZkPassportProofParams {
+    devMode;
+    vkeyHash;
+    proof;
+    publicInputs;
+    committedInputs;
+    committedInputCounts;
+    validityPeriodInDays;
+    scope;
+    subscope;
+    constructor(devMode, vkeyHash, proof, publicInputs, committedInputs, committedInputCounts, validityPeriodInDays, scope, subscope){
+        this.devMode = devMode;
+        this.vkeyHash = vkeyHash;
+        this.proof = proof;
+        this.publicInputs = publicInputs;
+        this.committedInputs = committedInputs;
+        this.committedInputCounts = committedInputCounts;
+        this.validityPeriodInDays = validityPeriodInDays;
+        this.scope = scope;
+        this.subscope = subscope;
+    }
+    toBuffer() {
+        return serializeToBuffer([
+            this.devMode,
+            this.vkeyHash,
+            this.proof.length,
+            this.proof,
+            this.publicInputs.length,
+            this.publicInputs,
+            this.committedInputs.length,
+            this.committedInputs,
+            this.committedInputCounts.length,
+            this.committedInputCounts,
+            this.validityPeriodInDays,
+            this.scope,
+            this.subscope
+        ]);
+    }
+    static random() {
+        const committedInputCounts = [
+            BigInt(1),
+            BigInt(2),
+            BigInt(3),
+            BigInt(4)
+        ];
+        const numberOfCommittedInputs = committedInputCounts.reduce((acc, count)=>acc + count, BigInt(0));
+        const committedInputs = randomBytes(Number(numberOfCommittedInputs) * 32);
+        const publicInputsCount = numberOfCommittedInputs + 16n;
+        const publicInputs = Array.from({
+            length: Number(publicInputsCount)
+        }, ()=>Fr.random());
+        return new ZkPassportProofParams(false, Buffer32.random(), randomBytes(1024), publicInputs, committedInputs, committedInputCounts, BigInt(100), 'sequencer.alpha-testnet.aztec.network', 'personhood');
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ZkPassportProofParams(reader.readBoolean(), reader.readObject(Buffer32), reader.readBuffer(), reader.readVector(Fr), reader.readBuffer(), reader.readUint256Vector(), reader.readUInt256(), reader.readString(), reader.readString());
+    }
+    static fromViem(params) {
+        return new ZkPassportProofParams(params.devMode, Buffer32.fromString(params.vkeyHash), Buffer.from(withoutHexPrefix(params.proof), 'hex'), params.publicInputs.map((input)=>Fr.fromString(input)), Buffer.from(withoutHexPrefix(params.committedInputs), 'hex'), params.committedInputCounts, params.validityPeriodInDays, params.scope, params.subscope);
+    }
+    toViem() {
+        return {
+            devMode: this.devMode,
+            vkeyHash: this.vkeyHash.toString(),
+            proof: `0x${this.proof.toString('hex')}`,
+            publicInputs: this.publicInputs.map((input)=>input.toString()),
+            committedInputs: `0x${this.committedInputs.toString('hex')}`,
+            committedInputCounts: this.committedInputCounts,
+            validityPeriodInDays: this.validityPeriodInDays,
+            scope: this.scope,
+            subscope: this.subscope
+        };
+    }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/stdlib",
-  "version": "1.0.0-nightly.20250605",
+  "version": "1.0.0-nightly.20250607",
   "type": "module",
   "inherits": [
     "../package.common.json",
@@ -50,7 +50,8 @@
     "./validators": "./dest/validators/index.js",
     "./file-store": "./dest/file-store/index.js",
     "./snapshots": "./dest/snapshots/index.js",
-    "./update-checker": "./dest/update-checker/index.js"
+    "./update-checker": "./dest/update-checker/index.js",
+    "./zkpassport": "./dest/zkpassport/index.js"
   },
   "typedocOptions": {
     "entryPoints": [
@@ -67,12 +68,12 @@
     "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
   },
   "dependencies": {
-    "@aztec/bb.js": "1.0.0-nightly.20250605",
-    "@aztec/blob-lib": "1.0.0-nightly.20250605",
-    "@aztec/constants": "1.0.0-nightly.20250605",
-    "@aztec/ethereum": "1.0.0-nightly.20250605",
-    "@aztec/foundation": "1.0.0-nightly.20250605",
-    "@aztec/noir-noirc_abi": "1.0.0-nightly.20250605",
+    "@aztec/bb.js": "1.0.0-nightly.20250607",
+    "@aztec/blob-lib": "1.0.0-nightly.20250607",
+    "@aztec/constants": "1.0.0-nightly.20250607",
+    "@aztec/ethereum": "1.0.0-nightly.20250607",
+    "@aztec/foundation": "1.0.0-nightly.20250607",
+    "@aztec/noir-noirc_abi": "1.0.0-nightly.20250607",
     "@google-cloud/storage": "^7.15.0",
     "axios": "^1.9.0",
     "json-stringify-deterministic": "1.0.12",

package/src/avm/message_pack.ts

@@ -13,6 +13,7 @@ export function serializeWithMessagePack(obj: any): Buffer {
     // this makes it compatible with other MessagePack decoders
     useRecords: false,
     int64AsType: 'bigint',
+    largeBigIntToString: true,
   });
   return encoder.encode(obj);
 }

package/src/block/l2_block_code_to_purge.ts

@@ -98,6 +98,6 @@ export function makeGlobalVariables(
     new Fr(seed + 4),
     EthAddress.fromField(new Fr(seed + 5)),
     AztecAddress.fromField(new Fr(seed + 6)),
-    new GasFees(new Fr(seed + 7), new Fr(seed + 8)),
+    new GasFees(seed + 7, seed + 8),
   );
 }

package/src/block/l2_block_source.ts

@@ -119,6 +119,9 @@ export interface L2BlockSource {
    */
   getL1Constants(): Promise<L1RollupConstants>;
 
+  /** Latest synced L1 timestamp. */
+  getL1Timestamp(): Promise<bigint>;
+
   /** Force a sync. */
   syncImmediate(): Promise<void>;
 }

package/src/config/node-rpc-config.ts

@@ -6,9 +6,16 @@ export const nodeRpcConfigMappings: ConfigMappingsType<NodeRPCConfig> = {
     description: 'Maximum gas limit for public tx simulation in the node on `simulatePublicCalls`.',
     ...numberConfigHelper(10e9),
   },
+  rpcMaxBatchSize: {
+    env: 'RPC_MAX_BATCH_SIZE',
+    description: 'Maximum allowed batch size for JSON RPC batch requests.',
+    ...numberConfigHelper(100),
+  },
 };
 
 export type NodeRPCConfig = {
   /** Maximum gas limit for public tx simulation in the node on `simulatePublicCalls`. */
   rpcSimulatePublicMaxGasLimit: number;
+  /** Maximum allowed batch size for JSON RPC batch requests. */
+  rpcMaxBatchSize: number;
 };

package/src/fees/transaction_fee.ts

@@ -10,15 +10,15 @@ import type { GasSettings } from '../gas/gas_settings.js';
  */
 export function computeEffectiveGasFees(gasFees: GasFees, gasSettings: GasSettings): GasFees {
   const { maxFeesPerGas, maxPriorityFeesPerGas } = gasSettings;
-  const minField = (f1: Fr, f2: Fr) => (f1.lt(f2) ? f1 : f2);
+  const minBigInt = (f1: bigint, f2: bigint) => (f1 < f2 ? f1 : f2);
   const priorityFees = new GasFees(
-    minField(maxPriorityFeesPerGas.feePerDaGas, maxFeesPerGas.feePerDaGas.sub(gasFees.feePerDaGas)),
-    minField(maxPriorityFeesPerGas.feePerL2Gas, maxFeesPerGas.feePerL2Gas.sub(gasFees.feePerL2Gas)),
+    minBigInt(maxPriorityFeesPerGas.feePerDaGas, maxFeesPerGas.feePerDaGas - gasFees.feePerDaGas),
+    minBigInt(maxPriorityFeesPerGas.feePerL2Gas, maxFeesPerGas.feePerL2Gas - gasFees.feePerL2Gas),
   );
 
   const effectiveFees = new GasFees(
-    gasFees.feePerDaGas.add(priorityFees.feePerDaGas),
-    gasFees.feePerL2Gas.add(priorityFees.feePerL2Gas),
+    gasFees.feePerDaGas + priorityFees.feePerDaGas,
+    gasFees.feePerL2Gas + priorityFees.feePerL2Gas,
   );
 
   return effectiveFees;

package/src/gas/gas.ts

@@ -88,7 +88,7 @@ export class Gas {
 
   computeFee(gasFees: GasFees) {
     return GasDimensions.reduce(
-      (acc, dimension) => acc.add(gasFees.get(dimension).mul(new Fr(this.get(dimension)))),
+      (acc, dimension) => acc.add(new Fr(gasFees.get(dimension)).mul(new Fr(this.get(dimension)))),
       Fr.ZERO,
     );
   }

package/src/gas/gas_fees.ts

@@ -1,28 +1,35 @@
 import { Fr } from '@aztec/foundation/fields';
 import { schemas } from '@aztec/foundation/schemas';
-import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import {
+  BufferReader,
+  FieldReader,
+  bigintToUInt128BE,
+  serializeToBuffer,
+  serializeToFields,
+} from '@aztec/foundation/serialize';
 import type { FieldsOf } from '@aztec/foundation/types';
 
 import { inspect } from 'util';
 import { z } from 'zod';
 
+import type { UInt128 } from '../types/shared.js';
 import type { GasDimensions } from './gas.js';
 
 /** Gas prices for each dimension. */
 export class GasFees {
-  public readonly feePerDaGas: Fr;
-  public readonly feePerL2Gas: Fr;
+  public readonly feePerDaGas: UInt128;
+  public readonly feePerL2Gas: UInt128;
 
-  constructor(feePerDaGas: Fr | number | bigint, feePerL2Gas: Fr | number | bigint) {
-    this.feePerDaGas = new Fr(feePerDaGas);
-    this.feePerL2Gas = new Fr(feePerL2Gas);
+  constructor(feePerDaGas: number | bigint, feePerL2Gas: number | bigint) {
+    this.feePerDaGas = BigInt(feePerDaGas);
+    this.feePerL2Gas = BigInt(feePerL2Gas);
   }
 
   static get schema() {
     return z
       .object({
-        feePerDaGas: schemas.Fr,
-        feePerL2Gas: schemas.Fr,
+        feePerDaGas: schemas.BigInt,
+        feePerL2Gas: schemas.BigInt,
       })
       .transform(GasFees.from);
   }
@@ -32,7 +39,7 @@ export class GasFees {
   }
 
   equals(other: GasFees) {
-    return this.feePerDaGas.equals(other.feePerDaGas) && this.feePerL2Gas.equals(other.feePerL2Gas);
+    return this.feePerDaGas === other.feePerDaGas && this.feePerL2Gas === other.feePerL2Gas;
   }
 
   get(dimension: GasDimensions) {
@@ -48,12 +55,9 @@ export class GasFees {
     if (scalar === 1 || scalar === 1n) {
       return this.clone();
     } else if (typeof scalar === 'bigint') {
-      return new GasFees(new Fr(this.feePerDaGas.toBigInt() * scalar), new Fr(this.feePerL2Gas.toBigInt() * scalar));
+      return new GasFees(this.feePerDaGas * scalar, this.feePerL2Gas * scalar);
     } else {
-      return new GasFees(
-        new Fr(this.feePerDaGas.toNumberUnsafe() * scalar),
-        new Fr(this.feePerL2Gas.toNumberUnsafe() * scalar),
-      );
+      return new GasFees(Number(this.feePerDaGas) * scalar, Number(this.feePerL2Gas) * scalar);
     }
   }
 
@@ -62,29 +66,29 @@ export class GasFees {
   }
 
   static random() {
-    return new GasFees(Fr.random(), Fr.random());
+    return new GasFees(Math.floor(Math.random() * 1e9), Math.floor(Math.random() * 1e9));
   }
 
   static empty() {
-    return new GasFees(Fr.ZERO, Fr.ZERO);
+    return new GasFees(0, 0);
   }
 
   isEmpty() {
-    return this.feePerDaGas.isZero() && this.feePerL2Gas.isZero();
+    return this.feePerDaGas === 0n && this.feePerL2Gas === 0n;
   }
 
   static fromBuffer(buffer: Buffer | BufferReader): GasFees {
     const reader = BufferReader.asReader(buffer);
-    return new GasFees(reader.readObject(Fr), reader.readObject(Fr));
+    return new GasFees(reader.readUInt128(), reader.readUInt128());
   }
 
   toBuffer() {
-    return serializeToBuffer(this.feePerDaGas, this.feePerL2Gas);
+    return serializeToBuffer(bigintToUInt128BE(this.feePerDaGas), bigintToUInt128BE(this.feePerL2Gas));
   }
 
   static fromFields(fields: Fr[] | FieldReader) {
     const reader = FieldReader.asReader(fields);
-    return new GasFees(reader.readField(), reader.readField());
+    return new GasFees(reader.readField().toBigInt(), reader.readField().toBigInt());
   }
 
   toFields() {
@@ -93,12 +97,12 @@ export class GasFees {
 
   toInspect() {
     return {
-      feePerDaGas: this.feePerDaGas.toNumberUnsafe(),
-      feePerL2Gas: this.feePerL2Gas.toNumberUnsafe(),
+      feePerDaGas: this.feePerDaGas,
+      feePerL2Gas: this.feePerL2Gas,
     };
   }
 
   [inspect.custom]() {
-    return `GasFees { feePerDaGas=${this.feePerDaGas.toBigInt()} feePerL2Gas=${this.feePerL2Gas.toBigInt()} }`;
+    return `GasFees { feePerDaGas=${this.feePerDaGas} feePerL2Gas=${this.feePerL2Gas} }`;
   }
 }

package/src/gas/gas_settings.ts

@@ -60,11 +60,7 @@ export class GasSettings {
   /** Returns the maximum fee to be paid according to gas limits and max fees set. */
   getFeeLimit() {
     return GasDimensions.reduce(
-      (acc, dimension) =>
-        this.maxFeesPerGas
-          .get(dimension)
-          .mul(new Fr(this.gasLimits.get(dimension)))
-          .add(acc),
+      (acc, dimension) => new Fr(this.maxFeesPerGas.get(dimension)).mul(new Fr(this.gasLimits.get(dimension))).add(acc),
       Fr.ZERO,
     );
   }

package/src/hash/hash.ts

@@ -37,13 +37,12 @@ export function siloNoteHash(contract: AztecAddress, noteHash: Fr): Promise<Fr>
 
 /**
  * Computes a unique note hash.
- * @dev Includes a nonce which contains data that guarantees the resulting note hash will be unique.
- * @param nonce - A nonce (typically derived from tx hash and note hash index in the tx).
+ * @param noteNonce - The nonce that was injected into the note hash preimage in order to guarantee uniqueness.
  * @param siloedNoteHash - A siloed note hash.
  * @returns A unique note hash.
  */
-export function computeUniqueNoteHash(nonce: Fr, siloedNoteHash: Fr): Promise<Fr> {
-  return poseidon2HashWithSeparator([nonce, siloedNoteHash], GeneratorIndex.UNIQUE_NOTE_HASH);
+export function computeUniqueNoteHash(noteNonce: Fr, siloedNoteHash: Fr): Promise<Fr> {
+  return poseidon2HashWithSeparator([noteNonce, siloedNoteHash], GeneratorIndex.UNIQUE_NOTE_HASH);
 }
 
 /**

package/src/interfaces/archiver.ts

@@ -73,5 +73,6 @@ export const ArchiverApiSchema: ApiSchemaFor<ArchiverApi> = {
   getL1ToL2MessageIndex: z.function().args(schemas.Fr).returns(schemas.BigInt.optional()),
   getDebugFunctionName: z.function().args(schemas.AztecAddress, schemas.FunctionSelector).returns(optional(z.string())),
   getL1Constants: z.function().args().returns(L1RollupConstantsSchema),
+  getL1Timestamp: z.function().args().returns(schemas.BigInt),
   syncImmediate: z.function().args().returns(z.void()),
 };

package/src/interfaces/server_circuit_prover.ts

@@ -165,4 +165,9 @@ export interface ClientProtocolCircuitVerifier {
    * @returns True if the proof is valid, false otherwise
    */
   verifyProof(tx: Tx): Promise<boolean>;
+
+  /**
+   * Stop the verifier.
+   */
+  stop(): Promise<void>;
 }

package/src/interfaces/service.ts

@@ -16,7 +16,7 @@ export interface Service {
 }
 
 /** Tries to call stop on a given object and awaits it. Logs any errors and does not rethrow. */
-export async function tryStop(service?: Partial<Service>, logger?: Logger): Promise<void> {
+export async function tryStop(service?: Partial<Pick<Service, 'stop'>>, logger?: Logger): Promise<void> {
   try {
     return typeof service === 'object' && service && 'stop' in service && typeof service.stop === 'function'
       ? await service.stop()
@@ -25,13 +25,3 @@ export async function tryStop(service?: Partial<Service>, logger?: Logger): Prom
     logger?.error(`Error stopping service ${(service as object).constructor?.name}: ${err}`);
   }
 }
-
-export function tryRestart(service?: Partial<Service>, logger?: Logger) {
-  try {
-    return typeof service === 'object' && service && 'restart' in service && typeof service.restart === 'function'
-      ? service.restart()
-      : Promise.resolve();
-  } catch (err) {
-    logger?.error(`Error restarting service ${(service as object).constructor?.name}: ${err}`);
-  }
-}

package/src/kernel/private_accumulated_data.ts

@@ -11,7 +11,7 @@ import { makeTuple } from '@aztec/foundation/array';
 import { BufferReader, type Tuple, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 
-import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { ScopedCountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
 import { ScopedCountedLogHash } from './log_hash.js';
 import { ScopedNoteHash } from './note_hash.js';
 import { ScopedNullifier } from './nullifier.js';
@@ -36,7 +36,7 @@ export class PrivateAccumulatedData {
     /**
      * All the new L2 to L1 messages created in this transaction.
      */
-    public l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>,
+    public l2ToL1Msgs: Tuple<ScopedCountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>,
     /**
      * Accumulated logs from all the previous kernel iterations.
      */
@@ -82,7 +82,7 @@ export class PrivateAccumulatedData {
     return new PrivateAccumulatedData(
       reader.readArray(MAX_NOTE_HASHES_PER_TX, ScopedNoteHash),
       reader.readArray(MAX_NULLIFIERS_PER_TX, ScopedNullifier),
-      reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message),
+      reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedCountedL2ToL1Message),
       reader.readArray(MAX_PRIVATE_LOGS_PER_TX, ScopedPrivateLogData),
       reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedCountedLogHash),
       reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, CountedPublicCallRequest),
@@ -103,7 +103,7 @@ export class PrivateAccumulatedData {
     return new PrivateAccumulatedData(
       makeTuple(MAX_NOTE_HASHES_PER_TX, ScopedNoteHash.empty),
       makeTuple(MAX_NULLIFIERS_PER_TX, ScopedNullifier.empty),
-      makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message.empty),
+      makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedCountedL2ToL1Message.empty),
       makeTuple(MAX_PRIVATE_LOGS_PER_TX, ScopedPrivateLogData.empty),
       makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedCountedLogHash.empty),
       makeTuple(MAX_ENQUEUED_CALLS_PER_TX, CountedPublicCallRequest.empty),

package/src/kernel/private_circuit_public_inputs.ts

@@ -27,7 +27,7 @@ import { KeyValidationRequestAndGenerator } from '../kernel/hints/key_validation
 import { CountedLogHash } from '../kernel/log_hash.js';
 import { PrivateCallRequest } from '../kernel/private_call_request.js';
 import { PrivateLogData } from '../kernel/private_log_data.js';
-import { L2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { CountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
 import { BlockHeader } from '../tx/block_header.js';
 import { CallContext } from '../tx/call_context.js';
 import { MaxBlockNumber } from '../tx/max_block_number.js';
@@ -105,7 +105,7 @@ export class PrivateCircuitPublicInputs {
     /**
      * New L2 to L1 messages created by the corresponding function call.
      */
-    public l2ToL1Msgs: Tuple<L2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>,
+    public l2ToL1Msgs: Tuple<CountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>,
     /**
      * Logs emitted in this function call.
      */
@@ -167,7 +167,7 @@ export class PrivateCircuitPublicInputs {
       reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest),
       reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest),
       reader.readObject(PublicCallRequest),
-      reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message),
+      reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message),
       reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData),
       reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash),
       reader.readObject(Fr),
@@ -194,7 +194,7 @@ export class PrivateCircuitPublicInputs {
       reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest),
       reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest),
       reader.readObject(PublicCallRequest),
-      reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message),
+      reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message),
       reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData),
       reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash),
       reader.readField(),
@@ -224,7 +224,7 @@ export class PrivateCircuitPublicInputs {
       makeTuple(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest.empty),
       makeTuple(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest.empty),
       PublicCallRequest.empty(),
-      makeTuple(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message.empty),
+      makeTuple(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message.empty),
       makeTuple(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData.empty),
       makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash.empty),
       Fr.ZERO,