@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/kernel/hints/note_hash_read_request_hints.js

@@ -0,0 +1,43 @@
+import { MAX_NOTE_HASH_READ_REQUESTS_PER_TX, NOTE_HASH_TREE_HEIGHT } from '@aztec-labs/constants';
+import { makeTuple } from '@aztec-labs/foundation/array';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { PendingReadHint, ReadRequestAction, ReadRequestResetHints, SettledReadHint } from './read_request_hints.js';
+export function noteHashReadRequestHintsFromBuffer(buffer, numPending, numSettled) {
+    return ReadRequestResetHints.fromBuffer(buffer, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, numPending, numSettled, NOTE_HASH_TREE_HEIGHT, Fr);
+}
+export class NoteHashReadRequestHintsBuilder {
+    maxPending;
+    maxSettled;
+    hints;
+    numPendingReadHints;
+    numSettledReadHints;
+    constructor(maxPending, maxSettled){
+        this.maxPending = maxPending;
+        this.maxSettled = maxSettled;
+        this.numPendingReadHints = 0;
+        this.numSettledReadHints = 0;
+        this.hints = new ReadRequestResetHints(makeTuple(MAX_NOTE_HASH_READ_REQUESTS_PER_TX, ReadRequestAction.skip), makeTuple(maxPending, ()=>PendingReadHint.nada(MAX_NOTE_HASH_READ_REQUESTS_PER_TX)), makeTuple(maxSettled, ()=>SettledReadHint.nada(MAX_NOTE_HASH_READ_REQUESTS_PER_TX, NOTE_HASH_TREE_HEIGHT, Fr.zero)));
+    }
+    static empty(maxPending, maxSettled) {
+        return new NoteHashReadRequestHintsBuilder(maxPending, maxSettled).toHints();
+    }
+    addPendingReadRequest(readRequestIndex, noteHashIndex) {
+        if (this.numPendingReadHints === this.maxPending) {
+            throw new Error('Cannot add more pending read request.');
+        }
+        this.hints.readRequestActions[readRequestIndex] = ReadRequestAction.readAsPending(this.numPendingReadHints);
+        this.hints.pendingReadHints[this.numPendingReadHints] = new PendingReadHint(readRequestIndex, noteHashIndex);
+        this.numPendingReadHints++;
+    }
+    addSettledReadRequest(readRequestIndex, membershipWitness, value) {
+        if (this.numSettledReadHints === this.maxSettled) {
+            throw new Error('Cannot add more settled read request.');
+        }
+        this.hints.readRequestActions[readRequestIndex] = ReadRequestAction.readAsSettled(this.numSettledReadHints);
+        this.hints.settledReadHints[this.numSettledReadHints] = new SettledReadHint(readRequestIndex, membershipWitness, value);
+        this.numSettledReadHints++;
+    }
+    toHints() {
+        return this.hints;
+    }
+}

package/dest/kernel/hints/nullifier_read_request_hints.d.ts

