@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/kernel/hints/build_note_hash_read_request_hints.js

@@ -0,0 +1,76 @@
+import { MAX_NOTE_HASH_READ_REQUESTS_PER_TX } from '@aztec-labs/constants';
+import { NoteHashReadRequestHintsBuilder } from './note_hash_read_request_hints.js';
+import { PendingReadHint, ReadRequestActionEnum, ReadRequestResetActions } from './read_request_hints.js';
+export function isValidNoteHashReadRequest(readRequest, noteHash) {
+    return noteHash.value.equals(readRequest.value) && noteHash.contractAddress.equals(readRequest.contractAddress) && readRequest.counter > noteHash.counter;
+}
+export function getNoteHashReadRequestResetActions(noteHashReadRequests, noteHashes) {
+    const resetActions = ReadRequestResetActions.empty(MAX_NOTE_HASH_READ_REQUESTS_PER_TX);
+    const noteHashMap = new Map();
+    noteHashes.getActiveItems().forEach((noteHash, index)=>{
+        const value = noteHash.value.toBigInt();
+        const arr = noteHashMap.get(value) ?? [];
+        arr.push({
+            noteHash,
+            index
+        });
+        noteHashMap.set(value, arr);
+    });
+    for(let i = 0; i < noteHashReadRequests.claimedLength; ++i){
+        const readRequest = noteHashReadRequests.array[i];
+        if (readRequest.contractAddress.isZero()) {
+            // Settled read: empty contract address means resolve against the note hash tree.
+            resetActions.actions[i] = ReadRequestActionEnum.READ_AS_SETTLED;
+        } else {
+            // Pending read: non-empty contract address means match against a pending note hash.
+            const pendingNoteHash = noteHashMap.get(readRequest.value.toBigInt())?.find((n)=>isValidNoteHashReadRequest(readRequest, n.noteHash));
+            if (pendingNoteHash) {
+                resetActions.actions[i] = ReadRequestActionEnum.READ_AS_PENDING;
+                resetActions.pendingReadHints.push(new PendingReadHint(i, pendingNoteHash.index));
+            }
+        // Otherwise, the read request may be resolved by a future note hash. Leave as NOOP.
+        }
+    }
+    return resetActions;
+}
+export async function buildNoteHashReadRequestHintsFromResetActions(oracle, noteHashReadRequests, noteHashes, resetActions, maxPending = MAX_NOTE_HASH_READ_REQUESTS_PER_TX, maxSettled = MAX_NOTE_HASH_READ_REQUESTS_PER_TX) {
+    const builder = new NoteHashReadRequestHintsBuilder(maxPending, maxSettled);
+    resetActions.pendingReadHints.forEach((hint)=>{
+        builder.addPendingReadRequest(hint.readRequestIndex, hint.pendingValueIndex);
+    });
+    // Collect all settled read requests
+    const settledRequests = [];
+    for(let i = 0; i < resetActions.actions.length; i++){
+        if (resetActions.actions[i] === ReadRequestActionEnum.READ_AS_SETTLED) {
+            settledRequests.push({
+                index: i,
+                readRequest: noteHashReadRequests.array[i]
+            });
+        }
+    }
+    // Fetch all membership witnesses in parallel
+    const membershipWitnesses = await Promise.all(settledRequests.map(({ readRequest })=>oracle.getNoteHashMembershipWitness(readRequest.value)));
+    // Add settled read requests to builder
+    for(let i = 0; i < settledRequests.length; i++){
+        const membershipWitness = membershipWitnesses[i];
+        if (!membershipWitness) {
+            throw new Error('Read request is reading an unknown note hash.');
+        }
+        builder.addSettledReadRequest(settledRequests[i].index, membershipWitness, settledRequests[i].readRequest.value);
+    }
+    const noteHashMap = new Map();
+    noteHashes.getActiveItems().forEach((noteHash, index)=>{
+        const value = noteHash.value.toBigInt();
+        const arr = noteHashMap.get(value) ?? [];
+        arr.push({
+            noteHash,
+            index
+        });
+        noteHashMap.set(value, arr);
+    });
+    return builder.toHints();
+}
+export async function buildNoteHashReadRequestHints(oracle, noteHashReadRequests, noteHashes, maxPending = MAX_NOTE_HASH_READ_REQUESTS_PER_TX, maxSettled = MAX_NOTE_HASH_READ_REQUESTS_PER_TX) {
+    const resetActions = getNoteHashReadRequestResetActions(noteHashReadRequests, noteHashes);
+    return await buildNoteHashReadRequestHintsFromResetActions(oracle, noteHashReadRequests, noteHashes, resetActions, maxPending, maxSettled);
+}

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

