@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/deserialization/index.js

@@ -0,0 +1,41 @@
+/**
+ * Constants for deserialization bounds checking.
+ * These constants define maximum allowed sizes during deserialization
+ * to prevent DoS attacks via maliciously crafted messages.
+ */ import { BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, MAX_BLOCKS_PER_CHECKPOINT } from '@aztec-labs/constants';
+/** Max transactions per block for deserialization validation */ export const MAX_TXS_PER_BLOCK = 2 ** 16;
+/** Max committee size - theoretical max from bitmap design (256 bytes × 8 bits) */ export const MAX_COMMITTEE_SIZE = 2048;
+/**
+ * Maximum number of L2 blocks in a provable checkpoint. Used for deserialization and when ingesting
+ * checkpoints already accepted by L1.
+ *
+ * This MUST be >= the number of blocks the proving system can carry, or a structurally-valid, provable
+ * checkpoint that L1 accepts would be rejected on ingest (`validateCheckpoint`) and wedge the archiver.
+ * The checkpoint root circuit caps a checkpoint at {@link MAX_BLOCKS_PER_CHECKPOINT} blocks, well under
+ * the looser ceiling the blob-field budget imposes:
+ *
+ *   budget = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB = 6 * 4096 = 24,576 fields
+ *
+ *   per-block minimal blob footprint (every block carries a per-block l1-to-l2 root):
+ *     a block with no txs           = 7 fields   (NUM_BLOCK_END_BLOB_FIELDS)
+ *     a block with one minimal tx   = 7 + 4 = 11 fields
+ *                                     (NUM_BLOCK_END_BLOB_FIELDS + a 4-field minimal tx:
+ *                                      tx start marker + tx hash + fee + 1 mandatory nullifier)
+ *     + 1 checkpoint-end marker      (NUM_CHECKPOINT_END_MARKER_FIELDS)
+ *
+ *   max N:  7 + 11*(N - 1) + 1 <= 24,576  =>  11*(N - 1) <= 24,568  =>  N <= 2,234
+ *
+ * 2234 is kept as the deserialization bound: it is far above the circuit cap, so it never rejects a
+ * provable checkpoint, while still bounding how much a malformed blob payload can allocate. L1 carries
+ * no block count of its own, so an over-cap (and therefore unprovable) checkpoint can only reach it with
+ * a malicious committee supermajority — a terminal network compromise. Invariant checked by the unit
+ * test in deserialization.test.ts.
+ */ export const MAX_CAPACITY_BLOCKS_PER_CHECKPOINT = 2234;
+/**
+ * Max blocks per checkpoint we are willing to build or attest to, and the default block-count limit for
+ * `validateCheckpoint`. This is the protocol cap the checkpoint root circuit enforces: anything above it
+ * is unprovable, so a node must never build or attest to it. Distinct from
+ * {@link MAX_CAPACITY_BLOCKS_PER_CHECKPOINT}, the looser bound used when deserializing untrusted payloads.
+ */ export const MAX_ATTESTABLE_BLOCKS_PER_CHECKPOINT = MAX_BLOCKS_PER_CHECKPOINT;
+/** Max tx effects per body (based on blob capacity per checkpoint) */ export const MAX_TX_EFFECTS_PER_BODY = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB;
+/** Max block hash string length (hex: 0x + 64 chars, with generous headroom) */ export const MAX_BLOCK_HASH_STRING_LENGTH = 128;

package/dest/epoch-helpers/index.d.ts