@@ -0,0 +1,20 @@
+import { MAX_NULLIFIER_READ_REQUESTS_PER_TX, NULLIFIER_TREE_HEIGHT } from '@aztec-labs/constants';
+import type { BufferReader } from '@aztec-labs/foundation/serialize';
+import type { MembershipWitness } from '@aztec-labs/foundation/trees';
+import { NullifierLeafPreimage } from '../../trees/index.js';
+import { ReadRequestResetHints } from './read_request_hints.js';
+export type NullifierReadRequestHints<PENDING extends number, SETTLED extends number> = ReadRequestResetHints<typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, PENDING, SETTLED, typeof NULLIFIER_TREE_HEIGHT, NullifierLeafPreimage>;
+export declare function nullifierReadRequestHintsFromBuffer<PENDING extends number, SETTLED extends number>(buffer: Buffer | BufferReader, numPendingReads: PENDING, numSettledReads: SETTLED): NullifierReadRequestHints<PENDING, SETTLED>;
+export declare class NullifierReadRequestHintsBuilder<PENDING extends number, SETTLED extends number> {
+    readonly maxPending: PENDING;
+    readonly maxSettled: SETTLED;
+    private hints;
+    private numPendingReadHints;
+    private numSettledReadHints;
+    constructor(maxPending: PENDING, maxSettled: SETTLED);
+    static empty<PENDING extends number, SETTLED extends number>(maxPending: PENDING, maxSettled: SETTLED): NullifierReadRequestHints<PENDING, SETTLED>;
+    addPendingReadRequest(readRequestIndex: number, nullifierIndex: number): void;
+    addSettledReadRequest(readRequestIndex: number, membershipWitness: MembershipWitness<typeof NULLIFIER_TREE_HEIGHT>, leafPreimage: NullifierLeafPreimage): void;
+    toHints(): NullifierReadRequestHints<PENDING, SETTLED>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVsbGlmaWVyX3JlYWRfcmVxdWVzdF9oaW50cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2tlcm5lbC9oaW50cy9udWxsaWZpZXJfcmVhZF9yZXF1ZXN0X2hpbnRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxrQ0FBa0MsRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRWxHLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ3JFLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFdEUsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDN0QsT0FBTyxFQUFzQyxxQkFBcUIsRUFBbUIsTUFBTSx5QkFBeUIsQ0FBQztBQUVySCxNQUFNLE1BQU0seUJBQXlCLENBQUMsT0FBTyxTQUFTLE1BQU0sRUFBRSxPQUFPLFNBQVMsTUFBTSxJQUFJLHFCQUFxQixDQUMzRyxPQUFPLGtDQUFrQyxFQUN6QyxPQUFPLEVBQ1AsT0FBTyxFQUNQLE9BQU8scUJBQXFCLEVBQzVCLHFCQUFxQixDQUN0QixDQUFDO0FBRUYsd0JBQWdCLG1DQUFtQyxDQUFDLE9BQU8sU0FBUyxNQUFNLEVBQUUsT0FBTyxTQUFTLE1BQU0sRUFDaEcsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEVBQzdCLGVBQWUsRUFBRSxPQUFPLEVBQ3hCLGVBQWUsRUFBRSxPQUFPLEdBQ3ZCLHlCQUF5QixDQUFDLE9BQU8sRUFBRSxPQUFPLENBQUMsQ0FTN0M7QUFFRCxxQkFBYSxnQ0FBZ0MsQ0FBQyxPQUFPLFNBQVMsTUFBTSxFQUFFLE9BQU8sU0FBUyxNQUFNO2FBTXhFLFVBQVUsRUFBRSxPQUFPO2FBQ25CLFVBQVUsRUFBRSxPQUFPO0lBTnJDLE9BQU8sQ0FBQyxLQUFLLENBQThDO0lBQzNELE9BQU8sQ0FBQyxtQkFBbUIsQ0FBSztJQUNoQyxPQUFPLENBQUMsbUJBQW1CLENBQUs7SUFFaEMsWUFDa0IsVUFBVSxFQUFFLE9BQU8sRUFDbkIsVUFBVSxFQUFFLE9BQU8sRUFTcEM7SUFFRCxNQUFNLENBQUMsS0FBSyxDQUFDLE9BQU8sU0FBUyxNQUFNLEVBQUUsT0FBTyxTQUFTLE1BQU0sRUFBRSxVQUFVLEVBQUUsT0FBTyxFQUFFLFVBQVUsRUFBRSxPQUFPLCtDQUVwRztJQUVELHFCQUFxQixDQUFDLGdCQUFnQixFQUFFLE1BQU0sRUFBRSxjQUFjLEVBQUUsTUFBTSxRQVFyRTtJQUVELHFCQUFxQixDQUNuQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLGlCQUFpQixFQUFFLGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsRUFDbEUsWUFBWSxFQUFFLHFCQUFxQixRQVlwQztJQUVELE9BQU8sZ0RBRU47Q0FDRiJ9

package/dest/kernel/hints/nullifier_read_request_hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullifier_read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/nullifier_read_request_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kCAAkC,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAElG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAsC,qBAAqB,EAAmB,MAAM,yBAAyB,CAAC;AAErH,MAAM,MAAM,yBAAyB,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,qBAAqB,CAC3G,OAAO,kCAAkC,EACzC,OAAO,EACP,OAAO,EACP,OAAO,qBAAqB,EAC5B,qBAAqB,CACtB,CAAC;AAEF,wBAAgB,mCAAmC,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAChG,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,eAAe,EAAE,OAAO,EACxB,eAAe,EAAE,OAAO,GACvB,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,CAS7C;AAED,qBAAa,gCAAgC,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM;aAMxE,UAAU,EAAE,OAAO;aACnB,UAAU,EAAE,OAAO;IANrC,OAAO,CAAC,KAAK,CAA8C;IAC3D,OAAO,CAAC,mBAAmB,CAAK;IAChC,OAAO,CAAC,mBAAmB,CAAK;IAEhC,YACkB,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,OAAO,EASpC;IAED,MAAM,CAAC,KAAK,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,+CAEpG;IAED,qBAAqB,CAAC,gBAAgB,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,QAQrE;IAED,qBAAqB,CACnB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAClE,YAAY,EAAE,qBAAqB,QAYpC;IAED,OAAO,gDAEN;CACF"}

package/dest/kernel/hints/nullifier_read_request_hints.js

@@ -0,0 +1,43 @@
+import { MAX_NULLIFIER_READ_REQUESTS_PER_TX, NULLIFIER_TREE_HEIGHT } from '@aztec-labs/constants';
+import { makeTuple } from '@aztec-labs/foundation/array';
+import { NullifierLeafPreimage } from '../../trees/index.js';
+import { PendingReadHint, ReadRequestAction, ReadRequestResetHints, SettledReadHint } from './read_request_hints.js';
+export function nullifierReadRequestHintsFromBuffer(buffer, numPendingReads, numSettledReads) {
+    return ReadRequestResetHints.fromBuffer(buffer, MAX_NULLIFIER_READ_REQUESTS_PER_TX, numPendingReads, numSettledReads, NULLIFIER_TREE_HEIGHT, NullifierLeafPreimage);
+}
+export class NullifierReadRequestHintsBuilder {
+    maxPending;
+    maxSettled;
+    hints;
+    numPendingReadHints;
+    numSettledReadHints;
+    constructor(maxPending, maxSettled){
+        this.maxPending = maxPending;
+        this.maxSettled = maxSettled;
+        this.numPendingReadHints = 0;
+        this.numSettledReadHints = 0;
+        this.hints = new ReadRequestResetHints(makeTuple(MAX_NULLIFIER_READ_REQUESTS_PER_TX, ReadRequestAction.skip), makeTuple(maxPending, ()=>PendingReadHint.nada(MAX_NULLIFIER_READ_REQUESTS_PER_TX)), makeTuple(maxSettled, ()=>SettledReadHint.nada(MAX_NULLIFIER_READ_REQUESTS_PER_TX, NULLIFIER_TREE_HEIGHT, NullifierLeafPreimage.empty)));
+    }
+    static empty(maxPending, maxSettled) {
+        return new NullifierReadRequestHintsBuilder(maxPending, maxSettled).toHints();
+    }
+    addPendingReadRequest(readRequestIndex, nullifierIndex) {
+        if (this.numPendingReadHints === this.maxPending) {
+            throw new Error('Cannot add more pending read request.');
+        }
+        this.hints.readRequestActions[readRequestIndex] = ReadRequestAction.readAsPending(this.numPendingReadHints);
+        this.hints.pendingReadHints[this.numPendingReadHints] = new PendingReadHint(readRequestIndex, nullifierIndex);
+        this.numPendingReadHints++;
+    }
+    addSettledReadRequest(readRequestIndex, membershipWitness, leafPreimage) {
+        if (this.numSettledReadHints === this.maxSettled) {
+            throw new Error('Cannot add more settled read request.');
+        }
+        this.hints.readRequestActions[readRequestIndex] = ReadRequestAction.readAsSettled(this.numSettledReadHints);
+        this.hints.settledReadHints[this.numSettledReadHints] = new SettledReadHint(readRequestIndex, membershipWitness, leafPreimage);
+        this.numSettledReadHints++;
+    }
+    toHints() {
+        return this.hints;
+    }
+}

package/dest/kernel/hints/private_kernel_reset_hints.d.ts

@@ -0,0 +1,49 @@
+import { BufferReader, type Tuple } from '@aztec-labs/foundation/serialize';
+import { KeyValidationHint } from './key_validation_hint.js';
+import { type NoteHashReadRequestHints } from './note_hash_read_request_hints.js';
+import { type NullifierReadRequestHints } from './nullifier_read_request_hints.js';
+import { TransientDataSquashingHint } from './transient_data_squashing_hint.js';
+export declare class PrivateKernelResetHints<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number> {
+    /**
+     * Contains hints for the transient read requests to localize corresponding commitments.
+     */
+    noteHashReadRequestHints: NoteHashReadRequestHints<NH_RR_PENDING, NH_RR_SETTLED>;
+    /**
+     * Contains hints for the nullifier read requests to locate corresponding pending or settled nullifiers.
+     */
+    nullifierReadRequestHints: NullifierReadRequestHints<NLL_RR_PENDING, NLL_RR_SETTLED>;
+    /**
+     * Contains hints for key validation request.
+     */
+    keyValidationHints: Tuple<KeyValidationHint, KEY_VALIDATION_HINTS_LEN>;
+    /**
+     * Contains hints for the transient note hashes to locate corresponding nullifiers.
+     */
+    transientDataSquashingHints: Tuple<TransientDataSquashingHint, TRANSIENT_DATA_HINTS_LEN>;
+    constructor(
+    /**
+     * Contains hints for the transient read requests to localize corresponding commitments.
+     */
+    noteHashReadRequestHints: NoteHashReadRequestHints<NH_RR_PENDING, NH_RR_SETTLED>, 
+    /**
+     * Contains hints for the nullifier read requests to locate corresponding pending or settled nullifiers.
+     */
+    nullifierReadRequestHints: NullifierReadRequestHints<NLL_RR_PENDING, NLL_RR_SETTLED>, 
+    /**
+     * Contains hints for key validation request.
+     */
+    keyValidationHints: Tuple<KeyValidationHint, KEY_VALIDATION_HINTS_LEN>, 
+    /**
+     * Contains hints for the transient note hashes to locate corresponding nullifiers.
+     */
+    transientDataSquashingHints: Tuple<TransientDataSquashingHint, TRANSIENT_DATA_HINTS_LEN>);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    trimToSizes(numNoteHashReadRequestPending: number, numNoteHashReadRequestSettled: number, numNullifierReadRequestPending: number, numNullifierReadRequestSettled: number, numKeyValidationHints: number, numTransientDataSquashingHints: number): PrivateKernelResetHints<number, number, number, number, number, number>;
+    /**
+     * Deserializes from a buffer or reader.
+     * @param buffer - Buffer or reader to read from.
+     * @returns The deserialized instance.
+     */
+    static fromBuffer<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number>(buffer: Buffer | BufferReader, numNoteHashReadRequestPending: NH_RR_PENDING, numNoteHashReadRequestSettled: NH_RR_SETTLED, numNullifierReadRequestPending: NLL_RR_PENDING, numNullifierReadRequestSettled: NLL_RR_SETTLED, numKeyValidationHints: KEY_VALIDATION_HINTS_LEN, numTransientDataSquashingHints: TRANSIENT_DATA_HINTS_LEN): PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfcmVzZXRfaGludHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWwvaGludHMvcHJpdmF0ZV9rZXJuZWxfcmVzZXRfaGludHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSxrQ0FBa0MsQ0FBQztBQUUvRixPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUsS0FBSyx3QkFBd0IsRUFBc0MsTUFBTSxtQ0FBbUMsQ0FBQztBQUN0SCxPQUFPLEVBQUUsS0FBSyx5QkFBeUIsRUFBdUMsTUFBTSxtQ0FBbUMsQ0FBQztBQUN4SCxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUVoRixxQkFBYSx1QkFBdUIsQ0FDbEMsYUFBYSxTQUFTLE1BQU0sRUFDNUIsYUFBYSxTQUFTLE1BQU0sRUFDNUIsY0FBYyxTQUFTLE1BQU0sRUFDN0IsY0FBYyxTQUFTLE1BQU0sRUFDN0Isd0JBQXdCLFNBQVMsTUFBTSxFQUN2Qyx3QkFBd0IsU0FBUyxNQUFNO0lBR3JDOztPQUVHO0lBQ0ksd0JBQXdCLEVBQUUsd0JBQXdCLENBQUMsYUFBYSxFQUFFLGFBQWEsQ0FBQztJQUN2Rjs7T0FFRztJQUNJLHlCQUF5QixFQUFFLHlCQUF5QixDQUFDLGNBQWMsRUFBRSxjQUFjLENBQUM7SUFDM0Y7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsd0JBQXdCLENBQUM7SUFDN0U7O09BRUc7SUFDSSwyQkFBMkIsRUFBRSxLQUFLLENBQUMsMEJBQTBCLEVBQUUsd0JBQXdCLENBQUM7SUFoQmpHO0lBQ0U7O09BRUc7SUFDSSx3QkFBd0IsRUFBRSx3QkFBd0IsQ0FBQyxhQUFhLEVBQUUsYUFBYSxDQUFDO0lBQ3ZGOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUseUJBQXlCLENBQUMsY0FBYyxFQUFFLGNBQWMsQ0FBQztJQUMzRjs7T0FFRztJQUNJLGtCQUFrQixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSx3QkFBd0IsQ0FBQztJQUM3RTs7T0FFRztJQUNJLDJCQUEyQixFQUFFLEtBQUssQ0FBQywwQkFBMEIsRUFBRSx3QkFBd0IsQ0FBQyxFQUM3RjtJQUVKLFFBQVEsNEJBT1A7SUFFRCxXQUFXLENBQ1QsNkJBQTZCLEVBQUUsTUFBTSxFQUNyQyw2QkFBNkIsRUFBRSxNQUFNLEVBQ3JDLDhCQUE4QixFQUFFLE1BQU0sRUFDdEMsOEJBQThCLEVBQUUsTUFBTSxFQUN0QyxxQkFBcUIsRUFBRSxNQUFNLEVBQzdCLDhCQUE4QixFQUFFLE1BQU0sMkVBbUJ2QztJQUNEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUNmLGFBQWEsU0FBUyxNQUFNLEVBQzVCLGFBQWEsU0FBUyxNQUFNLEVBQzVCLGNBQWMsU0FBUyxNQUFNLEVBQzdCLGNBQWMsU0FBUyxNQUFNLEVBQzdCLHdCQUF3QixTQUFTLE1BQU0sRUFDdkMsd0JBQXdCLFNBQVMsTUFBTSxFQUV2QyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksRUFDN0IsNkJBQTZCLEVBQUUsYUFBYSxFQUM1Qyw2QkFBNkIsRUFBRSxhQUFhLEVBQzVDLDhCQUE4QixFQUFFLGNBQWMsRUFDOUMsOEJBQThCLEVBQUUsY0FBYyxFQUM5QyxxQkFBcUIsRUFBRSx3QkFBd0IsRUFDL0MsOEJBQThCLEVBQUUsd0JBQXdCLEdBQ3ZELHVCQUF1QixDQUN4QixhQUFhLEVBQ2IsYUFBYSxFQUNiLGNBQWMsRUFDZCxjQUFjLEVBQ2Qsd0JBQXdCLEVBQ3hCLHdCQUF3QixDQUN6QixDQWNBO0NBQ0YifQ==

package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_kernel_reset_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/private_kernel_reset_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,kCAAkC,CAAC;AAE/F,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,KAAK,wBAAwB,EAAsC,MAAM,mCAAmC,CAAC;AACtH,OAAO,EAAE,KAAK,yBAAyB,EAAuC,MAAM,mCAAmC,CAAC;AACxH,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF,qBAAa,uBAAuB,CAClC,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM;IAGrC;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,0BAA0B,EAAE,wBAAwB,CAAC;IAhBjG;IACE;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,0BAA0B,EAAE,wBAAwB,CAAC,EAC7F;IAEJ,QAAQ,4BAOP;IAED,WAAW,CACT,6BAA6B,EAAE,MAAM,EACrC,6BAA6B,EAAE,MAAM,EACrC,8BAA8B,EAAE,MAAM,EACtC,8BAA8B,EAAE,MAAM,EACtC,qBAAqB,EAAE,MAAM,EAC7B,8BAA8B,EAAE,MAAM,2EAmBvC;IACD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM,EAEvC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,6BAA6B,EAAE,aAAa,EAC5C,6BAA6B,EAAE,aAAa,EAC5C,8BAA8B,EAAE,cAAc,EAC9C,8BAA8B,EAAE,cAAc,EAC9C,qBAAqB,EAAE,wBAAwB,EAC/C,8BAA8B,EAAE,wBAAwB,GACvD,uBAAuB,CACxB,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB,CAcA;CACF"}

package/dest/kernel/hints/private_kernel_reset_hints.js

@@ -0,0 +1,47 @@
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { KeyValidationHint } from './key_validation_hint.js';
+import { noteHashReadRequestHintsFromBuffer } from './note_hash_read_request_hints.js';
+import { nullifierReadRequestHintsFromBuffer } from './nullifier_read_request_hints.js';
+import { TransientDataSquashingHint } from './transient_data_squashing_hint.js';
+export class PrivateKernelResetHints {
+    noteHashReadRequestHints;
+    nullifierReadRequestHints;
+    keyValidationHints;
+    transientDataSquashingHints;
+    constructor(/**
+     * Contains hints for the transient read requests to localize corresponding commitments.
+     */ noteHashReadRequestHints, /**
+     * Contains hints for the nullifier read requests to locate corresponding pending or settled nullifiers.
+     */ nullifierReadRequestHints, /**
+     * Contains hints for key validation request.
+     */ keyValidationHints, /**
+     * Contains hints for the transient note hashes to locate corresponding nullifiers.
+     */ transientDataSquashingHints){
+        this.noteHashReadRequestHints = noteHashReadRequestHints;
+        this.nullifierReadRequestHints = nullifierReadRequestHints;
+        this.keyValidationHints = keyValidationHints;
+        this.transientDataSquashingHints = transientDataSquashingHints;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.noteHashReadRequestHints, this.nullifierReadRequestHints, this.keyValidationHints, this.transientDataSquashingHints);
+    }
+    trimToSizes(numNoteHashReadRequestPending, numNoteHashReadRequestSettled, numNullifierReadRequestPending, numNullifierReadRequestSettled, numKeyValidationHints, numTransientDataSquashingHints) {
+        // Noir does not allow empty arrays. So we make the minimum array size 1.
+        // There is a constant for each dimension, coded in the circuit that indicates how many hints should be applied.
+        // The circuit is selected based on the dimension sizes, not the hint array sizes created here.
+        const useSize = (num)=>Math.max(num, 1);
+        return new PrivateKernelResetHints(this.noteHashReadRequestHints.trimToSizes(useSize(numNoteHashReadRequestPending), useSize(numNoteHashReadRequestSettled)), this.nullifierReadRequestHints.trimToSizes(useSize(numNullifierReadRequestPending), useSize(numNullifierReadRequestSettled)), this.keyValidationHints.slice(0, useSize(numKeyValidationHints)), this.transientDataSquashingHints.slice(0, useSize(numTransientDataSquashingHints)));
+    }
+    /**
+   * Deserializes from a buffer or reader.
+   * @param buffer - Buffer or reader to read from.
+   * @returns The deserialized instance.
+   */ static fromBuffer(buffer, numNoteHashReadRequestPending, numNoteHashReadRequestSettled, numNullifierReadRequestPending, numNullifierReadRequestSettled, numKeyValidationHints, numTransientDataSquashingHints) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateKernelResetHints(reader.readObject({
+            fromBuffer: (buf)=>noteHashReadRequestHintsFromBuffer(buf, numNoteHashReadRequestPending, numNoteHashReadRequestSettled)
+        }), reader.readObject({
+            fromBuffer: (buf)=>nullifierReadRequestHintsFromBuffer(buf, numNullifierReadRequestPending, numNullifierReadRequestSettled)
+        }), reader.readArray(numKeyValidationHints, KeyValidationHint), reader.readArray(numTransientDataSquashingHints, TransientDataSquashingHint));
+    }
+}

