@aztec/end-to-end 0.0.0-test.0 → 0.0.1-commit.21caa21

package/src/bench/client_flows/client_flows_benchmark.ts

@@ -0,0 +1,447 @@
+import { AztecAddress } from '@aztec/aztec.js/addresses';
+import { FeeJuicePaymentMethodWithClaim } from '@aztec/aztec.js/fee';
+import { type FeePaymentMethod, PrivateFeePaymentMethod, SponsoredFeePaymentMethod } from '@aztec/aztec.js/fee';
+import { type Logger, createLogger } from '@aztec/aztec.js/log';
+import type { AztecNode } from '@aztec/aztec.js/node';
+import type { Wallet } from '@aztec/aztec.js/wallet';
+import { CheatCodes } from '@aztec/aztec/testing';
+import { type DeployL1ContractsArgs, RollupContract, createExtendedL1Client, deployL1Contract } from '@aztec/ethereum';
+import { ChainMonitor } from '@aztec/ethereum/test';
+import { randomBytes } from '@aztec/foundation/crypto';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { TestERC20Abi } from '@aztec/l1-artifacts/TestERC20Abi';
+import { TestERC20Bytecode } from '@aztec/l1-artifacts/TestERC20Bytecode';
+import { AMMContract } from '@aztec/noir-contracts.js/AMM';
+import { FPCContract } from '@aztec/noir-contracts.js/FPC';
+import { FeeJuiceContract } from '@aztec/noir-contracts.js/FeeJuice';
+import { SponsoredFPCContract } from '@aztec/noir-contracts.js/SponsoredFPC';
+import { TokenContract as BananaCoin, TokenContract } from '@aztec/noir-contracts.js/Token';
+import { ProtocolContractAddress } from '@aztec/protocol-contracts';
+import { getCanonicalFeeJuice } from '@aztec/protocol-contracts/fee-juice';
+import { type PXEConfig, getPXEConfig } from '@aztec/pxe/server';
+import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
+import { GasSettings } from '@aztec/stdlib/gas';
+import { deriveSigningKey } from '@aztec/stdlib/keys';
+import { TestWallet } from '@aztec/test-wallet/server';
+
+import { MNEMONIC } from '../../fixtures/fixtures.js';
+import {
+  type ISnapshotManager,
+  type SubsystemsContext,
+  createSnapshotManager,
+  deployAccounts,
+} from '../../fixtures/snapshot_manager.js';
+import { mintTokensToPrivate } from '../../fixtures/token_utils.js';
+import { type SetupOptions, setupSponsoredFPC } from '../../fixtures/utils.js';
+import { CrossChainTestHarness } from '../../shared/cross_chain_test_harness.js';
+import {
+  FeeJuicePortalTestingHarnessFactory,
+  type GasBridgingTestHarness,
+} from '../../shared/gas_portal_test_harness.js';
+import { ProxyLogger } from './benchmark.js';
+import { type ClientFlowsConfig, FULL_FLOWS_CONFIG, KEY_FLOWS_CONFIG } from './config.js';
+
+const { E2E_DATA_PATH: dataPath, BENCHMARK_CONFIG } = process.env;
+
+export type AccountType = 'ecdsar1' | 'schnorr';
+export type FeePaymentMethodGetter = (wallet: Wallet, sender: AztecAddress) => Promise<FeePaymentMethod | undefined>;
+export type BenchmarkingFeePaymentMethod = 'bridged_fee_juice' | 'private_fpc' | 'sponsored_fpc' | 'fee_juice';
+
+export class ClientFlowsBenchmark {
+  private snapshotManager: ISnapshotManager;
+
+  public logger: Logger;
+  public aztecNode!: AztecNode;
+  public cheatCodes!: CheatCodes;
+  public context!: SubsystemsContext;
+  public chainMonitor!: ChainMonitor;
+  public feeJuiceBridgeTestHarness!: GasBridgingTestHarness;
+  public adminWallet!: TestWallet;
+
+  // The admin that aids in the setup of the test
+  public adminAddress!: AztecAddress;
+
+  // Aztec Node config
+  public sequencerAddress!: AztecAddress;
+  public coinbase!: EthAddress;
+
+  // Contracts
+  public feeJuiceContract!: FeeJuiceContract;
+  // Asset in which fees are paid via FPC
+  public bananaCoin!: BananaCoin;
+  public bananaCoinInstance!: ContractInstanceWithAddress;
+  public bananaFPC!: FPCContract;
+  public bananaFPCInstance!: ContractInstanceWithAddress;
+  // Random asset we want to trade
+  public candyBarCoin!: TokenContract;
+  public candyBarCoinInstance!: ContractInstanceWithAddress;
+  // AMM contract
+  public amm!: AMMContract;
+  public ammInstance!: ContractInstanceWithAddress;
+  // Liquidity token for AMM
+  public liquidityToken!: TokenContract;
+  public liquidityTokenInstance!: ContractInstanceWithAddress;
+  // Sponsored FPC contract
+  public sponsoredFPC!: SponsoredFPCContract;
+  public sponsoredFPCInstance!: ContractInstanceWithAddress;
+
+  // PXE and Wallet used by the benchmarking user. It can be set up with client-side proving enabled
+  public userWallet!: TestWallet;
+
+  public realProofs = ['true', '1'].includes(process.env.REAL_PROOFS ?? '');
+
+  public paymentMethods: Record<BenchmarkingFeePaymentMethod, { forWallet: FeePaymentMethodGetter; circuits: number }> =
+    {
+      // eslint-disable-next-line camelcase
+      bridged_fee_juice: {
+        forWallet: this.getBridgedFeeJuicePaymentMethodForWallet.bind(this),
+        circuits: 2, // FeeJuice claim + kernel inner
+      },
+      // eslint-disable-next-line camelcase
+      private_fpc: {
+        forWallet: this.getPrivateFPCPaymentMethodForWallet.bind(this),
+        circuits:
+          2 + // FPC entrypoint + kernel inner
+          2 + // BananaCoin transfer_to_public + kernel inner
+          2 + // Account verify_private_authwit + kernel inner
+          2, // BananaCoin prepare_private_balance_increase + kernel inner
+      },
+      // eslint-disable-next-line camelcase
+      sponsored_fpc: {
+        forWallet: this.getSponsoredFPCPaymentMethodForWallet.bind(this),
+        circuits: 2, // Sponsored FPC sponsor_unconditionally + kernel inner
+      },
+      // eslint-disable-next-line camelcase
+      fee_juice: {
+        forWallet: () => Promise.resolve(undefined),
+        circuits: 0,
+      },
+    };
+
+  public config: ClientFlowsConfig;
+
+  private proxyLogger: ProxyLogger;
+
+  constructor(testName?: string, setupOptions: Partial<SetupOptions & DeployL1ContractsArgs> = {}) {
+    this.logger = createLogger(`bench:client_flows${testName ? `:${testName}` : ''}`);
+    this.snapshotManager = createSnapshotManager(
+      `bench_client_flows${testName ? `/${testName}` : ''}`,
+      dataPath,
+      { startProverNode: true, ...setupOptions },
+      { ...setupOptions },
+    );
+    this.config = BENCHMARK_CONFIG === 'key_flows' ? KEY_FLOWS_CONFIG : FULL_FLOWS_CONFIG;
+    ProxyLogger.create();
+    this.proxyLogger = ProxyLogger.getInstance();
+  }
+
+  async setup() {
+    const context = await this.snapshotManager.setup();
+    await context.aztecNode.setConfig({ feeRecipient: this.sequencerAddress, coinbase: this.coinbase });
+
+    const rollupContract = RollupContract.getFromConfig(context.aztecNodeConfig);
+    this.chainMonitor = new ChainMonitor(rollupContract, context.dateProvider, this.logger, 200).start();
+
+    return this;
+  }
+
+  async teardown() {
+    await this.chainMonitor.stop();
+    await this.snapshotManager.teardown();
+  }
+
+  async mintAndBridgeFeeJuice(address: AztecAddress) {
+    const claim = await this.feeJuiceBridgeTestHarness.prepareTokensOnL1(address);
+    const { claimSecret: secret, messageLeafIndex: index } = claim;
+    await this.feeJuiceContract.methods
+      .claim(address, claim.claimAmount, secret, index)
+      .send({ from: this.adminAddress })
+      .wait();
+  }
+
+  /** Admin mints bananaCoin tokens privately to the target address and redeems them. */
+  async mintPrivateBananas(amount: bigint, address: AztecAddress) {
+    const balanceBefore = await this.bananaCoin.methods
+      .balance_of_private(address)
+      .simulate({ from: this.adminAddress });
+
+    await mintTokensToPrivate(this.bananaCoin, this.adminAddress, address, amount);
+
+    const balanceAfter = await this.bananaCoin.methods
+      .balance_of_private(address)
+      .simulate({ from: this.adminAddress });
+    expect(balanceAfter).toEqual(balanceBefore + amount);
+  }
+
+  createBenchmarkingAccountManager(wallet: TestWallet, type: 'ecdsar1' | 'schnorr') {
+    const benchysSecret = Fr.random();
+    const salt = Fr.random();
+
+    let benchysPrivateSigningKey;
+    if (type === 'schnorr') {
+      benchysPrivateSigningKey = deriveSigningKey(benchysSecret);
+      return wallet.createSchnorrAccount(benchysSecret, salt, benchysPrivateSigningKey);
+    } else if (type === 'ecdsar1') {
+      benchysPrivateSigningKey = randomBytes(32);
+      return wallet.createECDSARAccount(benchysSecret, salt, benchysPrivateSigningKey);
+    } else {
+      throw new Error(`Unknown account type: ${type}`);
+    }
+  }
+
+  public async applyBaseSnapshots() {
+    await this.applyInitialAccountsSnapshot();
+    await this.applySetupFeeJuiceSnapshot();
+  }
+
+  async applyInitialAccountsSnapshot() {
+    await this.snapshotManager.snapshot(
+      'initial_accounts',
+      deployAccounts(2, this.logger),
+      async (
+        { deployedAccounts: [{ address: adminAddress }, { address: sequencerAddress }] },
+        { wallet, aztecNode, cheatCodes },
+      ) => {
+        this.adminWallet = wallet;
+        this.aztecNode = aztecNode;
+        this.cheatCodes = cheatCodes;
+
+        this.adminAddress = adminAddress;
+        this.sequencerAddress = sequencerAddress;
+
+        const canonicalFeeJuice = await getCanonicalFeeJuice();
+        this.feeJuiceContract = FeeJuiceContract.at(canonicalFeeJuice.address, this.adminWallet);
+        this.coinbase = EthAddress.random();
+
+        const userPXEConfig = getPXEConfig();
+        const userPXEConfigWithContracts = {
+          ...userPXEConfig,
+          proverEnabled: this.realProofs,
+        } as PXEConfig;
+
+        this.userWallet = await TestWallet.create(this.aztecNode, userPXEConfigWithContracts, {
+          loggers: {
+            prover: this.proxyLogger.createLogger('pxe:bb:wasm:bundle:proxied'),
+          },
+        });
+      },
+    );
+  }
+
+  async applySetupFeeJuiceSnapshot() {
+    await this.snapshotManager.snapshot(
+      'setup_fee_juice',
+      async () => {},
+      async (_data, context) => {
+        this.context = context;
+
+        this.feeJuiceContract = FeeJuiceContract.at(ProtocolContractAddress.FeeJuice, this.adminWallet);
+
+        this.feeJuiceBridgeTestHarness = await FeeJuicePortalTestingHarnessFactory.create({
+          aztecNode: context.aztecNode,
+          aztecNodeAdmin: context.aztecNode,
+          l1Client: context.deployL1ContractsValues.l1Client,
+          wallet: this.adminWallet,
+          logger: this.logger,
+        });
+      },
+    );
+  }
+
+  async applyDeployBananaTokenSnapshot() {
+    await this.snapshotManager.snapshot(
+      'deploy_banana_token',
+      async () => {
+        const { contract: bananaCoin, instance: bananaCoinInstance } = await BananaCoin.deploy(
+          this.adminWallet,
+          this.adminAddress,
+          'BC',
+          'BC',
+          18n,
+        )
+          .send({ from: this.adminAddress })
+          .wait();
+        this.logger.info(`BananaCoin deployed at ${bananaCoin.address}`);
+        return { bananaCoinAddress: bananaCoin.address, bananaCoinInstance };
+      },
+      ({ bananaCoinAddress, bananaCoinInstance }) => {
+        this.bananaCoin = BananaCoin.at(bananaCoinAddress, this.adminWallet);
+        this.bananaCoinInstance = bananaCoinInstance;
+        return Promise.resolve();
+      },
+    );
+  }
+
+  async applyDeployCandyBarTokenSnapshot() {
+    await this.snapshotManager.snapshot(
+      'deploy_candy_bar_token',
+      async () => {
+        const { contract: candyBarCoin, instance: candyBarCoinInstance } = await TokenContract.deploy(
+          this.adminWallet,
+          this.adminAddress,
+          'CBC',
+          'CBC',
+          18n,
+        )
+          .send({ from: this.adminAddress })
+          .wait();
+        this.logger.info(`CandyBarCoin deployed at ${candyBarCoin.address}`);
+        return { candyBarCoinAddress: candyBarCoin.address, candyBarCoinInstance };
+      },
+      ({ candyBarCoinAddress, candyBarCoinInstance }) => {
+        this.candyBarCoin = TokenContract.at(candyBarCoinAddress, this.adminWallet);
+        this.candyBarCoinInstance = candyBarCoinInstance;
+        return Promise.resolve();
+      },
+    );
+  }
+
+  public async applyFPCSetupSnapshot() {
+    await this.snapshotManager.snapshot(
+      'fpc_setup',
+      async context => {
+        const feeJuiceContract = this.feeJuiceBridgeTestHarness.feeJuice;
+        expect((await context.wallet.getContractMetadata(feeJuiceContract.address)).isContractPublished).toBe(true);
+
+        const bananaCoin = this.bananaCoin;
+        const { contract: bananaFPC, instance: bananaFPCInstance } = await FPCContract.deploy(
+          this.adminWallet,
+          bananaCoin.address,
+          this.adminAddress,
+        )
+          .send({ from: this.adminAddress })
+          .wait();
+
+        this.logger.info(`BananaPay deployed at ${bananaFPC.address}`);
+
+        await this.feeJuiceBridgeTestHarness.bridgeFromL1ToL2(bananaFPC.address, this.adminAddress);
+
+        return { bananaFPCAddress: bananaFPC.address, bananaFPCInstance };
+      },
+      data => {
+        this.bananaFPC = FPCContract.at(data.bananaFPCAddress, this.adminWallet);
+        this.bananaFPCInstance = data.bananaFPCInstance;
+        return Promise.resolve();
+      },
+    );
+  }
+
+  async applyDeploySponsoredFPCSnapshot() {
+    await this.snapshotManager.snapshot(
+      'deploy_sponsored_fpc',
+      async () => {
+        const sponsoredFPCInstance = await setupSponsoredFPC(this.adminWallet);
+        this.logger.info(`SponsoredFPC at ${sponsoredFPCInstance.address}`);
+        return { sponsoredFPCAddress: sponsoredFPCInstance.address, sponsoredFPCInstance };
+      },
+      ({ sponsoredFPCAddress, sponsoredFPCInstance }) => {
+        this.sponsoredFPC = SponsoredFPCContract.at(sponsoredFPCAddress, this.adminWallet);
+        this.sponsoredFPCInstance = sponsoredFPCInstance;
+        return Promise.resolve();
+      },
+    );
+  }
+
+  public async createCrossChainTestHarness(owner: AztecAddress) {
+    const l1Client = createExtendedL1Client(this.context.aztecNodeConfig.l1RpcUrls, MNEMONIC);
+
+    const underlyingERC20Address = await deployL1Contract(l1Client, TestERC20Abi, TestERC20Bytecode, [
+      'Underlying',
+      'UND',
+      l1Client.account.address,
+    ]).then(({ address }) => address);
+
+    this.logger.verbose(`Setting up cross chain harness...`);
+    const crossChainTestHarness = await CrossChainTestHarness.new(
+      this.aztecNode,
+      l1Client,
+      this.adminWallet,
+      owner,
+      this.logger,
+      underlyingERC20Address,
+    );
+
+    this.logger.verbose(`L2 token deployed to: ${crossChainTestHarness.l2Token.address}`);
+
+    return crossChainTestHarness;
+  }
+
+  public async createAndFundBenchmarkingAccountOnUserWallet(accountType: AccountType) {
+    const benchysAccountManager = await this.createBenchmarkingAccountManager(this.adminWallet, accountType);
+    const benchysAccount = await benchysAccountManager.getAccount();
+    const benchysAddress = benchysAccountManager.address;
+    const claim = await this.feeJuiceBridgeTestHarness.prepareTokensOnL1(benchysAddress);
+    const behchysDeployMethod = await benchysAccountManager.getDeployMethod();
+    await behchysDeployMethod
+      .send({
+        from: AztecAddress.ZERO,
+        fee: { paymentMethod: new FeeJuicePaymentMethodWithClaim(benchysAddress, claim) },
+      })
+      .wait();
+    // Register benchy on the user's Wallet, where we're going to be interacting from
+    const accountManager = await this.userWallet.createAccount({
+      secret: benchysAccount.getSecretKey(),
+      salt: new Fr(benchysAccount.salt),
+      contract: benchysAccountManager.getAccountContract(),
+    });
+    return accountManager.address;
+  }
+
+  public async applyDeployAmmSnapshot() {
+    await this.snapshotManager.snapshot(
+      'deploy_amm',
+      async () => {
+        const { contract: liquidityToken, instance: liquidityTokenInstance } = await TokenContract.deploy(
+          this.adminWallet,
+          this.adminAddress,
+          'LPT',
+          'LPT',
+          18n,
+        )
+          .send({ from: this.adminAddress })
+          .wait();
+        const { contract: amm, instance: ammInstance } = await AMMContract.deploy(
+          this.adminWallet,
+          this.bananaCoin.address,
+          this.candyBarCoin.address,
+          liquidityToken.address,
+        )
+          .send({ from: this.adminAddress })
+          .wait();
+        this.logger.info(`AMM deployed at ${amm.address}`);
+        await liquidityToken.methods.set_minter(amm.address, true).send({ from: this.adminAddress }).wait();
+        return {
+          ammAddress: amm.address,
+          ammInstance,
+          liquidityTokenAddress: liquidityToken.address,
+          liquidityTokenInstance,
+        };
+      },
+      ({ ammAddress, ammInstance, liquidityTokenAddress, liquidityTokenInstance }) => {
+        this.liquidityToken = TokenContract.at(liquidityTokenAddress, this.adminWallet);
+        this.liquidityTokenInstance = liquidityTokenInstance;
+        this.amm = AMMContract.at(ammAddress, this.adminWallet);
+        this.ammInstance = ammInstance;
+        return Promise.resolve();
+      },
+    );
+  }
+
+  public async getBridgedFeeJuicePaymentMethodForWallet(_wallet: Wallet, sender: AztecAddress) {
+    const claim = await this.feeJuiceBridgeTestHarness.prepareTokensOnL1(sender);
+    return new FeeJuicePaymentMethodWithClaim(sender, claim);
+  }
+
+  public async getPrivateFPCPaymentMethodForWallet(wallet: Wallet, sender: AztecAddress) {
+    // The private fee paying method assembled on the app side requires knowledge of the maximum
+    // fee the user is willing to pay
+    const maxFeesPerGas = (await this.aztecNode.getCurrentBaseFees()).mul(1.5);
+    const gasSettings = GasSettings.default({ maxFeesPerGas });
+    return new PrivateFeePaymentMethod(this.bananaFPC.address, sender, wallet, gasSettings);
+  }
+
+  public getSponsoredFPCPaymentMethodForWallet(_wallet: Wallet, _sender: AztecAddress) {
+    return Promise.resolve(new SponsoredFeePaymentMethod(this.sponsoredFPC.address));
+  }
+}