@@ -0,0 +1,22 @@
+import { type MAX_NULLIFIERS_PER_TX, MAX_NULLIFIER_READ_REQUESTS_PER_TX, type NULLIFIER_TREE_HEIGHT } from '@aztec-labs/constants';
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { MembershipWitness } from '@aztec-labs/foundation/trees';
+import type { NullifierLeafPreimage } from '../../trees/nullifier_leaf.js';
+import type { ClaimedLengthArray } from '../claimed_length_array.js';
+import type { ScopedNullifier } from '../nullifier.js';
+import { ScopedReadRequest } from './read_request.js';
+import { ReadRequestResetActions } from './read_request_hints.js';
+export declare function isValidNullifierReadRequest(readRequest: ScopedReadRequest, nullifier: ScopedNullifier): boolean;
+interface NullifierMembershipWitnessWithPreimage {
+    membershipWitness: MembershipWitness<typeof NULLIFIER_TREE_HEIGHT>;
+    leafPreimage: NullifierLeafPreimage;
+}
+export declare function getNullifierReadRequestResetActions(nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>, nullifiers: ClaimedLengthArray<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>): ReadRequestResetActions<typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>;
+export declare function buildNullifierReadRequestHintsFromResetActions<PENDING extends number, SETTLED extends number>(oracle: {
+    getNullifierMembershipWitness(nullifier: Fr): Promise<NullifierMembershipWitnessWithPreimage>;
+}, nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>, resetActions: ReadRequestResetActions<typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>, maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./nullifier_read_request_hints.js").NullifierReadRequestHints<PENDING, SETTLED>>;
+export declare function buildNullifierReadRequestHints<PENDING extends number, SETTLED extends number>(oracle: {
+    getNullifierMembershipWitness(nullifier: Fr): Promise<NullifierMembershipWitnessWithPreimage>;
+}, nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>, nullifiers: ClaimedLengthArray<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>, maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./nullifier_read_request_hints.js").NullifierReadRequestHints<PENDING, SETTLED>>;
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfbnVsbGlmaWVyX3JlYWRfcmVxdWVzdF9oaW50cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2tlcm5lbC9oaW50cy9idWlsZF9udWxsaWZpZXJfcmVhZF9yZXF1ZXN0X2hpbnRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLHFCQUFxQixFQUMxQixrQ0FBa0MsRUFDbEMsS0FBSyxxQkFBcUIsRUFDM0IsTUFBTSx1QkFBdUIsQ0FBQztBQUMvQixPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUM5RCxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUVqRSxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQzNFLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDckUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFdkQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDdEQsT0FBTyxFQUEwQyx1QkFBdUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRTFHLHdCQUFnQiwyQkFBMkIsQ0FBQyxXQUFXLEVBQUUsaUJBQWlCLEVBQUUsU0FBUyxFQUFFLGVBQWUsV0FNckc7QUFFRCxVQUFVLHNDQUFzQztJQUM5QyxpQkFBaUIsRUFBRSxpQkFBaUIsQ0FBQyxPQUFPLHFCQUFxQixDQUFDLENBQUM7SUFDbkUsWUFBWSxFQUFFLHFCQUFxQixDQUFDO0NBQ3JDO0FBRUQsd0JBQWdCLG1DQUFtQyxDQUNqRCxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLGtDQUFrQyxDQUFDLEVBQ3ZHLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQyxHQUM1RSx1QkFBdUIsQ0FBQyxPQUFPLGtDQUFrQyxDQUFDLENBZ0NwRTtBQUVELHdCQUFzQiw4Q0FBOEMsQ0FBQyxPQUFPLFNBQVMsTUFBTSxFQUFFLE9BQU8sU0FBUyxNQUFNLEVBQ2pILE1BQU0sRUFBRTtJQUNOLDZCQUE2QixDQUFDLFNBQVMsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLHNDQUFzQyxDQUFDLENBQUM7Q0FDL0YsRUFDRCxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLGtDQUFrQyxDQUFDLEVBQ3ZHLFlBQVksRUFBRSx1QkFBdUIsQ0FBQyxPQUFPLGtDQUFrQyxDQUFDLEVBQ2hGLFVBQVUsR0FBRSxPQUF1RCxFQUNuRSxVQUFVLEdBQUUsT0FBdUQsb0dBK0JwRTtBQUVELHdCQUFzQiw4QkFBOEIsQ0FBQyxPQUFPLFNBQVMsTUFBTSxFQUFFLE9BQU8sU0FBUyxNQUFNLEVBQ2pHLE1BQU0sRUFBRTtJQUNOLDZCQUE2QixDQUFDLFNBQVMsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLHNDQUFzQyxDQUFDLENBQUM7Q0FDL0YsRUFDRCxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLGtDQUFrQyxDQUFDLEVBQ3ZHLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQyxFQUM3RSxVQUFVLEdBQUUsT0FBdUQsRUFDbkUsVUFBVSxHQUFFLE9BQXVELG9HQVVwRSJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"build_nullifier_read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/build_nullifier_read_request_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,qBAAqB,EAC1B,kCAAkC,EAClC,KAAK,qBAAqB,EAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAEvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAA0C,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAE1G,wBAAgB,2BAA2B,CAAC,WAAW,EAAE,iBAAiB,EAAE,SAAS,EAAE,eAAe,WAMrG;AAED,UAAU,sCAAsC;IAC9C,iBAAiB,EAAE,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC;IACnE,YAAY,EAAE,qBAAqB,CAAC;CACrC;AAED,wBAAgB,mCAAmC,CACjD,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACvG,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC,GAC5E,uBAAuB,CAAC,OAAO,kCAAkC,CAAC,CAgCpE;AAED,wBAAsB,8CAA8C,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EACjH,MAAM,EAAE;IACN,6BAA6B,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,sCAAsC,CAAC,CAAC;CAC/F,EACD,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACvG,YAAY,EAAE,uBAAuB,CAAC,OAAO,kCAAkC,CAAC,EAChF,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,oGA+BpE;AAED,wBAAsB,8BAA8B,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EACjG,MAAM,EAAE;IACN,6BAA6B,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,sCAAsC,CAAC,CAAC;CAC/F,EACD,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACvG,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC,EAC7E,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,oGAUpE"}

package/dest/kernel/hints/build_nullifier_read_request_hints.js

@@ -0,0 +1,63 @@
+import { MAX_NULLIFIER_READ_REQUESTS_PER_TX } from '@aztec-labs/constants';
+import { NullifierReadRequestHintsBuilder } from './nullifier_read_request_hints.js';
+import { PendingReadHint, ReadRequestActionEnum, ReadRequestResetActions } from './read_request_hints.js';
+export function isValidNullifierReadRequest(readRequest, nullifier) {
+    return readRequest.value.equals(nullifier.value) && nullifier.contractAddress.equals(readRequest.contractAddress) && readRequest.counter > nullifier.counter;
+}
+export function getNullifierReadRequestResetActions(nullifierReadRequests, nullifiers) {
+    const resetActions = ReadRequestResetActions.empty(MAX_NULLIFIER_READ_REQUESTS_PER_TX);
+    const nullifierMap = new Map();
+    nullifiers.getActiveItems().forEach((nullifier, index)=>{
+        const value = nullifier.value.toBigInt();
+        const arr = nullifierMap.get(value) ?? [];
+        arr.push({
+            nullifier,
+            index
+        });
+        nullifierMap.set(value, arr);
+    });
+    for(let i = 0; i < nullifierReadRequests.claimedLength; ++i){
+        const readRequest = nullifierReadRequests.array[i];
+        if (readRequest.contractAddress.isZero()) {
+            // Settled read: empty contract address means resolve against the nullifier tree.
+            resetActions.actions[i] = ReadRequestActionEnum.READ_AS_SETTLED;
+        } else {
+            // Pending read: non-empty contract address means match against a pending nullifier.
+            const pendingNullifier = nullifierMap.get(readRequest.value.toBigInt())?.find(({ nullifier })=>isValidNullifierReadRequest(readRequest, nullifier));
+            if (pendingNullifier) {
+                resetActions.actions[i] = ReadRequestActionEnum.READ_AS_PENDING;
+                resetActions.pendingReadHints.push(new PendingReadHint(i, pendingNullifier.index));
+            }
+        // Otherwise, the read request may be resolved by a future nullifier. Leave as NOOP.
+        }
+    }
+    return resetActions;
+}
+export async function buildNullifierReadRequestHintsFromResetActions(oracle, nullifierReadRequests, resetActions, maxPending = MAX_NULLIFIER_READ_REQUESTS_PER_TX, maxSettled = MAX_NULLIFIER_READ_REQUESTS_PER_TX) {
+    const builder = new NullifierReadRequestHintsBuilder(maxPending, maxSettled);
+    resetActions.pendingReadHints.forEach((hint)=>{
+        builder.addPendingReadRequest(hint.readRequestIndex, hint.pendingValueIndex);
+    });
+    // Collect all settled read requests
+    const settledRequests = [];
+    for(let i = 0; i < resetActions.actions.length; i++){
+        if (resetActions.actions[i] === ReadRequestActionEnum.READ_AS_SETTLED) {
+            settledRequests.push({
+                index: i,
+                readRequest: nullifierReadRequests.array[i]
+            });
+        }
+    }
+    const siloedValues = settledRequests.map(({ readRequest })=>readRequest.value);
+    // Fetch all membership witnesses in parallel
+    const membershipWitnesses = await Promise.all(siloedValues.map((value)=>oracle.getNullifierMembershipWitness(value)));
+    // Add settled read requests to builder
+    for(let i = 0; i < settledRequests.length; i++){
+        builder.addSettledReadRequest(settledRequests[i].index, membershipWitnesses[i].membershipWitness, membershipWitnesses[i].leafPreimage);
+    }
+    return builder.toHints();
+}
+export async function buildNullifierReadRequestHints(oracle, nullifierReadRequests, nullifiers, maxPending = MAX_NULLIFIER_READ_REQUESTS_PER_TX, maxSettled = MAX_NULLIFIER_READ_REQUESTS_PER_TX) {
+    const resetActions = getNullifierReadRequestResetActions(nullifierReadRequests, nullifiers);
+    return await buildNullifierReadRequestHintsFromResetActions(oracle, nullifierReadRequests, resetActions, maxPending, maxSettled);
+}

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

@@ -0,0 +1,14 @@
+import type { Tuple } from '@aztec-labs/foundation/serialize';
+import type { ClaimedLengthArray } from '../claimed_length_array.js';
+import type { ScopedNoteHash } from '../note_hash.js';
+import type { ScopedNullifier } from '../nullifier.js';
+import type { PrivateLogData, ScopedPrivateLogData } from '../private_log_data.js';
+import type { ScopedReadRequest } from './read_request.js';
+import { TransientDataSquashingHint } from './transient_data_squashing_hint.js';
+export declare function buildTransientDataHints<NOTE_HASHES_LEN extends number, NULLIFIERS_LEN extends number>(noteHashes: ClaimedLengthArray<ScopedNoteHash, NOTE_HASHES_LEN>, nullifiers: ClaimedLengthArray<ScopedNullifier, NULLIFIERS_LEN>, futureNoteHashReads: ScopedReadRequest[], futureNullifierReads: ScopedReadRequest[], futureLogs: PrivateLogData[], noteHashNullifierCounterMap: Map<number, number>, splitCounter: number): {
+    numTransientData: number;
+    hints: Tuple<TransientDataSquashingHint, NULLIFIERS_LEN>;
+};
+/** Counts private logs that are linked to squashed note hashes and would be removed along with them. */
+export declare function countSquashedLogs<NOTE_HASHES_LEN extends number, LOGS_LEN extends number>(noteHashes: ClaimedLengthArray<ScopedNoteHash, NOTE_HASHES_LEN>, privateLogs: ClaimedLengthArray<ScopedPrivateLogData, LOGS_LEN>, squashingHints: TransientDataSquashingHint[]): number;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfdHJhbnNpZW50X2RhdGFfaGludHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWwvaGludHMvYnVpbGRfdHJhbnNpZW50X2RhdGFfaGludHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsS0FBSyxFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFFOUQsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUNyRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUN0RCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUN2RCxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUduRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRTNELE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBRWhGLHdCQUFnQix1QkFBdUIsQ0FBQyxlQUFlLFNBQVMsTUFBTSxFQUFFLGNBQWMsU0FBUyxNQUFNLEVBQ25HLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsZUFBZSxDQUFDLEVBQy9ELFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsY0FBYyxDQUFDLEVBQy9ELG1CQUFtQixFQUFFLGlCQUFpQixFQUFFLEVBQ3hDLG9CQUFvQixFQUFFLGlCQUFpQixFQUFFLEVBQ3pDLFVBQVUsRUFBRSxjQUFjLEVBQUUsRUFDNUIsMkJBQTJCLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsRUFDaEQsWUFBWSxFQUFFLE1BQU0sR0FDbkI7SUFBRSxnQkFBZ0IsRUFBRSxNQUFNLENBQUM7SUFBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLDBCQUEwQixFQUFFLGNBQWMsQ0FBQyxDQUFBO0NBQUUsQ0E4RHhGO0FBRUQsd0dBQXdHO0FBQ3hHLHdCQUFnQixpQkFBaUIsQ0FBQyxlQUFlLFNBQVMsTUFBTSxFQUFFLFFBQVEsU0FBUyxNQUFNLEVBQ3ZGLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsZUFBZSxDQUFDLEVBQy9ELFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxvQkFBb0IsRUFBRSxRQUFRLENBQUMsRUFDL0QsY0FBYyxFQUFFLDBCQUEwQixFQUFFLEdBQzNDLE1BQU0sQ0FHUiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"build_transient_data_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/build_transient_data_hints.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kCAAkC,CAAC;AAE9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAGnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF,wBAAgB,uBAAuB,CAAC,eAAe,SAAS,MAAM,EAAE,cAAc,SAAS,MAAM,EACnG,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,eAAe,CAAC,EAC/D,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,cAAc,CAAC,EAC/D,mBAAmB,EAAE,iBAAiB,EAAE,EACxC,oBAAoB,EAAE,iBAAiB,EAAE,EACzC,UAAU,EAAE,cAAc,EAAE,EAC5B,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChD,YAAY,EAAE,MAAM,GACnB;IAAE,gBAAgB,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,0BAA0B,EAAE,cAAc,CAAC,CAAA;CAAE,CA8DxF;AAED,wGAAwG;AACxG,wBAAgB,iBAAiB,CAAC,eAAe,SAAS,MAAM,EAAE,QAAQ,SAAS,MAAM,EACvF,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,eAAe,CAAC,EAC/D,WAAW,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,QAAQ,CAAC,EAC/D,cAAc,EAAE,0BAA0B,EAAE,GAC3C,MAAM,CAGR"}