package/dest/kernel/hints/read_request.d.ts

@@ -0,0 +1,88 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, FieldReader } from '@aztec-labs/foundation/serialize';
+import { AztecAddress } from '../../aztec-address/index.js';
+export declare class ReadRequest {
+    /**
+     * The value being read.
+     */
+    value: Fr;
+    /**
+     * The side-effect counter.
+     */
+    counter: number;
+    constructor(
+    /**
+     * The value being read.
+     */
+    value: Fr, 
+    /**
+     * The side-effect counter.
+     */
+    counter: number);
+    /**
+     * Serialize this as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * 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 ReadRequest.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): ReadRequest;
+    /**
+     * Convert to an array of fields.
+     * @returns The array of fields.
+     */
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): ReadRequest;
+    /**
+     * Returns whether this instance of side-effect is empty.
+     * @returns True if the value and counter both are zero.
+     */
+    isEmpty(): boolean;
+    /**
+     * Returns an empty instance of side-effect.
+     * @returns Side-effect with both value and counter being zero.
+     */
+    static empty(): ReadRequest;
+    scope(contractAddress: AztecAddress): ScopedReadRequest;
+}
+/**
+ * ReadRequest with context of the contract emitting the request.
+ */
+export declare class ScopedReadRequest {
+    readRequest: ReadRequest;
+    contractAddress: AztecAddress;
+    constructor(readRequest: ReadRequest, contractAddress: AztecAddress);
+    get value(): Fr;
+    get counter(): number;
+    /**
+     * Serialize this as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * 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 ScopedReadRequest.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): ScopedReadRequest;
+    /**
+     * Convert to an array of fields.
+     * @returns The array of fields.
+     */
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): ScopedReadRequest;
+    /**
+     * Returns whether this instance of side-effect is empty.
+     * @returns True if the value, note hash and counter are all zero.
+     */
+    isEmpty(): boolean;
+    /**
+     * Returns an empty instance of side-effect.
+     * @returns Side-effect with value, note hash and counter being zero.
+     */
+    static empty(): ScopedReadRequest;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmVhZF9yZXF1ZXN0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsL2hpbnRzL3JlYWRfcmVxdWVzdC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDekQsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFFaEcsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRTVELHFCQUFhLFdBQVc7SUFFcEI7O09BRUc7SUFDSSxLQUFLLEVBQUUsRUFBRTtJQUNoQjs7T0FFRztJQUNJLE9BQU8sRUFBRSxNQUFNO0lBUnhCO0lBQ0U7O09BRUc7SUFDSSxLQUFLLEVBQUUsRUFBRTtJQUNoQjs7T0FFRztJQUNJLE9BQU8sRUFBRSxNQUFNLEVBQ3BCO0lBRUo7OztPQUdHO0lBQ0gsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxXQUFXLENBRzVEO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxHQUFHLFdBQVcsQ0FHekQ7SUFFRDs7O09BR0c7SUFDSCxPQUFPLFlBRU47SUFFRDs7O09BR0c7SUFDSCxNQUFNLENBQUMsS0FBSyxJQUFJLFdBQVcsQ0FFMUI7SUFFRCxLQUFLLENBQUMsZUFBZSxFQUFFLFlBQVkscUJBRWxDO0NBQ0Y7QUFFRDs7R0FFRztBQUNILHFCQUFhLGlCQUFpQjtJQUVuQixXQUFXLEVBQUUsV0FBVztJQUN4QixlQUFlLEVBQUUsWUFBWTtJQUZ0QyxZQUNTLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLGVBQWUsRUFBRSxZQUFZLEVBQ2xDO0lBRUosSUFBSSxLQUFLLE9BRVI7SUFFRCxJQUFJLE9BQU8sV0FFVjtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHFCQUc5QztJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FFZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcscUJBRzNDO0lBRUQ7OztPQUdHO0lBQ0gsT0FBTyxZQUVOO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLEtBQUssSUFBSSxpQkFBaUIsQ0FFaEM7Q0FDRiJ9

