@aztec/pxe 0.45.0 → 0.46.1

package/src/kernel_prover/kernel_prover.ts

@@ -3,10 +3,10 @@ import {
   CallRequest,
   Fr,
   MAX_KEY_VALIDATION_REQUESTS_PER_TX,
-  MAX_NEW_NOTE_HASHES_PER_TX,
-  MAX_NEW_NULLIFIERS_PER_TX,
   MAX_NOTE_ENCRYPTED_LOGS_PER_TX,
+  MAX_NOTE_HASHES_PER_TX,
   MAX_NOTE_HASH_READ_REQUESTS_PER_TX,
+  MAX_NULLIFIERS_PER_TX,
   MAX_NULLIFIER_READ_REQUESTS_PER_TX,
   MAX_PUBLIC_CALL_STACK_LENGTH_PER_CALL,
   NESTED_RECURSIVE_PROOF_LENGTH,
@@ -29,13 +29,10 @@ import { padArrayEnd } from '@aztec/foundation/collection';
 import { createDebugLogger } from '@aztec/foundation/log';
 import { assertLength } from '@aztec/foundation/serialize';
 import { pushTestData } from '@aztec/foundation/testing';
+import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types';
 import { type ExecutionResult, collectNoteHashLeafIndexMap, collectNullifiedNoteHashCounters } from '@aztec/simulator';
 
-import {
-  buildPrivateKernelInitHints,
-  buildPrivateKernelInnerHints,
-  buildPrivateKernelResetInputs,
-} from './private_inputs_builders/index.js';
+import { buildPrivateKernelResetInputs } from './private_inputs_builders/index.js';
 import { type ProvingDataOracle } from './proving_data_oracle.js';
 
 /**
@@ -107,18 +104,10 @@ export class KernelProver {
       );
 
       if (firstIteration) {
-        const hints = buildPrivateKernelInitHints(
-          currentExecution.callStackItem.publicInputs,
-          noteHashNullifierCounterMap,
-        );
-        const proofInput = new PrivateKernelInitCircuitPrivateInputs(txRequest, privateCallData, hints);
+        const proofInput = new PrivateKernelInitCircuitPrivateInputs(txRequest, getVKTreeRoot(), privateCallData);
         pushTestData('private-kernel-inputs-init', proofInput);
         output = await this.proofCreator.createProofInit(proofInput);
       } else {
-        const hints = buildPrivateKernelInnerHints(
-          currentExecution.callStackItem.publicInputs,
-          noteHashNullifierCounterMap,
-        );
         const previousVkMembershipWitness = await this.oracle.getVkMembershipWitness(output.verificationKey);
         const previousKernelData = new PrivateKernelData(
           output.publicInputs,
@@ -127,7 +116,7 @@ export class KernelProver {
           Number(previousVkMembershipWitness.leafIndex),
           assertLength<Fr, typeof VK_TREE_HEIGHT>(previousVkMembershipWitness.siblingPath, VK_TREE_HEIGHT),
         );
-        const proofInput = new PrivateKernelInnerCircuitPrivateInputs(previousKernelData, privateCallData, hints);
+        const proofInput = new PrivateKernelInnerCircuitPrivateInputs(previousKernelData, privateCallData);
         pushTestData('private-kernel-inputs-inner', proofInput);
         output = await this.proofCreator.createProofInner(proofInput);
       }
@@ -159,12 +148,12 @@ export class KernelProver {
   private needsReset(executionStack: ExecutionResult[], output: KernelProofOutput<PrivateKernelCircuitPublicInputs>) {
     const nextIteration = executionStack[executionStack.length - 1];
     return (
-      getNonEmptyItems(nextIteration.callStackItem.publicInputs.newNoteHashes).length +
-        getNonEmptyItems(output.publicInputs.end.newNoteHashes).length >
-        MAX_NEW_NOTE_HASHES_PER_TX ||
-      getNonEmptyItems(nextIteration.callStackItem.publicInputs.newNullifiers).length +
-        getNonEmptyItems(output.publicInputs.end.newNullifiers).length >
-        MAX_NEW_NULLIFIERS_PER_TX ||
+      getNonEmptyItems(nextIteration.callStackItem.publicInputs.noteHashes).length +
+        getNonEmptyItems(output.publicInputs.end.noteHashes).length >
+        MAX_NOTE_HASHES_PER_TX ||
+      getNonEmptyItems(nextIteration.callStackItem.publicInputs.nullifiers).length +
+        getNonEmptyItems(output.publicInputs.end.nullifiers).length >
+        MAX_NULLIFIERS_PER_TX ||
       getNonEmptyItems(nextIteration.callStackItem.publicInputs.noteEncryptedLogsHashes).length +
         getNonEmptyItems(output.publicInputs.end.noteEncryptedLogsHashes).length >
         MAX_NOTE_ENCRYPTED_LOGS_PER_TX ||
@@ -185,8 +174,7 @@ export class KernelProver {
       getNonEmptyItems(output.publicInputs.validationRequests.noteHashReadRequests).length > 0 ||
       getNonEmptyItems(output.publicInputs.validationRequests.nullifierReadRequests).length > 0 ||
       getNonEmptyItems(output.publicInputs.validationRequests.scopedKeyValidationRequestsAndGenerators).length > 0 ||
-      output.publicInputs.end.newNoteHashes.find(noteHash => noteHash.nullifierCounter !== 0) ||
-      output.publicInputs.end.newNullifiers.find(nullifier => !nullifier.nullifiedNoteHash.equals(Fr.zero()))
+      output.publicInputs.end.nullifiers.find(nullifier => !nullifier.nullifiedNoteHash.equals(Fr.zero()))
     );
   }
 

package/src/kernel_prover/private_inputs_builders/build_private_kernel_reset_hints.ts

@@ -2,10 +2,9 @@ import {
   type Fr,
   KeyValidationHint,
   MAX_KEY_VALIDATION_REQUESTS_PER_TX,
-  MAX_NEW_NOTE_HASHES_PER_TX,
-  MAX_NEW_NULLIFIERS_PER_TX,
-  MAX_NOTE_ENCRYPTED_LOGS_PER_TX,
+  MAX_NOTE_HASHES_PER_TX,
   MAX_NOTE_HASH_READ_REQUESTS_PER_TX,
+  MAX_NULLIFIERS_PER_TX,
   MAX_NULLIFIER_READ_REQUESTS_PER_TX,
   MembershipWitness,
   NULLIFIER_TREE_HEIGHT,
@@ -29,11 +28,10 @@ import { type Tuple } from '@aztec/foundation/serialize';
 import type { ExecutionResult } from '@aztec/simulator';
 
 import { type ProvingDataOracle } from '../proving_data_oracle.js';
-import { buildPrivateKernelResetOutputs } from './build_private_kernel_reset_outputs.js';
 
 function getNullifierReadRequestHints<PENDING extends number, SETTLED extends number>(
   nullifierReadRequests: Tuple<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>,
-  nullifiers: Tuple<ScopedNullifier, typeof MAX_NEW_NULLIFIERS_PER_TX>,
+  nullifiers: Tuple<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>,
   oracle: ProvingDataOracle,
   sizePending: PENDING,
   sizeSettled: SETTLED,
@@ -99,14 +97,10 @@ export async function buildPrivateKernelResetInputs(
   // Use max sizes, they will be trimmed down later.
 
   const futureNoteHashes = collectNested(executionStack, executionResult => {
-    const nonEmptyNoteHashes = getNonEmptyItems(executionResult.callStackItem.publicInputs.newNoteHashes);
+    const nonEmptyNoteHashes = getNonEmptyItems(executionResult.callStackItem.publicInputs.noteHashes);
     return nonEmptyNoteHashes.map(
       noteHash =>
-        new ScopedNoteHash(
-          noteHash,
-          noteHashNullifierCounterMap.get(noteHash.counter) ?? 0,
-          executionResult.callStackItem.publicInputs.callContext.storageContractAddress,
-        ),
+        new ScopedNoteHash(noteHash, executionResult.callStackItem.publicInputs.callContext.storageContractAddress),
     );
   });
 
@@ -117,7 +111,7 @@ export async function buildPrivateKernelResetInputs(
   } = await buildNoteHashReadRequestHints(
     oracle,
     publicInputs.validationRequests.noteHashReadRequests,
-    publicInputs.end.newNoteHashes,
+    publicInputs.end.noteHashes,
     noteHashLeafIndexMap,
     MAX_NOTE_HASH_READ_REQUESTS_PER_TX,
     MAX_NOTE_HASH_READ_REQUESTS_PER_TX,
@@ -125,7 +119,7 @@ export async function buildPrivateKernelResetInputs(
   );
 
   const futureNullifiers = collectNested(executionStack, executionResult => {
-    const nonEmptyNullifiers = getNonEmptyItems(executionResult.callStackItem.publicInputs.newNullifiers);
+    const nonEmptyNullifiers = getNonEmptyItems(executionResult.callStackItem.publicInputs.nullifiers);
     return nonEmptyNullifiers.map(
       nullifier =>
         new ScopedNullifier(nullifier, executionResult.callStackItem.publicInputs.callContext.storageContractAddress),
@@ -138,7 +132,7 @@ export async function buildPrivateKernelResetInputs(
     hints: nullifierReadRequestHints,
   } = await getNullifierReadRequestHints(
     publicInputs.validationRequests.nullifierReadRequests,
-    publicInputs.end.newNullifiers,
+    publicInputs.end.nullifiers,
     oracle,
     MAX_NULLIFIER_READ_REQUESTS_PER_TX,
     MAX_NULLIFIER_READ_REQUESTS_PER_TX,
@@ -159,27 +153,14 @@ export async function buildPrivateKernelResetInputs(
     executionResult => executionResult.callStackItem.publicInputs.nullifierReadRequests,
   );
 
-  const [
-    transientNullifierIndexesForNoteHashes,
-    transientNoteHashIndexesForNullifiers,
-    transientNoteHashIndexesForLogs,
-  ] = buildTransientDataHints(
-    publicInputs.end.newNoteHashes,
-    publicInputs.end.newNullifiers,
-    publicInputs.end.noteEncryptedLogsHashes,
+  const [transientNullifierIndexesForNoteHashes, transientNoteHashIndexesForNullifiers] = buildTransientDataHints(
+    publicInputs.end.noteHashes,
+    publicInputs.end.nullifiers,
     futureNoteHashReads,
     futureNullifierReads,
-    MAX_NEW_NOTE_HASHES_PER_TX,
-    MAX_NEW_NULLIFIERS_PER_TX,
-    MAX_NOTE_ENCRYPTED_LOGS_PER_TX,
-  );
-
-  const expectedOutputs = buildPrivateKernelResetOutputs(
-    previousKernelData.publicInputs.end.newNoteHashes,
-    previousKernelData.publicInputs.end.newNullifiers,
-    previousKernelData.publicInputs.end.noteEncryptedLogsHashes,
-    transientNullifierIndexesForNoteHashes,
-    transientNoteHashIndexesForNullifiers,
+    noteHashNullifierCounterMap,
+    MAX_NOTE_HASHES_PER_TX,
+    MAX_NULLIFIERS_PER_TX,
   );
 
   let privateInputs;
@@ -194,11 +175,9 @@ export async function buildPrivateKernelResetInputs(
     ) {
       privateInputs = new PrivateKernelResetCircuitPrivateInputs(
         previousKernelData,
-        expectedOutputs,
         new PrivateKernelResetHints(
           transientNullifierIndexesForNoteHashes,
           transientNoteHashIndexesForNullifiers,
-          transientNoteHashIndexesForLogs,
           noteHashReadRequestHints,
           nullifierReadRequestHints,
           keysHints,

package/src/kernel_prover/private_inputs_builders/index.ts

@@ -1,4 +1 @@
-export { buildPrivateKernelInitHints } from './build_private_kernel_init_hints.js';
-export { buildPrivateKernelInnerHints } from './build_private_kernel_inner_hints.js';
 export { buildPrivateKernelResetInputs } from './build_private_kernel_reset_hints.js';
-export { buildPrivateKernelResetOutputs } from './build_private_kernel_reset_outputs.js';

package/src/kernel_prover/proving_data_oracle.ts

@@ -3,7 +3,7 @@ import {
   type FUNCTION_TREE_HEIGHT,
   type Fr,
   type FunctionSelector,
-  type GrumpkinPrivateKey,
+  type GrumpkinScalar,
   type MembershipWitness,
   type NOTE_HASH_TREE_HEIGHT,
   type Point,
@@ -76,7 +76,7 @@ export interface ProvingDataOracle {
    * @returns A Promise that resolves to sk_m.
    * @dev Used when feeding the sk_m to the kernel circuit for keys verification.
    */
-  getMasterSecretKey(masterPublicKey: Point): Promise<GrumpkinPrivateKey>;
+  getMasterSecretKey(masterPublicKey: Point): Promise<GrumpkinScalar>;
 
   getDebugFunctionName(contractAddress: AztecAddress, selector: FunctionSelector): Promise<string | undefined>;
 }