package/dest/kernel/hints/build_transient_data_hints.js

@@ -0,0 +1,56 @@
+import { padArrayEnd } from '@aztec-labs/foundation/collection';
+import { isValidNoteHashReadRequest } from './build_note_hash_read_request_hints.js';
+import { isValidNullifierReadRequest } from './build_nullifier_read_request_hints.js';
+import { ScopedValueCache } from './scoped_value_cache.js';
+import { TransientDataSquashingHint } from './transient_data_squashing_hint.js';
+export function buildTransientDataHints(noteHashes, nullifiers, futureNoteHashReads, futureNullifierReads, futureLogs, noteHashNullifierCounterMap, splitCounter) {
+    const futureNoteHashReadsMap = new ScopedValueCache(futureNoteHashReads);
+    const futureNullifierReadsMap = new ScopedValueCache(futureNullifierReads);
+    const futureLogNoteHashCounters = new Set(futureLogs.filter((l)=>l.noteHashCounter > 0).map((l)=>l.noteHashCounter));
+    const nullifierIndexMap = new Map();
+    nullifiers.getActiveItems().forEach((n, i)=>nullifierIndexMap.set(n.counter, i));
+    const hints = [];
+    for(let noteHashIndex = 0; noteHashIndex < noteHashes.claimedLength; noteHashIndex++){
+        const noteHash = noteHashes.array[noteHashIndex];
+        const noteHashNullifierCounter = noteHashNullifierCounterMap.get(noteHash.counter);
+        // The note hash might not be linked to a nullifier, or it might be read in the future, or a future log might be
+        // linked to it.
+        if (!noteHashNullifierCounter || futureNoteHashReadsMap.get(noteHash).find((read)=>isValidNoteHashReadRequest(read, noteHash)) || futureLogNoteHashCounters.has(noteHash.counter)) {
+            continue;
+        }
+        const nullifierIndex = nullifierIndexMap.get(noteHashNullifierCounter);
+        // We might not have the corresponding nullifier yet
+        if (nullifierIndex === undefined) {
+            continue;
+        }
+        const nullifier = nullifiers.array[nullifierIndex];
+        // Cannot nullify a non-revertible note hash with a revertible nullifier.
+        if (noteHash.counter < splitCounter && nullifier.counter >= splitCounter) {
+            continue;
+        }
+        // If the following errors show up, something's wrong with how we build the noteHashNullifierCounterMap in client_execution_context.ts.
+        if (nullifier.counter < noteHash.counter) {
+            throw new Error('Hinted nullifier has smaller counter than note hash.');
+        }
+        if (!nullifier.contractAddress.equals(noteHash.contractAddress)) {
+            throw new Error('Contract address of hinted note hash does not match.');
+        }
+        if (!nullifier.nullifiedNoteHash.equals(noteHash.value)) {
+            continue;
+        }
+        // The nullifier might be read in the future
+        if (futureNullifierReadsMap.get(nullifier).find((read)=>isValidNullifierReadRequest(read, nullifier))) {
+            continue;
+        }
+        hints.push(new TransientDataSquashingHint(nullifierIndex, noteHashIndex));
+    }
+    const noActionHint = new TransientDataSquashingHint(nullifiers.array.length, noteHashes.array.length);
+    return {
+        numTransientData: hints.length,
+        hints: padArrayEnd(hints, noActionHint, nullifiers.array.length)
+    };
+}
+/** Counts private logs that are linked to squashed note hashes and would be removed along with them. */ export function countSquashedLogs(noteHashes, privateLogs, squashingHints) {
+    const squashedNoteHashCounters = new Set(squashingHints.map((h)=>noteHashes.array[h.noteHashIndex].counter));
+    return privateLogs.getActiveItems().filter((l)=>squashedNoteHashCounters.has(l.inner.noteHashCounter)).length;
+}

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