package/dest/kernel/hints/read_request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read_request.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/read_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,kCAAkC,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D,qBAAa,WAAW;IAEpB;;OAEG;IACI,KAAK,EAAE,EAAE;IAChB;;OAEG;IACI,OAAO,EAAE,MAAM;IARxB;IACE;;OAEG;IACI,KAAK,EAAE,EAAE;IAChB;;OAEG;IACI,OAAO,EAAE,MAAM,EACpB;IAEJ;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,WAAW,CAG5D;IAED;;;OAGG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,WAAW,CAGzD;IAED;;;OAGG;IACH,OAAO,YAEN;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,IAAI,WAAW,CAE1B;IAED,KAAK,CAAC,eAAe,EAAE,YAAY,qBAElC;CACF;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAEnB,WAAW,EAAE,WAAW;IACxB,eAAe,EAAE,YAAY;IAFtC,YACS,WAAW,EAAE,WAAW,EACxB,eAAe,EAAE,YAAY,EAClC;IAEJ,IAAI,KAAK,OAER;IAED,IAAI,OAAO,WAEV;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qBAG9C;IAED;;;OAGG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,qBAG3C;IAED;;;OAGG;IACH,OAAO,YAEN;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,IAAI,iBAAiB,CAEhC;CACF"}

package/dest/kernel/hints/read_request.js

