@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/kernel/private_to_rollup_accumulated_data.d.ts

@@ -0,0 +1,80 @@
+import { MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec-labs/constants';
+import { type FieldsOf } from '@aztec-labs/foundation/array';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, BufferSink, type Tuple } from '@aztec-labs/foundation/serialize';
+import { inspect } from 'util';
+import { PrivateLog } from '../logs/private_log.js';
+import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { ScopedLogHash } from './log_hash.js';
+/**
+ * Data that is accumulated during the execution of the transaction.
+ */
+export declare class PrivateToRollupAccumulatedData {
+    /**
+     * The new note hashes made in this transaction.
+     */
+    noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>;
+    /**
+     * The new nullifiers made in this transaction.
+     */
+    nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>;
+    /**
+     * All the new L2 to L1 messages created in this transaction.
+     */
+    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>;
+    /**
+     * All the logs created emitted from the private functions in this transaction.
+     */
+    privateLogs: Tuple<PrivateLog, typeof MAX_PRIVATE_LOGS_PER_TX>;
+    /**
+     * Accumulated contract class logs hash from all the previous kernel iterations.
+     * Note: Truncated to 31 bytes to fit in Fr.
+     */
+    contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>;
+    constructor(
+    /**
+     * The new note hashes made in this transaction.
+     */
+    noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>, 
+    /**
+     * The new nullifiers made in this transaction.
+     */
+    nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>, 
+    /**
+     * All the new L2 to L1 messages created in this transaction.
+     */
+    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>, 
+    /**
+     * All the logs created emitted from the private functions in this transaction.
+     */
+    privateLogs: Tuple<PrivateLog, typeof MAX_PRIVATE_LOGS_PER_TX>, 
+    /**
+     * Accumulated contract class logs hash from all the previous kernel iterations.
+     * Note: Truncated to 31 bytes to fit in Fr.
+     */
+    contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>);
+    getSize(): number;
+    static getFields(fields: FieldsOf<PrivateToRollupAccumulatedData>): readonly [[Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message], [PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog, PrivateLog], [ScopedLogHash]];
+    static from(fields: FieldsOf<PrivateToRollupAccumulatedData>): PrivateToRollupAccumulatedData;
+    static get schema(): import("zod").ZodType<PrivateToRollupAccumulatedData, string, import("zod/v4/core").$ZodTypeInternals<PrivateToRollupAccumulatedData, string>>;
+    toJSON(): Buffer<ArrayBufferLike>;
+    toBuffer(): Buffer;
+    toBuffer(sink: BufferSink): void;
+    toString(): `0x${string}`;
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer or reader to read from.
+     * @returns Deserialized object.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateToRollupAccumulatedData;
+    /**
+     * Deserializes from a string, corresponding to a write in cpp.
+     * @param str - String to read from.
+     * @returns Deserialized object.
+     */
+    static fromString(str: string): PrivateToRollupAccumulatedData;
+    static empty(): PrivateToRollupAccumulatedData;
+    toFields(): Fr[];
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV90b19yb2xsdXBfYWNjdW11bGF0ZWRfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX3RvX3JvbGx1cF9hY2N1bXVsYXRlZF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCw4QkFBOEIsRUFDOUIsd0JBQXdCLEVBQ3hCLHNCQUFzQixFQUN0QixxQkFBcUIsRUFDckIsdUJBQXVCLEVBRXhCLE1BQU0sdUJBQXVCLENBQUM7QUFDL0IsT0FBTyxFQUFFLEtBQUssUUFBUSxFQUFhLE1BQU0sOEJBQThCLENBQUM7QUFFeEUsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRXpELE9BQU8sRUFDTCxZQUFZLEVBQ1osVUFBVSxFQUNWLEtBQUssS0FBSyxFQUdYLE1BQU0sa0NBQWtDLENBQUM7QUFFMUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLE1BQU0sQ0FBQztBQUUvQixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDcEQsT0FBTyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDdkUsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUU5Qzs7R0FFRztBQUNILHFCQUFhLDhCQUE4QjtJQUV2Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sc0JBQXNCLENBQUM7SUFDM0Q7O09BRUc7SUFDSSxVQUFVLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQzFEOztPQUVHO0lBQ0ksVUFBVSxFQUFFLEtBQUssQ0FBQyxtQkFBbUIsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQzlFOztPQUVHO0lBQ0ksV0FBVyxFQUFFLEtBQUssQ0FBQyxVQUFVLEVBQUUsT0FBTyx1QkFBdUIsQ0FBQztJQUNyRTs7O09BR0c7SUFDSSx1QkFBdUIsRUFBRSxLQUFLLENBQUMsYUFBYSxFQUFFLE9BQU8sOEJBQThCLENBQUM7SUFyQjdGO0lBQ0U7O09BRUc7SUFDSSxVQUFVLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHNCQUFzQixDQUFDO0lBQzNEOztPQUVHO0lBQ0ksVUFBVSxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUMxRDs7T0FFRztJQUNJLFVBQVUsRUFBRSxLQUFLLENBQUMsbUJBQW1CLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUM5RTs7T0FFRztJQUNJLFdBQVcsRUFBRSxLQUFLLENBQUMsVUFBVSxFQUFFLE9BQU8sdUJBQXVCLENBQUM7SUFDckU7OztPQUdHO0lBQ0ksdUJBQXVCLEVBQUUsS0FBSyxDQUFDLGFBQWEsRUFBRSxPQUFPLDhCQUE4QixDQUFDLEVBQ3pGO0lBRUosT0FBTyxXQVFOO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDhCQUE4QixDQUFDLDg4Q0FRaEU7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsOEJBQThCLENBQUMsR0FBRyw4QkFBOEIsQ0FFNUY7SUFFRCxNQUFNLEtBQUssTUFBTSxtSkFFaEI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FBQztJQUNuQixRQUFRLENBQUMsSUFBSSxFQUFFLFVBQVUsR0FBRyxJQUFJLENBQUM7SUFRakMsUUFBUSxrQkFFUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLDhCQUE4QixDQVMvRTtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLGtDQUU1QjtJQUVELE1BQU0sQ0FBQyxLQUFLLG1DQVFYO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLFdBdUJmO0NBQ0YifQ==

package/dest/kernel/private_to_rollup_accumulated_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_to_rollup_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_rollup_accumulated_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,8BAA8B,EAC9B,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,uBAAuB,EAExB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,8BAA8B,CAAC;AAExE,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EACL,YAAY,EACZ,UAAU,EACV,KAAK,KAAK,EAGX,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C;;GAEG;AACH,qBAAa,8BAA8B;IAEvC;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IAC3D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAC1D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,uBAAuB,CAAC;IACrE;;;OAGG;IACI,uBAAuB,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IArB7F;IACE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IAC3D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAC1D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,uBAAuB,CAAC;IACrE;;;OAGG;IACI,uBAAuB,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC,EACzF;IAEJ,OAAO,WAQN;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,8BAA8B,CAAC,88CAQhE;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,8BAA8B,CAAC,GAAG,8BAA8B,CAE5F;IAED,MAAM,KAAK,MAAM,mJAEhB;IAED,MAAM,4BAEL;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,8BAA8B,CAS/E;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,kCAE5B;IAED,MAAM,CAAC,KAAK,mCAQX;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAuBf;CACF"}

package/dest/kernel/private_to_rollup_accumulated_data.js

@@ -0,0 +1,104 @@
+var _computedKey;
+import { MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX, PRIVATE_TO_ROLLUP_ACCUMULATED_DATA_LENGTH } from '@aztec-labs/constants';
+import { makeTuple } from '@aztec-labs/foundation/array';
+import { arraySerializedSizeOfNonEmpty } from '@aztec-labs/foundation/collection';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
+import { BufferReader, BufferSink, serializeToFields, serializeToSink } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { inspect } from 'util';
+import { PrivateLog } from '../logs/private_log.js';
+import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { ScopedLogHash } from './log_hash.js';
+_computedKey = inspect.custom;
+/**
+ * Data that is accumulated during the execution of the transaction.
+ */ export class PrivateToRollupAccumulatedData {
+    noteHashes;
+    nullifiers;
+    l2ToL1Msgs;
+    privateLogs;
+    contractClassLogsHashes;
+    constructor(/**
+     * The new note hashes made in this transaction.
+     */ noteHashes, /**
+     * The new nullifiers made in this transaction.
+     */ nullifiers, /**
+     * All the new L2 to L1 messages created in this transaction.
+     */ l2ToL1Msgs, /**
+     * All the logs created emitted from the private functions in this transaction.
+     */ privateLogs, /**
+     * Accumulated contract class logs hash from all the previous kernel iterations.
+     * Note: Truncated to 31 bytes to fit in Fr.
+     */ contractClassLogsHashes){
+        this.noteHashes = noteHashes;
+        this.nullifiers = nullifiers;
+        this.l2ToL1Msgs = l2ToL1Msgs;
+        this.privateLogs = privateLogs;
+        this.contractClassLogsHashes = contractClassLogsHashes;
+    }
+    getSize() {
+        return arraySerializedSizeOfNonEmpty(this.noteHashes) + arraySerializedSizeOfNonEmpty(this.nullifiers) + arraySerializedSizeOfNonEmpty(this.l2ToL1Msgs) + arraySerializedSizeOfNonEmpty(this.privateLogs) + arraySerializedSizeOfNonEmpty(this.contractClassLogsHashes);
+    }
+    static getFields(fields) {
+        return [
+            fields.noteHashes,
+            fields.nullifiers,
+            fields.l2ToL1Msgs,
+            fields.privateLogs,
+            fields.contractClassLogsHashes
+        ];
+    }
+    static from(fields) {
+        return new PrivateToRollupAccumulatedData(...PrivateToRollupAccumulatedData.getFields(fields));
+    }
+    static get schema() {
+        return bufferSchemaFor(PrivateToRollupAccumulatedData);
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    toBuffer(sink) {
+        if (!sink) {
+            return BufferSink.serialize(this);
+        }
+        serializeToSink(sink, ...PrivateToRollupAccumulatedData.getFields(this));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or reader to read from.
+   * @returns Deserialized object.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateToRollupAccumulatedData(reader.readArray(MAX_NOTE_HASHES_PER_TX, Fr), reader.readArray(MAX_NULLIFIERS_PER_TX, Fr), reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_TX, PrivateLog), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash));
+    }
+    /**
+   * Deserializes from a string, corresponding to a write in cpp.
+   * @param str - String to read from.
+   * @returns Deserialized object.
+   */ static fromString(str) {
+        return PrivateToRollupAccumulatedData.fromBuffer(hexToBuffer(str));
+    }
+    static empty() {
+        return new PrivateToRollupAccumulatedData(makeTuple(MAX_NOTE_HASHES_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message.empty), makeTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog.empty), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash.empty));
+    }
+    toFields() {
+        const fields = serializeToFields(...PrivateToRollupAccumulatedData.getFields(this));
+        if (fields.length !== PRIVATE_TO_ROLLUP_ACCUMULATED_DATA_LENGTH) {
+            throw new Error(`Invalid number of fields for PrivateToRollupAccumulatedData. Expected ${PRIVATE_TO_ROLLUP_ACCUMULATED_DATA_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    [_computedKey]() {
+        return `PrivateToRollupAccumulatedData {
+      noteHashes: [${this.noteHashes.filter((x)=>!x.isZero()).map((x)=>inspect(x)).join(', ')}],
+      nullifiers: [${this.nullifiers.filter((x)=>!x.isZero()).map((x)=>inspect(x)).join(', ')}],
+      l2ToL1Msgs: [${this.l2ToL1Msgs.filter((x)=>!x.isEmpty()).map((x)=>inspect(x)).join(', ')}],
+      privateLogs:  [${this.privateLogs.filter((x)=>!x.isEmpty()).map((x)=>inspect(x)).join(', ')}]
+      contractClassLogsHashes: : [${this.contractClassLogsHashes.filter((x)=>!x.isEmpty()).map((x)=>inspect(x)).join(', ')}],
+    }`;
+    }
+}

package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts

@@ -0,0 +1,75 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, BufferSink } from '@aztec-labs/foundation/serialize';
+import type { FieldsOf } from '@aztec-labs/foundation/types';
+import { AztecAddress } from '../aztec-address/index.js';
+import { Gas } from '../gas/gas.js';
+import { TxConstantData } from '../tx/tx_constant_data.js';
+import type { UInt64 } from '../types/index.js';
+import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_data.js';
+/**
+ * Outputs from the public kernel circuits.
+ * All Public kernels use this shape for outputs.
+ */
+export declare class PrivateToRollupKernelCircuitPublicInputs {
+    /**
+     * Data which is not modified by the circuits.
+     */
+    constants: TxConstantData;
+    /**
+     * Data accumulated from both public and private circuits.
+     */
+    end: PrivateToRollupAccumulatedData;
+    /**
+     * Gas used during this transaction
+     */
+    gasUsed: Gas;
+    /**
+     * The address of the fee payer for the transaction.
+     */
+    feePayer: AztecAddress;
+    /**
+     * The timestamp by which the transaction must be included in a block.
+     */
+    expirationTimestamp: UInt64;
+    constructor(
+    /**
+     * Data which is not modified by the circuits.
+     */
+    constants: TxConstantData, 
+    /**
+     * Data accumulated from both public and private circuits.
+     */
+    end: PrivateToRollupAccumulatedData, 
+    /**
+     * Gas used during this transaction
+     */
+    gasUsed: Gas, 
+    /**
+     * The address of the fee payer for the transaction.
+     */
+    feePayer: AztecAddress, 
+    /**
+     * The timestamp by which the transaction must be included in a block.
+     */
+    expirationTimestamp: UInt64);
+    getNonEmptyNullifiers(): Fr[];
+    toBuffer(): Buffer;
+    toBuffer(sink: BufferSink): void;
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer or reader to read from.
+     * @returns A new instance of PrivateToRollupKernelCircuitPublicInputs.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateToRollupKernelCircuitPublicInputs;
+    static empty(): PrivateToRollupKernelCircuitPublicInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): PrivateToRollupKernelCircuitPublicInputs;
+    /** Returns a hex representation for JSON serialization. */
+    toJSON(): Buffer<ArrayBufferLike>;
+    static getFields(fields: FieldsOf<PrivateToRollupKernelCircuitPublicInputs>): readonly [TxConstantData, PrivateToRollupAccumulatedData, Gas, AztecAddress, bigint];
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<PrivateToRollupKernelCircuitPublicInputs, string, import("zod/v4/core").$ZodTypeInternals<PrivateToRollupKernelCircuitPublicInputs, string>>;
+    toFields(): Fr[];
+    hash(): Promise<Fr>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV90b19yb2xsdXBfa2VybmVsX2NpcmN1aXRfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX3RvX3JvbGx1cF9rZXJuZWxfY2lyY3VpdF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRTlELE9BQU8sRUFBRSxZQUFZLEVBQUUsVUFBVSxFQUFzQyxNQUFNLGtDQUFrQyxDQUFDO0FBRWhILE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRTdELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsR0FBRyxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQ3BDLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNoRCxPQUFPLEVBQUUsOEJBQThCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUV6Rjs7O0dBR0c7QUFDSCxxQkFBYSx3Q0FBd0M7SUFFakQ7O09BRUc7SUFDSSxTQUFTLEVBQUUsY0FBYztJQUNoQzs7T0FFRztJQUNJLEdBQUcsRUFBRSw4QkFBOEI7SUFDMUM7O09BRUc7SUFDSSxPQUFPLEVBQUUsR0FBRztJQUNuQjs7T0FFRztJQUNJLFFBQVEsRUFBRSxZQUFZO0lBQzdCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsTUFBTTtJQXBCcEM7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxjQUFjO0lBQ2hDOztPQUVHO0lBQ0ksR0FBRyxFQUFFLDhCQUE4QjtJQUMxQzs7T0FFRztJQUNJLE9BQU8sRUFBRSxHQUFHO0lBQ25COztPQUVHO0lBQ0ksUUFBUSxFQUFFLFlBQVk7SUFDN0I7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxNQUFNLEVBQ2hDO0lBRUoscUJBQXFCLFNBRXBCO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FBQztJQUNuQixRQUFRLENBQUMsSUFBSSxFQUFFLFVBQVUsR0FBRyxJQUFJLENBQUM7SUFTakM7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsd0NBQXdDLENBU3pGO0lBRUQsTUFBTSxDQUFDLEtBQUssNkNBUVg7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSw0Q0FFNUI7SUFFRCwyREFBMkQ7SUFDM0QsTUFBTSw0QkFFTDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyx3Q0FBd0MsQ0FBQyx3RkFFMUU7SUFFRCw2Q0FBNkM7SUFDN0MsTUFBTSxLQUFLLE1BQU0sdUtBRWhCO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsSUFBSSxnQkFFSDtDQUNGIn0=

package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_to_rollup_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAE9D,OAAO,EAAE,YAAY,EAAE,UAAU,EAAsC,MAAM,kCAAkC,CAAC;AAEhH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AAEzF;;;GAGG;AACH,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,GAAG,EAAE,8BAA8B;IAC1C;;OAEG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IApBpC;IACE;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,GAAG,EAAE,8BAA8B;IAC1C;;OAEG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,mBAAmB,EAAE,MAAM,EAChC;IAEJ,qBAAqB,SAEpB;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IASjC;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,wCAAwC,CASzF;IAED,MAAM,CAAC,KAAK,6CAQX;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,4CAE5B;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC,wFAE1E;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,uKAEhB;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,IAAI,gBAEH;CACF"}

package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js

@@ -0,0 +1,88 @@
+import { DomainSeparator, PRIVATE_TO_ROLLUP_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH } from '@aztec-labs/constants';
+import { poseidon2HashWithSeparator } from '@aztec-labs/foundation/crypto/poseidon';
+import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
+import { BufferReader, BufferSink, serializeToFields, serializeToSink } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { AztecAddress } from '../aztec-address/index.js';
+import { Gas } from '../gas/gas.js';
+import { TxConstantData } from '../tx/tx_constant_data.js';
+import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_data.js';
+/**
+ * Outputs from the public kernel circuits.
+ * All Public kernels use this shape for outputs.
+ */ export class PrivateToRollupKernelCircuitPublicInputs {
+    constants;
+    end;
+    gasUsed;
+    feePayer;
+    expirationTimestamp;
+    constructor(/**
+     * Data which is not modified by the circuits.
+     */ constants, /**
+     * Data accumulated from both public and private circuits.
+     */ end, /**
+     * Gas used during this transaction
+     */ gasUsed, /**
+     * The address of the fee payer for the transaction.
+     */ feePayer, /**
+     * The timestamp by which the transaction must be included in a block.
+     */ expirationTimestamp){
+        this.constants = constants;
+        this.end = end;
+        this.gasUsed = gasUsed;
+        this.feePayer = feePayer;
+        this.expirationTimestamp = expirationTimestamp;
+    }
+    getNonEmptyNullifiers() {
+        return this.end.nullifiers.filter((n)=>!n.isZero());
+    }
+    toBuffer(sink) {
+        if (!sink) {
+            return BufferSink.serialize(this);
+        }
+        serializeToSink(sink, this.constants, this.end, this.gasUsed, this.feePayer);
+        sink.writeUInt64(this.expirationTimestamp);
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or reader to read from.
+   * @returns A new instance of PrivateToRollupKernelCircuitPublicInputs.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateToRollupKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(PrivateToRollupAccumulatedData), reader.readObject(Gas), reader.readObject(AztecAddress), reader.readUInt64());
+    }
+    static empty() {
+        return new PrivateToRollupKernelCircuitPublicInputs(TxConstantData.empty(), PrivateToRollupAccumulatedData.empty(), Gas.empty(), AztecAddress.ZERO, 0n);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return PrivateToRollupKernelCircuitPublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a hex representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    static getFields(fields) {
+        return [
+            fields.constants,
+            fields.end,
+            fields.gasUsed,
+            fields.feePayer,
+            fields.expirationTimestamp
+        ];
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(PrivateToRollupKernelCircuitPublicInputs);
+    }
+    toFields() {
+        const fields = serializeToFields(...PrivateToRollupKernelCircuitPublicInputs.getFields(this));
+        if (fields.length !== PRIVATE_TO_ROLLUP_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH) {
+            throw new Error(`Invalid number of fields for PrivateToRollupKernelCircuitPublicInputs. Expected ${PRIVATE_TO_ROLLUP_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    hash() {
+        return poseidon2HashWithSeparator(this.toFields(), DomainSeparator.PRIVATE_TX_HASH);
+    }
+}

package/dest/kernel/private_validation_requests.d.ts

@@ -0,0 +1,54 @@
+import { MAX_KEY_VALIDATION_REQUESTS_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, MAX_NULLIFIER_READ_REQUESTS_PER_TX } from '@aztec-labs/constants';
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+import { inspect } from 'util';
+import { ScopedKeyValidationRequestAndSeparator } from '../kernel/hints/scoped_key_validation_request_and_separator.js';
+import { ClaimedLengthArray } from './claimed_length_array.js';
+import { ScopedReadRequest } from './hints/read_request.js';
+/**
+ * Validation requests accumulated during the execution of the transaction.
+ */
+export declare class PrivateValidationRequests {
+    /**
+     * All the read requests made in this transaction.
+     */
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>;
+    /**
+     * All the nullifier read requests made in this transaction.
+     */
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>;
+    /**
+     * All the key validation requests made in this transaction.
+     */
+    scopedKeyValidationRequestsAndSeparators: ClaimedLengthArray<ScopedKeyValidationRequestAndSeparator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX>;
+    constructor(
+    /**
+     * All the read requests made in this transaction.
+     */
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, 
+    /**
+     * All the nullifier read requests made in this transaction.
+     */
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>, 
+    /**
+     * All the key validation requests made in this transaction.
+     */
+    scopedKeyValidationRequestsAndSeparators: ClaimedLengthArray<ScopedKeyValidationRequestAndSeparator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX>);
+    getSize(): number;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toString(): `0x${string}`;
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer or reader to read from.
+     * @returns Deserialized object.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateValidationRequests;
+    /**
+     * Deserializes from a string, corresponding to a write in cpp.
+     * @param str - String to read from.
+     * @returns Deserialized object.
+     */
+    static fromString(str: string): PrivateValidationRequests;
+    static empty(): PrivateValidationRequests;
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV92YWxpZGF0aW9uX3JlcXVlc3RzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMva2VybmVsL3ByaXZhdGVfdmFsaWRhdGlvbl9yZXF1ZXN0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wsa0NBQWtDLEVBQ2xDLGtDQUFrQyxFQUNsQyxrQ0FBa0MsRUFDbkMsTUFBTSx1QkFBdUIsQ0FBQztBQUMvQixPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBRW5GLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxNQUFNLENBQUM7QUFFL0IsT0FBTyxFQUFFLHNDQUFzQyxFQUFFLE1BQU0sZ0VBQWdFLENBQUM7QUFDeEgsT0FBTyxFQUFFLGtCQUFrQixFQUFnQyxNQUFNLDJCQUEyQixDQUFDO0FBQzdGLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRTVEOztHQUVHO0FBQ0gscUJBQWEseUJBQXlCO0lBRWxDOztPQUVHO0lBQ0ksb0JBQW9CLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxrQ0FBa0MsQ0FBQztJQUM3Rzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sa0NBQWtDLENBQUM7SUFDOUc7O09BRUc7SUFDSSx3Q0FBd0MsRUFBRSxrQkFBa0IsQ0FDakUsc0NBQXNDLEVBQ3RDLE9BQU8sa0NBQWtDLENBQzFDO0lBZkg7SUFDRTs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sa0NBQWtDLENBQUM7SUFDN0c7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLGtDQUFrQyxDQUFDO0lBQzlHOztPQUVHO0lBQ0ksd0NBQXdDLEVBQUUsa0JBQWtCLENBQ2pFLHNDQUFzQyxFQUN0QyxPQUFPLGtDQUFrQyxDQUMxQyxFQUNDO0lBRUosT0FBTyxXQU1OO0lBRUQsUUFBUSw0QkFNUDtJQUVELFFBQVEsa0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksNkJBUzlDO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sNkJBRTVCO0lBRUQsTUFBTSxDQUFDLEtBQUssOEJBTVg7SUFFRCxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsV0FNZjtDQUNGIn0=

package/dest/kernel/private_validation_requests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_validation_requests.d.ts","sourceRoot":"","sources":["../../src/kernel/private_validation_requests.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,kCAAkC,EACnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAEnF,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,sCAAsC,EAAE,MAAM,gEAAgE,CAAC;AACxH,OAAO,EAAE,kBAAkB,EAAgC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D;;GAEG;AACH,qBAAa,yBAAyB;IAElC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC7G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC9G;;OAEG;IACI,wCAAwC,EAAE,kBAAkB,CACjE,sCAAsC,EACtC,OAAO,kCAAkC,CAC1C;IAfH;IACE;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC7G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC9G;;OAEG;IACI,wCAAwC,EAAE,kBAAkB,CACjE,sCAAsC,EACtC,OAAO,kCAAkC,CAC1C,EACC;IAEJ,OAAO,WAMN;IAED,QAAQ,4BAMP;IAED,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,6BAS9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,6BAE5B;IAED,MAAM,CAAC,KAAK,8BAMX;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAMf;CACF"}

package/dest/kernel/private_validation_requests.js

@@ -0,0 +1,61 @@
+var _computedKey;
+import { MAX_KEY_VALIDATION_REQUESTS_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, MAX_NULLIFIER_READ_REQUESTS_PER_TX } from '@aztec-labs/constants';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { inspect } from 'util';
+import { ScopedKeyValidationRequestAndSeparator } from '../kernel/hints/scoped_key_validation_request_and_separator.js';
+import { ClaimedLengthArray, ClaimedLengthArrayFromBuffer } from './claimed_length_array.js';
+import { ScopedReadRequest } from './hints/read_request.js';
+_computedKey = inspect.custom;
+/**
+ * Validation requests accumulated during the execution of the transaction.
+ */ export class PrivateValidationRequests {
+    noteHashReadRequests;
+    nullifierReadRequests;
+    scopedKeyValidationRequestsAndSeparators;
+    constructor(/**
+     * All the read requests made in this transaction.
+     */ noteHashReadRequests, /**
+     * All the nullifier read requests made in this transaction.
+     */ nullifierReadRequests, /**
+     * All the key validation requests made in this transaction.
+     */ scopedKeyValidationRequestsAndSeparators){
+        this.noteHashReadRequests = noteHashReadRequests;
+        this.nullifierReadRequests = nullifierReadRequests;
+        this.scopedKeyValidationRequestsAndSeparators = scopedKeyValidationRequestsAndSeparators;
+    }
+    getSize() {
+        return this.noteHashReadRequests.getSize() + this.nullifierReadRequests.getSize() + this.scopedKeyValidationRequestsAndSeparators.getSize();
+    }
+    toBuffer() {
+        return serializeToBuffer(this.noteHashReadRequests, this.nullifierReadRequests, this.scopedKeyValidationRequestsAndSeparators);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or reader to read from.
+   * @returns Deserialized object.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateValidationRequests(reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedKeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_PER_TX)));
+    }
+    /**
+   * Deserializes from a string, corresponding to a write in cpp.
+   * @param str - String to read from.
+   * @returns Deserialized object.
+   */ static fromString(str) {
+        return PrivateValidationRequests.fromBuffer(hexToBuffer(str));
+    }
+    static empty() {
+        return new PrivateValidationRequests(ClaimedLengthArray.empty(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_TX), ClaimedLengthArray.empty(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_TX), ClaimedLengthArray.empty(ScopedKeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_PER_TX));
+    }
+    [_computedKey]() {
+        return `PrivateValidationRequests {
+  noteHashReadRequests: ${inspect(this.noteHashReadRequests)},
+  nullifierReadRequests: ${inspect(this.nullifierReadRequests)},
+  scopedKeyValidationRequestsAndSeparators: ${inspect(this.scopedKeyValidationRequestsAndSeparators)},
+  `;
+    }
+}

package/dest/kernel/public_call_request.d.ts

@@ -0,0 +1,146 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, BufferSink, FieldReader } from '@aztec-labs/foundation/serialize';
+import type { FieldsOf } from '@aztec-labs/foundation/types';
+import { inspect } from 'util';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import type { UInt32 } from '../types/shared.js';
+/**
+ * Represents a request to call a public function.
+ */
+export declare class PublicCallRequest {
+    /**
+     * Address of the account which represents the entity who invoked the call.
+     */
+    msgSender: AztecAddress;
+    /**
+     * The contract address being called.
+     */
+    contractAddress: AztecAddress;
+    /**
+     * Determines whether the call is modifying state.
+     */
+    isStaticCall: boolean;
+    /**
+     * Hash of the calldata of the function being called.
+     */
+    calldataHash: Fr;
+    constructor(
+    /**
+     * Address of the account which represents the entity who invoked the call.
+     */
+    msgSender: AztecAddress, 
+    /**
+     * The contract address being called.
+     */
+    contractAddress: AztecAddress, 
+    /**
+     * Determines whether the call is modifying state.
+     */
+    isStaticCall: boolean, 
+    /**
+     * Hash of the calldata of the function being called.
+     */
+    calldataHash: Fr);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        msgSender: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+        contractAddress: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+        isStaticCall: z.ZodBoolean;
+        calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+    }, z.core.$strip>, z.ZodTransform<PublicCallRequest, {
+        msgSender: AztecAddress;
+        contractAddress: AztecAddress;
+        isStaticCall: boolean;
+        calldataHash: Fr;
+    }>>;
+    getSize(): number;
+    static from(fields: FieldsOf<PublicCallRequest>): PublicCallRequest;
+    static getFields(fields: FieldsOf<PublicCallRequest>): readonly [AztecAddress, AztecAddress, boolean, Fr];
+    static fromFields(fields: Fr[] | FieldReader): PublicCallRequest;
+    toFields(): Fr[];
+    static fromBuffer(buffer: Buffer | BufferReader): PublicCallRequest;
+    toBuffer(): Buffer;
+    toBuffer(sink: BufferSink): void;
+    static empty(): PublicCallRequest;
+    /**
+     * Creates a PublicCallRequest 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 PublicCallRequest fields
+     * @returns A PublicCallRequest instance
+     */
+    static fromPlainObject(obj: any): PublicCallRequest;
+    isEmpty(): boolean;
+    [inspect.custom](): string;
+    static fromCalldata(msgSender: AztecAddress, contractAddress: AztecAddress, isStaticCall: boolean, calldata: Fr[]): Promise<PublicCallRequest>;
+}
+/**
+ * Represents lengths of arrays of public call requests.
+ */
+export declare class PublicCallRequestArrayLengths {
+    /**
+     * Number of setup call requests
+     */
+    setupCalls: number;
+    /**
+     * Number of app logic call requests
+     */
+    appLogicCalls: number;
+    /**
+     * Whether there is a teardown call request
+     */
+    teardownCall: boolean;
+    constructor(
+    /**
+     * Number of setup call requests
+     */
+    setupCalls: number, 
+    /**
+     * Number of app logic call requests
+     */
+    appLogicCalls: number, 
+    /**
+     * Whether there is a teardown call request
+     */
+    teardownCall: boolean);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        setupCalls: z.ZodNumber;
+        appLogicCalls: z.ZodNumber;
+        teardownCall: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodTransform<PublicCallRequestArrayLengths, {
+        setupCalls: number;
+        appLogicCalls: number;
+        teardownCall: boolean;
+    }>>;
+    static getFields(fields: FieldsOf<PublicCallRequestArrayLengths>): readonly [number, number, boolean];
+    static fromFields(fields: Fr[] | FieldReader): PublicCallRequestArrayLengths;
+    toFields(): Fr[];
+    static fromBuffer(buffer: Buffer | BufferReader): PublicCallRequestArrayLengths;
+    toBuffer(): Buffer;
+    toBuffer(sink: BufferSink): void;
+    static empty(): PublicCallRequestArrayLengths;
+    /**
+     * Creates a PublicCallRequestArrayLengths 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 PublicCallRequestArrayLengths fields
+     * @returns A PublicCallRequestArrayLengths instance
+     */
+    static fromPlainObject(obj: any): PublicCallRequestArrayLengths;
+    [inspect.custom](): string;
+}
+export declare class CountedPublicCallRequest {
+    inner: PublicCallRequest;
+    counter: UInt32;
+    constructor(inner: PublicCallRequest, counter: UInt32);
+    getSize(): number;
+    static getFields(fields: FieldsOf<CountedPublicCallRequest>): readonly [PublicCallRequest, number];
+    static fromFields(fields: Fr[] | FieldReader): CountedPublicCallRequest;
+    toFields(): Fr[];
+    static fromBuffer(buffer: Buffer | BufferReader): CountedPublicCallRequest;
+    toBuffer(): Buffer;
+    toBuffer(sink: BufferSink): void;
+    static empty(): CountedPublicCallRequest;
+    isEmpty(): boolean;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2NhbGxfcmVxdWVzdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wdWJsaWNfY2FsbF9yZXF1ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUV6RCxPQUFPLEVBQ0wsWUFBWSxFQUNaLFVBQVUsRUFDVixXQUFXLEVBR1osTUFBTSxrQ0FBa0MsQ0FBQztBQUMxQyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBQy9CLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRXpELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRWpEOztHQUVHO0FBQ0gscUJBQWEsaUJBQWlCO0lBRTFCOztPQUVHO0lBQ0ksU0FBUyxFQUFFLFlBQVk7SUFDOUI7O09BRUc7SUFDSSxlQUFlLEVBQUUsWUFBWTtJQUNwQzs7T0FFRztJQUNJLFlBQVksRUFBRSxPQUFPO0lBQzVCOztPQUVHO0lBQ0ksWUFBWSxFQUFFLEVBQUU7SUFoQnpCO0lBQ0U7O09BRUc7SUFDSSxTQUFTLEVBQUUsWUFBWTtJQUM5Qjs7T0FFRztJQUNJLGVBQWUsRUFBRSxZQUFZO0lBQ3BDOztPQUVHO0lBQ0ksWUFBWSxFQUFFLE9BQU87SUFDNUI7O09BRUc7SUFDSSxZQUFZLEVBQUUsRUFBRSxFQUNyQjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7O1FBV2hCO0lBRUQsT0FBTyxXQUVOO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlCQUFpQixDQUFDLEdBQUcsaUJBQWlCLENBRWxFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlCQUFpQixDQUFDLHNEQUVuRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxpQkFBaUIsQ0FRL0Q7SUFFRCxRQUFRLElBQUksRUFBRSxFQUFFLENBUWY7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxxQkFROUM7SUFFRCxRQUFRLElBQUksTUFBTSxDQUFDO0lBQ25CLFFBQVEsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLElBQUksQ0FBQztJQVFqQyxNQUFNLENBQUMsS0FBSyxzQkFFWDtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxpQkFBaUIsQ0FPbEQ7SUFFRCxPQUFPLElBQUksT0FBTyxDQUlqQjtJQUVELENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxXQU9mO0lBRUQsT0FBYSxZQUFZLENBQ3ZCLFNBQVMsRUFBRSxZQUFZLEVBQ3ZCLGVBQWUsRUFBRSxZQUFZLEVBQzdCLFlBQVksRUFBRSxPQUFPLEVBQ3JCLFFBQVEsRUFBRSxFQUFFLEVBQUUsOEJBSWY7Q0FDRjtBQUVEOztHQUVHO0FBQ0gscUJBQWEsNkJBQTZCO0lBRXRDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLE1BQU07SUFDekI7O09BRUc7SUFDSSxhQUFhLEVBQUUsTUFBTTtJQUM1Qjs7T0FFRztJQUNJLFlBQVksRUFBRSxPQUFPO0lBWjlCO0lBQ0U7O09BRUc7SUFDSSxVQUFVLEVBQUUsTUFBTTtJQUN6Qjs7T0FFRztJQUNJLGFBQWEsRUFBRSxNQUFNO0lBQzVCOztPQUVHO0lBQ0ksWUFBWSxFQUFFLE9BQU8sRUFDMUI7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7UUFVaEI7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsNkJBQTZCLENBQUMsc0NBRS9EO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxHQUFHLDZCQUE2QixDQUczRTtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FFZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLGlDQUc5QztJQUVELFFBQVEsSUFBSSxNQUFNLENBQUM7SUFDbkIsUUFBUSxDQUFDLElBQUksRUFBRSxVQUFVLEdBQUcsSUFBSSxDQUFDO0lBUWpDLE1BQU0sQ0FBQyxLQUFLLGtDQUVYO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLDZCQUE2QixDQUU5RDtJQUVELENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxXQU1mO0NBQ0Y7QUFFRCxxQkFBYSx3QkFBd0I7SUFFMUIsS0FBSyxFQUFFLGlCQUFpQjtJQUN4QixPQUFPLEVBQUUsTUFBTTtJQUZ4QixZQUNTLEtBQUssRUFBRSxpQkFBaUIsRUFDeEIsT0FBTyxFQUFFLE1BQU0sRUFDcEI7SUFFSixPQUFPLFdBRU47SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsd0JBQXdCLENBQUMsd0NBRTFEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyw0QkFHM0M7SUFFRCxRQUFRLElBQUksRUFBRSxFQUFFLENBUWY7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSw0QkFHOUM7SUFFRCxRQUFRLElBQUksTUFBTSxDQUFDO0lBQ25CLFFBQVEsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLElBQUksQ0FBQztJQVFqQyxNQUFNLENBQUMsS0FBSyw2QkFFWDtJQUVELE9BQU8sSUFBSSxPQUFPLENBRWpCO0NBQ0YifQ==

package/dest/kernel/public_call_request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"public_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/public_call_request.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EACL,YAAY,EACZ,UAAU,EACV,WAAW,EAGZ,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;IAhBzB;IACE;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE,EACrB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;QAWhB;IAED,OAAO,WAEN;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB,CAElE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,sDAEnD;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,iBAAiB,CAQ/D;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qBAQ9C;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,MAAM,CAAC,KAAK,sBAEX;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,iBAAiB,CAOlD;IAED,OAAO,IAAI,OAAO,CAIjB;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAOf;IAED,OAAa,YAAY,CACvB,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE,8BAIf;CACF;AAED;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,UAAU,EAAE,MAAM;IACzB;;OAEG;IACI,aAAa,EAAE,MAAM;IAC5B;;OAEG;IACI,YAAY,EAAE,OAAO;IAZ9B;IACE;;OAEG;IACI,UAAU,EAAE,MAAM;IACzB;;OAEG;IACI,aAAa,EAAE,MAAM;IAC5B;;OAEG;IACI,YAAY,EAAE,OAAO,EAC1B;IAEJ,MAAM,KAAK,MAAM;;;;;;;;QAUhB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC,sCAE/D;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,6BAA6B,CAG3E;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,iCAG9C;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,MAAM,CAAC,KAAK,kCAEX;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,6BAA6B,CAE9D;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAMf;CACF;AAED,qBAAa,wBAAwB;IAE1B,KAAK,EAAE,iBAAiB;IACxB,OAAO,EAAE,MAAM;IAFxB,YACS,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,MAAM,EACpB;IAEJ,OAAO,WAEN;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wBAAwB,CAAC,wCAE1D;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,4BAG3C;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,4BAG9C;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,MAAM,CAAC,KAAK,6BAEX;IAED,OAAO,IAAI,OAAO,CAEjB;CACF"}