package/src/kernel_prover/test/test_circuit_prover.ts

@@ -17,6 +17,8 @@ import { siloNoteHash } from '@aztec/circuits.js/hash';
 import { createDebugLogger } from '@aztec/foundation/log';
 import { elapsed } from '@aztec/foundation/timer';
 import {
+  type ProtocolArtifact,
+  ProtocolCircuitVks,
   executeInit,
   executeInner,
   executeReset,
@@ -33,9 +35,7 @@ export class TestProofCreator implements ProofCreator {
   public getSiloedCommitments(publicInputs: PrivateCircuitPublicInputs) {
     const contractAddress = publicInputs.callContext.storageContractAddress;
 
-    return Promise.resolve(
-      publicInputs.newNoteHashes.map(commitment => siloNoteHash(contractAddress, commitment.value)),
-    );
+    return Promise.resolve(publicInputs.noteHashes.map(commitment => siloNoteHash(contractAddress, commitment.value)));
   }
 
   public async createProofInit(
@@ -49,7 +49,7 @@ export class TestProofCreator implements ProofCreator {
       inputSize: privateInputs.toBuffer().length,
       outputSize: result.toBuffer().length,
     } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result);
+    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result, 'PrivateKernelInitArtifact');
   }
 
   public async createProofInner(
@@ -63,7 +63,7 @@ export class TestProofCreator implements ProofCreator {
       inputSize: privateInputs.toBuffer().length,
       outputSize: result.toBuffer().length,
     } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result);