@@ -0,0 +1,112 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { AztecAddress } from '../../aztec-address/index.js';
+export class ReadRequest {
+    value;
+    counter;
+    constructor(/**
+     * The value being read.
+     */ value, /**
+     * The side-effect counter.
+     */ counter){
+        this.value = value;
+        this.counter = counter;
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.value, this.counter);
+    }
+    /**
+   * 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 ReadRequest.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ReadRequest(Fr.fromBuffer(reader), reader.readNumber());
+    }
+    /**
+   * Convert to an array of fields.
+   * @returns The array of fields.
+   */ toFields() {
+        return [
+            this.value,
+            new Fr(this.counter)
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new ReadRequest(reader.readField(), reader.readU32());
+    }
+    /**
+   * Returns whether this instance of side-effect is empty.
+   * @returns True if the value and counter both are zero.
+   */ isEmpty() {
+        return this.value.isZero() && !this.counter;
+    }
+    /**
+   * Returns an empty instance of side-effect.
+   * @returns Side-effect with both value and counter being zero.
+   */ static empty() {
+        return new ReadRequest(Fr.zero(), 0);
+    }
+    scope(contractAddress) {
+        return new ScopedReadRequest(this, contractAddress);
+    }
+}
+/**
+ * ReadRequest with context of the contract emitting the request.
+ */ export class ScopedReadRequest {
+    readRequest;
+    contractAddress;
+    constructor(readRequest, contractAddress){
+        this.readRequest = readRequest;
+        this.contractAddress = contractAddress;
+    }
+    get value() {
+        return this.readRequest.value;
+    }
+    get counter() {
+        return this.readRequest.counter;
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.readRequest, this.contractAddress);
+    }
+    /**
+   * 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 ScopedReadRequest.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ScopedReadRequest(ReadRequest.fromBuffer(reader), AztecAddress.fromBuffer(reader));
+    }
+    /**
+   * Convert to an array of fields.
+   * @returns The array of fields.
+   */ toFields() {
+        return [
+            ...this.readRequest.toFields(),
+            this.contractAddress.toField()
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new ScopedReadRequest(reader.readObject(ReadRequest), AztecAddress.fromFieldUnsafe(reader.readField()));
+    }
+    /**
+   * Returns whether this instance of side-effect is empty.
+   * @returns True if the value, note hash and counter are all zero.
+   */ isEmpty() {
+        return this.readRequest.isEmpty() && this.contractAddress.isZero();
+    }
+    /**
+   * Returns an empty instance of side-effect.
+   * @returns Side-effect with value, note hash and counter being zero.
+   */ static empty() {
+        return new ScopedReadRequest(ReadRequest.empty(), AztecAddress.ZERO);
+    }
+}

package/dest/kernel/hints/read_request_hints.d.ts