@@ -0,0 +1,63 @@
+import { EpochNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import { z } from 'zod';
+export type L1RollupConstants = {
+    l1StartBlock: bigint;
+    l1GenesisTime: bigint;
+    slotDuration: number;
+    epochDuration: number;
+    ethereumSlotDuration: number;
+    proofSubmissionEpochs: number;
+    targetCommitteeSize: number;
+    rollupManaLimit: number;
+};
+export declare const EmptyL1RollupConstants: L1RollupConstants;
+export declare const L1RollupConstantsSchema: z.ZodObject<{
+    l1StartBlock: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    l1GenesisTime: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slotDuration: z.ZodNumber;
+    epochDuration: z.ZodNumber;
+    ethereumSlotDuration: z.ZodNumber;
+    proofSubmissionEpochs: z.ZodNumber;
+    targetCommitteeSize: z.ZodNumber;
+    rollupManaLimit: z.ZodNumber;
+}, z.core.$strip>;
+/** Returns the timestamp for a given L2 slot. */
+export declare function getTimestampForSlot(slot: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>): bigint;
+/** Returns the slot number for a given timestamp. */
+export declare function getSlotAtTimestamp(ts: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>): SlotNumber;
+/** Returns the timestamp of the next L1 slot boundary after the given wall-clock time. */
+export declare function getNextL1SlotTimestamp(nowInSeconds: number, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'ethereumSlotDuration'>): bigint;
+/** Returns the timestamp of the last L1 slot within a given L2 slot. */
+export declare function getLastL1SlotTimestampForL2Slot(slot: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): bigint;
+/** Returns the L2 slot number at the next L1 block based on the current timestamp. */
+export declare function getSlotAtNextL1Block(currentL1Timestamp: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): SlotNumber;
+/** Returns the epoch number for a given timestamp. */
+export declare function getEpochNumberAtTimestamp(ts: bigint, constants: Pick<L1RollupConstants, 'epochDuration' | 'slotDuration' | 'l1GenesisTime'>): EpochNumber;
+/** Returns the epoch number for a given slot. */
+export declare function getEpochAtSlot(slot: SlotNumber, constants: Pick<L1RollupConstants, 'epochDuration'>): EpochNumber;
+/** Returns the range of L2 slots (inclusive) for a given epoch number. */
+export declare function getSlotRangeForEpoch(epochNumber: EpochNumber, constants: Pick<L1RollupConstants, 'epochDuration'>): [SlotNumber, SlotNumber];
+/**
+ * Returns the range of L1 timestamps (inclusive) for a given epoch number.
+ * Note that the endTimestamp is the start timestamp of the last L1 slot for the epoch.
+ */
+export declare function getTimestampRangeForEpoch(epochNumber: EpochNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration' | 'ethereumSlotDuration'>): [bigint, bigint];
+/**
+ * Returns the start timestamp for a given epoch number.
+ */
+export declare function getStartTimestampForEpoch(epochNumber: EpochNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration'>): bigint;
+/**
+ * Returns the epoch number at which proofs are no longer accepted for a given epoch.
+ * See l1-contracts/src/core/libraries/TimeLib.sol
+ */
+export declare function getProofSubmissionDeadlineEpoch(epochNumber: EpochNumber, constants: Pick<L1RollupConstants, 'proofSubmissionEpochs'>): EpochNumber;
+/**
+ * Returns the deadline timestamp (in seconds) for submitting a proof for a given epoch.
+ * Computed as the start of the given epoch plus the proof submission window.
+ */
+export declare function getProofSubmissionDeadlineTimestamp(epochNumber: EpochNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration' | 'proofSubmissionEpochs'>): bigint;
+/** Computes the quorum size required for a committee (⌊2n/3⌋ + 1). */
+export declare function computeQuorum(committeeSize: number): number;
+/** Returns the timestamp to start building a block for a given L2 slot. Computed as the start timestamp of the slot minus one L1 slot duration. */
+export declare function getSlotStartBuildTimestamp(slotNumber: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): number;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lcG9jaC1oZWxwZXJzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFDL0UsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFlBQVksRUFBRSxNQUFNLENBQUM7SUFDckIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixvQkFBb0IsRUFBRSxNQUFNLENBQUM7SUFDN0IscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0lBQzlCLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1QixlQUFlLEVBQUUsTUFBTSxDQUFDO0NBQ3pCLENBQUM7QUFFRixlQUFPLE1BQU0sc0JBQXNCLEVBQUUsaUJBU3BDLENBQUM7QUFFRixlQUFPLE1BQU0sdUJBQXVCOzs7Ozs7Ozs7aUJBV25DLENBQUM7QUFFRixpREFBaUQ7QUFDakQsd0JBQWdCLG1CQUFtQixDQUNqQyxJQUFJLEVBQUUsVUFBVSxFQUNoQixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLENBQUMsVUFHckU7QUFFRCxxREFBcUQ7QUFDckQsd0JBQWdCLGtCQUFrQixDQUNoQyxFQUFFLEVBQUUsTUFBTSxFQUNWLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsQ0FBQyxHQUNuRSxVQUFVLENBSVo7QUFFRCwwRkFBMEY7QUFDMUYsd0JBQWdCLHNCQUFzQixDQUNwQyxZQUFZLEVBQUUsTUFBTSxFQUNwQixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxzQkFBc0IsQ0FBQyxHQUMzRSxNQUFNLENBS1I7QUFFRCx3RUFBd0U7QUFDeEUsd0JBQWdCLCtCQUErQixDQUM3QyxJQUFJLEVBQUUsVUFBVSxFQUNoQixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsc0JBQXNCLENBQUMsR0FDNUYsTUFBTSxDQUVSO0FBRUQsc0ZBQXNGO0FBQ3RGLHdCQUFnQixvQkFBb0IsQ0FDbEMsa0JBQWtCLEVBQUUsTUFBTSxFQUMxQixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsc0JBQXNCLENBQUMsR0FDNUYsVUFBVSxDQUdaO0FBRUQsc0RBQXNEO0FBQ3RELHdCQUFnQix5QkFBeUIsQ0FDdkMsRUFBRSxFQUFFLE1BQU0sRUFDVixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsZUFBZSxDQUFDLEdBQ3JGLFdBQVcsQ0FFYjtBQUVELGlEQUFpRDtBQUNqRCx3QkFBZ0IsY0FBYyxDQUFDLElBQUksRUFBRSxVQUFVLEVBQUUsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLENBQUMsR0FBRyxXQUFXLENBRWpIO0FBRUQsMEVBQTBFO0FBQzFFLHdCQUFnQixvQkFBb0IsQ0FDbEMsV0FBVyxFQUFFLFdBQVcsRUFDeEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLENBQUMsR0FDbEQsQ0FBQyxVQUFVLEVBQUUsVUFBVSxDQUFDLENBRzFCO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLHlCQUF5QixDQUN2QyxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsZUFBZSxHQUFHLHNCQUFzQixDQUFDLEdBQzlHLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQyxDQVNsQjtBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLHlCQUF5QixDQUN2QyxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsZUFBZSxDQUFDLFVBSXZGO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLCtCQUErQixDQUM3QyxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLHVCQUF1QixDQUFDLEdBQzFELFdBQVcsQ0FFYjtBQUVEOzs7R0FHRztBQUNILHdCQUFnQixtQ0FBbUMsQ0FDakQsV0FBVyxFQUFFLFdBQVcsRUFDeEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLGVBQWUsR0FBRyx1QkFBdUIsQ0FBQyxVQU9qSDtBQUVELDBFQUFzRTtBQUN0RSx3QkFBZ0IsYUFBYSxDQUFDLGFBQWEsRUFBRSxNQUFNLEdBQUcsTUFBTSxDQUUzRDtBQUVELG1KQUFtSjtBQUNuSix3QkFBZ0IsMEJBQTBCLENBQ3hDLFVBQVUsRUFBRSxVQUFVLEVBQ3RCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxzQkFBc0IsQ0FBQyxHQUM1RixNQUFNLENBRVIifQ==

package/dest/epoch-helpers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/epoch-helpers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAC/E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,iBASpC,CAAC;AAEF,eAAO,MAAM,uBAAuB;;;;;;;;;iBAWnC,CAAC;AAEF,iDAAiD;AACjD,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,UAGrE;AAED,qDAAqD;AACrD,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,GACnE,UAAU,CAIZ;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,sBAAsB,CAAC,GAC3E,MAAM,CAKR;AAED,wEAAwE;AACxE,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,MAAM,CAER;AAED,sFAAsF;AACtF,wBAAgB,oBAAoB,CAClC,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,UAAU,CAGZ;AAED,sDAAsD;AACtD,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,GACrF,WAAW,CAEb;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAAG,WAAW,CAEjH;AAED,0EAA0E;AAC1E,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAClD,CAAC,UAAU,EAAE,UAAU,CAAC,CAG1B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,sBAAsB,CAAC,GAC9G,CAAC,MAAM,EAAE,MAAM,CAAC,CASlB;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,UAIvF;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,uBAAuB,CAAC,GAC1D,WAAW,CAEb;AAED;;;GAGG;AACH,wBAAgB,mCAAmC,CACjD,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,uBAAuB,CAAC,UAOjH;AAED,0EAAsE;AACtE,wBAAgB,aAAa,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,mJAAmJ;AACnJ,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,MAAM,CAER"}

package/dest/epoch-helpers/index.js

@@ -0,0 +1,94 @@
+import { EpochNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import { z } from 'zod';
+import { schemas, zodFor } from '../schemas/index.js';
+export const EmptyL1RollupConstants = {
+    l1StartBlock: 0n,
+    l1GenesisTime: 0n,
+    epochDuration: 1,
+    slotDuration: 1,
+    ethereumSlotDuration: 1,
+    proofSubmissionEpochs: 1,
+    targetCommitteeSize: 48,
+    rollupManaLimit: Number.MAX_SAFE_INTEGER
+};
+export const L1RollupConstantsSchema = zodFor()(z.object({
+    l1StartBlock: schemas.BigInt,
+    l1GenesisTime: schemas.BigInt,
+    slotDuration: z.number(),
+    epochDuration: z.number(),
+    ethereumSlotDuration: z.number(),
+    proofSubmissionEpochs: z.number(),
+    targetCommitteeSize: z.number(),
+    rollupManaLimit: z.number()
+}));
+/** Returns the timestamp for a given L2 slot. */ export function getTimestampForSlot(slot, constants) {
+    return constants.l1GenesisTime + BigInt(slot) * BigInt(constants.slotDuration);
+}
+/** Returns the slot number for a given timestamp. */ export function getSlotAtTimestamp(ts, constants) {
+    return ts < constants.l1GenesisTime ? SlotNumber.ZERO : SlotNumber.fromBigInt((ts - constants.l1GenesisTime) / BigInt(constants.slotDuration));
+}
+/** Returns the timestamp of the next L1 slot boundary after the given wall-clock time. */ export function getNextL1SlotTimestamp(nowInSeconds, constants) {
+    const now = BigInt(nowInSeconds);
+    const elapsed = now - constants.l1GenesisTime;
+    const currentL1Slot = elapsed / BigInt(constants.ethereumSlotDuration);
+    return constants.l1GenesisTime + (currentL1Slot + 1n) * BigInt(constants.ethereumSlotDuration);
+}
+/** Returns the timestamp of the last L1 slot within a given L2 slot. */ export function getLastL1SlotTimestampForL2Slot(slot, constants) {
+    return getTimestampForSlot(slot, constants) + BigInt(constants.slotDuration - constants.ethereumSlotDuration);
+}
+/** Returns the L2 slot number at the next L1 block based on the current timestamp. */ export function getSlotAtNextL1Block(currentL1Timestamp, constants) {
+    const nextL1BlockTimestamp = currentL1Timestamp + BigInt(constants.ethereumSlotDuration);
+    return getSlotAtTimestamp(nextL1BlockTimestamp, constants);
+}
+/** Returns the epoch number for a given timestamp. */ export function getEpochNumberAtTimestamp(ts, constants) {
+    return getEpochAtSlot(getSlotAtTimestamp(ts, constants), constants);
+}
+/** Returns the epoch number for a given slot. */ export function getEpochAtSlot(slot, constants) {
+    return EpochNumber.fromBigInt(BigInt(slot) / BigInt(constants.epochDuration));
+}
+/** Returns the range of L2 slots (inclusive) for a given epoch number. */ export function getSlotRangeForEpoch(epochNumber, constants) {
+    const startSlot = SlotNumber(Number(epochNumber) * constants.epochDuration);
+    return [
+        startSlot,
+        SlotNumber(startSlot + constants.epochDuration - 1)
+    ];
+}
+/**
+ * Returns the range of L1 timestamps (inclusive) for a given epoch number.
+ * Note that the endTimestamp is the start timestamp of the last L1 slot for the epoch.
+ */ export function getTimestampRangeForEpoch(epochNumber, constants) {
+    const [startSlot, endSlot] = getSlotRangeForEpoch(epochNumber, constants);
+    const ethereumSlotsPerL2Slot = constants.slotDuration / constants.ethereumSlotDuration;
+    return [
+        constants.l1GenesisTime + BigInt(startSlot) * BigInt(constants.slotDuration),
+        constants.l1GenesisTime + BigInt(endSlot) * BigInt(constants.slotDuration) + BigInt((ethereumSlotsPerL2Slot - 1) * constants.ethereumSlotDuration)
+    ];
+}
+/**
+ * Returns the start timestamp for a given epoch number.
+ */ export function getStartTimestampForEpoch(epochNumber, constants) {
+    const [startSlot] = getSlotRangeForEpoch(epochNumber, constants);
+    return getTimestampForSlot(startSlot, constants);
+}
+/**
+ * Returns the epoch number at which proofs are no longer accepted for a given epoch.
+ * See l1-contracts/src/core/libraries/TimeLib.sol
+ */ export function getProofSubmissionDeadlineEpoch(epochNumber, constants) {
+    return EpochNumber(epochNumber + constants.proofSubmissionEpochs + 1);
+}
+/**
+ * Returns the deadline timestamp (in seconds) for submitting a proof for a given epoch.
+ * Computed as the start of the given epoch plus the proof submission window.
+ */ export function getProofSubmissionDeadlineTimestamp(epochNumber, constants) {
+    // See l1-contracts/src/core/libraries/TimeLib.sol:
+    // return toSlots(_a) + Slot.wrap(store.epochDuration * (store.proofSubmissionEpochs + 1));
+    const deadlineEpoch = getProofSubmissionDeadlineEpoch(epochNumber, constants);
+    const [deadlineSlot] = getSlotRangeForEpoch(deadlineEpoch, constants);
+    return getTimestampForSlot(deadlineSlot, constants);
+}
+/** Computes the quorum size required for a committee (⌊2n/3⌋ + 1). */ export function computeQuorum(committeeSize) {
+    return Math.floor(committeeSize * 2 / 3) + 1;
+}
+/** Returns the timestamp to start building a block for a given L2 slot. Computed as the start timestamp of the slot minus one L1 slot duration. */ export function getSlotStartBuildTimestamp(slotNumber, constants) {
+    return Number(constants.l1GenesisTime) + slotNumber * constants.slotDuration - constants.ethereumSlotDuration;
+}

package/dest/errors/index.d.ts

@@ -0,0 +1,3 @@
+export * from './proving_error.js';
+export * from './simulation_error.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lcnJvcnMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxvQkFBb0IsQ0FBQztBQUNuQyxjQUFjLHVCQUF1QixDQUFDIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/errors/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC"}

package/dest/errors/index.js

@@ -0,0 +1,2 @@
+export * from './proving_error.js';
+export * from './simulation_error.js';

package/dest/errors/proving_error.d.ts

@@ -0,0 +1,15 @@
+/**
+ * An error thrown when generating a proof fails.
+ */
+export declare class ProvingError extends Error {
+    readonly retry: boolean;
+    static readonly NAME = "ProvingError";
+    /**
+     * Creates a new instance
+     * @param message - The error message.
+     * @param cause - The cause of the error.
+     * @param retry - Whether the proof should be retried.
+     */
+    constructor(message: string, cause?: unknown, retry?: boolean);
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmluZ19lcnJvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2Vycm9ycy9wcm92aW5nX2Vycm9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOztHQUVHO0FBQ0gscUJBQWEsWUFBYSxTQUFRLEtBQUs7YUFZbkIsS0FBSyxFQUFFLE9BQU87SUFYaEMsZ0JBQXVCLElBQUksa0JBQWtCO0lBRTdDOzs7OztPQUtHO0lBQ0gsWUFDRSxPQUFPLEVBQUUsTUFBTSxFQUNmLEtBQUssQ0FBQyxFQUFFLE9BQU8sRUFDQyxLQUFLLEdBQUUsT0FBZSxFQUt2QztDQUNGIn0=

package/dest/errors/proving_error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proving_error.d.ts","sourceRoot":"","sources":["../../src/errors/proving_error.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,qBAAa,YAAa,SAAQ,KAAK;aAYnB,KAAK,EAAE,OAAO;IAXhC,gBAAuB,IAAI,kBAAkB;IAE7C;;;;;OAKG;IACH,YACE,OAAO,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,OAAO,EACC,KAAK,GAAE,OAAe,EAKvC;CACF"}

package/dest/errors/proving_error.js

@@ -0,0 +1,16 @@
+/**
+ * An error thrown when generating a proof fails.
+ */ export class ProvingError extends Error {
+    retry;
+    static NAME = 'ProvingError';
+    /**
+   * Creates a new instance
+   * @param message - The error message.
+   * @param cause - The cause of the error.
+   * @param retry - Whether the proof should be retried.
+   */ constructor(message, cause, retry = false){
+        super(message), this.retry = retry;
+        this.name = ProvingError.NAME;
+        this.cause = cause;
+    }
+}

package/dest/errors/simulation_error.d.ts

@@ -0,0 +1,111 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { OpcodeLocation } from '../abi/abi.js';
+import { FunctionSelector } from '../abi/function_selector.js';
+import { AztecAddress } from '../aztec-address/index.js';
+import { type ZodFor } from '../schemas/index.js';
+/**
+ * Address and selector of a function that failed during simulation.
+ */
+export interface FailingFunction {
+    /**
+     * The address of the contract that failed.
+     */
+    contractAddress: AztecAddress;
+    /**
+     * The name of the contract that failed.
+     */
+    contractName?: string;
+    /**
+     * The selector of the function that failed.
+     */
+    functionSelector?: FunctionSelector;
+    /**
+     * The name of the function that failed.
+     */
+    functionName?: string;
+}
+/**
+ * A pointer to a failing section of the noir source code.
+ */
+export interface SourceCodeLocation {
+    /**
+     * The path to the source file.
+     */
+    filePath: string;
+    /**
+     * The line number of the call.
+     */
+    line: number;
+    /**
+     * The column number of the call.
+     */
+    column: number;
+    /**
+     * The source code of the file.
+     */
+    fileSource: string;
+    /**
+     * The source code text of the failed constraint.
+     */
+    locationText: string;
+}
+/**
+ * A stack of noir source code locations.
+ */
+export type NoirCallStack = SourceCodeLocation[] | OpcodeLocation[];
+/**
+ * Checks if a call stack is unresolved.
+ */
+export declare function isNoirCallStackUnresolved(callStack: NoirCallStack): callStack is OpcodeLocation[];
+/**
+ * An error during the simulation of a function call.
+ */
+export declare class SimulationError extends Error {
+    private originalMessage;
+    private functionErrorStack;
+    revertData: Fr[];
+    private noirErrorStack?;
+    private aztecContext;
+    constructor(originalMessage: string, functionErrorStack: FailingFunction[], revertData?: Fr[], noirErrorStack?: NoirCallStack | undefined, options?: ErrorOptions);
+    getMessage(): string;
+    getOriginalMessage(): string;
+    setOriginalMessage(message: string): void;
+    /**
+     * Enriches the error with the name of a contract that failed.
+     * @param contractAddress - The address of the contract
+     * @param contractName - The corresponding name
+     */
+    enrichWithContractName(contractAddress: AztecAddress, contractName: string): void;
+    /**
+     * Enriches the error with the name of a function that failed.
+     * @param contractAddress - The address of the contract
+     * @param functionSelector - The selector of the function
+     * @param functionName - The corresponding name
+     */
+    enrichWithFunctionName(contractAddress: AztecAddress, functionSelector: FunctionSelector, functionName: string): void;
+    getStack(): string;
+    /**
+     * The aztec function stack that failed during simulation.
+     */
+    getCallStack(): FailingFunction[];
+    /**
+     * Returns the noir call stack inside the first function that failed during simulation.
+     * @returns The noir call stack.
+     */
+    getNoirCallStack(): NoirCallStack;
+    /**
+     * Sets the noir call stack.
+     * @param callStack - The noir call stack.
+     */
+    setNoirCallStack(callStack: NoirCallStack): void;
+    setAztecContext(context: string): void;
+    toJSON(): {
+        originalMessage: string;
+        functionErrorStack: FailingFunction[];
+        noirErrorStack: NoirCallStack | undefined;
+        revertData: `0x${string}`[];
+    };
+    static get schema(): ZodFor<SimulationError>;
+    static random(): Promise<SimulationError>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltdWxhdGlvbl9lcnJvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2Vycm9ycy9zaW11bGF0aW9uX2Vycm9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRzlELE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUNwRCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMvRCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFxQixNQUFNLHFCQUFxQixDQUFDO0FBRXJFOztHQUVHO0FBQ0gsTUFBTSxXQUFXLGVBQWU7SUFDOUI7O09BRUc7SUFDSCxlQUFlLEVBQUUsWUFBWSxDQUFDO0lBQzlCOztPQUVHO0lBQ0gsWUFBWSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3RCOztPQUVHO0lBQ0gsZ0JBQWdCLENBQUMsRUFBRSxnQkFBZ0IsQ0FBQztJQUNwQzs7T0FFRztJQUNILFlBQVksQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUN2QjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLGtCQUFrQjtJQUNqQzs7T0FFRztJQUNILFFBQVEsRUFBRSxNQUFNLENBQUM7SUFDakI7O09BRUc7SUFDSCxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2I7O09BRUc7SUFDSCxNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2Y7O09BRUc7SUFDSCxVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25COztPQUVHO0lBQ0gsWUFBWSxFQUFFLE1BQU0sQ0FBQztDQUN0QjtBQVVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLGFBQWEsR0FBRyxrQkFBa0IsRUFBRSxHQUFHLGNBQWMsRUFBRSxDQUFDO0FBSXBFOztHQUVHO0FBQ0gsd0JBQWdCLHlCQUF5QixDQUFDLFNBQVMsRUFBRSxhQUFhLEdBQUcsU0FBUyxJQUFJLGNBQWMsRUFBRSxDQUVqRztBQUVEOztHQUVHO0FBQ0gscUJBQWEsZUFBZ0IsU0FBUSxLQUFLO0lBSXRDLE9BQU8sQ0FBQyxlQUFlO0lBQ3ZCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDbkIsVUFBVSxFQUFFLEVBQUUsRUFBRTtJQUN2QixPQUFPLENBQUMsY0FBYyxDQUFDO0lBTnpCLE9BQU8sQ0FBQyxZQUFZLENBQWM7SUFFbEMsWUFDVSxlQUFlLEVBQUUsTUFBTSxFQUN2QixrQkFBa0IsRUFBRSxlQUFlLEVBQUUsRUFDdEMsVUFBVSxHQUFFLEVBQUUsRUFBTyxFQUNwQixjQUFjLENBQUMsMkJBQWUsRUFDdEMsT0FBTyxDQUFDLEVBQUUsWUFBWSxFQXFDdkI7SUFFRCxVQUFVLFdBT1Q7SUFFRCxrQkFBa0IsV0FFakI7SUFFRCxrQkFBa0IsQ0FBQyxPQUFPLEVBQUUsTUFBTSxRQUVqQztJQUVEOzs7O09BSUc7SUFDSCxzQkFBc0IsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLFlBQVksRUFBRSxNQUFNLFFBTXpFO0lBRUQ7Ozs7O09BS0c7SUFDSCxzQkFBc0IsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLGdCQUFnQixFQUFFLGdCQUFnQixFQUFFLFlBQVksRUFBRSxNQUFNLFFBVTdHO0lBRUQsUUFBUSxXQW1CUDtJQUVEOztPQUVHO0lBQ0gsWUFBWSxJQUFJLGVBQWUsRUFBRSxDQUVoQztJQUVEOzs7T0FHRztJQUNILGdCQUFnQixJQUFJLGFBQWEsQ0FFaEM7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsQ0FBQyxTQUFTLEVBQUUsYUFBYSxRQUV4QztJQUVELGVBQWUsQ0FBQyxPQUFPLEVBQUUsTUFBTSxRQUU5QjtJQUVELE1BQU07Ozs7O01BT0w7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxlQUFlLENBQUMsQ0FtQjNDO0lBRUQsT0FBYSxNQUFNLDZCQUlsQjtDQUNGIn0=

package/dest/errors/simulation_error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"simulation_error.d.ts","sourceRoot":"","sources":["../../src/errors/simulation_error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAG9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,KAAK,MAAM,EAAqB,MAAM,qBAAqB,CAAC;AAErE;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,eAAe,EAAE,YAAY,CAAC;IAC9B;;OAEG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;OAEG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC;;OAEG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;OAEG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,MAAM,EAAE,MAAM,CAAC;IACf;;OAEG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB;;OAEG;IACH,YAAY,EAAE,MAAM,CAAC;CACtB;AAUD;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,kBAAkB,EAAE,GAAG,cAAc,EAAE,CAAC;AAIpE;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,aAAa,GAAG,SAAS,IAAI,cAAc,EAAE,CAEjG;AAED;;GAEG;AACH,qBAAa,eAAgB,SAAQ,KAAK;IAItC,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,kBAAkB;IACnB,UAAU,EAAE,EAAE,EAAE;IACvB,OAAO,CAAC,cAAc,CAAC;IANzB,OAAO,CAAC,YAAY,CAAc;IAElC,YACU,eAAe,EAAE,MAAM,EACvB,kBAAkB,EAAE,eAAe,EAAE,EACtC,UAAU,GAAE,EAAE,EAAO,EACpB,cAAc,CAAC,2BAAe,EACtC,OAAO,CAAC,EAAE,YAAY,EAqCvB;IAED,UAAU,WAOT;IAED,kBAAkB,WAEjB;IAED,kBAAkB,CAAC,OAAO,EAAE,MAAM,QAEjC;IAED;;;;OAIG;IACH,sBAAsB,CAAC,eAAe,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,QAMzE;IAED;;;;;OAKG;IACH,sBAAsB,CAAC,eAAe,EAAE,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,QAU7G;IAED,QAAQ,WAmBP;IAED;;OAEG;IACH,YAAY,IAAI,eAAe,EAAE,CAEhC;IAED;;;OAGG;IACH,gBAAgB,IAAI,aAAa,CAEhC;IAED;;;OAGG;IACH,gBAAgB,CAAC,SAAS,EAAE,aAAa,QAExC;IAED,eAAe,CAAC,OAAO,EAAE,MAAM,QAE9B;IAED,MAAM;;;;;MAOL;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,eAAe,CAAC,CAmB3C;IAED,OAAa,MAAM,6BAIlB;CACF"}

package/dest/errors/simulation_error.js

@@ -0,0 +1,162 @@
+import { z } from 'zod';
+import { FunctionSelector } from '../abi/function_selector.js';
+import { AztecAddress } from '../aztec-address/index.js';
+import { optional, schemas } from '../schemas/index.js';
+const SourceCodeLocationSchema = z.object({
+    filePath: z.string(),
+    line: z.number().int().nonnegative(),
+    column: z.number().int().nonnegative(),
+    fileSource: z.string(),
+    locationText: z.string()
+});
+const NoirCallStackSchema = z.union([
+    z.array(SourceCodeLocationSchema),
+    z.array(z.string())
+]);
+/**
+ * Checks if a call stack is unresolved.
+ */ export function isNoirCallStackUnresolved(callStack) {
+    return typeof callStack[0] === 'string';
+}
+/**
+ * An error during the simulation of a function call.
+ */ export class SimulationError extends Error {
+    originalMessage;
+    functionErrorStack;
+    revertData;
+    noirErrorStack;
+    aztecContext;
+    constructor(originalMessage, functionErrorStack, revertData = [], noirErrorStack, options){
+        super(originalMessage, options), this.originalMessage = originalMessage, this.functionErrorStack = functionErrorStack, this.revertData = revertData, this.noirErrorStack = noirErrorStack, this.aztecContext = '';
+        const getMessage = ()=>this.getMessage();
+        const getStack = ()=>this.getStack();
+        Object.defineProperties(this, {
+            message: {
+                configurable: false,
+                enumerable: true,
+                /**
+         * Getter for the custom error message. It has to be defined here because JS errors have the message property defined
+         * in the error itself, not its prototype. Thus if we define it as a class getter will be shadowed.
+         * @returns The message.
+         */ get () {
+                    return getMessage();
+                }
+            },
+            stack: {
+                configurable: false,
+                enumerable: true,
+                /**
+         * Getter for the custom error stack. It has to be defined here due to the same issue as the message.
+         * @returns The stack.
+         */ get () {
+                    return getStack();
+                },
+                /**
+         * We need a setter to avoid the error "TypeError: Cannot set property stack of #<SimulationError> which has only a getter"
+         * whenever we are traversing a nested error chain. However, we don't want to allow setting the stack, since the simulation
+         * error is always gonna be the root of the error chain.
+         * @param value
+         */ set (_) {}
+            }
+        });
+    }
+    getMessage() {
+        if (this.noirErrorStack && !isNoirCallStackUnresolved(this.noirErrorStack) && this.noirErrorStack.length) {
+            return `${this.originalMessage} '${this.noirErrorStack[this.noirErrorStack.length - 1].locationText}'${this.aztecContext}`;
+        }
+        return this.originalMessage;
+    }
+    getOriginalMessage() {
+        return this.originalMessage;
+    }
+    setOriginalMessage(message) {
+        this.originalMessage = message;
+    }
+    /**
+   * Enriches the error with the name of a contract that failed.
+   * @param contractAddress - The address of the contract
+   * @param contractName - The corresponding name
+   */ enrichWithContractName(contractAddress, contractName) {
+        this.functionErrorStack.forEach((failingFunction)=>{
+            if (failingFunction.contractAddress.equals(contractAddress)) {
+                failingFunction.contractName = contractName;
+            }
+        });
+    }
+    /**
+   * Enriches the error with the name of a function that failed.
+   * @param contractAddress - The address of the contract
+   * @param functionSelector - The selector of the function
+   * @param functionName - The corresponding name
+   */ enrichWithFunctionName(contractAddress, functionSelector, functionName) {
+        this.functionErrorStack.forEach((failingFunction)=>{
+            if (failingFunction.contractAddress.equals(contractAddress) && !!failingFunction.functionSelector && failingFunction.functionSelector.equals(functionSelector)) {
+                failingFunction.functionName = functionName;
+            }
+        });
+    }
+    getStack() {
+        const functionCallStack = this.getCallStack();
+        const noirCallStack = this.getNoirCallStack();
+        // Try to resolve the contract and function names of the stack of failing functions.
+        const stackLines = [
+            ...functionCallStack.map((failingFunction)=>{
+                return `at ${failingFunction.contractName ?? failingFunction.contractAddress.toString()}.${failingFunction.functionName ?? failingFunction.functionSelector?.toString() ?? 'unknown'}`;
+            }),
+            ...noirCallStack.map((errorLocation)=>typeof errorLocation === 'string' ? `at opcode ${errorLocation}` : `at ${errorLocation.locationText} (${errorLocation.filePath}:${errorLocation.line}:${errorLocation.column})`)
+        ];
+        return [
+            `Simulation error: ${this.message}`,
+            ...stackLines.reverse()
+        ].join('\n');
+    }
+    /**
+   * The aztec function stack that failed during simulation.
+   */ getCallStack() {
+        return this.functionErrorStack;
+    }
+    /**
+   * Returns the noir call stack inside the first function that failed during simulation.
+   * @returns The noir call stack.
+   */ getNoirCallStack() {
+        return this.noirErrorStack || [];
+    }
+    /**
+   * Sets the noir call stack.
+   * @param callStack - The noir call stack.
+   */ setNoirCallStack(callStack) {
+        this.noirErrorStack = callStack;
+    }
+    setAztecContext(context) {
+        this.aztecContext = context;
+    }
+    toJSON() {
+        return {
+            originalMessage: this.originalMessage,
+            functionErrorStack: this.functionErrorStack,
+            noirErrorStack: this.noirErrorStack,
+            revertData: this.revertData.map((fr)=>fr.toString())
+        };
+    }
+    static get schema() {
+        return z.object({
+            originalMessage: z.string(),
+            functionErrorStack: z.array(z.object({
+                contractAddress: schemas.AztecAddress,
+                contractName: z.string().optional(),
+                functionSelector: optional(schemas.FunctionSelector),
+                functionName: z.string().optional()
+            })),
+            noirErrorStack: NoirCallStackSchema.optional(),
+            revertData: z.array(schemas.Fr)
+        }).transform(({ originalMessage, functionErrorStack, noirErrorStack, revertData })=>new SimulationError(originalMessage, functionErrorStack, revertData, noirErrorStack));
+    }
+    static async random() {
+        return new SimulationError('Random simulation error', [
+            {
+                contractAddress: await AztecAddress.random(),
+                functionSelector: FunctionSelector.random()
+            }
+        ]);
+    }
+}

package/dest/fees/index.d.ts

@@ -0,0 +1,2 @@
+export * from './transaction_fee.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9mZWVzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsc0JBQXNCLENBQUMifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/fees/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC"}

package/dest/fees/index.js

@@ -0,0 +1 @@
+export * from './transaction_fee.js';

package/dest/fees/transaction_fee.d.ts

@@ -0,0 +1,11 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { Gas } from '../gas/gas.js';
+import { GasFees } from '../gas/gas_fees.js';
+import type { GasSettings } from '../gas/gas_settings.js';
+/**
+ * Compute the effective gas fees that should be used to compute the transaction fee.
+ * This is the sum of the gas fees and the priority fees, but capped at the max fees per gas.
+ */
+export declare function computeEffectiveGasFees(gasFees: GasFees, gasSettings: GasSettings): GasFees;
+export declare function computeTransactionFee(gasFees: GasFees, gasSettings: GasSettings, gasUsed: Gas): Fr;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJhbnNhY3Rpb25fZmVlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZmVlcy90cmFuc2FjdGlvbl9mZWUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFHOUQsT0FBTyxLQUFLLEVBQUUsR0FBRyxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQ3pDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUM3QyxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUUxRDs7O0dBR0c7QUFDSCx3QkFBZ0IsdUJBQXVCLENBQUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0F1QjNGO0FBRUQsd0JBQWdCLHFCQUFxQixDQUFDLE9BQU8sRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLFdBQVcsRUFBRSxPQUFPLEVBQUUsR0FBRyxHQUFHLEVBQUUsQ0FHbEcifQ==

package/dest/fees/transaction_fee.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction_fee.d.ts","sourceRoot":"","sources":["../../src/fees/transaction_fee.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAG9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAuB3F;AAED,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,GAAG,EAAE,CAGlG"}

package/dest/fees/transaction_fee.js

@@ -0,0 +1,18 @@
+import { strict as assert } from 'assert';
+import { GasFees } from '../gas/gas_fees.js';
+/**
+ * Compute the effective gas fees that should be used to compute the transaction fee.
+ * This is the sum of the gas fees and the priority fees, but capped at the max fees per gas.
+ */ export function computeEffectiveGasFees(gasFees, gasSettings) {
+    const { maxFeesPerGas, maxPriorityFeesPerGas } = gasSettings;
+    const minBigInt = (f1, f2)=>f1 < f2 ? f1 : f2;
+    assert(maxFeesPerGas.feePerDaGas >= gasFees.feePerDaGas, `maxFeesPerGas.feePerDaGas must be greater than or equal to gasFees.feePerDaGas, but got maxFeesPerGas.feePerDaGas=${maxFeesPerGas.feePerDaGas} and gasFees.feePerDaGas=${gasFees.feePerDaGas}`);
+    assert(maxFeesPerGas.feePerL2Gas >= gasFees.feePerL2Gas, `maxFeesPerGas.feePerL2Gas must be greater than or equal to gasFees.feePerL2Gas, but got maxFeesPerGas.feePerL2Gas=${maxFeesPerGas.feePerL2Gas} and gasFees.feePerL2Gas=${gasFees.feePerL2Gas}`);
+    const priorityFees = new GasFees(minBigInt(maxPriorityFeesPerGas.feePerDaGas, maxFeesPerGas.feePerDaGas - gasFees.feePerDaGas), minBigInt(maxPriorityFeesPerGas.feePerL2Gas, maxFeesPerGas.feePerL2Gas - gasFees.feePerL2Gas));
+    const effectiveFees = new GasFees(gasFees.feePerDaGas + priorityFees.feePerDaGas, gasFees.feePerL2Gas + priorityFees.feePerL2Gas);
+    return effectiveFees;
+}
+export function computeTransactionFee(gasFees, gasSettings, gasUsed) {
+    const effectiveFees = computeEffectiveGasFees(gasFees, gasSettings);
+    return gasUsed.computeFee(effectiveFees);
+}

package/dest/file-store/factory.d.ts

@@ -0,0 +1,8 @@
+import { type Logger } from '@aztec-labs/foundation/log';
+import { type HttpFileStoreOptions } from './http.js';
+import type { FileStore, ReadOnlyFileStore } from './interface.js';
+export declare function createFileStore(config: string, logger?: Logger): Promise<FileStore>;
+export declare function createFileStore(config: undefined, logger?: Logger): Promise<undefined>;
+export declare function createReadOnlyFileStore(config: string, logger?: Logger, options?: HttpFileStoreOptions): Promise<ReadOnlyFileStore>;
+export declare function createReadOnlyFileStore(config: undefined, logger?: Logger, options?: HttpFileStoreOptions): Promise<undefined>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmFjdG9yeS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2ZpbGUtc3RvcmUvZmFjdG9yeS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0sNEJBQTRCLENBQUM7QUFHdkUsT0FBTyxFQUFpQixLQUFLLG9CQUFvQixFQUFFLE1BQU0sV0FBVyxDQUFDO0FBQ3JFLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxpQkFBaUIsRUFBRSxNQUFNLGdCQUFnQixDQUFDO0FBWW5FLHdCQUFzQixlQUFlLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLFNBQVMsQ0FBQyxDQUFDO0FBQzNGLHdCQUFzQixlQUFlLENBQUMsTUFBTSxFQUFFLFNBQVMsRUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLFNBQVMsQ0FBQyxDQUFDO0FBbUQ5Rix3QkFBc0IsdUJBQXVCLENBQzNDLE1BQU0sRUFBRSxNQUFNLEVBQ2QsTUFBTSxDQUFDLEVBQUUsTUFBTSxFQUNmLE9BQU8sQ0FBQyxFQUFFLG9CQUFvQixHQUM3QixPQUFPLENBQUMsaUJBQWlCLENBQUMsQ0FBQztBQUM5Qix3QkFBc0IsdUJBQXVCLENBQzNDLE1BQU0sRUFBRSxTQUFTLEVBQ2pCLE1BQU0sQ0FBQyxFQUFFLE1BQU0sRUFDZixPQUFPLENBQUMsRUFBRSxvQkFBb0IsR0FDN0IsT0FBTyxDQUFDLFNBQVMsQ0FBQyxDQUFDIn0=

package/dest/file-store/factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/file-store/factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,4BAA4B,CAAC;AAGvE,OAAO,EAAiB,KAAK,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAYnE,wBAAsB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;AAC3F,wBAAsB,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;AAmD9F,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,MAAM,EACd,MAAM,CAAC,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAC9B,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,SAAS,EACjB,MAAM,CAAC,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,SAAS,CAAC,CAAC"}