package/src/bench/client_flows/config.ts

@@ -0,0 +1,61 @@
+import type { AccountType, BenchmarkingFeePaymentMethod } from './client_flows_benchmark.js';
+
+export type ClientFlowConfig = {
+  accounts: AccountType[];
+  feePaymentMethods: BenchmarkingFeePaymentMethod[];
+  recursions?: number[];
+};
+
+type ClientFlows = 'accountDeployments' | 'deployments' | 'transfers' | 'bridging' | 'amm';
+
+export type ClientFlowsConfig = {
+  [key in ClientFlows]: ClientFlowConfig;
+};
+
+export const KEY_FLOWS_CONFIG: ClientFlowsConfig = {
+  accountDeployments: {
+    accounts: ['ecdsar1', 'schnorr'],
+    feePaymentMethods: ['sponsored_fpc'],
+  },
+  deployments: {
+    accounts: ['ecdsar1', 'schnorr'],
+    feePaymentMethods: ['sponsored_fpc'],
+  },
+  amm: {
+    accounts: ['ecdsar1'],
+    feePaymentMethods: ['sponsored_fpc'],
+  },
+  bridging: {
+    accounts: ['ecdsar1'],
+    feePaymentMethods: ['sponsored_fpc'],
+  },
+  transfers: {
+    accounts: ['ecdsar1'],
+    feePaymentMethods: ['sponsored_fpc', 'private_fpc'],
+    recursions: [0, 1],
+  },
+};
+
+export const FULL_FLOWS_CONFIG: ClientFlowsConfig = {
+  accountDeployments: {
+    accounts: ['ecdsar1', 'schnorr'],
+    feePaymentMethods: ['bridged_fee_juice', 'sponsored_fpc'],
+  },
+  deployments: {
+    accounts: ['ecdsar1', 'schnorr'],
+    feePaymentMethods: ['bridged_fee_juice', 'sponsored_fpc'],
+  },
+  amm: {
+    accounts: ['ecdsar1', 'schnorr'],
+    feePaymentMethods: ['sponsored_fpc', 'private_fpc'],
+  },
+  bridging: {
+    accounts: ['ecdsar1', 'schnorr'],
+    feePaymentMethods: ['sponsored_fpc', 'private_fpc'],
+  },
+  transfers: {
+    accounts: ['ecdsar1', 'schnorr'],
+    feePaymentMethods: ['sponsored_fpc', 'private_fpc'],
+    recursions: [0, 1, 2],
+  },
+};