@@ -0,0 +1,76 @@
+import { BufferReader, type Bufferable, type Tuple } from '@aztec-labs/foundation/serialize';
+import { MembershipWitness } from '@aztec-labs/foundation/trees';
+export declare enum ReadRequestActionEnum {
+    SKIP = 0,
+    READ_AS_PENDING = 1,
+    READ_AS_SETTLED = 2
+}
+export declare class ReadRequestAction {
+    action: ReadRequestActionEnum;
+    hintIndex: number;
+    constructor(action: ReadRequestActionEnum, hintIndex: number);
+    static skip(): ReadRequestAction;
+    static readAsPending(hintIndex: number): ReadRequestAction;
+    static readAsSettled(hintIndex: number): ReadRequestAction;
+    static fromBuffer(buffer: Buffer | BufferReader): ReadRequestAction;
+    toBuffer(): Buffer<ArrayBufferLike>;
+}
+export declare class PendingReadHint {
+    readRequestIndex: number;
+    pendingValueIndex: number;
+    constructor(readRequestIndex: number, pendingValueIndex: number);
+    static nada(readRequestLen: number): PendingReadHint;
+    static fromBuffer(buffer: Buffer | BufferReader): PendingReadHint;
+    toBuffer(): Buffer<ArrayBufferLike>;
+}
+export declare class SettledReadHint<TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable> {
+    readRequestIndex: number;
+    membershipWitness: MembershipWitness<TREE_HEIGHT>;
+    leafPreimage: LEAF_PREIMAGE;
+    constructor(readRequestIndex: number, membershipWitness: MembershipWitness<TREE_HEIGHT>, leafPreimage: LEAF_PREIMAGE);
+    static nada<TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(readRequestLen: number, treeHeight: TREE_HEIGHT, emptyLeafPreimage: () => LEAF_PREIMAGE): SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>;
+    static fromBuffer<TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(buffer: Buffer | BufferReader, treeHeight: TREE_HEIGHT, leafPreimage: {
+        fromBuffer(buffer: BufferReader): LEAF_PREIMAGE;
+    }): SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>;
+    toBuffer(): Buffer<ArrayBufferLike>;
+}
+/**
+ * Hints for read request reset circuit.
+ */
+export declare class ReadRequestResetHints<READ_REQUEST_LEN extends number, PENDING_READ_HINTS_LEN extends number, SETTLED_READ_HINTS_LEN extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable> {
+    readRequestActions: Tuple<ReadRequestAction, READ_REQUEST_LEN>;
+    /**
+     * The hints for read requests reading pending values.
+     */
+    pendingReadHints: Tuple<PendingReadHint, PENDING_READ_HINTS_LEN>;
+    /**
+     * The hints for read requests reading settled values.
+     */
+    settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, SETTLED_READ_HINTS_LEN>;
+    constructor(readRequestActions: Tuple<ReadRequestAction, READ_REQUEST_LEN>, 
+    /**
+     * The hints for read requests reading pending values.
+     */
+    pendingReadHints: Tuple<PendingReadHint, PENDING_READ_HINTS_LEN>, 
+    /**
+     * The hints for read requests reading settled values.
+     */
+    settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, SETTLED_READ_HINTS_LEN>);
+    trimToSizes<NEW_PENDING_READ_HINTS_LEN extends number, NEW_SETTLED_READ_HINTS_LEN extends number>(numPendingReads: NEW_PENDING_READ_HINTS_LEN, numSettledReads: NEW_SETTLED_READ_HINTS_LEN): ReadRequestResetHints<READ_REQUEST_LEN, NEW_PENDING_READ_HINTS_LEN, NEW_SETTLED_READ_HINTS_LEN, TREE_HEIGHT, LEAF_PREIMAGE>;
+    /**
+     * Deserializes from a buffer or reader.
+     * @param buffer - Buffer or reader to read from.
+     * @returns The deserialized instance.
+     */
+    static fromBuffer<READ_REQUEST_LEN extends number, PENDING_READ_HINTS_LEN extends number, SETTLED_READ_HINTS_LEN extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(buffer: Buffer | BufferReader, readRequestLen: READ_REQUEST_LEN, numPendingReads: PENDING_READ_HINTS_LEN, numSettledReads: SETTLED_READ_HINTS_LEN, treeHeight: TREE_HEIGHT, leafPreimageFromBuffer: {
+        fromBuffer: (buffer: BufferReader) => LEAF_PREIMAGE;
+    }): ReadRequestResetHints<READ_REQUEST_LEN, PENDING_READ_HINTS_LEN, SETTLED_READ_HINTS_LEN, TREE_HEIGHT, LEAF_PREIMAGE>;
+    toBuffer(): Buffer<ArrayBufferLike>;
+}
+export declare class ReadRequestResetActions<NUM_READS extends number> {
+    actions: Tuple<ReadRequestActionEnum, NUM_READS>;
+    pendingReadHints: PendingReadHint[];
+    constructor(actions: Tuple<ReadRequestActionEnum, NUM_READS>, pendingReadHints: PendingReadHint[]);
+    static empty<NUM_READS extends number>(numReads: NUM_READS): ReadRequestResetActions<NUM_READS>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmVhZF9yZXF1ZXN0X2hpbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsL2hpbnRzL3JlYWRfcmVxdWVzdF9oaW50cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssVUFBVSxFQUFFLEtBQUssS0FBSyxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBQ2hILE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRWpFLG9CQUFZLHFCQUFxQjtJQUMvQixJQUFJLElBQUk7SUFDUixlQUFlLElBQUk7SUFDbkIsZUFBZSxJQUFJO0NBQ3BCO0FBRUQscUJBQWEsaUJBQWlCO0lBRW5CLE1BQU0sRUFBRSxxQkFBcUI7SUFDN0IsU0FBUyxFQUFFLE1BQU07SUFGMUIsWUFDUyxNQUFNLEVBQUUscUJBQXFCLEVBQzdCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxDQUFDLElBQUksc0JBRVY7SUFFRCxNQUFNLENBQUMsYUFBYSxDQUFDLFNBQVMsRUFBRSxNQUFNLHFCQUVyQztJQUVELE1BQU0sQ0FBQyxhQUFhLENBQUMsU0FBUyxFQUFFLE1BQU0scUJBRXJDO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVkscUJBRzlDO0lBRUQsUUFBUSw0QkFFUDtDQUNGO0FBRUQscUJBQWEsZUFBZTtJQUVqQixnQkFBZ0IsRUFBRSxNQUFNO0lBQ3hCLGlCQUFpQixFQUFFLE1BQU07SUFGbEMsWUFDUyxnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLGlCQUFpQixFQUFFLE1BQU0sRUFDOUI7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLGNBQWMsRUFBRSxNQUFNLG1CQUVqQztJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLG1CQUc5QztJQUVELFFBQVEsNEJBRVA7Q0FDRjtBQUVELHFCQUFhLGVBQWUsQ0FBQyxXQUFXLFNBQVMsTUFBTSxFQUFFLGFBQWEsU0FBUyxVQUFVO0lBRTlFLGdCQUFnQixFQUFFLE1BQU07SUFDeEIsaUJBQWlCLEVBQUUsaUJBQWlCLENBQUMsV0FBVyxDQUFDO0lBQ2pELFlBQVksRUFBRSxhQUFhO0lBSHBDLFlBQ1MsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixpQkFBaUIsRUFBRSxpQkFBaUIsQ0FBQyxXQUFXLENBQUMsRUFDakQsWUFBWSxFQUFFLGFBQWEsRUFDaEM7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLFdBQVcsU0FBUyxNQUFNLEVBQUUsYUFBYSxTQUFTLFVBQVUsRUFDdEUsY0FBYyxFQUFFLE1BQU0sRUFDdEIsVUFBVSxFQUFFLFdBQVcsRUFDdkIsaUJBQWlCLEVBQUUsTUFBTSxhQUFhLCtDQUd2QztJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsV0FBVyxTQUFTLE1BQU0sRUFBRSxhQUFhLFNBQVMsVUFBVSxFQUM1RSxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksRUFDN0IsVUFBVSxFQUFFLFdBQVcsRUFDdkIsWUFBWSxFQUFFO1FBQUUsVUFBVSxDQUFDLE1BQU0sRUFBRSxZQUFZLEdBQUcsYUFBYSxDQUFBO0tBQUUsR0FDaEUsZUFBZSxDQUFDLFdBQVcsRUFBRSxhQUFhLENBQUMsQ0FPN0M7SUFFRCxRQUFRLDRCQUVQO0NBQ0Y7QUFFRDs7R0FFRztBQUNILHFCQUFhLHFCQUFxQixDQUNoQyxnQkFBZ0IsU0FBUyxNQUFNLEVBQy9CLHNCQUFzQixTQUFTLE1BQU0sRUFDckMsc0JBQXNCLFNBQVMsTUFBTSxFQUNyQyxXQUFXLFNBQVMsTUFBTSxFQUMxQixhQUFhLFNBQVMsVUFBVTtJQUd2QixrQkFBa0IsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsZ0JBQWdCLENBQUM7SUFDckU7O09BRUc7SUFDSSxnQkFBZ0IsRUFBRSxLQUFLLENBQUMsZUFBZSxFQUFFLHNCQUFzQixDQUFDO0lBQ3ZFOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLGVBQWUsQ0FBQyxXQUFXLEVBQUUsYUFBYSxDQUFDLEVBQUUsc0JBQXNCLENBQUM7SUFUckcsWUFDUyxrQkFBa0IsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsZ0JBQWdCLENBQUM7SUFDckU7O09BRUc7SUFDSSxnQkFBZ0IsRUFBRSxLQUFLLENBQUMsZUFBZSxFQUFFLHNCQUFzQixDQUFDO0lBQ3ZFOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLGVBQWUsQ0FBQyxXQUFXLEVBQUUsYUFBYSxDQUFDLEVBQUUsc0JBQXNCLENBQUMsRUFDakc7SUFFSixXQUFXLENBQUMsMEJBQTBCLFNBQVMsTUFBTSxFQUFFLDBCQUEwQixTQUFTLE1BQU0sRUFDOUYsZUFBZSxFQUFFLDBCQUEwQixFQUMzQyxlQUFlLEVBQUUsMEJBQTBCLEdBQzFDLHFCQUFxQixDQUN0QixnQkFBZ0IsRUFDaEIsMEJBQTBCLEVBQzFCLDBCQUEwQixFQUMxQixXQUFXLEVBQ1gsYUFBYSxDQUNkLENBU0E7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FDZixnQkFBZ0IsU0FBUyxNQUFNLEVBQy9CLHNCQUFzQixTQUFTLE1BQU0sRUFDckMsc0JBQXNCLFNBQVMsTUFBTSxFQUNyQyxXQUFXLFNBQVMsTUFBTSxFQUMxQixhQUFhLFNBQVMsVUFBVSxFQUVoQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksRUFDN0IsY0FBYyxFQUFFLGdCQUFnQixFQUNoQyxlQUFlLEVBQUUsc0JBQXNCLEVBQ3ZDLGVBQWUsRUFBRSxzQkFBc0IsRUFDdkMsVUFBVSxFQUFFLFdBQVcsRUFDdkIsc0JBQXNCLEVBQUU7UUFBRSxVQUFVLEVBQUUsQ0FBQyxNQUFNLEVBQUUsWUFBWSxLQUFLLGFBQWEsQ0FBQTtLQUFFLEdBQzlFLHFCQUFxQixDQUN0QixnQkFBZ0IsRUFDaEIsc0JBQXNCLEVBQ3RCLHNCQUFzQixFQUN0QixXQUFXLEVBQ1gsYUFBYSxDQUNkLENBU0E7SUFFRCxRQUFRLDRCQUVQO0NBQ0Y7QUFFRCxxQkFBYSx1QkFBdUIsQ0FBQyxTQUFTLFNBQVMsTUFBTTtJQUVsRCxPQUFPLEVBQUUsS0FBSyxDQUFDLHFCQUFxQixFQUFFLFNBQVMsQ0FBQztJQUNoRCxnQkFBZ0IsRUFBRSxlQUFlLEVBQUU7SUFGNUMsWUFDUyxPQUFPLEVBQUUsS0FBSyxDQUFDLHFCQUFxQixFQUFFLFNBQVMsQ0FBQyxFQUNoRCxnQkFBZ0IsRUFBRSxlQUFlLEVBQUUsRUFDeEM7SUFFSixNQUFNLENBQUMsS0FBSyxDQUFDLFNBQVMsU0FBUyxNQUFNLEVBQUUsUUFBUSxFQUFFLFNBQVMsc0NBS3pEO0NBQ0YifQ==

package/dest/kernel/hints/read_request_hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/read_request_hints.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAqB,MAAM,kCAAkC,CAAC;AAChH,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE,oBAAY,qBAAqB;IAC/B,IAAI,IAAI;IACR,eAAe,IAAI;IACnB,eAAe,IAAI;CACpB;AAED,qBAAa,iBAAiB;IAEnB,MAAM,EAAE,qBAAqB;IAC7B,SAAS,EAAE,MAAM;IAF1B,YACS,MAAM,EAAE,qBAAqB,EAC7B,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,CAAC,IAAI,sBAEV;IAED,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,qBAErC;IAED,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,qBAErC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qBAG9C;IAED,QAAQ,4BAEP;CACF;AAED,qBAAa,eAAe;IAEjB,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,MAAM;IAFlC,YACS,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,MAAM,EAC9B;IAEJ,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,mBAEjC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,mBAG9C;IAED,QAAQ,4BAEP;CACF;AAED,qBAAa,eAAe,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU;IAE9E,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC;IACjD,YAAY,EAAE,aAAa;IAHpC,YACS,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC,EACjD,YAAY,EAAE,aAAa,EAChC;IAEJ,MAAM,CAAC,IAAI,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EACtE,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,WAAW,EACvB,iBAAiB,EAAE,MAAM,aAAa,+CAGvC;IAED,MAAM,CAAC,UAAU,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EAC5E,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,UAAU,EAAE,WAAW,EACvB,YAAY,EAAE;QAAE,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAA;KAAE,GAChE,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,CAO7C;IAED,QAAQ,4BAEP;CACF;AAED;;GAEG;AACH,qBAAa,qBAAqB,CAChC,gBAAgB,SAAS,MAAM,EAC/B,sBAAsB,SAAS,MAAM,EACrC,sBAAsB,SAAS,MAAM,EACrC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU;IAGvB,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACrE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACvE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,sBAAsB,CAAC;IATrG,YACS,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACrE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACvE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,sBAAsB,CAAC,EACjG;IAEJ,WAAW,CAAC,0BAA0B,SAAS,MAAM,EAAE,0BAA0B,SAAS,MAAM,EAC9F,eAAe,EAAE,0BAA0B,EAC3C,eAAe,EAAE,0BAA0B,GAC1C,qBAAqB,CACtB,gBAAgB,EAChB,0BAA0B,EAC1B,0BAA0B,EAC1B,WAAW,EACX,aAAa,CACd,CASA;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,gBAAgB,SAAS,MAAM,EAC/B,sBAAsB,SAAS,MAAM,EACrC,sBAAsB,SAAS,MAAM,EACrC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU,EAEhC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,cAAc,EAAE,gBAAgB,EAChC,eAAe,EAAE,sBAAsB,EACvC,eAAe,EAAE,sBAAsB,EACvC,UAAU,EAAE,WAAW,EACvB,sBAAsB,EAAE;QAAE,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,aAAa,CAAA;KAAE,GAC9E,qBAAqB,CACtB,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,WAAW,EACX,aAAa,CACd,CASA;IAED,QAAQ,4BAEP;CACF;AAED,qBAAa,uBAAuB,CAAC,SAAS,SAAS,MAAM;IAElD,OAAO,EAAE,KAAK,CAAC,qBAAqB,EAAE,SAAS,CAAC;IAChD,gBAAgB,EAAE,eAAe,EAAE;IAF5C,YACS,OAAO,EAAE,KAAK,CAAC,qBAAqB,EAAE,SAAS,CAAC,EAChD,gBAAgB,EAAE,eAAe,EAAE,EACxC;IAEJ,MAAM,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,QAAQ,EAAE,SAAS,sCAKzD;CACF"}

package/dest/kernel/hints/read_request_hints.js

@@ -0,0 +1,114 @@
+import { makeTuple } from '@aztec-labs/foundation/array';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { MembershipWitness } from '@aztec-labs/foundation/trees';
+export var ReadRequestActionEnum = /*#__PURE__*/ function(ReadRequestActionEnum) {
+    ReadRequestActionEnum[ReadRequestActionEnum["SKIP"] = 0] = "SKIP";
+    ReadRequestActionEnum[ReadRequestActionEnum["READ_AS_PENDING"] = 1] = "READ_AS_PENDING";
+    ReadRequestActionEnum[ReadRequestActionEnum["READ_AS_SETTLED"] = 2] = "READ_AS_SETTLED";
+    return ReadRequestActionEnum;
+}({});
+export class ReadRequestAction {
+    action;
+    hintIndex;
+    constructor(action, hintIndex){
+        this.action = action;
+        this.hintIndex = hintIndex;
+    }
+    static skip() {
+        return new ReadRequestAction(0, 0);
+    }
+    static readAsPending(hintIndex) {
+        return new ReadRequestAction(1, hintIndex);
+    }
+    static readAsSettled(hintIndex) {
+        return new ReadRequestAction(2, hintIndex);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ReadRequestAction(reader.readNumber(), reader.readNumber());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.action, this.hintIndex);
+    }
+}
+export class PendingReadHint {
+    readRequestIndex;
+    pendingValueIndex;
+    constructor(readRequestIndex, pendingValueIndex){
+        this.readRequestIndex = readRequestIndex;
+        this.pendingValueIndex = pendingValueIndex;
+    }
+    static nada(readRequestLen) {
+        return new PendingReadHint(readRequestLen, 0);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PendingReadHint(reader.readNumber(), reader.readNumber());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.readRequestIndex, this.pendingValueIndex);
+    }
+}
+export class SettledReadHint {
+    readRequestIndex;
+    membershipWitness;
+    leafPreimage;
+    constructor(readRequestIndex, membershipWitness, leafPreimage){
+        this.readRequestIndex = readRequestIndex;
+        this.membershipWitness = membershipWitness;
+        this.leafPreimage = leafPreimage;
+    }
+    static nada(readRequestLen, treeHeight, emptyLeafPreimage) {
+        return new SettledReadHint(readRequestLen, MembershipWitness.empty(treeHeight), emptyLeafPreimage());
+    }
+    static fromBuffer(buffer, treeHeight, leafPreimage) {
+        const reader = BufferReader.asReader(buffer);
+        return new SettledReadHint(reader.readNumber(), MembershipWitness.fromBuffer(reader, treeHeight), reader.readObject(leafPreimage));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.readRequestIndex, this.membershipWitness, this.leafPreimage);
+    }
+}
+/**
+ * Hints for read request reset circuit.
+ */ export class ReadRequestResetHints {
+    readRequestActions;
+    pendingReadHints;
+    settledReadHints;
+    constructor(readRequestActions, /**
+     * The hints for read requests reading pending values.
+     */ pendingReadHints, /**
+     * The hints for read requests reading settled values.
+     */ settledReadHints){
+        this.readRequestActions = readRequestActions;
+        this.pendingReadHints = pendingReadHints;
+        this.settledReadHints = settledReadHints;
+    }
+    trimToSizes(numPendingReads, numSettledReads) {
+        return new ReadRequestResetHints(this.readRequestActions, this.pendingReadHints.slice(0, numPendingReads), this.settledReadHints.slice(0, numSettledReads));
+    }
+    /**
+   * Deserializes from a buffer or reader.
+   * @param buffer - Buffer or reader to read from.
+   * @returns The deserialized instance.
+   */ static fromBuffer(buffer, readRequestLen, numPendingReads, numSettledReads, treeHeight, leafPreimageFromBuffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ReadRequestResetHints(reader.readArray(readRequestLen, ReadRequestAction), reader.readArray(numPendingReads, PendingReadHint), reader.readArray(numSettledReads, {
+            fromBuffer: (r)=>SettledReadHint.fromBuffer(r, treeHeight, leafPreimageFromBuffer)
+        }));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.readRequestActions, this.pendingReadHints, this.settledReadHints);
+    }
+}
+export class ReadRequestResetActions {
+    actions;
+    pendingReadHints;
+    constructor(actions, pendingReadHints){
+        this.actions = actions;
+        this.pendingReadHints = pendingReadHints;
+    }
+    static empty(numReads) {
+        return new ReadRequestResetActions(makeTuple(numReads, ()=>0), []);
+    }
+}