@@ -0,0 +1,9 @@
+import { PrivateKernelResetDimensions, type PrivateKernelResetDimensionsConfig } from '../private_kernel_reset_dimensions.js';
+/**
+ * Picks which catalog group the selector should search. Mid-tx resets go to `inner` (no
+ * siloing); terminal kernels go to `finalTail` or `finalTailToPublic`, depending on whether
+ * the tx has public function calls.
+ */
+export type ResetDimensionsMode = 'inner' | 'finalTail' | 'finalTailToPublic';
+export declare function findPrivateKernelResetDimensions(requestedDimensions: PrivateKernelResetDimensions, config: PrivateKernelResetDimensionsConfig, mode: ResetDimensionsMode, allowRemainder?: boolean): PrivateKernelResetDimensions;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmluZF9wcml2YXRlX2tlcm5lbF9yZXNldF9kaW1lbnNpb25zLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsL2hpbnRzL2ZpbmRfcHJpdmF0ZV9rZXJuZWxfcmVzZXRfZGltZW5zaW9ucy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wsNEJBQTRCLEVBQzVCLEtBQUssa0NBQWtDLEVBR3hDLE1BQU0sdUNBQXVDLENBQUM7QUE4Qy9DOzs7O0dBSUc7QUFDSCxNQUFNLE1BQU0sbUJBQW1CLEdBQUcsT0FBTyxHQUFHLFdBQVcsR0FBRyxtQkFBbUIsQ0FBQztBQUU5RSx3QkFBZ0IsZ0NBQWdDLENBQzlDLG1CQUFtQixFQUFFLDRCQUE0QixFQUNqRCxNQUFNLEVBQUUsa0NBQWtDLEVBQzFDLElBQUksRUFBRSxtQkFBbUIsRUFDekIsY0FBYyxVQUFRLGdDQVl2QiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"find_private_kernel_reset_dimensions.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/find_private_kernel_reset_dimensions.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,EAC5B,KAAK,kCAAkC,EAGxC,MAAM,uCAAuC,CAAC;AA8C/C;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,WAAW,GAAG,mBAAmB,CAAC;AAE9E,wBAAgB,gCAAgC,CAC9C,mBAAmB,EAAE,4BAA4B,EACjD,MAAM,EAAE,kCAAkC,EAC1C,IAAI,EAAE,mBAAmB,EACzB,cAAc,UAAQ,gCAYvB"}