package/src/bench/client_flows/data_extractor.ts

@@ -0,0 +1,89 @@
+import { BBBundlePrivateKernelProver } from '@aztec/bb-prover/client/bundle';
+import { createLogger, logger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
+import { WASMSimulator } from '@aztec/simulator/client';
+import type { PrivateExecutionStep } from '@aztec/stdlib/kernel';
+import type { ProvingStats, ProvingTimings, SimulationStats } from '@aztec/stdlib/tx';
+
+import { Decoder } from 'msgpackr';
+import { readFile, readdir, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+
+import { type Log, ProxyLogger, generateBenchmark } from './benchmark.js';
+
+async function main() {
+  ProxyLogger.create();
+  const proxyLogger = ProxyLogger.getInstance();
+  const ivcFolder = process.env.CAPTURE_IVC_FOLDER;
+  if (!ivcFolder) {
+    throw new Error('CAPTURE_IVC_FOLDER is not set');
+  }
+  const flows = await readdir(ivcFolder);
+  logger.info(`Flows in ${ivcFolder}: \n${flows.map(flowName => `\t- ${flowName}`).join('\n')}`);
+  const simulator = new WASMSimulator();
+  const log = proxyLogger.createLogger('bb:prover');
+  const prover = new BBBundlePrivateKernelProver(simulator, log);
+
+  const userLog = createLogger('chonk_flows:data_processor');
+
+  for (const flow of flows) {
+    userLog.info(`Processing flow ${flow}`);
+    const ivcInputs = await readFile(join(ivcFolder, flow, 'ivc-inputs.msgpack'));
+    const stepsFromFile: PrivateExecutionStep[] = new Decoder({ useRecords: false }).unpack(ivcInputs);
+    const witnesses = await readFile(join(ivcFolder, flow, 'witnesses.json'));
+
+    const witnessStack = JSON.parse(witnesses.toString()).map((witnessMap: Record<string, string>) => {
+      return new Map<number, string>(Object.entries(witnessMap).map(([k, v]) => [Number(k), v]));
+    });
+    const profileFile = await readFile(join(ivcFolder, flow, 'profile.json'));
+    const profile = JSON.parse(profileFile.toString()) as {
+      stats: ProvingStats | SimulationStats;
+      steps: {
+        functionName: string;
+        gateCount: number;
+        timings: { witgen: number; gateCount: number };
+      }[];
+    };
+    const privateExecutionSteps: PrivateExecutionStep[] = profile.steps.map((step, i) => ({
+      functionName: step.functionName,
+      gateCount: step.gateCount,
+      bytecode: stepsFromFile[i].bytecode,
+      // TODO(AD) do we still want to take this from witness.json?
+      witness: witnessStack[i],
+      vk: stepsFromFile[i].vk,
+      timings: {
+        witgen: step.timings.witgen,
+        gateCount: step.timings.gateCount,
+      },
+    }));
+
+    let error: any;
+    let currentLogs: Log[] = [];
+    let provingTime;
+    try {
+      const provingTimer = new Timer();
+      await prover.createChonkProof(privateExecutionSteps);
+      provingTime = provingTimer.ms();
+    } catch (e) {
+      userLog.error(`Failed to generate chonk proof for ${flow}`, e);
+      error = (e as Error).message;
+    }
+    // Extract logs from this run from the proxy and write them to disk unconditionally
+    currentLogs = proxyLogger.getLogs();
+    await writeFile(join(ivcFolder, flow, 'logs.json'), JSON.stringify(currentLogs, null, 2));
+    if (!(profile.stats.timings as ProvingTimings).proving) {
+      (profile.stats.timings as ProvingTimings).proving = provingTime;
+    }
+    const benchmark = generateBenchmark(flow, currentLogs, profile.stats, privateExecutionSteps, 'native', error);
+    await writeFile(join(ivcFolder, flow, 'benchmark.json'), JSON.stringify(benchmark, null, 2));
+    proxyLogger.flushLogs();
+  }
+}
+
+try {
+  await main();
+} catch (e) {
+  // eslint-disable-next-line no-console
+  console.error(e);
+  process.exit(1);
+}