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

package/dest/logs/public_log.js

@@ -1,77 +1,185 @@
-import { PUBLIC_LOG_DATA_SIZE_IN_FIELDS, PUBLIC_LOG_SIZE_IN_FIELDS } from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
-import { Fr } from '@aztec/foundation/fields';
+var _computedKey;
+import { FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH, PUBLIC_LOG_HEADER_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { schemas } from '@aztec/foundation/schemas';
-import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 import { z } from 'zod';
 import { AztecAddress } from '../aztec-address/index.js';
+function totalSizeInFields(logs) {
+    return logs.reduce((acc, log)=>acc + log.sizeInFields(), 0);
+}
+// This class represents logs in the same format as noir does, with a bounded maximum length.
+export class FlatPublicLogs {
+    length;
+    payload;
+    // We don't use tuple here because FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH is too large
+    constructor(length, payload){
+        this.length = length;
+        this.payload = payload;
+        if (payload.length !== FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH) {
+            throw new Error('Invalid payload given to FlatPublicLogs');
+        }
+        if (length > payload.length) {
+            throw new Error('Invalid length given to FlatPublicLogs');
+        }
+    }
+    static fromUnpaddedPayload(payload) {
+        const length = payload.length;
+        return new FlatPublicLogs(length, [
+            ...payload,
+            ...Array(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH - length).fill(Fr.ZERO)
+        ]);
+    }
+    // In blobs, the actual nonempty length of the logs is encoded with the prefix, and then we have the non-padded payload.
+    static fromBlobFields(length, fields) {
+        const reader = FieldReader.asReader(fields);
+        const payload = reader.readFieldArray(length);
+        return this.fromUnpaddedPayload(payload);
+    }
+    toBlobFields() {
+        return this.payload.slice(0, this.length);
+    }
+    static fromLogs(logs) {
+        return this.fromUnpaddedPayload(logs.flatMap((log)=>log.toFields()));
+    }
+    toLogs() {
+        const reader = FieldReader.asReader(this.payload);
+        const logs = [];
+        while(totalSizeInFields(logs) < this.length){
+            logs.push(PublicLog.fromFields(reader));
+        }
+        if (totalSizeInFields(logs) !== this.length) {
+            throw new Error('Wrong length in FlatPublicLogs');
+        }
+        return logs;
+    }
+    static get schema() {
+        return z.object({
+            length: z.number(),
+            payload: z.array(schemas.Fr).min(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH).max(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH)
+        }).transform(({ length, payload })=>new FlatPublicLogs(length, payload));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.length, this.payload.slice(0, this.length));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        const length = reader.readNumber();
+        return this.fromUnpaddedPayload(reader.readArray(length, Fr));
+    }
+    // ToFields and fromFields expect the noir style representation, with constant length payload.
+    toFields() {
+        return [
+            new Fr(this.length),
+            ...this.payload
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        // We need to do this because field reader returns tuples, which break the type system on these sizes.
+        const length = reader.readU32();
+        const payload = [];
+        for(let i = 0; i < FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH; ++i){
+            payload.push(reader.readField());
+        }
+        return new FlatPublicLogs(length, payload);
+    }
+    static empty() {
+        return new FlatPublicLogs(0, Array(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH).fill(Fr.ZERO));
+    }
+    /**
+   * Creates a FlatPublicLogs instance from a plain object without Zod validation.
+   * This method is optimized for performance and skips validation, making it suitable
+   * for deserializing trusted data (e.g., from C++ via MessagePack).
+   * @param obj - Plain object containing FlatPublicLogs fields
+   * @returns A FlatPublicLogs instance
+   */ static fromPlainObject(obj) {
+        return new FlatPublicLogs(obj.length, obj.payload.map((p)=>Fr.fromPlainObject(p)));
+    }
+    isEmpty() {
+        return this.length === 0;
+    }
+}
+_computedKey = inspect.custom;
 export class PublicLog {
     contractAddress;
-    log;
-    static SIZE_IN_BYTES = Fr.SIZE_IN_BYTES * PUBLIC_LOG_SIZE_IN_FIELDS;
-    constructor(contractAddress, log){
+    fields;
+    constructor(contractAddress, fields){
         this.contractAddress = contractAddress;
-        this.log = log;
+        this.fields = fields;
     }
-    toFields() {
-        return serializeToFields(...PublicLog.getFields(this));
+    static from(fields) {
+        return new PublicLog(...PublicLog.getFields(fields));
     }
     static getFields(fields) {
         return [
             fields.contractAddress,
-            fields.log
+            fields.fields
+        ];
+    }
+    toFields() {
+        return [
+            new Fr(this.fields.length),
+            this.contractAddress.toField(),
+            ...this.fields
         ];
     }
     static fromFields(fields) {
         const reader = FieldReader.asReader(fields);
-        return new PublicLog(reader.readObject(AztecAddress), reader.readFieldArray(PUBLIC_LOG_DATA_SIZE_IN_FIELDS));
+        const fieldsLength = reader.readU32();
+        return new PublicLog(reader.readObject(AztecAddress), reader.readFieldArray(fieldsLength));
+    }
+    sizeInFields() {
+        return this.fields.length + PUBLIC_LOG_HEADER_LENGTH;
+    }
+    getEmittedFields() {
+        return this.fields.slice(0);
+    }
+    getEmittedFieldsWithoutTag() {
+        return this.fields.slice(1);
     }
     isEmpty() {
-        return this.contractAddress.isZero() && this.log.every((f)=>f.isZero());
+        return this.contractAddress.isZero() && this.fields.length === 0;
     }
     static empty() {
-        return new PublicLog(AztecAddress.ZERO, makeTuple(PUBLIC_LOG_DATA_SIZE_IN_FIELDS, Fr.zero));
+        return new PublicLog(AztecAddress.ZERO, []);
     }
     toBuffer() {
-        return serializeToBuffer(...PublicLog.getFields(this));
+        return serializeToBuffer(this.fields.length, this.contractAddress, this.fields);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PublicLog(reader.readObject(AztecAddress), reader.readArray(PUBLIC_LOG_DATA_SIZE_IN_FIELDS, Fr));
-    }
-    static async random() {
-        return new PublicLog(await AztecAddress.random(), makeTuple(PUBLIC_LOG_DATA_SIZE_IN_FIELDS, Fr.random));
+        const fieldsLength = reader.readNumber();
+        return new PublicLog(reader.readObject(AztecAddress), reader.readArray(fieldsLength, Fr));
     }
-    getEmittedLength() {
-        // This assumes that we cut trailing zeroes from the end of the log. In ts, these will always be added back.
-        // Does not include length prefix.
-        return this.getEmittedFields().length;
+    static fromPlainObject(obj) {
+        return new PublicLog(AztecAddress.fromPlainObject(obj.contractAddress), obj.fields.map((f)=>Fr.fromPlainObject(f)));
     }
-    getEmittedFields() {
-        const fields = this.toFields();
-        const lastNonZeroIndex = fields.findLastIndex((f)=>!f.isZero());
-        return fields.slice(0, lastNonZeroIndex + 1);
+    static async random() {
+        return new PublicLog(await AztecAddress.random(), Array.from({
+            length: 10
+        }, ()=>Fr.random()));
     }
     equals(other) {
-        return this.contractAddress.equals(other.contractAddress) && this.log.reduce((acc, field, i)=>acc && field.equals(other.log[i]), true);
+        return this.fields.length === other.fields.length && this.contractAddress.equals(other.contractAddress) && this.fields.every((field, i)=>field.equals(other.fields[i]));
     }
     toHumanReadable() {
-        return `PublicLog: (contractAddress: ${this.contractAddress} log: ${this.log})`;
+        return `PublicLog: (contractAddress: ${this.contractAddress} fields: ${this.fields})`;
     }
     static get schema() {
         return z.object({
             contractAddress: AztecAddress.schema,
-            log: z.array(schemas.Fr)
-        }).transform(({ contractAddress, log })=>PublicLog.fromFields([
-                contractAddress.toField(),
-                ...log
-            ]));
+            fields: z.array(schemas.Fr)
+        }).transform(({ contractAddress, fields })=>PublicLog.from({
+                contractAddress,
+                fields
+            }));
     }
-    [inspect.custom]() {
+    [_computedKey]() {
         return `PublicLog {
       contractAddress: ${inspect(this.contractAddress)},
-      log: [${this.log.map((x)=>inspect(x)).join(', ')}],
+      fields: [${this.fields.map((x)=>inspect(x)).join(', ')}],
     }`;
     }
 }

package/dest/logs/shared_secret_derivation.d.ts

@@ -0,0 +1,17 @@
+import type { GrumpkinScalar, Point } from '@aztec/foundation/curves/grumpkin';
+import type { PublicKey } from '../keys/public_key.js';
+/**
+ * Derive an Elliptic Curve Diffie-Hellman (ECDH) Shared Secret.
+ * The function takes in an ECDH public key, a private key, and a Grumpkin instance to compute
+ * the shared secret.
+ *
+ * @param secretKey - The secret key used to derive shared secret.
+ * @param publicKey - The public key used to derive shared secret.
+ * @returns A derived shared secret.
+ * @throws If the publicKey is zero.
+ *
+ * TODO(#12656): This function is kept around because of the utilityGetSharedSecret oracle. Nuke this once returning
+ * the app-siloed secret.
+ */
+export declare function deriveEcdhSharedSecret(secretKey: GrumpkinScalar, publicKey: PublicKey): Promise<Point>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hhcmVkX3NlY3JldF9kZXJpdmF0aW9uLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy9zaGFyZWRfc2VjcmV0X2Rlcml2YXRpb24udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLEtBQUssRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBRS9FLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRXZEOzs7Ozs7Ozs7Ozs7R0FZRztBQUNILHdCQUFnQixzQkFBc0IsQ0FBQyxTQUFTLEVBQUUsY0FBYyxFQUFFLFNBQVMsRUFBRSxTQUFTLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQyxDQU90RyJ9

package/dest/logs/shared_secret_derivation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared_secret_derivation.d.ts","sourceRoot":"","sources":["../../src/logs/shared_secret_derivation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAE/E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAEvD;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAOtG"}

package/dest/logs/{l1_payload/shared_secret_derivation.js → shared_secret_derivation.js}

@@ -1,4 +1,4 @@
-import { Grumpkin } from '@aztec/foundation/crypto';
+import { Grumpkin } from '@aztec/foundation/crypto/grumpkin';
 /**
  * Derive an Elliptic Curve Diffie-Hellman (ECDH) Shared Secret.
  * The function takes in an ECDH public key, a private key, and a Grumpkin instance to compute
@@ -8,16 +8,12 @@ import { Grumpkin } from '@aztec/foundation/crypto';
  * @param publicKey - The public key used to derive shared secret.
  * @returns A derived shared secret.
  * @throws If the publicKey is zero.
- */ export async function deriveEcdhSharedSecret(secretKey, publicKey) {
+ *
+ * TODO(#12656): This function is kept around because of the utilityGetSharedSecret oracle. Nuke this once returning
+ * the app-siloed secret.
+ */ export function deriveEcdhSharedSecret(secretKey, publicKey) {
     if (publicKey.isZero()) {
         throw new Error(`Attempting to derive a shared secret with a zero public key. You have probably passed a zero public key in your Noir code somewhere thinking that the note won't be broadcast... but it was.`);
     }
-    const curve = new Grumpkin();
-    const sharedSecret = await curve.mul(publicKey, secretKey);
-    return sharedSecret;
-}
-export async function deriveEcdhSharedSecretUsingAztecAddress(secretKey, address) {
-    const addressPoint = await address.toAddressPoint();
-    const sharedSecret = await deriveEcdhSharedSecret(secretKey, addressPoint);
-    return sharedSecret;
+    return Grumpkin.mul(publicKey, secretKey);
 }

package/dest/logs/siloed_tag.d.ts

@@ -0,0 +1,23 @@
+import type { Fr } from '@aztec/foundation/curves/bn254';
+import type { ZodFor } from '@aztec/foundation/schemas';
+import type { AztecAddress } from '../aztec-address/index.js';
+import type { Tag } from './tag.js';
+/** Branding to ensure fields are not interchangeable types. */
+export interface SiloedTag {
+    /** Brand. */
+    _branding: 'SiloedTag';
+}
+/**
+ * Represents a tag used in private log as it "appears on the chain" - that is the tag is siloed with a contract
+ * address that emitted the log.
+ */
+export declare class SiloedTag {
+    readonly value: Fr;
+    constructor(value: Fr);
+    static compute(tag: Tag, app: AztecAddress): Promise<SiloedTag>;
+    toString(): string;
+    toJSON(): string;
+    equals(other: SiloedTag): boolean;
+    static get schema(): ZodFor<SiloedTag>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2lsb2VkX3RhZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2xvZ3Mvc2lsb2VkX3RhZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUV4RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU5RCxPQUFPLEtBQUssRUFBRSxHQUFHLEVBQUUsTUFBTSxVQUFVLENBQUM7QUFJcEMsK0RBQStEO0FBQy9ELE1BQU0sV0FBVyxTQUFTO0lBQ3hCLGFBQWE7SUFDYixTQUFTLEVBQUUsV0FBVyxDQUFDO0NBQ3hCO0FBRUQ7OztHQUdHO0FBQ0gscUJBQWEsU0FBUzthQUNRLEtBQUssRUFBRSxFQUFFO0lBQXJDLFlBQTRCLEtBQUssRUFBRSxFQUFFLEVBQUk7SUFFekMsT0FBYSxPQUFPLENBQUMsR0FBRyxFQUFFLEdBQUcsRUFBRSxHQUFHLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FHcEU7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sSUFBSSxNQUFNLENBRWY7SUFFRCxNQUFNLENBQUMsS0FBSyxFQUFFLFNBQVMsR0FBRyxPQUFPLENBRWhDO0lBRUQsTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsU0FBUyxDQUFDLENBRXJDO0NBQ0YifQ==

package/dest/logs/siloed_tag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"siloed_tag.d.ts","sourceRoot":"","sources":["../../src/logs/siloed_tag.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAIpC,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACxB,aAAa;IACb,SAAS,EAAE,WAAW,CAAC;CACxB;AAED;;;GAGG;AACH,qBAAa,SAAS;aACQ,KAAK,EAAE,EAAE;IAArC,YAA4B,KAAK,EAAE,EAAE,EAAI;IAEzC,OAAa,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,CAGpE;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,IAAI,MAAM,CAEf;IAED,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAEhC;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAErC;CACF"}

package/dest/logs/siloed_tag.js

@@ -0,0 +1,31 @@
+import { GeneratorIndex } from '@aztec/constants';
+import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
+import { schemas } from '../schemas/schemas.js';
+/**
+ * Represents a tag used in private log as it "appears on the chain" - that is the tag is siloed with a contract
+ * address that emitted the log.
+ */ export class SiloedTag {
+    value;
+    constructor(value){
+        this.value = value;
+    }
+    static async compute(tag, app) {
+        const siloedTag = await poseidon2HashWithSeparator([
+            app,
+            tag.value
+        ], GeneratorIndex.PRIVATE_LOG_FIRST_FIELD);
+        return new SiloedTag(siloedTag);
+    }
+    toString() {
+        return this.value.toString();
+    }
+    toJSON() {
+        return this.value.toString();
+    }
+    equals(other) {
+        return this.value.equals(other.value);
+    }
+    static get schema() {
+        return schemas.Fr.transform((fr)=>new SiloedTag(fr));
+    }
+}

package/dest/logs/tag.d.ts

@@ -0,0 +1,21 @@
+import type { Fr } from '@aztec/foundation/curves/bn254';
+import type { ZodFor } from '@aztec/foundation/schemas';
+import type { PreTag } from './pre_tag.js';
+export interface Tag {
+    /** Brand. */
+    _branding: 'Tag';
+}
+/**
+ * Represents a tag of a private log. This is not the tag that "appears" on the chain as this tag is first siloed
+ * with a contract address by kernels before being included in the final log.
+ */
+export declare class Tag {
+    readonly value: Fr;
+    constructor(value: Fr);
+    static compute(preTag: PreTag): Promise<Tag>;
+    toString(): string;
+    toJSON(): string;
+    equals(other: Tag): boolean;
+    static get schema(): ZodFor<Tag>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGFnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy90YWcudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFHeEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sY0FBYyxDQUFDO0FBSTNDLE1BQU0sV0FBVyxHQUFHO0lBQ2xCLGFBQWE7SUFDYixTQUFTLEVBQUUsS0FBSyxDQUFDO0NBQ2xCO0FBRUQ7OztHQUdHO0FBQ0gscUJBQWEsR0FBRzthQUNjLEtBQUssRUFBRSxFQUFFO0lBQXJDLFlBQTRCLEtBQUssRUFBRSxFQUFFLEVBQUk7SUFFekMsT0FBYSxPQUFPLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsR0FBRyxDQUFDLENBR2pEO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRCxNQUFNLElBQUksTUFBTSxDQUVmO0lBRUQsTUFBTSxDQUFDLEtBQUssRUFBRSxHQUFHLEdBQUcsT0FBTyxDQUUxQjtJQUVELE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUUvQjtDQUNGIn0=

package/dest/logs/tag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tag.d.ts","sourceRoot":"","sources":["../../src/logs/tag.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAGxD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAI3C,MAAM,WAAW,GAAG;IAClB,aAAa;IACb,SAAS,EAAE,KAAK,CAAC;CAClB;AAED;;;GAGG;AACH,qBAAa,GAAG;aACc,KAAK,EAAE,EAAE;IAArC,YAA4B,KAAK,EAAE,EAAE,EAAI;IAEzC,OAAa,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAGjD;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,IAAI,MAAM,CAEf;IAED,MAAM,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAE1B;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,CAE/B;CACF"}

package/dest/logs/tag.js

@@ -0,0 +1,30 @@
+import { poseidon2Hash } from '@aztec/foundation/crypto/poseidon';
+import { schemas } from '../schemas/schemas.js';
+/**
+ * Represents a tag of a private log. This is not the tag that "appears" on the chain as this tag is first siloed
+ * with a contract address by kernels before being included in the final log.
+ */ export class Tag {
+    value;
+    constructor(value){
+        this.value = value;
+    }
+    static async compute(preTag) {
+        const tag = await poseidon2Hash([
+            preTag.secret.value,
+            preTag.index
+        ]);
+        return new Tag(tag);
+    }
+    toString() {
+        return this.value.toString();
+    }
+    toJSON() {
+        return this.value.toString();
+    }
+    equals(other) {
+        return this.value.equals(other.value);
+    }
+    static get schema() {
+        return schemas.Fr.transform((fr)=>new Tag(fr));
+    }
+}

package/dest/logs/tx_scoped_l2_log.d.ts

@@ -1,60 +1,49 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
+import { BlockNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { z } from 'zod';
 import { TxHash } from '../tx/tx_hash.js';
+import type { UInt64 } from '../types/shared.js';
 export declare class TxScopedL2Log {
     txHash: TxHash;
-    dataStartIndexForTx: number;
-    blockNumber: number;
-    isFromPublic: boolean;
-    logData: Buffer;
-    constructor(txHash: TxHash, dataStartIndexForTx: number, blockNumber: number, isFromPublic: boolean, logData: Buffer);
+    blockNumber: BlockNumber;
+    blockTimestamp: UInt64;
+    logData: Fr[];
+    noteHashes: Fr[];
+    firstNullifier: Fr;
+    constructor(txHash: TxHash, blockNumber: BlockNumber, blockTimestamp: UInt64, logData: Fr[], noteHashes: Fr[], firstNullifier: Fr);
     static get schema(): z.ZodEffects<z.ZodObject<{
-        txHash: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, Buffer, string>, TxHash, string>;
-        dataStartIndexForTx: z.ZodNumber;
-        blockNumber: z.ZodNumber;
-        isFromPublic: z.ZodBoolean;
-        logData: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
-            type: z.ZodLiteral<"Buffer">;
-            data: z.ZodArray<z.ZodNumber, "many">;
-        }, "strip", z.ZodTypeAny, {
-            type: "Buffer";
-            data: number[];
-        }, {
-            type: "Buffer";
-            data: number[];
-        }>, Buffer, {
-            type: "Buffer";
-            data: number[];
-        }>]>;
+        txHash: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, Buffer<ArrayBuffer>, string>, TxHash, string>;
+        blockNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
+        blockTimestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+        logData: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        firstNullifier: z.ZodType<Fr, any, string>;
     }, "strip", z.ZodTypeAny, {
-        blockNumber: number;
         txHash: TxHash;
-        dataStartIndexForTx: number;
-        isFromPublic: boolean;
-        logData: Buffer;
+        blockNumber: number & {
+            _branding: "BlockNumber";
+        };
+        blockTimestamp: bigint;
+        logData: Fr[];
+        noteHashes: Fr[];
+        firstNullifier: Fr;
     }, {
-        blockNumber: number;
         txHash: string;
-        dataStartIndexForTx: number;
-        isFromPublic: boolean;
-        logData: string | {
-            type: "Buffer";
-            data: number[];
-        };
+        blockNumber: string | number | bigint;
+        blockTimestamp: string | number | bigint;
+        logData: string[];
+        noteHashes: string[];
+        firstNullifier: string;
     }>, TxScopedL2Log, {
-        blockNumber: number;
         txHash: string;
-        dataStartIndexForTx: number;
-        isFromPublic: boolean;
-        logData: string | {
-            type: "Buffer";
-            data: number[];
-        };
+        blockNumber: string | number | bigint;
+        blockTimestamp: string | number | bigint;
+        logData: string[];
+        noteHashes: string[];
+        firstNullifier: string;
     }>;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBuffer>;
     static fromBuffer(buffer: Buffer): TxScopedL2Log;
-    static random(): TxScopedL2Log;
     equals(other: TxScopedL2Log): boolean;
 }
-//# sourceMappingURL=tx_scoped_l2_log.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfc2NvcGVkX2wyX2xvZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2xvZ3MvdHhfc2NvcGVkX2wyX2xvZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFxQixNQUFNLGlDQUFpQyxDQUFDO0FBQ2pGLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQVNwRCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBR3hCLE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQyxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUVqRCxxQkFBYSxhQUFhO0lBS2YsTUFBTSxFQUFFLE1BQU07SUFJZCxXQUFXLEVBQUUsV0FBVztJQUl4QixjQUFjLEVBQUUsTUFBTTtJQUl0QixPQUFPLEVBQUUsRUFBRSxFQUFFO0lBSWIsVUFBVSxFQUFFLEVBQUUsRUFBRTtJQU1oQixjQUFjLEVBQUUsRUFBRTtJQTFCM0IsWUFJUyxNQUFNLEVBQUUsTUFBTSxFQUlkLFdBQVcsRUFBRSxXQUFXLEVBSXhCLGNBQWMsRUFBRSxNQUFNLEVBSXRCLE9BQU8sRUFBRSxFQUFFLEVBQUUsRUFJYixVQUFVLEVBQUUsRUFBRSxFQUFFLEVBTWhCLGNBQWMsRUFBRSxFQUFFLEVBQ3ZCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQWNoQjtJQUVELFFBQVEsd0JBU1A7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLGlCQVUvQjtJQUVELE1BQU0sQ0FBQyxLQUFLLEVBQUUsYUFBYSxXQVcxQjtDQUNGIn0=

package/dest/logs/tx_scoped_l2_log.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tx_scoped_l2_log.d.ts","sourceRoot":"","sources":["../../src/logs/tx_scoped_l2_log.ts"],"names":[],"mappings":";;AAGA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C,qBAAa,aAAa;IAKf,MAAM,EAAE,MAAM;IAKd,mBAAmB,EAAE,MAAM;IAI3B,WAAW,EAAE,MAAM;IAInB,YAAY,EAAE,OAAO;IAIrB,OAAO,EAAE,MAAM;gBAjBf,MAAM,EAAE,MAAM,EAKd,mBAAmB,EAAE,MAAM,EAI3B,WAAW,EAAE,MAAM,EAInB,YAAY,EAAE,OAAO,EAIrB,OAAO,EAAE,MAAM;IAGxB,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;IAED,QAAQ;IAUR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM;IAWhC,MAAM,CAAC,MAAM;IAIb,MAAM,CAAC,KAAK,EAAE,aAAa;CAS5B"}
+{"version":3,"file":"tx_scoped_l2_log.d.ts","sourceRoot":"","sources":["../../src/logs/tx_scoped_l2_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AASpD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,aAAa;IAKf,MAAM,EAAE,MAAM;IAId,WAAW,EAAE,WAAW;IAIxB,cAAc,EAAE,MAAM;IAItB,OAAO,EAAE,EAAE,EAAE;IAIb,UAAU,EAAE,EAAE,EAAE;IAMhB,cAAc,EAAE,EAAE;IA1B3B,YAIS,MAAM,EAAE,MAAM,EAId,WAAW,EAAE,WAAW,EAIxB,cAAc,EAAE,MAAM,EAItB,OAAO,EAAE,EAAE,EAAE,EAIb,UAAU,EAAE,EAAE,EAAE,EAMhB,cAAc,EAAE,EAAE,EACvB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAchB;IAED,QAAQ,wBASP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,iBAU/B;IAED,MAAM,CAAC,KAAK,EAAE,aAAa,WAW1B;CACF"}

package/dest/logs/tx_scoped_l2_log.js

@@ -1,58 +1,70 @@
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, boolToBuffer, numToUInt32BE } from '@aztec/foundation/serialize';
+import { BlockNumber, BlockNumberSchema } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { schemas as foundationSchemas } from '@aztec/foundation/schemas';
+import { BufferReader, bigintToUInt64BE, numToUInt32BE, serializeArrayOfBufferableToVector } from '@aztec/foundation/serialize';
 import { z } from 'zod';
 import { schemas } from '../schemas/schemas.js';
 import { TxHash } from '../tx/tx_hash.js';
 export class TxScopedL2Log {
     txHash;
-    dataStartIndexForTx;
     blockNumber;
-    isFromPublic;
+    blockTimestamp;
     logData;
+    noteHashes;
+    firstNullifier;
     constructor(/*
      * Hash of the tx where the log is included
      */ txHash, /*
-     * The next available leaf index for the note hash tree for this transaction. It is stored
-     * with the log so the noteHashIndex can be reconstructed after decryption.
-     */ dataStartIndexForTx, /*
      * The block this log is included in
      */ blockNumber, /*
-     * Indicates if the log comes from the public logs stream (partial note)
-     */ isFromPublic, /*
-     * The log data
-     */ logData){
+     * The timestamp of the block this log is included in
+     */ blockTimestamp, /*
+     * The log data as an array of field elements
+     */ logData, /*
+     * The note hashes from the tx effect
+     */ noteHashes, /*
+     * The first nullifier from the tx effect. Used for nonce discovery when processing notes from logs.
+     *
+     * (Note nonces are computed as `hash(firstNullifier, noteIndexInTx)`.)
+     */ firstNullifier){
         this.txHash = txHash;
-        this.dataStartIndexForTx = dataStartIndexForTx;
         this.blockNumber = blockNumber;
-        this.isFromPublic = isFromPublic;
+        this.blockTimestamp = blockTimestamp;
         this.logData = logData;
+        this.noteHashes = noteHashes;
+        this.firstNullifier = firstNullifier;
     }
     static get schema() {
         return z.object({
             txHash: TxHash.schema,
-            dataStartIndexForTx: z.number(),
-            blockNumber: z.number(),
-            isFromPublic: z.boolean(),
-            logData: schemas.Buffer
-        }).transform(({ txHash, dataStartIndexForTx, blockNumber, isFromPublic, logData })=>new TxScopedL2Log(txHash, dataStartIndexForTx, blockNumber, isFromPublic, logData));
+            blockNumber: BlockNumberSchema,
+            blockTimestamp: schemas.UInt64,
+            logData: z.array(foundationSchemas.Fr),
+            noteHashes: z.array(foundationSchemas.Fr),
+            firstNullifier: foundationSchemas.Fr
+        }).transform(({ txHash, blockNumber, blockTimestamp, logData, noteHashes, firstNullifier })=>new TxScopedL2Log(txHash, blockNumber, blockTimestamp, logData, noteHashes, firstNullifier));
     }
     toBuffer() {
         return Buffer.concat([
             this.txHash.toBuffer(),
-            numToUInt32BE(this.dataStartIndexForTx),
             numToUInt32BE(this.blockNumber),
-            boolToBuffer(this.isFromPublic),
-            this.logData
+            bigintToUInt64BE(this.blockTimestamp),
+            serializeArrayOfBufferableToVector(this.logData),
+            serializeArrayOfBufferableToVector(this.noteHashes),
+            this.firstNullifier.toBuffer()
         ]);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new TxScopedL2Log(reader.readObject(TxHash), reader.readNumber(), reader.readNumber(), reader.readBoolean(), reader.readToEnd());
-    }
-    static random() {
-        return new TxScopedL2Log(TxHash.random(), 1, 1, false, Fr.random().toBuffer());
+        const txHash = reader.readObject(TxHash);
+        const blockNumber = BlockNumber(reader.readNumber());
+        const blockTimestamp = reader.readUInt64();
+        const logData = reader.readVector(Fr);
+        const noteHashes = reader.readVector(Fr);
+        const firstNullifier = reader.readObject(Fr);
+        return new TxScopedL2Log(txHash, blockNumber, blockTimestamp, logData, noteHashes, firstNullifier);
     }
     equals(other) {
-        return this.txHash.equals(other.txHash) && this.dataStartIndexForTx === other.dataStartIndexForTx && this.blockNumber === other.blockNumber && this.isFromPublic === other.isFromPublic && this.logData.equals(other.logData);
+        return this.txHash.equals(other.txHash) && this.blockNumber === other.blockNumber && this.blockTimestamp === other.blockTimestamp && this.logData.length === other.logData.length && this.logData.every((f, i)=>f.equals(other.logData[i])) && this.noteHashes.length === other.noteHashes.length && this.noteHashes.every((h, i)=>h.equals(other.noteHashes[i])) && this.firstNullifier.equals(other.firstNullifier);
     }
 }

package/dest/messaging/in_hash.d.ts

@@ -0,0 +1,6 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+/**
+ * Computes the inHash for a checkpoint (or the first block in a checkpoint) given its l1 to l2 messages.
+ */
+export declare function computeInHashFromL1ToL2Messages(unpaddedL1ToL2Messages: Fr[]): Fr;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5faGFzaC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL21lc3NhZ2luZy9pbl9oYXNoLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRDs7R0FFRztBQUNILHdCQUFnQiwrQkFBK0IsQ0FBQyxzQkFBc0IsRUFBRSxFQUFFLEVBQUUsR0FBRyxFQUFFLENBR2hGIn0=

package/dest/messaging/in_hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"in_hash.d.ts","sourceRoot":"","sources":["../../src/messaging/in_hash.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD;;GAEG;AACH,wBAAgB,+BAA+B,CAAC,sBAAsB,EAAE,EAAE,EAAE,GAAG,EAAE,CAGhF"}

package/dest/messaging/in_hash.js

@@ -0,0 +1,10 @@
+import { NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP } from '@aztec/constants';
+import { padArrayEnd } from '@aztec/foundation/collection';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { computeBalancedShaRoot } from '@aztec/foundation/trees';
+/**
+ * Computes the inHash for a checkpoint (or the first block in a checkpoint) given its l1 to l2 messages.
+ */ export function computeInHashFromL1ToL2Messages(unpaddedL1ToL2Messages) {
+    const l1ToL2Messages = padArrayEnd(unpaddedL1ToL2Messages, Fr.ZERO, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP);
+    return new Fr(computeBalancedShaRoot(l1ToL2Messages.map((msg)=>msg.toBuffer())));
+}