@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.0208eb9

package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts

@@ -0,0 +1,20 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import { ScheduledDelayChange } from './scheduled_delay_change.js';
+import { ScheduledValueChange } from './scheduled_value_change.js';
+export declare const DELAYED_PUBLIC_MUTABLE_VALUES_LEN: number;
+export declare class DelayedPublicMutableValues {
+    svc: ScheduledValueChange;
+    sdc: ScheduledDelayChange;
+    constructor(svc: ScheduledValueChange, sdc: ScheduledDelayChange);
+    static fromFields(fields: Fr[] | FieldReader): DelayedPublicMutableValues;
+    toFields(): Fr[];
+    toBuffer(): Buffer;
+    static fromBuffer(buffer: Buffer | BufferReader, valueSize: number): DelayedPublicMutableValues;
+    static empty(valueSize: number): DelayedPublicMutableValues;
+    static readFromTree(delayedPublicMutableSlot: Fr, readStorage: (storageSlot: Fr) => Promise<Fr>): Promise<DelayedPublicMutableValues>;
+    isEmpty(): boolean;
+    writeToTree(delayedPublicMutableSlot: Fr, storageWrite: (storageSlot: Fr, value: Fr) => Promise<void>): Promise<void[]>;
+    hash(): Promise<Fr>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGVsYXllZF9wdWJsaWNfbXV0YWJsZV92YWx1ZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9kZWxheWVkX3B1YmxpY19tdXRhYmxlL2RlbGF5ZWRfcHVibGljX211dGFibGVfdmFsdWVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUUzRixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNuRSxPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUVuRSxlQUFPLE1BQU0saUNBQWlDLFFBQTZCLENBQUM7QUFFNUUscUJBQWEsMEJBQTBCO0lBRTVCLEdBQUcsRUFBRSxvQkFBb0I7SUFDekIsR0FBRyxFQUFFLG9CQUFvQjtJQUZsQyxZQUNTLEdBQUcsRUFBRSxvQkFBb0IsRUFDekIsR0FBRyxFQUFFLG9CQUFvQixFQUM5QjtJQUVKLE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsOEJBeUIzQztJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FXZjtJQUVELFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksRUFBRSxTQUFTLEVBQUUsTUFBTSxHQUFHLDBCQUEwQixDQUc5RjtJQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMsU0FBUyxFQUFFLE1BQU0sOEJBRTdCO0lBRUQsT0FBYSxZQUFZLENBQUMsd0JBQXdCLEVBQUUsRUFBRSxFQUFFLFdBQVcsRUFBRSxDQUFDLFdBQVcsRUFBRSxFQUFFLEtBQUssT0FBTyxDQUFDLEVBQUUsQ0FBQyx1Q0FLcEc7SUFFRCxPQUFPLElBQUksT0FBTyxDQUVqQjtJQUVELFdBQVcsQ0FBQyx3QkFBd0IsRUFBRSxFQUFFLEVBQUUsWUFBWSxFQUFFLENBQUMsV0FBVyxFQUFFLEVBQUUsRUFBRSxLQUFLLEVBQUUsRUFBRSxLQUFLLE9BQU8sQ0FBQyxJQUFJLENBQUMsbUJBTXBHO0lBRUssSUFBSSxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FJeEI7Q0FDRiJ9

package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delayed_public_mutable_values.d.ts","sourceRoot":"","sources":["../../src/delayed_public_mutable/delayed_public_mutable_values.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,eAAO,MAAM,iCAAiC,QAA6B,CAAC;AAE5E,qBAAa,0BAA0B;IAE5B,GAAG,EAAE,oBAAoB;IACzB,GAAG,EAAE,oBAAoB;IAFlC,YACS,GAAG,EAAE,oBAAoB,EACzB,GAAG,EAAE,oBAAoB,EAC9B;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,8BAyB3C;IAED,QAAQ,IAAI,EAAE,EAAE,CAWf;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,EAAE,SAAS,EAAE,MAAM,GAAG,0BAA0B,CAG9F;IAED,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,8BAE7B;IAED,OAAa,YAAY,CAAC,wBAAwB,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,uCAKpG;IAED,OAAO,IAAI,OAAO,CAEjB;IAED,WAAW,CAAC,wBAAwB,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,mBAMpG;IAEK,IAAI,IAAI,OAAO,CAAC,EAAE,CAAC,CAIxB;CACF"}

package/dest/{shared_mutable/shared_mutable_values.js → delayed_public_mutable/delayed_public_mutable_values.js}

@@ -1,11 +1,11 @@
 import { UPDATES_VALUE_SIZE } from '@aztec/constants';
-import { poseidon2Hash } from '@aztec/foundation/crypto';
-import { Fr } from '@aztec/foundation/fields';
+import { poseidon2Hash } from '@aztec/foundation/crypto/poseidon';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { ScheduledDelayChange } from './scheduled_delay_change.js';
 import { ScheduledValueChange } from './scheduled_value_change.js';
-export const SHARED_MUTABLE_VALUES_LEN = 2 * UPDATES_VALUE_SIZE + 1;
-export class SharedMutableValues {
+export const DELAYED_PUBLIC_MUTABLE_VALUES_LEN = 2 * UPDATES_VALUE_SIZE + 1;
+export class DelayedPublicMutableValues {
     svc;
     sdc;
     constructor(svc, sdc){
@@ -18,22 +18,22 @@ export class SharedMutableValues {
         // Extract fields for ScheduledValueChange
         const svcPre = reader.readFieldArray(UPDATES_VALUE_SIZE);
         const svcPost = reader.readFieldArray(UPDATES_VALUE_SIZE);
-        const svcBlockOfChange = firstField & 0xffffffffn;
-        const svc = new ScheduledValueChange(svcPre, svcPost, Number(svcBlockOfChange));
+        const svcTimestampOfChange = firstField & 0xffffffffn;
+        const svc = new ScheduledValueChange(svcPre, svcPost, svcTimestampOfChange);
         // Extract fields for ScheduledDelayChange from first field
-        const sdcBlockOfChange = firstField >> 32n & 0xffffffffn;
+        const sdcTimestampOfChange = firstField >> 32n & 0xffffffffn;
         const sdcIsPostSome = firstField >> 64n & 1n;
         const sdcPost = firstField >> 72n & 0xffffffffn;
         const sdcIsPreSome = firstField >> 104n & 1n;
         const sdcPre = firstField >> 112n & 0xffffffffn;
-        const sdc = new ScheduledDelayChange(sdcIsPreSome ? Number(sdcPre) : undefined, sdcIsPostSome ? Number(sdcPost) : undefined, Number(sdcBlockOfChange));
+        const sdc = new ScheduledDelayChange(sdcIsPreSome ? sdcPre : undefined, sdcIsPostSome ? sdcPost : undefined, sdcTimestampOfChange);
         return new this(svc, sdc);
     }
     toFields() {
         // Pack format matches Noir implementation:
-        // [ sdc.pre_inner: u32 | sdc.pre_is_some: u8 | sdc.post_inner: u32 | sdc.post_is_some: u8 | sdc.block_of_change: u32 | svc.block_of_change: u32 ]
-        let firstField = BigInt(this.svc.blockOfChange);
-        firstField |= BigInt(this.sdc.blockOfChange) << 32n;
+        // [ sdc.pre_inner: u32 | sdc.pre_is_some: u8 | sdc.post_inner: u32 | sdc.post_is_some: u8 | sdc.timestamp_of_change: u32 | svc.timestamp_of_change: u32 ]
+        let firstField = this.svc.timestampOfChange;
+        firstField |= this.sdc.timestampOfChange << 32n;
         firstField |= (this.sdc.post === undefined ? 0n : 1n) << 64n;
         firstField |= BigInt(this.sdc.post || 0) << 72n;
         firstField |= (this.sdc.pre === undefined ? 0n : 1n) << 104n;
@@ -49,26 +49,23 @@ export class SharedMutableValues {
     }
     static fromBuffer(buffer, valueSize) {
         const reader = BufferReader.asReader(buffer);
-        return SharedMutableValues.fromFields(reader.readArray(2 * valueSize + 1, Fr));
+        return DelayedPublicMutableValues.fromFields(reader.readArray(2 * valueSize + 1, Fr));
     }
     static empty(valueSize) {
         return new this(ScheduledValueChange.empty(valueSize), ScheduledDelayChange.empty());
     }
-    static async readFromTree(sharedMutableSlot, readStorage) {
-        const fields = [];
-        for(let i = 0; i < SHARED_MUTABLE_VALUES_LEN; i++){
-            fields.push(await readStorage(sharedMutableSlot.add(new Fr(i))));
-        }
-        return SharedMutableValues.fromFields(fields);
+    static async readFromTree(delayedPublicMutableSlot, readStorage) {
+        const fieldPromises = Array.from({
+            length: DELAYED_PUBLIC_MUTABLE_VALUES_LEN
+        }).map((_, i)=>readStorage(delayedPublicMutableSlot.add(new Fr(i))));
+        return DelayedPublicMutableValues.fromFields(await Promise.all(fieldPromises));
     }
     isEmpty() {
         return this.svc.isEmpty() && this.sdc.isEmpty();
     }
-    async writeToTree(sharedMutableSlot, storageWrite) {
-        const fields = this.toFields();
-        for(let i = 0; i < fields.length; i++){
-            await storageWrite(sharedMutableSlot.add(new Fr(i)), fields[i]);
-        }
+    writeToTree(delayedPublicMutableSlot, storageWrite) {
+        const fieldPromises = this.toFields().map((field, i)=>storageWrite(delayedPublicMutableSlot.add(new Fr(i)), field));
+        return Promise.all(fieldPromises);
     }
     async hash() {
         const fields = this.toFields();

package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts

@@ -0,0 +1,15 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import type { AztecAddress } from '../aztec-address/index.js';
+import { ScheduledDelayChange } from './scheduled_delay_change.js';
+import { ScheduledValueChange } from './scheduled_value_change.js';
+export declare class DelayedPublicMutableValuesWithHash {
+    private dpmv;
+    constructor(svc: ScheduledValueChange, sdc: ScheduledDelayChange);
+    toFields(): Promise<Fr[]>;
+    writeToTree(delayedPublicMutableSlot: Fr, storageWrite: (storageSlot: Fr, value: Fr) => Promise<void>): Promise<void>;
+    static getContractUpdateSlots(contractAddress: AztecAddress): Promise<{
+        delayedPublicMutableSlot: Fr;
+        delayedPublicMutableHashSlot: Fr;
+    }>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGVsYXllZF9wdWJsaWNfbXV0YWJsZV92YWx1ZXNfd2l0aF9oYXNoLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZGVsYXllZF9wdWJsaWNfbXV0YWJsZS9kZWxheWVkX3B1YmxpY19tdXRhYmxlX3ZhbHVlc193aXRoX2hhc2gudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRzlELE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ25FLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBRW5FLHFCQUFhLGtDQUFrQztJQUM3QyxPQUFPLENBQUMsSUFBSSxDQUE2QjtJQUV6QyxZQUFZLEdBQUcsRUFBRSxvQkFBb0IsRUFBRSxHQUFHLEVBQUUsb0JBQW9CLEVBRS9EO0lBRUssUUFBUSxJQUFJLE9BQU8sQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUU5QjtJQUVLLFdBQVcsQ0FBQyx3QkFBd0IsRUFBRSxFQUFFLEVBQUUsWUFBWSxFQUFFLENBQUMsV0FBVyxFQUFFLEVBQUUsRUFBRSxLQUFLLEVBQUUsRUFBRSxLQUFLLE9BQU8sQ0FBQyxJQUFJLENBQUMsaUJBTTFHO0lBRUQsT0FBYSxzQkFBc0IsQ0FBQyxlQUFlLEVBQUUsWUFBWTs7O09BUWhFO0NBQ0YifQ==

package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delayed_public_mutable_values_with_hash.d.ts","sourceRoot":"","sources":["../../src/delayed_public_mutable/delayed_public_mutable_values_with_hash.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAG9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,qBAAa,kCAAkC;IAC7C,OAAO,CAAC,IAAI,CAA6B;IAEzC,YAAY,GAAG,EAAE,oBAAoB,EAAE,GAAG,EAAE,oBAAoB,EAE/D;IAEK,QAAQ,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAE9B;IAEK,WAAW,CAAC,wBAAwB,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,iBAM1G;IAED,OAAa,sBAAsB,CAAC,eAAe,EAAE,YAAY;;;OAQhE;CACF"}

package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.js

@@ -0,0 +1,30 @@
+import { UPDATED_CLASS_IDS_SLOT } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { deriveStorageSlotInMap } from '../hash/map_slot.js';
+import { DELAYED_PUBLIC_MUTABLE_VALUES_LEN, DelayedPublicMutableValues } from './delayed_public_mutable_values.js';
+export class DelayedPublicMutableValuesWithHash {
+    dpmv;
+    constructor(svc, sdc){
+        this.dpmv = new DelayedPublicMutableValues(svc, sdc);
+    }
+    async toFields() {
+        return [
+            ...this.dpmv.toFields(),
+            await this.dpmv.hash()
+        ];
+    }
+    async writeToTree(delayedPublicMutableSlot, storageWrite) {
+        const fields = await this.toFields();
+        for(let i = 0; i < fields.length; i++){
+            await storageWrite(delayedPublicMutableSlot.add(new Fr(i)), fields[i]);
+        }
+    }
+    static async getContractUpdateSlots(contractAddress) {
+        const delayedPublicMutableSlot = await deriveStorageSlotInMap(new Fr(UPDATED_CLASS_IDS_SLOT), contractAddress);
+        const delayedPublicMutableHashSlot = delayedPublicMutableSlot.add(new Fr(DELAYED_PUBLIC_MUTABLE_VALUES_LEN));
+        return {
+            delayedPublicMutableSlot,
+            delayedPublicMutableHashSlot
+        };
+    }
+}

package/dest/delayed_public_mutable/index.d.ts

@@ -0,0 +1,5 @@
+export * from './scheduled_delay_change.js';
+export * from './scheduled_value_change.js';
+export * from './delayed_public_mutable_values.js';
+export * from './delayed_public_mutable_values_with_hash.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9kZWxheWVkX3B1YmxpY19tdXRhYmxlL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsNkJBQTZCLENBQUM7QUFDNUMsY0FBYyw2QkFBNkIsQ0FBQztBQUM1QyxjQUFjLG9DQUFvQyxDQUFDO0FBQ25ELGNBQWMsOENBQThDLENBQUMifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/delayed_public_mutable/index.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,6BAA6B,CAAC;AAC5C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8CAA8C,CAAC"}

package/dest/delayed_public_mutable/index.js

@@ -0,0 +1,4 @@
+export * from './scheduled_delay_change.js';
+export * from './scheduled_value_change.js';
+export * from './delayed_public_mutable_values.js';
+export * from './delayed_public_mutable_values_with_hash.js';

package/dest/delayed_public_mutable/scheduled_delay_change.d.ts

@@ -0,0 +1,10 @@
+import type { UInt64 } from '../types/shared.js';
+export declare class ScheduledDelayChange {
+    pre: UInt64 | undefined;
+    post: UInt64 | undefined;
+    timestampOfChange: UInt64;
+    constructor(pre: UInt64 | undefined, post: UInt64 | undefined, timestampOfChange: UInt64);
+    static empty(): ScheduledDelayChange;
+    isEmpty(): boolean;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NoZWR1bGVkX2RlbGF5X2NoYW5nZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2RlbGF5ZWRfcHVibGljX211dGFibGUvc2NoZWR1bGVkX2RlbGF5X2NoYW5nZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUVqRCxxQkFBYSxvQkFBb0I7SUFFdEIsR0FBRyxFQUFFLE1BQU0sR0FBRyxTQUFTO0lBQ3ZCLElBQUksRUFBRSxNQUFNLEdBQUcsU0FBUztJQUN4QixpQkFBaUIsRUFBRSxNQUFNO0lBSGxDLFlBQ1MsR0FBRyxFQUFFLE1BQU0sR0FBRyxTQUFTLEVBQ3ZCLElBQUksRUFBRSxNQUFNLEdBQUcsU0FBUyxFQUN4QixpQkFBaUIsRUFBRSxNQUFNLEVBQzlCO0lBRUosTUFBTSxDQUFDLEtBQUsseUJBRVg7SUFFRCxPQUFPLElBQUksT0FBTyxDQUVqQjtDQUNGIn0=

package/dest/delayed_public_mutable/scheduled_delay_change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scheduled_delay_change.d.ts","sourceRoot":"","sources":["../../src/delayed_public_mutable/scheduled_delay_change.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,oBAAoB;IAEtB,GAAG,EAAE,MAAM,GAAG,SAAS;IACvB,IAAI,EAAE,MAAM,GAAG,SAAS;IACxB,iBAAiB,EAAE,MAAM;IAHlC,YACS,GAAG,EAAE,MAAM,GAAG,SAAS,EACvB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,iBAAiB,EAAE,MAAM,EAC9B;IAEJ,MAAM,CAAC,KAAK,yBAEX;IAED,OAAO,IAAI,OAAO,CAEjB;CACF"}

package/dest/{shared_mutable → delayed_public_mutable}/scheduled_delay_change.js

@@ -1,16 +1,16 @@
 export class ScheduledDelayChange {
     pre;
     post;
-    blockOfChange;
-    constructor(pre, post, blockOfChange){
+    timestampOfChange;
+    constructor(pre, post, timestampOfChange){
         this.pre = pre;
         this.post = post;
-        this.blockOfChange = blockOfChange;
+        this.timestampOfChange = timestampOfChange;
     }
     static empty() {
-        return new this(undefined, undefined, 0);
+        return new this(undefined, undefined, 0n);
     }
     isEmpty() {
-        return this.pre === undefined && this.post === undefined && this.blockOfChange === 0;
+        return this.pre === undefined && this.post === undefined && this.timestampOfChange === 0n;
     }
 }

package/dest/delayed_public_mutable/scheduled_value_change.d.ts

@@ -0,0 +1,12 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import type { UInt64 } from '../types/shared.js';
+export declare class ScheduledValueChange {
+    previous: Fr[];
+    post: Fr[];
+    timestampOfChange: UInt64;
+    constructor(previous: Fr[], post: Fr[], timestampOfChange: UInt64);
+    static empty(valueSize: number): ScheduledValueChange;
+    isEmpty(): boolean;
+    getCurrentAt(timestamp: UInt64): Fr[];
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NoZWR1bGVkX3ZhbHVlX2NoYW5nZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2RlbGF5ZWRfcHVibGljX211dGFibGUvc2NoZWR1bGVkX3ZhbHVlX2NoYW5nZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQscUJBQWEsb0JBQW9CO0lBRXRCLFFBQVEsRUFBRSxFQUFFLEVBQUU7SUFDZCxJQUFJLEVBQUUsRUFBRSxFQUFFO0lBQ1YsaUJBQWlCLEVBQUUsTUFBTTtJQUhsQyxZQUNTLFFBQVEsRUFBRSxFQUFFLEVBQUUsRUFDZCxJQUFJLEVBQUUsRUFBRSxFQUFFLEVBQ1YsaUJBQWlCLEVBQUUsTUFBTSxFQUtqQztJQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMsU0FBUyxFQUFFLE1BQU0sd0JBRTdCO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FFakI7SUFFRCxZQUFZLENBQUMsU0FBUyxFQUFFLE1BQU0sUUFNN0I7Q0FDRiJ9

package/dest/delayed_public_mutable/scheduled_value_change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scheduled_value_change.d.ts","sourceRoot":"","sources":["../../src/delayed_public_mutable/scheduled_value_change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,oBAAoB;IAEtB,QAAQ,EAAE,EAAE,EAAE;IACd,IAAI,EAAE,EAAE,EAAE;IACV,iBAAiB,EAAE,MAAM;IAHlC,YACS,QAAQ,EAAE,EAAE,EAAE,EACd,IAAI,EAAE,EAAE,EAAE,EACV,iBAAiB,EAAE,MAAM,EAKjC;IAED,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,wBAE7B;IAED,OAAO,IAAI,OAAO,CAEjB;IAED,YAAY,CAAC,SAAS,EAAE,MAAM,QAM7B;CACF"}

package/dest/{shared_mutable → delayed_public_mutable}/scheduled_value_change.js

@@ -1,24 +1,24 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 export class ScheduledValueChange {
     previous;
     post;
-    blockOfChange;
-    constructor(previous, post, blockOfChange){
+    timestampOfChange;
+    constructor(previous, post, timestampOfChange){
         this.previous = previous;
         this.post = post;
-        this.blockOfChange = blockOfChange;
+        this.timestampOfChange = timestampOfChange;
         if (this.previous.length !== this.post.length) {
             throw new Error('Previous and post must have the same length');
         }
     }
     static empty(valueSize) {
-        return new this(Array(valueSize).fill(new Fr(0)), Array(valueSize).fill(new Fr(0)), 0);
+        return new this(Array(valueSize).fill(new Fr(0)), Array(valueSize).fill(new Fr(0)), 0n);
     }
     isEmpty() {
-        return this.previous.every((v)=>v.isZero()) && this.post.every((v)=>v.isZero()) && this.blockOfChange === 0;
+        return this.previous.every((v)=>v.isZero()) && this.post.every((v)=>v.isZero()) && this.timestampOfChange === 0n;
     }
-    getCurrentAt(blockNumber) {
-        if (blockNumber < this.blockOfChange) {
+    getCurrentAt(timestamp) {
+        if (timestamp < this.timestampOfChange) {
             return this.previous;
         } else {
             return this.post;

package/dest/deserialization/index.d.ts

@@ -0,0 +1,11 @@
+/** Max transactions per block for deserialization validation */
+export declare const MAX_TXS_PER_BLOCK: number;
+/** Max committee size - theoretical max from bitmap design (256 bytes × 8 bits) */
+export declare const MAX_COMMITTEE_SIZE = 2048;
+/** Max blocks per checkpoint */
+export declare const MAX_BLOCKS_PER_CHECKPOINT = 72;
+/** Max tx effects per body (based on blob capacity per checkpoint) */
+export declare const MAX_TX_EFFECTS_PER_BODY: number;
+/** Max block hash string length (hex: 0x + 64 chars, with generous headroom) */
+export declare const MAX_BLOCK_HASH_STRING_LENGTH = 128;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9kZXNlcmlhbGl6YXRpb24vaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBT0EsZ0VBQWdFO0FBQ2hFLGVBQU8sTUFBTSxpQkFBaUIsUUFBVSxDQUFDO0FBRXpDLG9GQUFtRjtBQUNuRixlQUFPLE1BQU0sa0JBQWtCLE9BQU8sQ0FBQztBQUV2QyxnQ0FBZ0M7QUFDaEMsZUFBTyxNQUFNLHlCQUF5QixLQUFLLENBQUM7QUFFNUMsc0VBQXNFO0FBQ3RFLGVBQU8sTUFBTSx1QkFBdUIsUUFBeUMsQ0FBQztBQUU5RSxnRkFBZ0Y7QUFDaEYsZUFBTyxNQUFNLDRCQUE0QixNQUFNLENBQUMifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/deserialization/index.ts"],"names":[],"mappings":"AAOA,gEAAgE;AAChE,eAAO,MAAM,iBAAiB,QAAU,CAAC;AAEzC,oFAAmF;AACnF,eAAO,MAAM,kBAAkB,OAAO,CAAC;AAEvC,gCAAgC;AAChC,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAE5C,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,QAAyC,CAAC;AAE9E,gFAAgF;AAChF,eAAO,MAAM,4BAA4B,MAAM,CAAC"}

package/dest/deserialization/index.js

@@ -0,0 +1,10 @@
+/**
+ * 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 } from '@aztec/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;
+/** Max blocks per checkpoint */ export const MAX_BLOCKS_PER_CHECKPOINT = 72;
+/** 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

@@ -1,3 +1,4 @@
+import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
 import { z } from 'zod';
 export type L1RollupConstants = {
     l1StartBlock: bigint;
@@ -5,6 +6,7 @@ export type L1RollupConstants = {
     slotDuration: number;
     epochDuration: number;
     ethereumSlotDuration: number;
+    proofSubmissionEpochs: number;
 };
 export declare const EmptyL1RollupConstants: L1RollupConstants;
 export declare const L1RollupConstantsSchema: z.ZodObject<{
@@ -13,30 +15,53 @@ export declare const L1RollupConstantsSchema: z.ZodObject<{
     slotDuration: z.ZodNumber;
     epochDuration: z.ZodNumber;
     ethereumSlotDuration: z.ZodNumber;
+    proofSubmissionEpochs: z.ZodNumber;
 }, "strip", z.ZodTypeAny, {
     l1StartBlock: bigint;
     l1GenesisTime: bigint;
     slotDuration: number;
     epochDuration: number;
     ethereumSlotDuration: number;
+    proofSubmissionEpochs: number;
 }, {
     l1StartBlock: string | number | bigint;
     l1GenesisTime: string | number | bigint;
     slotDuration: number;
     epochDuration: number;
     ethereumSlotDuration: number;
+    proofSubmissionEpochs: number;
 }>;
+/** 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'>): bigint;
+export declare function getSlotAtTimestamp(ts: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>): SlotNumber;
+/** 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'>): bigint;
+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: bigint, constants: Pick<L1RollupConstants, 'epochDuration'>): bigint;
+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: bigint, constants: Pick<L1RollupConstants, 'epochDuration'>): bigint[];
+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: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration' | 'ethereumSlotDuration'>): bigint[];
-//# sourceMappingURL=index.d.ts.map
+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;
+/** 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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lcG9jaC1oZWxwZXJzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUUsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFlBQVksRUFBRSxNQUFNLENBQUM7SUFDckIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixvQkFBb0IsRUFBRSxNQUFNLENBQUM7SUFDN0IscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0NBQy9CLENBQUM7QUFFRixlQUFPLE1BQU0sc0JBQXNCLEVBQUUsaUJBT3BDLENBQUM7QUFFRixlQUFPLE1BQU0sdUJBQXVCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFTbkMsQ0FBQztBQUVGLGlEQUFpRDtBQUNqRCx3QkFBZ0IsbUJBQW1CLENBQ2pDLElBQUksRUFBRSxVQUFVLEVBQ2hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsQ0FBQyxVQUdyRTtBQUVELHFEQUFxRDtBQUNyRCx3QkFBZ0Isa0JBQWtCLENBQ2hDLEVBQUUsRUFBRSxNQUFNLEVBQ1YsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxDQUFDLEdBQ25FLFVBQVUsQ0FJWjtBQUVELHNGQUFzRjtBQUN0Rix3QkFBZ0Isb0JBQW9CLENBQ2xDLGtCQUFrQixFQUFFLE1BQU0sRUFDMUIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLHNCQUFzQixDQUFDLEdBQzVGLFVBQVUsQ0FHWjtBQUVELHNEQUFzRDtBQUN0RCx3QkFBZ0IseUJBQXlCLENBQ3ZDLEVBQUUsRUFBRSxNQUFNLEVBQ1YsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLGVBQWUsQ0FBQyxHQUNyRixXQUFXLENBRWI7QUFFRCxpREFBaUQ7QUFDakQsd0JBQWdCLGNBQWMsQ0FBQyxJQUFJLEVBQUUsVUFBVSxFQUFFLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxDQUFDLEdBQUcsV0FBVyxDQUVqSDtBQUVELDBFQUEwRTtBQUMxRSx3QkFBZ0Isb0JBQW9CLENBQ2xDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxDQUFDLEdBQ2xELENBQUMsVUFBVSxFQUFFLFVBQVUsQ0FBQyxDQUcxQjtBQUVEOzs7R0FHRztBQUNILHdCQUFnQix5QkFBeUIsQ0FDdkMsV0FBVyxFQUFFLFdBQVcsRUFDeEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLGVBQWUsR0FBRyxzQkFBc0IsQ0FBQyxHQUM5RyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsQ0FTbEI7QUFFRDs7R0FFRztBQUNILHdCQUFnQix5QkFBeUIsQ0FDdkMsV0FBVyxFQUFFLFdBQVcsRUFDeEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLGVBQWUsQ0FBQyxVQUl2RjtBQUVEOzs7R0FHRztBQUNILHdCQUFnQiwrQkFBK0IsQ0FDN0MsV0FBVyxFQUFFLFdBQVcsRUFDeEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSx1QkFBdUIsQ0FBQyxHQUMxRCxXQUFXLENBRWI7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IsbUNBQW1DLENBQ2pELFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLEdBQUcsdUJBQXVCLENBQUMsVUFPakg7QUFFRCxtSkFBbUo7QUFDbkosd0JBQWdCLDBCQUEwQixDQUN4QyxVQUFVLEVBQUUsVUFBVSxFQUN0QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsc0JBQXNCLENBQUMsR0FDNUYsTUFBTSxDQUVSIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/epoch-helpers/index.ts"],"names":[],"mappings":"AAAA,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;CAC9B,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,iBAMpC,CAAC;AAEF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;EAME,CAAC;AAEvC,qDAAqD;AACrD,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,UAElH;AAED,sDAAsD;AACtD,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,UAGvF;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,UAE/F;AAED,0EAA0E;AAC1E,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,YAG5G;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,sBAAsB,CAAC,YAUhH"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/epoch-helpers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE1E,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;CAC/B,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,iBAOpC,CAAC;AAEF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;EASnC,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,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,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

@@ -1,33 +1,43 @@
+import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
 import { z } from 'zod';
-import { schemas } from '../schemas/index.js';
+import { schemas, zodFor } from '../schemas/index.js';
 export const EmptyL1RollupConstants = {
     l1StartBlock: 0n,
     l1GenesisTime: 0n,
     epochDuration: 1,
     slotDuration: 1,
-    ethereumSlotDuration: 1
+    ethereumSlotDuration: 1,
+    proofSubmissionEpochs: 1
 };
-export const L1RollupConstantsSchema = z.object({
+export const L1RollupConstantsSchema = zodFor()(z.object({
     l1StartBlock: schemas.BigInt,
     l1GenesisTime: schemas.BigInt,
     slotDuration: z.number(),
     epochDuration: z.number(),
-    ethereumSlotDuration: z.number()
-});
+    ethereumSlotDuration: z.number(),
+    proofSubmissionEpochs: 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 ? 0n : (ts - constants.l1GenesisTime) / BigInt(constants.slotDuration);
+    return ts < constants.l1GenesisTime ? SlotNumber.ZERO : SlotNumber.fromBigInt((ts - constants.l1GenesisTime) / BigInt(constants.slotDuration));
+}
+/** 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 slot / BigInt(constants.epochDuration);
+    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 = epochNumber * BigInt(constants.epochDuration);
+    const startSlot = SlotNumber(Number(epochNumber) * constants.epochDuration);
     return [
         startSlot,
-        startSlot + BigInt(constants.epochDuration) - 1n
+        SlotNumber(startSlot + constants.epochDuration - 1)
     ];
 }
 /**
@@ -37,7 +47,32 @@ export const L1RollupConstantsSchema = z.object({
     const [startSlot, endSlot] = getSlotRangeForEpoch(epochNumber, constants);
     const ethereumSlotsPerL2Slot = constants.slotDuration / constants.ethereumSlotDuration;
     return [
-        constants.l1GenesisTime + startSlot * BigInt(constants.slotDuration),
-        constants.l1GenesisTime + endSlot * BigInt(constants.slotDuration) + BigInt((ethereumSlotsPerL2Slot - 1) * constants.ethereumSlotDuration)
+        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);
+}
+/** 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

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

package/dest/errors/proving_error.d.ts

@@ -12,4 +12,4 @@ export declare class ProvingError extends Error {
      */
     constructor(message: string, cause?: unknown, retry?: boolean);
 }
-//# sourceMappingURL=proving_error.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmluZ19lcnJvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2Vycm9ycy9wcm92aW5nX2Vycm9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOztHQUVHO0FBQ0gscUJBQWEsWUFBYSxTQUFRLEtBQUs7YUFZbkIsS0FBSyxFQUFFLE9BQU87SUFYaEMsZ0JBQXVCLElBQUksa0JBQWtCO0lBRTdDOzs7OztPQUtHO0lBQ0gsWUFDRSxPQUFPLEVBQUUsTUFBTSxFQUNmLEtBQUssQ0FBQyxFQUFFLE9BQU8sRUFDQyxLQUFLLEdBQUUsT0FBZSxFQUt2QztDQUNGIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"proving_error.d.ts","sourceRoot":"","sources":["../../src/errors/proving_error.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,qBAAa,YAAa,SAAQ,KAAK;aASyB,KAAK,EAAE,OAAO;IAR5E,gBAAuB,IAAI,kBAAkB;IAE7C;;;;;OAKG;gBACS,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,EAAkB,KAAK,GAAE,OAAe;CAKrF"}
+{"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/simulation_error.d.ts

@@ -1,4 +1,4 @@
-import type { Fr } from '@aztec/foundation/fields';
+import type { Fr } from '@aztec/foundation/curves/bn254';
 import type { OpcodeLocation } from '../abi/abi.js';
 import { FunctionSelector } from '../abi/function_selector.js';
 import { AztecAddress } from '../aztec-address/index.js';
@@ -108,4 +108,4 @@ export declare class SimulationError extends Error {
     static get schema(): ZodFor<SimulationError>;
     static random(): Promise<SimulationError>;
 }
-//# sourceMappingURL=simulation_error.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltdWxhdGlvbl9lcnJvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2Vycm9ycy9zaW11bGF0aW9uX2Vycm9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBSXpELE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUNwRCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMvRCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFxQixNQUFNLHFCQUFxQixDQUFDO0FBRXJFOztHQUVHO0FBQ0gsTUFBTSxXQUFXLGVBQWU7SUFDOUI7O09BRUc7SUFDSCxlQUFlLEVBQUUsWUFBWSxDQUFDO0lBQzlCOztPQUVHO0lBQ0gsWUFBWSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3RCOztPQUVHO0lBQ0gsZ0JBQWdCLENBQUMsRUFBRSxnQkFBZ0IsQ0FBQztJQUNwQzs7T0FFRztJQUNILFlBQVksQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUN2QjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLGtCQUFrQjtJQUNqQzs7T0FFRztJQUNILFFBQVEsRUFBRSxNQUFNLENBQUM7SUFDakI7O09BRUc7SUFDSCxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2I7O09BRUc7SUFDSCxNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2Y7O09BRUc7SUFDSCxVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25COztPQUVHO0lBQ0gsWUFBWSxFQUFFLE1BQU0sQ0FBQztDQUN0QjtBQVVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLGFBQWEsR0FBRyxrQkFBa0IsRUFBRSxHQUFHLGNBQWMsRUFBRSxDQUFDO0FBSXBFOztHQUVHO0FBQ0gsd0JBQWdCLHlCQUF5QixDQUFDLFNBQVMsRUFBRSxhQUFhLEdBQUcsU0FBUyxJQUFJLGNBQWMsRUFBRSxDQUVqRztBQUVEOztHQUVHO0FBQ0gscUJBQWEsZUFBZ0IsU0FBUSxLQUFLO0lBSXRDLE9BQU8sQ0FBQyxlQUFlO0lBQ3ZCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDbkIsVUFBVSxFQUFFLEVBQUUsRUFBRTtJQUN2QixPQUFPLENBQUMsY0FBYyxDQUFDO0lBTnpCLE9BQU8sQ0FBQyxZQUFZLENBQWM7SUFFbEMsWUFDVSxlQUFlLEVBQUUsTUFBTSxFQUN2QixrQkFBa0IsRUFBRSxlQUFlLEVBQUUsRUFDdEMsVUFBVSxHQUFFLEVBQUUsRUFBTyxFQUNwQixjQUFjLENBQUMsMkJBQWUsRUFDdEMsT0FBTyxDQUFDLEVBQUUsWUFBWSxFQXFDdkI7SUFFRCxVQUFVLFdBT1Q7SUFFRCxrQkFBa0IsV0FFakI7SUFFRCxrQkFBa0IsQ0FBQyxPQUFPLEVBQUUsTUFBTSxRQUVqQztJQUVEOzs7O09BSUc7SUFDSCxzQkFBc0IsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLFlBQVksRUFBRSxNQUFNLFFBTXpFO0lBRUQ7Ozs7O09BS0c7SUFDSCxzQkFBc0IsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLGdCQUFnQixFQUFFLGdCQUFnQixFQUFFLFlBQVksRUFBRSxNQUFNLFFBVTdHO0lBRUQsUUFBUSxXQW1CUDtJQUVEOztPQUVHO0lBQ0gsWUFBWSxJQUFJLGVBQWUsRUFBRSxDQUVoQztJQUVEOzs7T0FHRztJQUNILGdCQUFnQixJQUFJLGFBQWEsQ0FFaEM7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsQ0FBQyxTQUFTLEVBQUUsYUFBYSxRQUV4QztJQUVELGVBQWUsQ0FBQyxPQUFPLEVBQUUsTUFBTSxRQUU5QjtJQUVELE1BQU07Ozs7O01BT0w7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxlQUFlLENBQUMsQ0FtQjNDO0lBRUQsT0FBYSxNQUFNLDZCQUlsQjtDQUNGIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"simulation_error.d.ts","sourceRoot":"","sources":["../../src/errors/simulation_error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAInD,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,EAAW,MAAM,qBAAqB,CAAC;AAE3D;;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;gBAGxB,eAAe,EAAE,MAAM,EACvB,kBAAkB,EAAE,eAAe,EAAE,EACtC,UAAU,GAAE,EAAE,EAAO,EACpB,cAAc,CAAC,2BAAe,EACtC,OAAO,CAAC,EAAE,YAAY;IAuCxB,UAAU;IASV,kBAAkB;IAIlB,kBAAkB,CAAC,OAAO,EAAE,MAAM;IAIlC;;;;OAIG;IACH,sBAAsB,CAAC,eAAe,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM;IAQ1E;;;;;OAKG;IACH,sBAAsB,CAAC,eAAe,EAAE,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM;IAY9G,QAAQ;IAqBR;;OAEG;IACH,YAAY,IAAI,eAAe,EAAE;IAIjC;;;OAGG;IACH,gBAAgB,IAAI,aAAa;IAIjC;;;OAGG;IACH,gBAAgB,CAAC,SAAS,EAAE,aAAa;IAIzC,eAAe,CAAC,OAAO,EAAE,MAAM;IAI/B,MAAM;;;;;;IASN,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,eAAe,CAAC,CAmB3C;WAEY,MAAM;CAKpB"}
+{"version":3,"file":"simulation_error.d.ts","sourceRoot":"","sources":["../../src/errors/simulation_error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIzD,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

@@ -1,7 +1,7 @@
 import { z } from 'zod';
 import { FunctionSelector } from '../abi/function_selector.js';
 import { AztecAddress } from '../aztec-address/index.js';
-import { schemas } from '../schemas/index.js';
+import { optional, schemas } from '../schemas/index.js';
 const SourceCodeLocationSchema = z.object({
     filePath: z.string(),
     line: z.number().int().nonnegative(),
@@ -144,7 +144,7 @@ const NoirCallStackSchema = z.union([
             functionErrorStack: z.array(z.object({
                 contractAddress: schemas.AztecAddress,
                 contractName: z.string().optional(),
-                functionSelector: schemas.FunctionSelector,
+                functionSelector: optional(schemas.FunctionSelector),
                 functionName: z.string().optional()
             })),
             noirErrorStack: NoirCallStackSchema.optional(),

package/dest/fees/index.d.ts

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

package/dest/fees/transaction_fee.d.ts

@@ -1,6 +1,11 @@
-import type { Fr } from '@aztec/foundation/fields';
+import type { Fr } from '@aztec/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=transaction_fee.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJhbnNhY3Rpb25fZmVlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZmVlcy90cmFuc2FjdGlvbl9mZWUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJekQsT0FBTyxLQUFLLEVBQUUsR0FBRyxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQ3pDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUM3QyxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUUxRDs7O0dBR0c7QUFDSCx3QkFBZ0IsdUJBQXVCLENBQUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0F1QjNGO0FBRUQsd0JBQWdCLHFCQUFxQixDQUFDLE9BQU8sRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLFdBQVcsRUFBRSxPQUFPLEVBQUUsR0FBRyxHQUFHLEVBQUUsQ0FHbEcifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"transaction_fee.d.ts","sourceRoot":"","sources":["../../src/fees/transaction_fee.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,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,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,GAAG,EAAE,CAclG"}
+{"version":3,"file":"transaction_fee.d.ts","sourceRoot":"","sources":["../../src/fees/transaction_fee.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIzD,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

@@ -1,8 +1,18 @@
+import { strict as assert } from 'assert';
 import { GasFees } from '../gas/gas_fees.js';
-export function computeTransactionFee(gasFees, gasSettings, gasUsed) {
+/**
+ * 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 minField = (f1, f2)=>f1.lt(f2) ? f1 : f2;
-    const priorityFees = new GasFees(minField(maxPriorityFeesPerGas.feePerDaGas, maxFeesPerGas.feePerDaGas.sub(gasFees.feePerDaGas)), minField(maxPriorityFeesPerGas.feePerL2Gas, maxFeesPerGas.feePerL2Gas.sub(gasFees.feePerL2Gas)));
-    const totalFees = new GasFees(gasFees.feePerDaGas.add(priorityFees.feePerDaGas), gasFees.feePerL2Gas.add(priorityFees.feePerL2Gas));
-    return gasUsed.computeFee(totalFees);
+    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);
 }