package/dest/kernel/hints/find_private_kernel_reset_dimensions.js

@@ -0,0 +1,40 @@
+import { PrivateKernelResetDimensions, privateKernelResetDimensionNames } from '../private_kernel_reset_dimensions.js';
+function getSize(dimensions) {
+    return privateKernelResetDimensionNames.reduce((accum, name)=>accum + dimensions[name], 0);
+}
+function getRemainder(requestedDimensions, foundDimensions) {
+    const remainder = PrivateKernelResetDimensions.empty();
+    let remainingDimensions = 0;
+    privateKernelResetDimensionNames.forEach((name)=>{
+        if (requestedDimensions[name] > foundDimensions[name]) {
+            remainingDimensions++;
+            remainder[name] = requestedDimensions[name] - foundDimensions[name];
+        }
+    });
+    return remainingDimensions ? remainder : undefined;
+}
+// Returns the cheapest option that fully covers the request, or the option with the smallest
+// remainder if none do. Caller must pass a non-empty list.
+function pickBestOption(options) {
+    const fullCoverage = options.filter((opt)=>!opt.remainder);
+    if (fullCoverage.length) {
+        return fullCoverage.reduce((prev, curr)=>curr.cost < prev.cost ? curr : prev);
+    }
+    return options.reduce((prev, curr)=>getSize(curr.remainder) < getSize(prev.remainder) ? curr : prev);
+}
+function buildOption(entry, requestedDimensions) {
+    const dimensions = PrivateKernelResetDimensions.fromValues(entry.dimensions);
+    return {
+        dimensions,
+        cost: entry.cost,
+        remainder: getRemainder(requestedDimensions, dimensions)
+    };
+}
+export function findPrivateKernelResetDimensions(requestedDimensions, config, mode, allowRemainder = false) {
+    const catalog = config[mode];
+    const options = catalog.map((entry)=>buildOption(entry, requestedDimensions)).filter((option)=>allowRemainder || !option.remainder);
+    if (!options.length) {
+        throw new Error(`Cannot find an option for dimension: ${requestedDimensions.toValues()}`);
+    }
+    return pickBestOption(options).dimensions;
+}

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

@@ -0,0 +1,15 @@
+export * from './build_note_hash_read_request_hints.js';
+export * from './build_nullifier_read_request_hints.js';
+export * from './build_transient_data_hints.js';
+export * from './find_private_kernel_reset_dimensions.js';
+export * from './note_hash_read_request_hints.js';
+export * from './nullifier_read_request_hints.js';
+export * from './read_request_hints.js';
+export * from './key_validation_hint.js';
+export * from './key_validation_request_and_separator.js';
+export * from './read_request.js';
+export * from './key_validation_request.js';
+export * from './scoped_key_validation_request_and_separator.js';
+export * from './transient_data_squashing_hint.js';
+export * from './private_kernel_reset_hints.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWwvaGludHMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyx5Q0FBeUMsQ0FBQztBQUN4RCxjQUFjLHlDQUF5QyxDQUFDO0FBQ3hELGNBQWMsaUNBQWlDLENBQUM7QUFDaEQsY0FBYywyQ0FBMkMsQ0FBQztBQUMxRCxjQUFjLG1DQUFtQyxDQUFDO0FBQ2xELGNBQWMsbUNBQW1DLENBQUM7QUFDbEQsY0FBYyx5QkFBeUIsQ0FBQztBQUN4QyxjQUFjLDBCQUEwQixDQUFDO0FBQ3pDLGNBQWMsMkNBQTJDLENBQUM7QUFDMUQsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLDZCQUE2QixDQUFDO0FBQzVDLGNBQWMsa0RBQWtELENBQUM7QUFDakUsY0FBYyxvQ0FBb0MsQ0FBQztBQUNuRCxjQUFjLGlDQUFpQyxDQUFDIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/index.ts"],"names":[],"mappings":"AAAA,cAAc,yCAAyC,CAAC;AACxD,cAAc,yCAAyC,CAAC;AACxD,cAAc,iCAAiC,CAAC;AAChD,cAAc,2CAA2C,CAAC;AAC1D,cAAc,mCAAmC,CAAC;AAClD,cAAc,mCAAmC,CAAC;AAClD,cAAc,yBAAyB,CAAC;AACxC,cAAc,0BAA0B,CAAC;AACzC,cAAc,2CAA2C,CAAC;AAC1D,cAAc,mBAAmB,CAAC;AAClC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,kDAAkD,CAAC;AACjE,cAAc,oCAAoC,CAAC;AACnD,cAAc,iCAAiC,CAAC"}

package/dest/kernel/hints/index.js

@@ -0,0 +1,14 @@
+export * from './build_note_hash_read_request_hints.js';
+export * from './build_nullifier_read_request_hints.js';
+export * from './build_transient_data_hints.js';
+export * from './find_private_kernel_reset_dimensions.js';
+export * from './note_hash_read_request_hints.js';
+export * from './nullifier_read_request_hints.js';
+export * from './read_request_hints.js';
+export * from './key_validation_hint.js';
+export * from './key_validation_request_and_separator.js';
+export * from './read_request.js';
+export * from './key_validation_request.js';
+export * from './scoped_key_validation_request_and_separator.js';
+export * from './transient_data_squashing_hint.js';
+export * from './private_kernel_reset_hints.js';

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