+    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result, 'PrivateKernelInnerArtifact');
   }
 
   public async createProofReset(
@@ -77,7 +77,7 @@ export class TestProofCreator implements ProofCreator {
       inputSize: privateInputs.toBuffer().length,
       outputSize: result.toBuffer().length,
     } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result);
+    return this.makeEmptyKernelProofOutput<PrivateKernelCircuitPublicInputs>(result, 'PrivateKernelResetFullArtifact');
   }
 
   public async createProofTail(
@@ -94,7 +94,10 @@ export class TestProofCreator implements ProofCreator {
       inputSize: privateInputs.toBuffer().length,
       outputSize: result.toBuffer().length,
     } satisfies CircuitSimulationStats);
-    return this.makeEmptyKernelProofOutput<PrivateKernelTailCircuitPublicInputs>(result);
+    return this.makeEmptyKernelProofOutput<PrivateKernelTailCircuitPublicInputs>(
+      result,
+      isForPublic ? 'PrivateKernelTailToPublicArtifact' : 'PrivateKernelTailArtifact',
+    );
   }
 
   createAppCircuitProof(_1: Map<number, string>, _2: Buffer): Promise<AppCircuitProofOutput> {
@@ -105,11 +108,11 @@ export class TestProofCreator implements ProofCreator {
     return Promise.resolve(appCircuitProofOutput);
   }
 
-  private makeEmptyKernelProofOutput<PublicInputsType>(publicInputs: PublicInputsType) {
+  private makeEmptyKernelProofOutput<PublicInputsType>(publicInputs: PublicInputsType, circuitType: ProtocolArtifact) {
     const kernelProofOutput: KernelProofOutput<PublicInputsType> = {
       publicInputs,
       proof: makeRecursiveProof<typeof NESTED_RECURSIVE_PROOF_LENGTH>(NESTED_RECURSIVE_PROOF_LENGTH),
-      verificationKey: VerificationKeyAsFields.makeEmpty(),
+      verificationKey: ProtocolCircuitVks[circuitType].keyAsFields,
     };
     return kernelProofOutput;
   }

package/src/note_processor/note_processor.ts

@@ -1,11 +1,6 @@
 import { type AztecNode, L1NotePayload, type L2Block, TaggedLog } from '@aztec/circuit-types';
 import { type NoteProcessorStats } from '@aztec/circuit-types/stats';
-import {
-  type AztecAddress,
-  INITIAL_L2_BLOCK_NUM,
-  MAX_NEW_NOTE_HASHES_PER_TX,
-  type PublicKey,
-} from '@aztec/circuits.js';
+import { type AztecAddress, INITIAL_L2_BLOCK_NUM, MAX_NOTE_HASHES_PER_TX, type PublicKey } from '@aztec/circuits.js';
 import { type Fr } from '@aztec/foundation/fields';
 import { type Logger, createDebugLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
@@ -128,7 +123,7 @@ export class NoteProcessor {
       const { txLogs } = block.body.noteEncryptedLogs;
       const dataStartIndexForBlock =
         block.header.state.partial.noteHashTree.nextAvailableLeafIndex -
-        block.body.numberOfTxsIncludingPadded * MAX_NEW_NOTE_HASHES_PER_TX;
+        block.body.numberOfTxsIncludingPadded * MAX_NOTE_HASHES_PER_TX;
 
       // We are using set for `userPertainingTxIndices` to avoid duplicates. This would happen in case there were
       // multiple encrypted logs in a tx pertaining to a user.
@@ -138,8 +133,8 @@ export class NoteProcessor {
       // Iterate over all the encrypted logs and try decrypting them. If successful, store the note.
       for (let indexOfTxInABlock = 0; indexOfTxInABlock < txLogs.length; ++indexOfTxInABlock) {
         this.stats.txs++;
-        const dataStartIndexForTx = dataStartIndexForBlock + indexOfTxInABlock * MAX_NEW_NOTE_HASHES_PER_TX;
-        const newNoteHashes = block.body.txEffects[indexOfTxInABlock].noteHashes;
+        const dataStartIndexForTx = dataStartIndexForBlock + indexOfTxInABlock * MAX_NOTE_HASHES_PER_TX;
+        const noteHashes = block.body.txEffects[indexOfTxInABlock].noteHashes;
         // Note: Each tx generates a `TxL2Logs` object and for this reason we can rely on its index corresponding
         //       to the index of a tx in a block.
         const txFunctionLogs = txLogs[indexOfTxInABlock].functionLogs;
@@ -172,7 +167,7 @@ export class NoteProcessor {
                 outgoingTaggedNote ? this.ovpkM : undefined,
                 payload,
                 txHash,
-                newNoteHashes,
+                noteHashes,
                 dataStartIndexForTx,
                 excludedIndices,
                 this.log,
@@ -245,10 +240,10 @@ export class NoteProcessor {
       });
     }
 
-    const newNullifiers: Fr[] = blocksAndNotes.flatMap(b =>
+    const nullifiers: Fr[] = blocksAndNotes.flatMap(b =>
       b.block.body.txEffects.flatMap(txEffect => txEffect.nullifiers),
     );
-    const removedNotes = await this.db.removeNullifiedNotes(newNullifiers, this.ivpkM);
+    const removedNotes = await this.db.removeNullifiedNotes(nullifiers, this.ivpkM);
     removedNotes.forEach(noteDao => {
       this.log.verbose(
         `Removed note for contract ${noteDao.contractAddress} at slot ${
@@ -305,7 +300,7 @@ export class NoteProcessor {
     const outgoingNotes: OutgoingNoteDao[] = [];
 
     for (const deferredNote of deferredNoteDaos) {
-      const { publicKey, note, contractAddress, storageSlot, noteTypeId, txHash, newNoteHashes, dataStartIndexForTx } =
+      const { publicKey, note, contractAddress, storageSlot, noteTypeId, txHash, noteHashes, dataStartIndexForTx } =
         deferredNote;
       const payload = new L1NotePayload(note, contractAddress, storageSlot, noteTypeId);
 
@@ -323,7 +318,7 @@ export class NoteProcessor {
         isOutgoing ? this.ovpkM : undefined,
         payload,
         txHash,
-        newNoteHashes,
+        noteHashes,
         dataStartIndexForTx,
         excludedIndices,
         this.log,

package/src/note_processor/produce_note_dao.ts

@@ -18,7 +18,7 @@ import { OutgoingNoteDao } from '../database/outgoing_note_dao.js';
  * @param ovpkM - The public counterpart to the secret key to be used in the decryption of outgoing note logs.
  * @param payload - An instance of l1NotePayload.
  * @param txHash - The hash of the transaction that created the note. Equivalent to the first nullifier of the transaction.
- * @param newNoteHashes - New note hashes in this transaction, one of which belongs to this note.
+ * @param noteHashes - New note hashes in this transaction, one of which belongs to this note.
  * @param dataStartIndexForTx - The next available leaf index for the note hash tree for this transaction.
  * @param excludedIndices - Indices that have been assigned a note in the same tx. Notes in a tx can have the same l1NotePayload, we need to find a different index for each replicate.
  * @param simulator - An instance of AcirSimulator.
@@ -30,7 +30,7 @@ export async function produceNoteDaos(
   ovpkM: PublicKey | undefined,
   payload: L1NotePayload,
   txHash: TxHash,
-  newNoteHashes: Fr[],
+  noteHashes: Fr[],
   dataStartIndexForTx: number,
   excludedIndices: Set<number>,
   log: Logger,
@@ -53,7 +53,7 @@ export async function produceNoteDaos(
     if (ivpkM) {
       const { noteHashIndex, nonce, innerNoteHash, siloedNullifier } = await findNoteIndexAndNullifier(
         simulator,
-        newNoteHashes,
+        noteHashes,
         txHash,
         payload,
         excludedIndices,
@@ -87,7 +87,7 @@ export async function produceNoteDaos(
           payload.storageSlot,
           payload.noteTypeId,
           txHash,
-          newNoteHashes,
+          noteHashes,
           dataStartIndexForTx,
         );
       }
@@ -115,7 +115,7 @@ export async function produceNoteDaos(
       } else {
         const { noteHashIndex, nonce, innerNoteHash } = await findNoteIndexAndNullifier(
           simulator,
-          newNoteHashes,
+          noteHashes,
           txHash,
           payload,
           excludedIndices,
@@ -148,7 +148,7 @@ export async function produceNoteDaos(
           payload.storageSlot,
           payload.noteTypeId,
           txHash,
-          newNoteHashes,
+          noteHashes,
           dataStartIndexForTx,
         );
       }

package/src/pxe_service/pxe_service.ts

@@ -936,6 +936,7 @@ export class PXEService implements PXE {
     const decodedEvents = unencryptedLogs
       .map(unencryptedLog => {
         const unencryptedLogBuf = unencryptedLog.log.data;
+        // We are assuming here that event logs are the last 4 bytes of the event. This is not enshrined but is a function of aztec.nr raw log emission.
         if (
           !EventSelector.fromBuffer(unencryptedLogBuf.subarray(unencryptedLogBuf.byteLength - 4)).equals(
             eventMetadata.eventSelector,

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_init_hints.d.ts

@@ -1,3 +0,0 @@
-import { type PrivateCircuitPublicInputs, PrivateKernelInitHints } from '@aztec/circuits.js';
-export declare function buildPrivateKernelInitHints(publicInputs: PrivateCircuitPublicInputs, noteHashNullifierCounterMap: Map<number, number>): PrivateKernelInitHints;
-//# sourceMappingURL=build_private_kernel_init_hints.d.ts.map

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_init_hints.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"build_private_kernel_init_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel_prover/private_inputs_builders/build_private_kernel_init_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,0BAA0B,EAC/B,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAG5B,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,0BAA0B,EACxC,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,0BAOjD"}

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_init_hints.js

@@ -1,6 +0,0 @@
-import { PrivateKernelInitHints, } from '@aztec/circuits.js';
-export function buildPrivateKernelInitHints(publicInputs, noteHashNullifierCounterMap) {
-    const nullifierCounters = publicInputs.newNoteHashes.map(n => noteHashNullifierCounterMap.get(n.counter) ?? 0);
-    return new PrivateKernelInitHints(nullifierCounters);
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfcHJpdmF0ZV9rZXJuZWxfaW5pdF9oaW50cy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWxfcHJvdmVyL3ByaXZhdGVfaW5wdXRzX2J1aWxkZXJzL2J1aWxkX3ByaXZhdGVfa2VybmVsX2luaXRfaGludHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUdMLHNCQUFzQixHQUN2QixNQUFNLG9CQUFvQixDQUFDO0FBRzVCLE1BQU0sVUFBVSwyQkFBMkIsQ0FDekMsWUFBd0MsRUFDeEMsMkJBQWdEO0lBRWhELE1BQU0saUJBQWlCLEdBQUcsWUFBWSxDQUFDLGFBQWEsQ0FBQyxHQUFHLENBQ3RELENBQUMsQ0FBQyxFQUFFLENBQUMsMkJBQTJCLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQ0MsQ0FBQztJQUV4RCxPQUFPLElBQUksc0JBQXNCLENBQUMsaUJBQWlCLENBQUMsQ0FBQztBQUN2RCxDQUFDIn0=

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_inner_hints.d.ts

@@ -1,3 +0,0 @@
-import { type PrivateCircuitPublicInputs, PrivateKernelInnerHints } from '@aztec/circuits.js';
-export declare function buildPrivateKernelInnerHints(publicInputs: PrivateCircuitPublicInputs, noteHashNullifierCounterMap: Map<number, number>): PrivateKernelInnerHints;
-//# sourceMappingURL=build_private_kernel_inner_hints.d.ts.map

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_inner_hints.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"build_private_kernel_inner_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel_prover/private_inputs_builders/build_private_kernel_inner_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,0BAA0B,EAC/B,uBAAuB,EACxB,MAAM,oBAAoB,CAAC;AAG5B,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,0BAA0B,EACxC,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,2BAOjD"}

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_inner_hints.js

@@ -1,6 +0,0 @@
-import { PrivateKernelInnerHints, } from '@aztec/circuits.js';
-export function buildPrivateKernelInnerHints(publicInputs, noteHashNullifierCounterMap) {
-    const nullifierCounters = publicInputs.newNoteHashes.map(n => noteHashNullifierCounterMap.get(n.counter) ?? 0);
-    return new PrivateKernelInnerHints(nullifierCounters);
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfcHJpdmF0ZV9rZXJuZWxfaW5uZXJfaGludHMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsX3Byb3Zlci9wcml2YXRlX2lucHV0c19idWlsZGVycy9idWlsZF9wcml2YXRlX2tlcm5lbF9pbm5lcl9oaW50cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBR0wsdUJBQXVCLEdBQ3hCLE1BQU0sb0JBQW9CLENBQUM7QUFHNUIsTUFBTSxVQUFVLDRCQUE0QixDQUMxQyxZQUF3QyxFQUN4QywyQkFBZ0Q7SUFFaEQsTUFBTSxpQkFBaUIsR0FBRyxZQUFZLENBQUMsYUFBYSxDQUFDLEdBQUcsQ0FDdEQsQ0FBQyxDQUFDLEVBQUUsQ0FBQywyQkFBMkIsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FDQyxDQUFDO0lBRXhELE9BQU8sSUFBSSx1QkFBdUIsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDO0FBQ3hELENBQUMifQ==

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_reset_outputs.d.ts

@@ -1,4 +0,0 @@
-import { MAX_NEW_NOTE_HASHES_PER_TX, MAX_NEW_NULLIFIERS_PER_TX, MAX_NOTE_ENCRYPTED_LOGS_PER_TX, NoteLogHash, PrivateKernelResetOutputs, ScopedNoteHash, ScopedNullifier } from '@aztec/circuits.js';
-import { type Tuple } from '@aztec/foundation/serialize';
-export declare function buildPrivateKernelResetOutputs(prevNoteHashes: Tuple<ScopedNoteHash, typeof MAX_NEW_NOTE_HASHES_PER_TX>, prevNullifiers: Tuple<ScopedNullifier, typeof MAX_NEW_NULLIFIERS_PER_TX>, prevLogs: Tuple<NoteLogHash, typeof MAX_NOTE_ENCRYPTED_LOGS_PER_TX>, transientNullifierIndexesForNoteHashes: Tuple<number, typeof MAX_NEW_NOTE_HASHES_PER_TX>, transientNoteHashIndexesForNullifiers: Tuple<number, typeof MAX_NEW_NULLIFIERS_PER_TX>): PrivateKernelResetOutputs;
-//# sourceMappingURL=build_private_kernel_reset_outputs.d.ts.map

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_reset_outputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"build_private_kernel_reset_outputs.d.ts","sourceRoot":"","sources":["../../../src/kernel_prover/private_inputs_builders/build_private_kernel_reset_outputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAC1B,yBAAyB,EACzB,8BAA8B,EAC9B,WAAW,EACX,yBAAyB,EACzB,cAAc,EACd,eAAe,EAChB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAEzD,wBAAgB,8BAA8B,CAC5C,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,0BAA0B,CAAC,EACxE,cAAc,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,yBAAyB,CAAC,EACxE,QAAQ,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,8BAA8B,CAAC,EACnE,sCAAsC,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,0BAA0B,CAAC,EACxF,qCAAqC,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,yBAAyB,CAAC,6BA2BvF"}

package/dest/kernel_prover/private_inputs_builders/build_private_kernel_reset_outputs.js

@@ -1,14 +0,0 @@
-import { MAX_NEW_NOTE_HASHES_PER_TX, MAX_NEW_NULLIFIERS_PER_TX, MAX_NOTE_ENCRYPTED_LOGS_PER_TX, NoteLogHash, PrivateKernelResetOutputs, ScopedNoteHash, ScopedNullifier, } from '@aztec/circuits.js';
-import { padArrayEnd } from '@aztec/foundation/collection';
-export function buildPrivateKernelResetOutputs(prevNoteHashes, prevNullifiers, prevLogs, transientNullifierIndexesForNoteHashes, transientNoteHashIndexesForNullifiers) {
-    // Propagate note hashes that are not going to be squashed in the transient arrays.
-    // A value isn't going to be squashed if the symmetrical index in the corresponding array is the length of the array.
-    const noteHashes = padArrayEnd(prevNoteHashes.filter((_, index) => transientNullifierIndexesForNoteHashes[index] === MAX_NEW_NULLIFIERS_PER_TX), ScopedNoteHash.empty(), MAX_NEW_NOTE_HASHES_PER_TX);
-    const nullifiers = padArrayEnd(prevNullifiers.filter((_, index) => transientNoteHashIndexesForNullifiers[index] === MAX_NEW_NOTE_HASHES_PER_TX), ScopedNullifier.empty(), MAX_NEW_NULLIFIERS_PER_TX);
-    const nullifiedNotes = prevNoteHashes
-        .filter((_, index) => transientNullifierIndexesForNoteHashes[index] < MAX_NEW_NULLIFIERS_PER_TX)
-        .map(n => n.counter);
-    const logs = padArrayEnd(prevLogs.filter(l => !l.isEmpty() && !nullifiedNotes.includes(l.noteHashCounter)), NoteLogHash.empty(), MAX_NOTE_ENCRYPTED_LOGS_PER_TX);
-    return new PrivateKernelResetOutputs(noteHashes, nullifiers, logs);
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfcHJpdmF0ZV9rZXJuZWxfcmVzZXRfb3V0cHV0cy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWxfcHJvdmVyL3ByaXZhdGVfaW5wdXRzX2J1aWxkZXJzL2J1aWxkX3ByaXZhdGVfa2VybmVsX3Jlc2V0X291dHB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLDBCQUEwQixFQUMxQix5QkFBeUIsRUFDekIsOEJBQThCLEVBQzlCLFdBQVcsRUFDWCx5QkFBeUIsRUFDekIsY0FBYyxFQUNkLGVBQWUsR0FDaEIsTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFHM0QsTUFBTSxVQUFVLDhCQUE4QixDQUM1QyxjQUF3RSxFQUN4RSxjQUF3RSxFQUN4RSxRQUFtRSxFQUNuRSxzQ0FBd0YsRUFDeEYscUNBQXNGO0lBRXRGLG1GQUFtRjtJQUNuRixxSEFBcUg7SUFDckgsTUFBTSxVQUFVLEdBQUcsV0FBVyxDQUM1QixjQUFjLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxFQUFFLEtBQUssRUFBRSxFQUFFLENBQUMsc0NBQXNDLENBQUMsS0FBSyxDQUFDLEtBQUsseUJBQXlCLENBQUMsRUFDaEgsY0FBYyxDQUFDLEtBQUssRUFBRSxFQUN0QiwwQkFBMEIsQ0FDM0IsQ0FBQztJQUVGLE1BQU0sVUFBVSxHQUFHLFdBQVcsQ0FDNUIsY0FBYyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsRUFBRSxLQUFLLEVBQUUsRUFBRSxDQUFDLHFDQUFxQyxDQUFDLEtBQUssQ0FBQyxLQUFLLDBCQUEwQixDQUFDLEVBQ2hILGVBQWUsQ0FBQyxLQUFLLEVBQUUsRUFDdkIseUJBQXlCLENBQzFCLENBQUM7SUFFRixNQUFNLGNBQWMsR0FBRyxjQUFjO1NBQ2xDLE1BQU0sQ0FBQyxDQUFDLENBQUMsRUFBRSxLQUFLLEVBQUUsRUFBRSxDQUFDLHNDQUFzQyxDQUFDLEtBQUssQ0FBQyxHQUFHLHlCQUF5QixDQUFDO1NBQy9GLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQztJQUV2QixNQUFNLElBQUksR0FBRyxXQUFXLENBQ3RCLFFBQVEsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxPQUFPLEVBQUUsSUFBSSxDQUFDLGNBQWMsQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFDLGVBQWUsQ0FBQyxDQUFDLEVBQ2pGLFdBQVcsQ0FBQyxLQUFLLEVBQUUsRUFDbkIsOEJBQThCLENBQy9CLENBQUM7SUFFRixPQUFPLElBQUkseUJBQXlCLENBQUMsVUFBVSxFQUFFLFVBQVUsRUFBRSxJQUFJLENBQUMsQ0FBQztBQUNyRSxDQUFDIn0=

package/src/kernel_prover/private_inputs_builders/build_private_kernel_init_hints.ts

@@ -1,17 +0,0 @@
-import {
-  type MAX_NEW_NOTE_HASHES_PER_CALL,
-  type PrivateCircuitPublicInputs,
-  PrivateKernelInitHints,
-} from '@aztec/circuits.js';
-import { type Tuple } from '@aztec/foundation/serialize';
-
-export function buildPrivateKernelInitHints(
-  publicInputs: PrivateCircuitPublicInputs,
-  noteHashNullifierCounterMap: Map<number, number>,
-) {
-  const nullifierCounters = publicInputs.newNoteHashes.map(
-    n => noteHashNullifierCounterMap.get(n.counter) ?? 0,
-  ) as Tuple<number, typeof MAX_NEW_NOTE_HASHES_PER_CALL>;
-
-  return new PrivateKernelInitHints(nullifierCounters);
-}

package/src/kernel_prover/private_inputs_builders/build_private_kernel_inner_hints.ts

@@ -1,17 +0,0 @@
-import {
-  type MAX_NEW_NOTE_HASHES_PER_CALL,
-  type PrivateCircuitPublicInputs,
-  PrivateKernelInnerHints,
-} from '@aztec/circuits.js';
-import { type Tuple } from '@aztec/foundation/serialize';
-
-export function buildPrivateKernelInnerHints(
-  publicInputs: PrivateCircuitPublicInputs,
-  noteHashNullifierCounterMap: Map<number, number>,
-) {
-  const nullifierCounters = publicInputs.newNoteHashes.map(
-    n => noteHashNullifierCounterMap.get(n.counter) ?? 0,
-  ) as Tuple<number, typeof MAX_NEW_NOTE_HASHES_PER_CALL>;
-
-  return new PrivateKernelInnerHints(nullifierCounters);
-}

package/src/kernel_prover/private_inputs_builders/build_private_kernel_reset_outputs.ts

@@ -1,45 +0,0 @@
-import {
-  MAX_NEW_NOTE_HASHES_PER_TX,
-  MAX_NEW_NULLIFIERS_PER_TX,
-  MAX_NOTE_ENCRYPTED_LOGS_PER_TX,
-  NoteLogHash,
-  PrivateKernelResetOutputs,
-  ScopedNoteHash,
-  ScopedNullifier,
-} from '@aztec/circuits.js';
-import { padArrayEnd } from '@aztec/foundation/collection';
-import { type Tuple } from '@aztec/foundation/serialize';
-
-export function buildPrivateKernelResetOutputs(
-  prevNoteHashes: Tuple<ScopedNoteHash, typeof MAX_NEW_NOTE_HASHES_PER_TX>,
-  prevNullifiers: Tuple<ScopedNullifier, typeof MAX_NEW_NULLIFIERS_PER_TX>,
-  prevLogs: Tuple<NoteLogHash, typeof MAX_NOTE_ENCRYPTED_LOGS_PER_TX>,
-  transientNullifierIndexesForNoteHashes: Tuple<number, typeof MAX_NEW_NOTE_HASHES_PER_TX>,
-  transientNoteHashIndexesForNullifiers: Tuple<number, typeof MAX_NEW_NULLIFIERS_PER_TX>,
-) {
-  // Propagate note hashes that are not going to be squashed in the transient arrays.
-  // A value isn't going to be squashed if the symmetrical index in the corresponding array is the length of the array.
-  const noteHashes = padArrayEnd(
-    prevNoteHashes.filter((_, index) => transientNullifierIndexesForNoteHashes[index] === MAX_NEW_NULLIFIERS_PER_TX),
-    ScopedNoteHash.empty(),
-    MAX_NEW_NOTE_HASHES_PER_TX,
-  );
-
-  const nullifiers = padArrayEnd(
-    prevNullifiers.filter((_, index) => transientNoteHashIndexesForNullifiers[index] === MAX_NEW_NOTE_HASHES_PER_TX),
-    ScopedNullifier.empty(),
-    MAX_NEW_NULLIFIERS_PER_TX,
-  );
-
-  const nullifiedNotes = prevNoteHashes
-    .filter((_, index) => transientNullifierIndexesForNoteHashes[index] < MAX_NEW_NULLIFIERS_PER_TX)
-    .map(n => n.counter);
-
-  const logs = padArrayEnd(
-    prevLogs.filter(l => !l.isEmpty() && !nullifiedNotes.includes(l.noteHashCounter)),
-    NoteLogHash.empty(),
-    MAX_NOTE_ENCRYPTED_LOGS_PER_TX,
-  );
-
-  return new PrivateKernelResetOutputs(noteHashes, nullifiers, logs);
-}