@aztec/pxe 0.0.0-test.1 → 0.0.1-commit.1142ef1

package/dest/storage/tagging_data_provider/tagging_data_provider.js

@@ -1,65 +0,0 @@
-import { toArray } from '@aztec/foundation/iterable';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-export class TaggingDataProvider {
-    #store;
-    #addressBook;
-    // Stores the last index used for each tagging secret, taking direction into account
-    // This is necessary to avoid reusing the same index for the same secret, which happens if
-    // sender and recipient are the same
-    #taggingSecretIndexesForSenders;
-    #taggingSecretIndexesForRecipients;
-    constructor(store){
-        this.#store = store;
-        this.#addressBook = this.#store.openMap('address_book');
-        this.#taggingSecretIndexesForSenders = this.#store.openMap('tagging_secret_indexes_for_senders');
-        this.#taggingSecretIndexesForRecipients = this.#store.openMap('tagging_secret_indexes_for_recipients');
-    }
-    async setTaggingSecretsIndexesAsSender(indexedSecrets) {
-        await this.#setTaggingSecretsIndexes(indexedSecrets, this.#taggingSecretIndexesForSenders);
-    }
-    async setTaggingSecretsIndexesAsRecipient(indexedSecrets) {
-        await this.#setTaggingSecretsIndexes(indexedSecrets, this.#taggingSecretIndexesForRecipients);
-    }
-    async #setTaggingSecretsIndexes(indexedSecrets, storageMap) {
-        await Promise.all(indexedSecrets.map((indexedSecret)=>storageMap.set(indexedSecret.appTaggingSecret.toString(), indexedSecret.index)));
-    }
-    async getTaggingSecretsIndexesAsRecipient(appTaggingSecrets) {
-        return await this.#getTaggingSecretsIndexes(appTaggingSecrets, this.#taggingSecretIndexesForRecipients);
-    }
-    async getTaggingSecretsIndexesAsSender(appTaggingSecrets) {
-        return await this.#getTaggingSecretsIndexes(appTaggingSecrets, this.#taggingSecretIndexesForSenders);
-    }
-    #getTaggingSecretsIndexes(appTaggingSecrets, storageMap) {
-        return Promise.all(appTaggingSecrets.map(async (secret)=>await storageMap.getAsync(`${secret.toString()}`) ?? 0));
-    }
-    resetNoteSyncData() {
-        return this.#store.transactionAsync(async ()=>{
-            const recipients = await toArray(this.#taggingSecretIndexesForRecipients.keysAsync());
-            await Promise.all(recipients.map((recipient)=>this.#taggingSecretIndexesForRecipients.delete(recipient)));
-            const senders = await toArray(this.#taggingSecretIndexesForSenders.keysAsync());
-            await Promise.all(senders.map((sender)=>this.#taggingSecretIndexesForSenders.delete(sender)));
-        });
-    }
-    async addSenderAddress(address) {
-        if (await this.#addressBook.hasAsync(address.toString())) {
-            return false;
-        }
-        await this.#addressBook.set(address.toString(), true);
-        return true;
-    }
-    async getSenderAddresses() {
-        return (await toArray(this.#addressBook.keysAsync())).map(AztecAddress.fromString);
-    }
-    async removeSenderAddress(address) {
-        if (!await this.#addressBook.hasAsync(address.toString())) {
-            return false;
-        }
-        await this.#addressBook.delete(address.toString());
-        return true;
-    }
-    async getSize() {
-        const addressesCount = (await toArray(this.#addressBook.keysAsync())).length;
-        // All keys are addresses
-        return 3 * addressesCount * AztecAddress.SIZE_IN_BYTES;
-    }
-}

package/dest/synchronizer/index.d.ts

@@ -1,2 +0,0 @@
-export * from './synchronizer.js';
-//# sourceMappingURL=index.d.ts.map

package/dest/synchronizer/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/synchronizer/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC"}

package/dest/synchronizer/index.js

@@ -1 +0,0 @@
-export * from './synchronizer.js';

package/dest/synchronizer/synchronizer.d.ts

@@ -1,37 +0,0 @@
-import { type Logger } from '@aztec/foundation/log';
-import type { L2TipsStore } from '@aztec/kv-store/stores';
-import { L2BlockStream, type L2BlockStreamEvent, type L2BlockStreamEventHandler } from '@aztec/stdlib/block';
-import type { AztecNode } from '@aztec/stdlib/interfaces/client';
-import type { PXEConfig } from '../config/index.js';
-import type { NoteDataProvider } from '../storage/note_data_provider/note_data_provider.js';
-import type { SyncDataProvider } from '../storage/sync_data_provider/sync_data_provider.js';
-import type { TaggingDataProvider } from '../storage/tagging_data_provider/tagging_data_provider.js';
-/**
- * The Synchronizer class manages the synchronization with the aztec node, allowing PXE to retrieve the
- * latest block header and handle reorgs.
- * It provides methods to trigger a sync and get the block number we are syncec to
- * details, and fetch transactions by hash.
- */
-export declare class Synchronizer implements L2BlockStreamEventHandler {
-    private node;
-    private syncDataProvider;
-    private noteDataProvider;
-    private taggingDataProvider;
-    private l2TipsStore;
-    private initialSyncBlockNumber;
-    private log;
-    private isSyncing;
-    protected readonly blockStream: L2BlockStream;
-    constructor(node: AztecNode, syncDataProvider: SyncDataProvider, noteDataProvider: NoteDataProvider, taggingDataProvider: TaggingDataProvider, l2TipsStore: L2TipsStore, config?: Partial<Pick<PXEConfig, 'l2StartingBlock'>>, loggerOrSuffix?: string | Logger);
-    protected createBlockStream(config: Partial<Pick<PXEConfig, 'l2StartingBlock'>>): L2BlockStream;
-    /** Handle events emitted by the block stream. */
-    handleBlockStreamEvent(event: L2BlockStreamEvent): Promise<void>;
-    /**
-     * Syncs PXE and the node by dowloading the metadata of the latest blocks, allowing simulations to use
-     * recent data (e.g. notes), and handling any reorgs that might have occurred.
-     */
-    sync(): Promise<void>;
-    private doSync;
-    getSynchedBlockNumber(): Promise<number>;
-}
-//# sourceMappingURL=synchronizer.d.ts.map

package/dest/synchronizer/synchronizer.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"synchronizer.d.ts","sourceRoot":"","sources":["../../src/synchronizer/synchronizer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,KAAK,kBAAkB,EAAE,KAAK,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAC7G,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2DAA2D,CAAC;AAErG;;;;;GAKG;AACH,qBAAa,YAAa,YAAW,yBAAyB;IAO1D,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,WAAW;IAVrB,OAAO,CAAC,sBAAsB,CAA4B;IAC1D,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,SAAS,CAA4B;IAC7C,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;gBAGpC,IAAI,EAAE,SAAS,EACf,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,gBAAgB,EAClC,mBAAmB,EAAE,mBAAmB,EACxC,WAAW,EAAE,WAAW,EAChC,MAAM,GAAE,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAM,EACxD,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM;IASlC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IAM/E,iDAAiD;IACpC,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;IAmC7E;;;OAGG;IACU,IAAI;YAiBH,MAAM;IAeP,qBAAqB;CAGnC"}

package/dest/test/pxe_test_suite.d.ts

@@ -1,3 +0,0 @@
-import type { PXE } from '@aztec/stdlib/interfaces/client';
-export declare const pxeTestSuite: (testName: string, pxeSetup: () => Promise<PXE>) => void;
-//# sourceMappingURL=pxe_test_suite.d.ts.map

package/dest/test/pxe_test_suite.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"pxe_test_suite.d.ts","sourceRoot":"","sources":["../../src/test/pxe_test_suite.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,iCAAiC,CAAC;AAS3D,eAAO,MAAM,YAAY,aAAc,MAAM,YAAY,MAAM,QAAQ,GAAG,CAAC,SAiG1E,CAAC"}

package/dest/test/pxe_test_suite.js

@@ -1,97 +0,0 @@
-import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { getContractClassFromArtifact } from '@aztec/stdlib/contract';
-import { randomContractArtifact, randomContractInstanceWithAddress, randomDeployedContract } from '@aztec/stdlib/testing';
-import omit from 'lodash.omit';
-export const pxeTestSuite = (testName, pxeSetup)=>{
-    describe(testName, ()=>{
-        let pxe;
-        beforeAll(async ()=>{
-            pxe = await pxeSetup();
-        }, 120_000);
-        it('registers an account and returns it as an account only and not as a recipient', async ()=>{
-            const randomSecretKey = Fr.random();
-            const randomPartialAddress = Fr.random();
-            const completeAddress = await pxe.registerAccount(randomSecretKey, randomPartialAddress);
-            // Check that the account is correctly registered using the getAccounts and getRecipients methods
-            const accounts = await pxe.getRegisteredAccounts();
-            expect(accounts).toContainEqual(completeAddress);
-        });
-        it('does not throw when registering the same account twice (just ignores the second attempt)', async ()=>{
-            const randomSecretKey = Fr.random();
-            const randomPartialAddress = Fr.random();
-            await pxe.registerAccount(randomSecretKey, randomPartialAddress);
-            await pxe.registerAccount(randomSecretKey, randomPartialAddress);
-        });
-        it('successfully adds a contract', async ()=>{
-            const contracts = await Promise.all([
-                randomDeployedContract(),
-                randomDeployedContract()
-            ]);
-            for (const contract of contracts){
-                await pxe.registerContract(contract);
-            }
-            const expectedContractAddresses = contracts.map((contract)=>contract.instance.address);
-            const contractAddresses = await pxe.getContracts();
-            expect(contractAddresses).toEqual(expect.arrayContaining(expectedContractAddresses));
-        });
-        it('registers a class and adds a contract for it', async ()=>{
-            const artifact = randomContractArtifact();
-            const contractClass = await getContractClassFromArtifact(artifact);
-            const contractClassId = contractClass.id;
-            const instance = await randomContractInstanceWithAddress({
-                contractClassId
-            });
-            await pxe.registerContractClass(artifact);
-            expect((await pxe.getContractClassMetadata(contractClassId)).contractClass).toMatchObject(omit(contractClass, 'privateFunctionsRoot', 'publicBytecodeCommitment'));
-            await pxe.registerContract({
-                instance
-            });
-            expect((await pxe.getContractMetadata(instance.address)).contractInstance).toEqual(instance);
-        });
-        it('refuses to register a class with a mismatched address', async ()=>{
-            const artifact = randomContractArtifact();
-            const contractClass = await getContractClassFromArtifact(artifact);
-            const contractClassId = contractClass.id;
-            const instance = await randomContractInstanceWithAddress({
-                contractClassId
-            });
-            await expect(pxe.registerContract({
-                instance: {
-                    ...instance,
-                    address: await AztecAddress.random()
-                },
-                artifact
-            })).rejects.toThrow(/Added a contract in which the address does not match the contract instance./);
-        });
-        it('refuses to register a contract with a class that has not been registered', async ()=>{
-            const instance = await randomContractInstanceWithAddress();
-            await expect(pxe.registerContract({
-                instance
-            })).rejects.toThrow(/DB has no contract class with id/i);
-        });
-        it('refuses to register a contract with an artifact with mismatching class id', async ()=>{
-            const artifact = randomContractArtifact();
-            const instance = await randomContractInstanceWithAddress();
-            await expect(pxe.registerContract({
-                instance,
-                artifact
-            })).rejects.toThrow(/Artifact does not match/i);
-        });
-        // Note: Not testing a successful run of `proveTx`, `sendTx`, `getTxReceipt` and `simulateUnconstrained` here as it requires
-        //       a larger setup and it's sufficiently tested in the e2e tests.
-        // Note: Not testing `getContractData`, `getPublicLogs` and `getPublicStorageAt` here as these
-        //       functions only call AztecNode and these methods are frequently used by the e2e tests.
-        it('successfully gets a block number', async ()=>{
-            const blockNum = await pxe.getBlockNumber();
-            expect(blockNum).toBeGreaterThanOrEqual(INITIAL_L2_BLOCK_NUM);
-        });
-        it('successfully gets node info', async ()=>{
-            const nodeInfo = await pxe.getNodeInfo();
-            expect(typeof nodeInfo.protocolVersion).toEqual('number');
-            expect(typeof nodeInfo.l1ChainId).toEqual('number');
-            expect(nodeInfo.l1ContractAddresses.rollupAddress.toString()).toMatch(/0x[a-fA-F0-9]+/);
-        });
-    });
-};

package/src/bin/index.ts

@@ -1,38 +0,0 @@
-#!/usr/bin/env -S node --no-warnings
-import { createLogger } from '@aztec/foundation/log';
-import { createAztecNodeClient } from '@aztec/stdlib/interfaces/client';
-
-import { getPXEServiceConfig } from '../config/index.js';
-import { createPXEService } from '../entrypoints/server/utils.js';
-import { startPXEHttpServer } from '../pxe_http/index.js';
-
-const { PXE_PORT = 8080, AZTEC_NODE_URL = 'http://localhost:8079' } = process.env;
-
-const logger = createLogger('pxe:service');
-
-/**
- * Create and start a new PXE HTTP Server
- */
-async function main() {
-  logger.info(`Setting up PXE...`);
-
-  const pxeConfig = getPXEServiceConfig();
-  const nodeRpcClient = createAztecNodeClient(AZTEC_NODE_URL, {});
-  const pxeService = await createPXEService(nodeRpcClient, pxeConfig);
-
-  const shutdown = () => {
-    logger.info('Shutting down...');
-    process.exit(0);
-  };
-
-  process.once('SIGINT', shutdown);
-  process.once('SIGTERM', shutdown);
-
-  startPXEHttpServer(pxeService, PXE_PORT);
-  logger.info(`PXE listening on port ${PXE_PORT}`);
-}
-
-main().catch(err => {
-  logger.error(err);
-  process.exit(1);
-});

package/src/entrypoints/client/pxe_creation_options.ts

@@ -1,7 +0,0 @@
-import type { Logger } from '@aztec/foundation/log';
-import type { PrivateKernelProver } from '@aztec/stdlib/interfaces/client';
-
-export type PXECreationOptions = {
-  loggers: { store?: Logger; pxe?: Logger; prover?: Logger };
-  prover?: PrivateKernelProver;
-};

package/src/kernel_prover/index.ts

@@ -1,2 +0,0 @@
-export * from './kernel_prover.js';
-export * from './proving_data_oracle.js';

package/src/kernel_prover/kernel_prover.ts

@@ -1,351 +0,0 @@
-import { CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS, VK_TREE_HEIGHT } from '@aztec/constants';
-import { vkAsFieldsMegaHonk } from '@aztec/foundation/crypto';
-import { Fr } from '@aztec/foundation/fields';
-import { createLogger } from '@aztec/foundation/log';
-import { assertLength } from '@aztec/foundation/serialize';
-import { pushTestData } from '@aztec/foundation/testing';
-import { Timer } from '@aztec/foundation/timer';
-import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
-import { getProtocolContractLeafAndMembershipWitness, protocolContractTreeRoot } from '@aztec/protocol-contracts';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { computeContractAddressFromInstance } from '@aztec/stdlib/contract';
-import { hashVK } from '@aztec/stdlib/hash';
-import type { PrivateKernelProver } from '@aztec/stdlib/interfaces/client';
-import {
-  PrivateCallData,
-  PrivateKernelCircuitPublicInputs,
-  PrivateKernelData,
-  PrivateKernelInitCircuitPrivateInputs,
-  PrivateKernelInnerCircuitPrivateInputs,
-  type PrivateKernelSimulateOutput,
-  PrivateKernelTailCircuitPrivateInputs,
-  type PrivateKernelTailCircuitPublicInputs,
-  PrivateVerificationKeyHints,
-} from '@aztec/stdlib/kernel';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
-import {
-  type PrivateCallExecutionResult,
-  type PrivateExecutionResult,
-  TxRequest,
-  collectEnqueuedPublicFunctionCalls,
-  collectNoteHashLeafIndexMap,
-  collectNoteHashNullifierCounterMap,
-  collectPublicTeardownFunctionCall,
-  getFinalMinRevertibleSideEffectCounter,
-} from '@aztec/stdlib/tx';
-import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
-
-import type { WitnessMap } from '@noir-lang/types';
-
-import { PrivateKernelResetPrivateInputsBuilder } from './hints/build_private_kernel_reset_private_inputs.js';
-import type { ProvingDataOracle } from './proving_data_oracle.js';
-
-const NULL_PROVE_OUTPUT: PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs> = {
-  publicInputs: PrivateKernelCircuitPublicInputs.empty(),
-  verificationKey: VerificationKeyAsFields.makeEmpty(CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS),
-  outputWitness: new Map(),
-  bytecode: Buffer.from([]),
-};
-
-export type ProvingConfig = {
-  simulate: boolean;
-  skipFeeEnforcement: boolean;
-  profile: boolean;
-};
-
-/**
- * The KernelProver class is responsible for generating kernel proofs.
- * It takes a transaction request, its signature, and the simulation result as inputs, and outputs a proof
- * along with output notes. The class interacts with a ProvingDataOracle to fetch membership witnesses and
- * constructs private call data based on the execution results.
- */
-export class KernelProver {
-  private log = createLogger('pxe:kernel-prover');
-
-  constructor(
-    private oracle: ProvingDataOracle,
-    private proofCreator: PrivateKernelProver,
-    private fakeProofs = false,
-  ) {}
-
-  /**
-   * Generate a proof for a given transaction request and execution result.
-   * The function iterates through the nested executions in the execution result, creates private call data,
-   * and generates a proof using the provided ProofCreator instance. It also maintains an index of new notes
-   * created during the execution and returns them as a part of the KernelProverOutput.
-   *
-   * @param txRequest - The authenticated transaction request object.
-   * @param executionResult - The execution result object containing nested executions and preimages.
-   * @param profile - Set true to profile the gate count for each circuit
-   * @returns A Promise that resolves to a KernelProverOutput object containing proof, public inputs, and output notes.
-   * TODO(#7368) this should be refactored to not recreate the ACIR bytecode now that it operates on a program stack
-   */
-  async prove(
-    txRequest: TxRequest,
-    executionResult: PrivateExecutionResult,
-    { simulate, skipFeeEnforcement, profile }: ProvingConfig = {
-      simulate: false,
-      skipFeeEnforcement: false,
-      profile: false,
-    },
-  ): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>> {
-    const skipProofGeneration = this.fakeProofs || simulate;
-    const generateWitnesses = !skipProofGeneration || profile;
-
-    const timer = new Timer();
-
-    const isPrivateOnlyTx = this.isPrivateOnly(executionResult);
-
-    const executionStack = [executionResult.entrypoint];
-    let firstIteration = true;
-
-    let output = NULL_PROVE_OUTPUT;
-
-    const gateCounts: { circuitName: string; gateCount: number }[] = [];
-    const addGateCount = async (circuitName: string, bytecode: Buffer) => {
-      const gateCount = (await this.proofCreator.computeGateCountForCircuit(bytecode, circuitName)) as number;
-      gateCounts.push({ circuitName, gateCount });
-
-      this.log.debug(`Gate count for ${circuitName} - ${gateCount}`);
-    };
-
-    const noteHashLeafIndexMap = collectNoteHashLeafIndexMap(executionResult);
-    const noteHashNullifierCounterMap = collectNoteHashNullifierCounterMap(executionResult);
-    const enqueuedPublicFunctions = collectEnqueuedPublicFunctionCalls(executionResult);
-    const hasPublicCalls =
-      enqueuedPublicFunctions.length > 0 || !collectPublicTeardownFunctionCall(executionResult).isEmpty();
-    const validationRequestsSplitCounter = hasPublicCalls ? getFinalMinRevertibleSideEffectCounter(executionResult) : 0;
-    // vector of gzipped bincode acirs
-    const acirs: Buffer[] = [];
-    const witnessStack: WitnessMap[] = [];
-
-    while (executionStack.length) {
-      if (!firstIteration) {
-        let resetBuilder = new PrivateKernelResetPrivateInputsBuilder(
-          output,
-          executionStack,
-          noteHashNullifierCounterMap,
-          validationRequestsSplitCounter,
-        );
-        while (resetBuilder.needsReset()) {
-          const privateInputs = await resetBuilder.build(this.oracle, noteHashLeafIndexMap);
-          output = generateWitnesses
-            ? await this.proofCreator.generateResetOutput(privateInputs)
-            : await this.proofCreator.simulateReset(privateInputs);
-          // TODO(#7368) consider refactoring this redundant bytecode pushing
-          acirs.push(output.bytecode);
-          witnessStack.push(output.outputWitness);
-          if (profile) {
-            await addGateCount('private_kernel_reset', output.bytecode);
-          }
-
-          resetBuilder = new PrivateKernelResetPrivateInputsBuilder(
-            output,
-            executionStack,
-            noteHashNullifierCounterMap,
-            validationRequestsSplitCounter,
-          );
-        }
-      }
-
-      const currentExecution = executionStack.pop()!;
-
-      executionStack.push(...[...currentExecution.nestedExecutions].reverse());
-
-      const functionName = await this.oracle.getDebugFunctionName(
-        currentExecution.publicInputs.callContext.contractAddress,
-        currentExecution.publicInputs.callContext.functionSelector,
-      );
-
-      // TODO(#7368): This used to be associated with getDebugFunctionName
-      // TODO(#7368): Is there any way to use this with client IVC proving?
-      acirs.push(currentExecution.acir);
-      witnessStack.push(currentExecution.partialWitness);
-      if (profile) {
-        await addGateCount(functionName as string, currentExecution.acir);
-      }
-
-      const privateCallData = await this.createPrivateCallData(currentExecution);
-
-      if (firstIteration) {
-        const proofInput = new PrivateKernelInitCircuitPrivateInputs(
-          txRequest,
-          getVKTreeRoot(),
-          protocolContractTreeRoot,
-          privateCallData,
-          isPrivateOnlyTx,
-          executionResult.firstNullifier,
-        );
-        this.log.debug(
-          `Calling private kernel init with isPrivateOnly ${isPrivateOnlyTx} and firstNullifierHint ${proofInput.firstNullifierHint}`,
-        );
-
-        pushTestData('private-kernel-inputs-init', proofInput);
-
-        output = generateWitnesses
-          ? await this.proofCreator.generateInitOutput(proofInput)
-          : await this.proofCreator.simulateInit(proofInput);
-
-        acirs.push(output.bytecode);
-        witnessStack.push(output.outputWitness);
-        if (profile) {
-          await addGateCount('private_kernel_init', output.bytecode);
-        }
-      } else {
-        const previousVkMembershipWitness = await this.oracle.getVkMembershipWitness(output.verificationKey);
-        const previousKernelData = new PrivateKernelData(
-          output.publicInputs,
-          output.verificationKey,
-          Number(previousVkMembershipWitness.leafIndex),
-          assertLength<Fr, typeof VK_TREE_HEIGHT>(previousVkMembershipWitness.siblingPath, VK_TREE_HEIGHT),
-        );
-        const proofInput = new PrivateKernelInnerCircuitPrivateInputs(previousKernelData, privateCallData);
-
-        pushTestData('private-kernel-inputs-inner', proofInput);
-
-        output = generateWitnesses
-          ? await this.proofCreator.generateInnerOutput(proofInput)
-          : await this.proofCreator.simulateInner(proofInput);
-
-        acirs.push(output.bytecode);
-        witnessStack.push(output.outputWitness);
-        if (profile) {
-          await addGateCount('private_kernel_inner', output.bytecode);
-        }
-      }
-      firstIteration = false;
-    }
-
-    // Reset.
-    let resetBuilder = new PrivateKernelResetPrivateInputsBuilder(
-      output,
-      [],
-      noteHashNullifierCounterMap,
-      validationRequestsSplitCounter,
-    );
-    while (resetBuilder.needsReset()) {
-      const privateInputs = await resetBuilder.build(this.oracle, noteHashLeafIndexMap);
-      output = generateWitnesses
-        ? await this.proofCreator.generateResetOutput(privateInputs)
-        : await this.proofCreator.simulateReset(privateInputs);
-
-      acirs.push(output.bytecode);
-      witnessStack.push(output.outputWitness);
-      if (profile) {
-        await addGateCount('private_kernel_reset', output.bytecode);
-      }
-
-      resetBuilder = new PrivateKernelResetPrivateInputsBuilder(
-        output,
-        [],
-        noteHashNullifierCounterMap,
-        validationRequestsSplitCounter,
-      );
-    }
-
-    if (output.publicInputs.feePayer.isZero() && skipFeeEnforcement) {
-      if (!skipProofGeneration) {
-        throw new Error('Fee payment must be enforced when creating real proof.');
-      }
-      output.publicInputs.feePayer = new AztecAddress(Fr.MAX_FIELD_VALUE);
-    }
-    // Private tail.
-    const previousVkMembershipWitness = await this.oracle.getVkMembershipWitness(output.verificationKey);
-    const previousKernelData = new PrivateKernelData(
-      output.publicInputs,
-      output.verificationKey,
-      Number(previousVkMembershipWitness.leafIndex),
-      assertLength<Fr, typeof VK_TREE_HEIGHT>(previousVkMembershipWitness.siblingPath, VK_TREE_HEIGHT),
-    );
-
-    this.log.debug(
-      `Calling private kernel tail with hwm ${previousKernelData.publicInputs.minRevertibleSideEffectCounter}`,
-    );
-
-    const privateInputs = new PrivateKernelTailCircuitPrivateInputs(previousKernelData);
-
-    pushTestData('private-kernel-inputs-ordering', privateInputs);
-
-    const tailOutput = generateWitnesses
-      ? await this.proofCreator.generateTailOutput(privateInputs)
-      : await this.proofCreator.simulateTail(privateInputs);
-
-    acirs.push(tailOutput.bytecode);
-    witnessStack.push(tailOutput.outputWitness);
-    if (profile) {
-      await addGateCount('private_kernel_tail', tailOutput.bytecode);
-      tailOutput.profileResult = { gateCounts };
-    }
-
-    if (generateWitnesses) {
-      this.log.info(`Private kernel witness generation took ${timer.ms()}ms`);
-    }
-
-    // TODO(#7368) how do we 'bincode' encode these inputs?
-    if (!skipProofGeneration) {
-      const ivcProof = await this.proofCreator.createClientIvcProof(acirs, witnessStack);
-      tailOutput.clientIvcProof = ivcProof;
-    } else {
-      tailOutput.clientIvcProof = ClientIvcProof.random();
-    }
-
-    return tailOutput;
-  }
-
-  private async createPrivateCallData({ publicInputs, vk: vkAsBuffer }: PrivateCallExecutionResult) {
-    const { contractAddress, functionSelector } = publicInputs.callContext;
-
-    const vkAsFields = await vkAsFieldsMegaHonk(vkAsBuffer);
-    const vk = new VerificationKeyAsFields(vkAsFields, await hashVK(vkAsFields));
-
-    const { currentContractClassId, publicKeys, saltedInitializationHash } =
-      await this.oracle.getContractAddressPreimage(contractAddress);
-    const functionLeafMembershipWitness = await this.oracle.getFunctionMembershipWitness(
-      currentContractClassId,
-      functionSelector,
-    );
-
-    const { artifactHash: contractClassArtifactHash, publicBytecodeCommitment: contractClassPublicBytecodeCommitment } =
-      await this.oracle.getContractClassIdPreimage(currentContractClassId);
-
-    // This will be the address computed in the kernel by the executed class. We need to provide non membership of it in the protocol contract tree.
-    // This would only be equal to contractAddress if the currentClassId is equal to the original class id (no update happened).
-    const computedAddress = await computeContractAddressFromInstance({
-      originalContractClassId: currentContractClassId,
-      saltedInitializationHash,
-      publicKeys,
-    });
-
-    const { lowLeaf: protocolContractLeaf, witness: protocolContractMembershipWitness } =
-      await getProtocolContractLeafAndMembershipWitness(contractAddress, computedAddress);
-
-    const updatedClassIdHints = await this.oracle.getUpdatedClassIdHints(contractAddress);
-    return PrivateCallData.from({
-      publicInputs,
-      vk,
-      verificationKeyHints: PrivateVerificationKeyHints.from({
-        publicKeys,
-        contractClassArtifactHash,
-        contractClassPublicBytecodeCommitment,
-        saltedInitializationHash,
-        functionLeafMembershipWitness,
-        protocolContractMembershipWitness,
-        protocolContractLeaf,
-        updatedClassIdHints,
-      }),
-    });
-  }
-
-  private isPrivateOnly(executionResult: PrivateExecutionResult): boolean {
-    const isPrivateOnlyRecursive = (callResult: PrivateCallExecutionResult): boolean => {
-      const makesPublicCalls =
-        callResult.enqueuedPublicFunctionCalls.some(enqueuedCall => !enqueuedCall.isEmpty()) ||
-        !callResult.publicTeardownFunctionCall.isEmpty();
-      return (
-        !makesPublicCalls &&
-        callResult.nestedExecutions.every(nestedExecution => isPrivateOnlyRecursive(nestedExecution))
-      );
-    };
-    return isPrivateOnlyRecursive(executionResult.entrypoint);
-  }
-}