@@ -0,0 +1,13 @@
+import { GrumpkinScalar } from '@aztec-labs/foundation/curves/grumpkin';
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+export declare class KeyValidationHint {
+    /** Master secret key used to derive sk_app and pk_m. */
+    skM: GrumpkinScalar;
+    constructor(
+    /** Master secret key used to derive sk_app and pk_m. */
+    skM: GrumpkinScalar);
+    static fromBuffer(buffer: Buffer | BufferReader): KeyValidationHint;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static empty(): KeyValidationHint;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia2V5X3ZhbGlkYXRpb25faGludC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2tlcm5lbC9oaW50cy9rZXlfdmFsaWRhdGlvbl9oaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSx3Q0FBd0MsQ0FBQztBQUN4RSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBRW5GLHFCQUFhLGlCQUFpQjtJQUUxQix3REFBd0Q7SUFDakQsR0FBRyxFQUFFLGNBQWM7SUFGNUI7SUFDRSx3REFBd0Q7SUFDakQsR0FBRyxFQUFFLGNBQWMsRUFDeEI7SUFFSixNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxxQkFHOUM7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLEtBQUssc0JBRVg7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"key_validation_hint.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/key_validation_hint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAEnF,qBAAa,iBAAiB;IAE1B,wDAAwD;IACjD,GAAG,EAAE,cAAc;IAF5B;IACE,wDAAwD;IACjD,GAAG,EAAE,cAAc,EACxB;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qBAG9C;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,sBAEX;CACF"}

package/dest/kernel/hints/key_validation_hint.js

@@ -0,0 +1,18 @@
+import { GrumpkinScalar } from '@aztec-labs/foundation/curves/grumpkin';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+export class KeyValidationHint {
+    skM;
+    constructor(/** Master secret key used to derive sk_app and pk_m. */ skM){
+        this.skM = skM;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new KeyValidationHint(reader.readObject(GrumpkinScalar));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.skM);
+    }
+    static empty() {
+        return new KeyValidationHint(GrumpkinScalar.zero());
+    }
+}

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

@@ -0,0 +1,28 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { GrumpkinScalar } from '@aztec-labs/foundation/curves/grumpkin';
+import { BufferReader, FieldReader } from '@aztec-labs/foundation/serialize';
+/**
+ * Request for validating keys used in the app.
+ *
+ * The master public key is exposed only as `pkMHash` (its `hashPublicKey` digest).
+ * The kernel reset circuit derives the corresponding point from the master secret key hint and
+ * asserts that its hash matches `pkMHash`.
+ */
+export declare class KeyValidationRequest {
+    /** Hash of the master public key corresponding to the same underlying secret as `skApp`. */
+    readonly pkMHash: Fr;
+    /** App-siloed secret key corresponding to the same underlying secret as `pkMHash`. */
+    readonly skApp: Fr;
+    constructor(
+    /** Hash of the master public key corresponding to the same underlying secret as `skApp`. */
+    pkMHash: Fr, skApp: Fr | GrumpkinScalar);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    get skAppAsGrumpkinScalar(): import("@aztec-labs/foundation/curves/bn254").Fq;
+    static fromBuffer(buffer: Buffer | BufferReader): KeyValidationRequest;
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): KeyValidationRequest;
+    isEmpty(): boolean;
+    static empty(): KeyValidationRequest;
+    static random(): KeyValidationRequest;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia2V5X3ZhbGlkYXRpb25fcmVxdWVzdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2tlcm5lbC9oaW50cy9rZXlfdmFsaWRhdGlvbl9yZXF1ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUN6RCxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sd0NBQXdDLENBQUM7QUFDeEUsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFFaEc7Ozs7OztHQU1HO0FBQ0gscUJBQWEsb0JBQW9CO0lBSzdCLDRGQUE0RjthQUM1RSxPQUFPLEVBQUUsRUFBRTtJQUw3QixzRkFBc0Y7SUFDdEYsU0FBZ0IsS0FBSyxFQUFFLEVBQUUsQ0FBQztJQUUxQjtJQUNFLDRGQUE0RjtJQUM1RSxPQUFPLEVBQUUsRUFBRSxFQUMzQixLQUFLLEVBQUUsRUFBRSxHQUFHLGNBQWMsRUFLM0I7SUFFRCxRQUFRLDRCQUVQO0lBRUQsSUFBSSxxQkFBcUIscURBRXhCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksd0JBRzlDO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxHQUFHLG9CQUFvQixDQUdsRTtJQUVELE9BQU8sWUFFTjtJQUVELE1BQU0sQ0FBQyxLQUFLLHlCQUVYO0lBRUQsTUFBTSxDQUFDLE1BQU0seUJBRVo7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"key_validation_request.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/key_validation_request.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,kCAAkC,CAAC;AAEhG;;;;;;GAMG;AACH,qBAAa,oBAAoB;IAK7B,4FAA4F;aAC5E,OAAO,EAAE,EAAE;IAL7B,sFAAsF;IACtF,SAAgB,KAAK,EAAE,EAAE,CAAC;IAE1B;IACE,4FAA4F;IAC5E,OAAO,EAAE,EAAE,EAC3B,KAAK,EAAE,EAAE,GAAG,cAAc,EAK3B;IAED,QAAQ,4BAEP;IAED,IAAI,qBAAqB,qDAExB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,wBAG9C;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,oBAAoB,CAGlE;IAED,OAAO,YAEN;IAED,MAAM,CAAC,KAAK,yBAEX;IAED,MAAM,CAAC,MAAM,yBAEZ;CACF"}

package/dest/kernel/hints/key_validation_request.js

