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

package/dest/tx/global_variables.d.ts

@@ -52,17 +52,17 @@ export declare class GlobalVariables {
         coinbase: import("../schemas/index.js").ZodFor<EthAddress>;
         feeRecipient: import("../schemas/index.js").ZodFor<AztecAddress>;
         gasFees: 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;
         }>, GasFees, {
-            feePerDaGas: string;
-            feePerL2Gas: string;
+            feePerDaGas: string | number | bigint;
+            feePerL2Gas: string | number | bigint;
         }>;
     }, "strip", z.ZodTypeAny, {
         chainId: Fr;
@@ -75,8 +75,8 @@ export declare class GlobalVariables {
         gasFees: GasFees;
     }, {
         gasFees: {
-            feePerDaGas: string;
-            feePerL2Gas: string;
+            feePerDaGas: string | number | bigint;
+            feePerL2Gas: string | number | bigint;
         };
         chainId?: any;
         version?: any;
@@ -87,8 +87,8 @@ export declare class GlobalVariables {
         feeRecipient?: any;
     }>, GlobalVariables, {
         gasFees: {
-            feePerDaGas: string;
-            feePerL2Gas: string;
+            feePerDaGas: string | number | bigint;
+            feePerL2Gas: string | number | bigint;
         };
         chainId?: any;
         version?: any;

package/dest/tx/global_variables.js

@@ -118,8 +118,8 @@ import { schemas } from '../schemas/index.js';
             timestamp: this.timestamp.toNumber(),
             coinbase: this.coinbase.toString(),
             feeRecipient: this.feeRecipient.toString(),
-            feePerDaGas: this.gasFees.feePerDaGas.toNumber(),
-            feePerL2Gas: this.gasFees.feePerL2Gas.toNumber()
+            feePerDaGas: Number(this.gasFees.feePerDaGas),
+            feePerL2Gas: Number(this.gasFees.feePerL2Gas)
         };
     }
     [inspect.custom]() {

package/dest/tx/partial_state_reference.js

@@ -35,7 +35,7 @@ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
         return new PartialStateReference(noteHashTree, nullifierTree, publicDataTree);
     }
     static empty() {
-        return new PartialStateReference(AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty());
+        return new PartialStateReference(AppendOnlyTreeSnapshot.zero(), AppendOnlyTreeSnapshot.zero(), AppendOnlyTreeSnapshot.zero());
     }
     toBuffer() {
         return serializeToBuffer(this.noteHashTree, this.nullifierTree, this.publicDataTree);
@@ -52,7 +52,7 @@ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
         return fields;
     }
     isEmpty() {
-        return this.noteHashTree.isEmpty() && this.nullifierTree.isEmpty() && this.publicDataTree.isEmpty();
+        return this.noteHashTree.isZero() && this.nullifierTree.isZero() && this.publicDataTree.isZero();
     }
     equals(other) {
         return this.noteHashTree.equals(other.noteHashTree) && this.nullifierTree.equals(other.nullifierTree) && this.publicDataTree.equals(other.publicDataTree);

package/dest/tx/processed_tx.d.ts

@@ -4,6 +4,7 @@ import type { PublicDataWrite } from '../avm/public_data_write.js';
 import { RevertCode } from '../avm/revert_code.js';
 import type { SimulationError } from '../errors/simulation_error.js';
 import type { GasUsed } from '../gas/gas_used.js';
+import { CombinedConstantData } from '../kernel/combined_constant_data.js';
 import type { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_tail_circuit_public_inputs.js';
 import type { ClientIvcProof } from '../proofs/client_ivc_proof.js';
 import type { GlobalVariables } from './global_variables.js';
@@ -37,9 +38,9 @@ export type ProcessedTx = {
      */
     avmProvingRequest: AvmProvingRequest | undefined;
     /**
-     * `GlobalVariables` injected by the sequencer. It's the same for all the txs in a block.
+     * Combining `TxConstantData` specified by the user, and `GlobalVariables` injected by the sequencer.
      */
-    globalVariables: GlobalVariables;
+    constants: CombinedConstantData;
     /**
      * Output data of the tx.
      */

package/dest/tx/processed_tx.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"processed_tx.d.ts","sourceRoot":"","sources":["../../src/tx/processed_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAErE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AACnH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,oBAAY,gBAAgB;IAC1B,KAAK,IAAA;IACL,SAAS,IAAA;IACT,QAAQ,IAAA;CACT;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,IAAI,EAAE,oCAAoC,CAAC;IAC3C;;OAEG;IACH,cAAc,EAAE,cAAc,CAAC;IAC/B;;OAEG;IACH,iBAAiB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACjD;;OAEG;IACH,eAAe,EAAE,eAAe,CAAC;IACjC;;OAEG;IACH,QAAQ,EAAE,QAAQ,CAAC;IAInB,OAAO,EAAE,OAAO,CAAC;IACjB;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;IACvB;;OAEG;IACH,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;CAC3C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB;;OAEG;IACH,EAAE,EAAE,EAAE,CAAC;IACP;;OAEG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,wBAAsB,gCAAgC,CACpD,EAAE,EAAE,EAAE,EACN,cAAc,EAAE,EAAE,EAClB,yBAAyB,EAAE,eAAe,EAC1C,eAAe,EAAE,eAAe,GAC/B,OAAO,CAAC,WAAW,CAAC,CAoCtB;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,MAAM,CAI1D;AAED,wBAAsB,oCAAoC,CACxD,EAAE,EAAE,EAAE,EACN,iBAAiB,EAAE,iBAAiB,EACpC,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,eAAe,GAAG,SAAS,GACxC,OAAO,CAAC,WAAW,CAAC,CA0CtB"}
+{"version":3,"file":"processed_tx.d.ts","sourceRoot":"","sources":["../../src/tx/processed_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAErE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AACnH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,oBAAY,gBAAgB;IAC1B,KAAK,IAAA;IACL,SAAS,IAAA;IACT,QAAQ,IAAA;CACT;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,IAAI,EAAE,oCAAoC,CAAC;IAC3C;;OAEG;IACH,cAAc,EAAE,cAAc,CAAC;IAC/B;;OAEG;IACH,iBAAiB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACjD;;OAEG;IACH,SAAS,EAAE,oBAAoB,CAAC;IAChC;;OAEG;IACH,QAAQ,EAAE,QAAQ,CAAC;IAInB,OAAO,EAAE,OAAO,CAAC;IACjB;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;IACvB;;OAEG;IACH,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;CAC3C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB;;OAEG;IACH,EAAE,EAAE,EAAE,CAAC;IACP;;OAEG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,wBAAsB,gCAAgC,CACpD,EAAE,EAAE,EAAE,EACN,cAAc,EAAE,EAAE,EAClB,yBAAyB,EAAE,eAAe,EAC1C,eAAe,EAAE,eAAe,GAC/B,OAAO,CAAC,WAAW,CAAC,CAsCtB;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,MAAM,CAI1D;AAED,wBAAsB,oCAAoC,CACxD,EAAE,EAAE,EAAE,EACN,iBAAiB,EAAE,iBAAiB,EACpC,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,eAAe,GAAG,SAAS,GACxC,OAAO,CAAC,WAAW,CAAC,CA0CtB"}

package/dest/tx/processed_tx.js

@@ -1,6 +1,7 @@
 import { RevertCode } from '../avm/revert_code.js';
 import { Gas } from '../gas/gas.js';
 import { siloL2ToL1Message } from '../hash/hash.js';
+import { CombinedConstantData } from '../kernel/combined_constant_data.js';
 import { TxEffect } from './tx_effect.js';
 export var TxExecutionPhase = /*#__PURE__*/ function(TxExecutionPhase) {
     TxExecutionPhase[TxExecutionPhase["SETUP"] = 0] = "SETUP";
@@ -9,8 +10,9 @@ export var TxExecutionPhase = /*#__PURE__*/ function(TxExecutionPhase) {
     return TxExecutionPhase;
 }({});
 export async function makeProcessedTxFromPrivateOnlyTx(tx, transactionFee, feePaymentPublicDataWrite, globalVariables) {
+    const constants = CombinedConstantData.combine(tx.data.constants, globalVariables);
     const data = tx.data.forRollup;
-    const txEffect = new TxEffect(RevertCode.OK, await tx.getTxHash(), transactionFee, data.end.noteHashes.filter((h)=>!h.isZero()), data.end.nullifiers.filter((h)=>!h.isZero()), data.end.l2ToL1Msgs.map((message)=>siloL2ToL1Message(message, globalVariables.version, globalVariables.chainId)).filter((h)=>!h.isZero()), [
+    const txEffect = new TxEffect(RevertCode.OK, await tx.getTxHash(), transactionFee, data.end.noteHashes.filter((h)=>!h.isZero()), data.end.nullifiers.filter((h)=>!h.isZero()), data.end.l2ToL1Msgs.map((message)=>siloL2ToL1Message(message, constants.txContext.version, constants.txContext.chainId)).filter((h)=>!h.isZero()), [
         feePaymentPublicDataWrite
     ], data.end.privateLogs.filter((l)=>!l.isEmpty()), [], tx.getContractClassLogs());
     const gasUsed = {
@@ -25,7 +27,7 @@ export async function makeProcessedTxFromPrivateOnlyTx(tx, transactionFee, feePa
         data: tx.data,
         clientIvcProof: tx.clientIvcProof,
         avmProvingRequest: undefined,
-        globalVariables,
+        constants,
         txEffect,
         gasUsed,
         revertCode: RevertCode.OK,
@@ -39,20 +41,20 @@ export function toNumBlobFields(txs) {
 }
 export async function makeProcessedTxFromTxWithPublicCalls(tx, avmProvingRequest, gasUsed, revertCode, revertReason) {
     const avmPublicInputs = avmProvingRequest.inputs.publicInputs;
-    const globalVariables = avmPublicInputs.globalVariables;
+    const constants = CombinedConstantData.combine(tx.data.constants, avmPublicInputs.globalVariables);
     const publicDataWrites = avmPublicInputs.accumulatedData.publicDataWrites.filter((w)=>!w.isEmpty());
     const privateLogs = [
         ...tx.data.forPublic.nonRevertibleAccumulatedData.privateLogs,
         ...revertCode.isOK() ? tx.data.forPublic.revertibleAccumulatedData.privateLogs : []
     ].filter((l)=>!l.isEmpty());
     const contractClassLogs = revertCode.isOK() ? tx.getContractClassLogs() : tx.getSplitContractClassLogs(false);
-    const txEffect = new TxEffect(revertCode, await tx.getTxHash(), avmPublicInputs.transactionFee, avmPublicInputs.accumulatedData.noteHashes.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.nullifiers.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.l2ToL1Msgs.map((message)=>siloL2ToL1Message(message, globalVariables.version, globalVariables.chainId)).filter((h)=>!h.isZero()), publicDataWrites, privateLogs, avmPublicInputs.accumulatedData.publicLogs.filter((l)=>!l.isEmpty()), contractClassLogs);
+    const txEffect = new TxEffect(revertCode, await tx.getTxHash(), avmPublicInputs.transactionFee, avmPublicInputs.accumulatedData.noteHashes.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.nullifiers.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.l2ToL1Msgs.map((message)=>siloL2ToL1Message(message, constants.txContext.version, constants.txContext.chainId)).filter((h)=>!h.isZero()), publicDataWrites, privateLogs, avmPublicInputs.accumulatedData.publicLogs.filter((l)=>!l.isEmpty()), contractClassLogs);
     return {
         hash: txEffect.txHash,
         data: tx.data,
         clientIvcProof: tx.clientIvcProof,
         avmProvingRequest,
-        globalVariables,
+        constants,
         txEffect,
         gasUsed,
         revertCode,

package/dest/tx/proposed_block_header.d.ts

@@ -70,8 +70,8 @@ export declare class ProposedBlockHeader {
         coinbase: `0x${string}`;
         feeRecipient: `0x${string}`;
         gasFees: {
-            feePerDaGas: number;
-            feePerL2Gas: number;
+            feePerDaGas: bigint;
+            feePerL2Gas: bigint;
         };
         totalManaUsed: bigint;
     };

package/dest/tx/proposed_block_header.js

@@ -115,7 +115,7 @@ import { ContentCommitment } from './content_commitment.js';
         };
     }
     [inspect.custom]() {
-        const gasfees = `da:${this.gasFees.feePerDaGas.toBigInt()}, l2:${this.gasFees.feePerL2Gas.toBigInt()}`;
+        const gasfees = `da:${this.gasFees.feePerDaGas}, l2:${this.gasFees.feePerL2Gas}`;
         return `Header {
   lastArchiveRoot: ${this.lastArchiveRoot.toString()},
   contentCommitment: ${inspect(this.contentCommitment)},

package/dest/tx/public_simulation_output.d.ts

@@ -2,8 +2,8 @@ import { Fr } from '@aztec/foundation/fields';
 import { type ZodFor } from '@aztec/foundation/schemas';
 import { SimulationError } from '../errors/simulation_error.js';
 import type { GasUsed } from '../gas/gas_used.js';
+import { CombinedConstantData } from '../kernel/combined_constant_data.js';
 import { TxEffect } from '../tx/tx_effect.js';
-import { GlobalVariables } from './global_variables.js';
 /** Return values of simulating a circuit. */
 export type ProcessReturnValues = Fr[] | undefined;
 /** Return values of simulating complete callstack. */
@@ -20,11 +20,11 @@ export declare class NestedProcessReturnValues {
  */
 export declare class PublicSimulationOutput {
     revertReason: SimulationError | undefined;
-    globalVariables: GlobalVariables;
+    constants: CombinedConstantData;
     txEffect: TxEffect;
     publicReturnValues: NestedProcessReturnValues[];
     gasUsed: GasUsed;
-    constructor(revertReason: SimulationError | undefined, globalVariables: GlobalVariables, txEffect: TxEffect, publicReturnValues: NestedProcessReturnValues[], gasUsed: GasUsed);
+    constructor(revertReason: SimulationError | undefined, constants: CombinedConstantData, txEffect: TxEffect, publicReturnValues: NestedProcessReturnValues[], gasUsed: GasUsed);
     static get schema(): ZodFor<PublicSimulationOutput>;
     static random(): Promise<PublicSimulationOutput>;
 }

package/dest/tx/public_simulation_output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public_simulation_output.d.ts","sourceRoot":"","sources":["../../src/tx/public_simulation_output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AAKjE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,6CAA6C;AAC7C,MAAM,MAAM,mBAAmB,GAAG,EAAE,EAAE,GAAG,SAAS,CAAC;AAEnD,sDAAsD;AACtD,qBAAa,yBAAyB;IACpC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,MAAM,EAAE,yBAAyB,EAAE,CAAC;gBAExB,MAAM,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,yBAAyB,EAAE;IAK7E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,yBAAyB,CAAC,CAOrD;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,KAAK,SAAI,GAAG,yBAAyB;CAMpD;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAExB,YAAY,EAAE,eAAe,GAAG,SAAS;IACzC,eAAe,EAAE,eAAe;IAChC,QAAQ,EAAE,QAAQ;IAClB,kBAAkB,EAAE,yBAAyB,EAAE;IAC/C,OAAO,EAAE,OAAO;gBAJhB,YAAY,EAAE,eAAe,GAAG,SAAS,EACzC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,QAAQ,EAClB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,OAAO;IAGzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAwBlD;WAEY,MAAM;CASpB"}
+{"version":3,"file":"public_simulation_output.d.ts","sourceRoot":"","sources":["../../src/tx/public_simulation_output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AAKjE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,6CAA6C;AAC7C,MAAM,MAAM,mBAAmB,GAAG,EAAE,EAAE,GAAG,SAAS,CAAC;AAEnD,sDAAsD;AACtD,qBAAa,yBAAyB;IACpC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,MAAM,EAAE,yBAAyB,EAAE,CAAC;gBAExB,MAAM,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,yBAAyB,EAAE;IAK7E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,yBAAyB,CAAC,CAOrD;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,KAAK,SAAI,GAAG,yBAAyB;CAMpD;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAExB,YAAY,EAAE,eAAe,GAAG,SAAS;IACzC,SAAS,EAAE,oBAAoB;IAC/B,QAAQ,EAAE,QAAQ;IAClB,kBAAkB,EAAE,yBAAyB,EAAE;IAC/C,OAAO,EAAE,OAAO;gBAJhB,YAAY,EAAE,eAAe,GAAG,SAAS,EACzC,SAAS,EAAE,oBAAoB,EAC/B,QAAQ,EAAE,QAAQ,EAClB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,OAAO;IAGzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAwBlD;WAEY,MAAM;CASpB"}

package/dest/tx/public_simulation_output.js

@@ -4,8 +4,8 @@ import times from 'lodash.times';
 import { z } from 'zod';
 import { SimulationError } from '../errors/simulation_error.js';
 import { Gas } from '../gas/gas.js';
+import { CombinedConstantData } from '../kernel/combined_constant_data.js';
 import { TxEffect } from '../tx/tx_effect.js';
-import { GlobalVariables } from './global_variables.js';
 /** Return values of simulating complete callstack. */ export class NestedProcessReturnValues {
     values;
     nested;
@@ -32,13 +32,13 @@ import { GlobalVariables } from './global_variables.js';
  * Outputs of processing the public component of a transaction.
  */ export class PublicSimulationOutput {
     revertReason;
-    globalVariables;
+    constants;
     txEffect;
     publicReturnValues;
     gasUsed;
-    constructor(revertReason, globalVariables, txEffect, publicReturnValues, gasUsed){
+    constructor(revertReason, constants, txEffect, publicReturnValues, gasUsed){
         this.revertReason = revertReason;
-        this.globalVariables = globalVariables;
+        this.constants = constants;
         this.txEffect = txEffect;
         this.publicReturnValues = publicReturnValues;
         this.gasUsed = gasUsed;
@@ -46,7 +46,7 @@ import { GlobalVariables } from './global_variables.js';
     static get schema() {
         return z.object({
             revertReason: SimulationError.schema.optional(),
-            globalVariables: GlobalVariables.schema,
+            constants: CombinedConstantData.schema,
             txEffect: TxEffect.schema,
             publicReturnValues: z.array(NestedProcessReturnValues.schema),
             gasUsed: z.object({
@@ -55,10 +55,10 @@ import { GlobalVariables } from './global_variables.js';
                 publicGas: Gas.schema,
                 billedGas: Gas.schema
             })
-        }).transform((fields)=>new PublicSimulationOutput(fields.revertReason, fields.globalVariables, fields.txEffect, fields.publicReturnValues, fields.gasUsed));
+        }).transform((fields)=>new PublicSimulationOutput(fields.revertReason, fields.constants, fields.txEffect, fields.publicReturnValues, fields.gasUsed));
     }
     static async random() {
-        return new PublicSimulationOutput(await SimulationError.random(), GlobalVariables.empty(), TxEffect.empty(), times(2, NestedProcessReturnValues.random), {
+        return new PublicSimulationOutput(await SimulationError.random(), CombinedConstantData.empty(), TxEffect.empty(), times(2, NestedProcessReturnValues.random), {
             teardownGas: Gas.random(),
             totalGas: Gas.random(),
             publicGas: Gas.random(),

package/dest/tx/state_reference.js

@@ -47,10 +47,10 @@ import { PartialStateReference } from './partial_state_reference.js';
         return new StateReference(l1ToL2MessageTree, partial);
     }
     static empty() {
-        return new StateReference(AppendOnlyTreeSnapshot.empty(), PartialStateReference.empty());
+        return new StateReference(AppendOnlyTreeSnapshot.zero(), PartialStateReference.empty());
     }
     isEmpty() {
-        return this.l1ToL2MessageTree.isEmpty() && this.partial.isEmpty();
+        return this.l1ToL2MessageTree.isZero() && this.partial.isEmpty();
     }
     toInspect() {
         return {

package/dest/tx/tree_snapshots.js

@@ -56,10 +56,10 @@ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
         return fields;
     }
     static empty() {
-        return new TreeSnapshots(AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty());
+        return new TreeSnapshots(AppendOnlyTreeSnapshot.zero(), AppendOnlyTreeSnapshot.zero(), AppendOnlyTreeSnapshot.zero(), AppendOnlyTreeSnapshot.zero());
     }
     isEmpty() {
-        return this.l1ToL2MessageTree.isEmpty() && this.noteHashTree.isEmpty() && this.nullifierTree.isEmpty() && this.publicDataTree.isEmpty();
+        return this.l1ToL2MessageTree.isZero() && this.noteHashTree.isZero() && this.nullifierTree.isZero() && this.publicDataTree.isZero();
     }
     [inspect.custom]() {
         return `TreeSnapshots {

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.20250606",
+  "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.20250606",
-    "@aztec/blob-lib": "1.0.0-nightly.20250606",
-    "@aztec/constants": "1.0.0-nightly.20250606",
-    "@aztec/ethereum": "1.0.0-nightly.20250606",
-    "@aztec/foundation": "1.0.0-nightly.20250606",
-    "@aztec/noir-noirc_abi": "1.0.0-nightly.20250606",
+    "@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.ts

@@ -103,7 +103,7 @@ export class L2Block {
    * @returns The L2 block.
    */
   static empty(): L2Block {
-    return new L2Block(AppendOnlyTreeSnapshot.empty(), BlockHeader.empty(), Body.empty());
+    return new L2Block(AppendOnlyTreeSnapshot.zero(), BlockHeader.empty(), Body.empty());
   }
 
   get number(): number {

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>;
 }