@@ -0,0 +1,53 @@
+import { KEY_VALIDATION_REQUEST_LENGTH } from '@aztec-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { GrumpkinScalar } from '@aztec-labs/foundation/curves/grumpkin';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+/**
+ * Request for validating keys used in the app.
+ *
+ * The master public key is exposed only as `pkMHash` (its `hashPublicKey` digest).
+ * The kernel reset circuit derives the corresponding point from the master secret key hint and
+ * asserts that its hash matches `pkMHash`.
+ */ export class KeyValidationRequest {
+    pkMHash;
+    /** App-siloed secret key corresponding to the same underlying secret as `pkMHash`. */ skApp;
+    constructor(/** Hash of the master public key corresponding to the same underlying secret as `skApp`. */ pkMHash, skApp){
+        this.pkMHash = pkMHash;
+        // skApp may arrive as a GrumpkinScalar (Fq) in some code paths; safe to truncate to Fr because
+        // the value originally came from an Fr poseidon hash and was widened to GrumpkinScalar.
+        this.skApp = skApp instanceof Fr ? skApp : new Fr(skApp.toBigInt());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.pkMHash, this.skApp);
+    }
+    get skAppAsGrumpkinScalar() {
+        return new GrumpkinScalar(this.skApp.toBigInt());
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new KeyValidationRequest(Fr.fromBuffer(reader), Fr.fromBuffer(reader));
+    }
+    toFields() {
+        const fields = [
+            this.pkMHash,
+            this.skApp
+        ];
+        if (fields.length !== KEY_VALIDATION_REQUEST_LENGTH) {
+            throw new Error(`Invalid number of fields for KeyValidationRequest. Expected ${KEY_VALIDATION_REQUEST_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new KeyValidationRequest(reader.readField(), reader.readField());
+    }
+    isEmpty() {
+        return this.pkMHash.isZero() && this.skApp.isZero();
+    }
+    static empty() {
+        return new KeyValidationRequest(Fr.ZERO, Fr.ZERO);
+    }
+    static random() {
+        return new KeyValidationRequest(Fr.random(), Fr.random());
+    }
+}

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

@@ -0,0 +1,24 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, FieldReader } from '@aztec-labs/foundation/serialize';
+import { KeyValidationRequest } from './key_validation_request.js';
+/**
+ * Request for validating keys used in the app, along with a domain separator for the key type.
+ */
+export declare class KeyValidationRequestAndSeparator {
+    /** The key validation request. */
+    readonly request: KeyValidationRequest;
+    /** Domain separator for the key type, used along with sk_m to derive the sk_app stored in the request. */
+    readonly keyTypeDomainSeparator: Fr;
+    constructor(
+    /** The key validation request. */
+    request: KeyValidationRequest, 
+    /** Domain separator for the key type, used along with sk_m to derive the sk_app stored in the request. */
+    keyTypeDomainSeparator: Fr);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): KeyValidationRequestAndSeparator;
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): KeyValidationRequestAndSeparator;
+    isEmpty(): boolean;
+    static empty(): KeyValidationRequestAndSeparator;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia2V5X3ZhbGlkYXRpb25fcmVxdWVzdF9hbmRfc2VwYXJhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsL2hpbnRzL2tleV92YWxpZGF0aW9uX3JlcXVlc3RfYW5kX3NlcGFyYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDekQsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFFaEcsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFbkU7O0dBRUc7QUFDSCxxQkFBYSxnQ0FBZ0M7SUFFekMsa0NBQWtDO2FBQ2xCLE9BQU8sRUFBRSxvQkFBb0I7SUFDN0MsMEdBQTBHO2FBQzFGLHNCQUFzQixFQUFFLEVBQUU7SUFKNUM7SUFDRSxrQ0FBa0M7SUFDbEIsT0FBTyxFQUFFLG9CQUFvQjtJQUM3QywwR0FBMEc7SUFDMUYsc0JBQXNCLEVBQUUsRUFBRSxFQUN4QztJQUVKLFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxvQ0FHOUM7SUFFRCxRQUFRLElBQUksRUFBRSxFQUFFLENBUWY7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsZ0NBQWdDLENBRzlFO0lBRUQsT0FBTyxZQUVOO0lBRUQsTUFBTSxDQUFDLEtBQUsscUNBRVg7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"key_validation_request_and_separator.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/key_validation_request_and_separator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,kCAAkC,CAAC;AAEhG,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE;;GAEG;AACH,qBAAa,gCAAgC;IAEzC,kCAAkC;aAClB,OAAO,EAAE,oBAAoB;IAC7C,0GAA0G;aAC1F,sBAAsB,EAAE,EAAE;IAJ5C;IACE,kCAAkC;IAClB,OAAO,EAAE,oBAAoB;IAC7C,0GAA0G;IAC1F,sBAAsB,EAAE,EAAE,EACxC;IAEJ,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,oCAG9C;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,gCAAgC,CAG9E;IAED,OAAO,YAEN;IAED,MAAM,CAAC,KAAK,qCAEX;CACF"}

package/dest/kernel/hints/key_validation_request_and_separator.js

@@ -0,0 +1,41 @@
+import { KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH } from '@aztec-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { KeyValidationRequest } from './key_validation_request.js';
+/**
+ * Request for validating keys used in the app, along with a domain separator for the key type.
+ */ export class KeyValidationRequestAndSeparator {
+    request;
+    keyTypeDomainSeparator;
+    constructor(/** The key validation request. */ request, /** Domain separator for the key type, used along with sk_m to derive the sk_app stored in the request. */ keyTypeDomainSeparator){
+        this.request = request;
+        this.keyTypeDomainSeparator = keyTypeDomainSeparator;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.request, this.keyTypeDomainSeparator);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new KeyValidationRequestAndSeparator(reader.readObject(KeyValidationRequest), Fr.fromBuffer(reader));
+    }
+    toFields() {
+        const fields = [
+            ...this.request.toFields(),
+            this.keyTypeDomainSeparator
+        ];
+        if (fields.length !== KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH) {
+            throw new Error(`Invalid number of fields for KeyValidationRequestAndSeparator. Expected ${KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new KeyValidationRequestAndSeparator(KeyValidationRequest.fromFields(reader), reader.readField());
+    }
+    isEmpty() {
+        return this.request.isEmpty() && this.keyTypeDomainSeparator.isZero();
+    }
+    static empty() {
+        return new KeyValidationRequestAndSeparator(KeyValidationRequest.empty(), Fr.ZERO);
+    }
+}

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

@@ -0,0 +1,22 @@
+import { MAX_NOTE_HASH_READ_REQUESTS_PER_TX, NOTE_HASH_TREE_HEIGHT } from '@aztec-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { BufferReader } from '@aztec-labs/foundation/serialize';
+import type { MembershipWitness } from '@aztec-labs/foundation/trees';
+import { ReadRequestResetHints } from './read_request_hints.js';
+type NoteHashLeafValue = Fr;
+export type NoteHashReadRequestHints<PENDING extends number, SETTLED extends number> = ReadRequestResetHints<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, PENDING, SETTLED, typeof NOTE_HASH_TREE_HEIGHT, NoteHashLeafValue>;
+export declare function noteHashReadRequestHintsFromBuffer<PENDING extends number, SETTLED extends number>(buffer: Buffer | BufferReader, numPending: PENDING, numSettled: SETTLED): NoteHashReadRequestHints<PENDING, SETTLED>;
+export declare class NoteHashReadRequestHintsBuilder<PENDING extends number, SETTLED extends number> {
+    readonly maxPending: PENDING;
+    readonly maxSettled: SETTLED;
+    private hints;
+    numPendingReadHints: number;
+    numSettledReadHints: number;
+    constructor(maxPending: PENDING, maxSettled: SETTLED);
+    static empty<PENDING extends number, SETTLED extends number>(maxPending: PENDING, maxSettled: SETTLED): NoteHashReadRequestHints<PENDING, SETTLED>;
+    addPendingReadRequest(readRequestIndex: number, noteHashIndex: number): void;
+    addSettledReadRequest(readRequestIndex: number, membershipWitness: MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT>, value: NoteHashLeafValue): void;
+    toHints(): NoteHashReadRequestHints<PENDING, SETTLED>;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm90ZV9oYXNoX3JlYWRfcmVxdWVzdF9oaW50cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2tlcm5lbC9oaW50cy9ub3RlX2hhc2hfcmVhZF9yZXF1ZXN0X2hpbnRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxrQ0FBa0MsRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRWxHLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUNyRSxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRXRFLE9BQU8sRUFBc0MscUJBQXFCLEVBQW1CLE1BQU0seUJBQXlCLENBQUM7QUFFckgsS0FBSyxpQkFBaUIsR0FBRyxFQUFFLENBQUM7QUFFNUIsTUFBTSxNQUFNLHdCQUF3QixDQUFDLE9BQU8sU0FBUyxNQUFNLEVBQUUsT0FBTyxTQUFTLE1BQU0sSUFBSSxxQkFBcUIsQ0FDMUcsT0FBTyxrQ0FBa0MsRUFDekMsT0FBTyxFQUNQLE9BQU8sRUFDUCxPQUFPLHFCQUFxQixFQUM1QixpQkFBaUIsQ0FDbEIsQ0FBQztBQUVGLHdCQUFnQixrQ0FBa0MsQ0FBQyxPQUFPLFNBQVMsTUFBTSxFQUFFLE9BQU8sU0FBUyxNQUFNLEVBQy9GLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxFQUM3QixVQUFVLEVBQUUsT0FBTyxFQUNuQixVQUFVLEVBQUUsT0FBTyxHQUNsQix3QkFBd0IsQ0FBQyxPQUFPLEVBQUUsT0FBTyxDQUFDLENBUzVDO0FBRUQscUJBQWEsK0JBQStCLENBQUMsT0FBTyxTQUFTLE1BQU0sRUFBRSxPQUFPLFNBQVMsTUFBTTthQU12RSxVQUFVLEVBQUUsT0FBTzthQUNuQixVQUFVLEVBQUUsT0FBTztJQU5yQyxPQUFPLENBQUMsS0FBSyxDQUE2QztJQUNuRCxtQkFBbUIsU0FBSztJQUN4QixtQkFBbUIsU0FBSztJQUUvQixZQUNrQixVQUFVLEVBQUUsT0FBTyxFQUNuQixVQUFVLEVBQUUsT0FBTyxFQVNwQztJQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMsT0FBTyxTQUFTLE1BQU0sRUFBRSxPQUFPLFNBQVMsTUFBTSxFQUFFLFVBQVUsRUFBRSxPQUFPLEVBQUUsVUFBVSxFQUFFLE9BQU8sOENBRXBHO0lBRUQscUJBQXFCLENBQUMsZ0JBQWdCLEVBQUUsTUFBTSxFQUFFLGFBQWEsRUFBRSxNQUFNLFFBT3BFO0lBRUQscUJBQXFCLENBQ25CLGdCQUFnQixFQUFFLE1BQU0sRUFDeEIsaUJBQWlCLEVBQUUsaUJBQWlCLENBQUMsT0FBTyxxQkFBcUIsQ0FBQyxFQUNsRSxLQUFLLEVBQUUsaUJBQWlCLFFBWXpCO0lBRUQsT0FBTywrQ0FFTjtDQUNGIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"note_hash_read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/note_hash_read_request_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kCAAkC,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAElG,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEtE,OAAO,EAAsC,qBAAqB,EAAmB,MAAM,yBAAyB,CAAC;AAErH,KAAK,iBAAiB,GAAG,EAAE,CAAC;AAE5B,MAAM,MAAM,wBAAwB,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,qBAAqB,CAC1G,OAAO,kCAAkC,EACzC,OAAO,EACP,OAAO,EACP,OAAO,qBAAqB,EAC5B,iBAAiB,CAClB,CAAC;AAEF,wBAAgB,kCAAkC,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAC/F,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,OAAO,GAClB,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAS5C;AAED,qBAAa,+BAA+B,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM;aAMvE,UAAU,EAAE,OAAO;aACnB,UAAU,EAAE,OAAO;IANrC,OAAO,CAAC,KAAK,CAA6C;IACnD,mBAAmB,SAAK;IACxB,mBAAmB,SAAK;IAE/B,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,8CAEpG;IAED,qBAAqB,CAAC,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,QAOpE;IAED,qBAAqB,CACnB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAClE,KAAK,EAAE,iBAAiB,QAYzB;IAED,OAAO,+CAEN;CACF"}