@aztec/bb-prover 0.0.0-test.1 → 0.0.1-commit.21caa21

package/src/prover/client_ivc_proof_utils.ts

@@ -1,42 +0,0 @@
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
-
-import { promises as fs } from 'fs';
-import { join } from 'path';
-
-export const CLIENT_IVC_VK_FILE_NAME = 'vk';
-export const CLIENT_IVC_PROOF_FILE_NAME = 'proof';
-
-/**
- * TODO(#7371): eventually remove client_ivc_prove_output_all_msgpack and properly handle these accumulators and VKs
- * Create a ClientIvcProof from the result of client_ivc_prove_output_all or client_ivc_prove_output_all_msgpack
- * @param directory the directory of results
- * @returns the encapsulated client ivc proof
- */
-export async function readFromOutputDirectory(directory: string) {
-  const [clientIvcVkBuffer, clientIvcProofBuffer] = await Promise.all(
-    [CLIENT_IVC_VK_FILE_NAME, CLIENT_IVC_PROOF_FILE_NAME].map(fileName => fs.readFile(join(directory, fileName))),
-  );
-  return new ClientIvcProof(clientIvcProofBuffer, clientIvcVkBuffer);
-}
-
-/**
- * TODO(#7371): eventually remove client_ivc_prove_output_all_msgpack and properly handle these accumulators and VKs
- * Serialize a ClientIvcProof to the files expected by prove_tube
- *
- * Example usage:
- *  await runInDirectory(bbWorkingDirectory, async (dir: string) => {
- *    await privateTx.clientIvcProof!.writeToOutputDirectory(bbWorkingDirectory);
- *    const result = await generateTubeProof(bbPath, dir, logger.info)
- *    expect(result.status).toBe(BB_RESULT.SUCCESS)
- *  });
- * @param proof the ClientIvcProof from readFromOutputDirectory
- * @param directory the directory of results
- */
-export async function writeToOutputDirectory(clientIvcProof: ClientIvcProof, directory: string) {
-  const { clientIvcProofBuffer, clientIvcVkBuffer } = clientIvcProof;
-  const fileData = [
-    [CLIENT_IVC_PROOF_FILE_NAME, clientIvcProofBuffer],
-    [CLIENT_IVC_VK_FILE_NAME, clientIvcVkBuffer],
-  ] as const;
-  await Promise.all(fileData.map(([fileName, buffer]) => fs.writeFile(join(directory, fileName), buffer)));
-}

package/src/stats.ts

@@ -1,64 +0,0 @@
-import type { ProtocolArtifact } from '@aztec/noir-protocol-circuits-types/types';
-import type { CircuitName } from '@aztec/stdlib/stats';
-
-export function mapProtocolArtifactNameToCircuitName(artifact: ProtocolArtifact): CircuitName {
-  switch (artifact) {
-    case 'BaseParityArtifact':
-      return 'base-parity';
-    case 'RootParityArtifact':
-      return 'root-parity';
-    case 'PrivateBaseRollupArtifact':
-      return 'private-base-rollup';
-    case 'PublicBaseRollupArtifact':
-      return 'public-base-rollup';
-    case 'MergeRollupArtifact':
-      return 'merge-rollup';
-    case 'BlockRootRollupArtifact':
-      return 'block-root-rollup';
-    case 'SingleTxBlockRootRollupArtifact':
-      return 'single-tx-block-root-rollup';
-    case 'EmptyBlockRootRollupArtifact':
-      return 'empty-block-root-rollup';
-    case 'BlockMergeRollupArtifact':
-      return 'block-merge-rollup';
-    case 'RootRollupArtifact':
-      return 'root-rollup';
-    case 'PrivateKernelInitArtifact':
-      return 'private-kernel-init';
-    case 'PrivateKernelInnerArtifact':
-      return 'private-kernel-inner';
-    case 'PrivateKernelTailArtifact':
-      return 'private-kernel-tail';
-    case 'PrivateKernelTailToPublicArtifact':
-      return 'private-kernel-tail-to-public';
-    default: {
-      if (artifact.startsWith('PrivateKernelReset')) {
-        return 'private-kernel-reset';
-      }
-      throw new Error(`Unknown circuit type: ${artifact}`);
-    }
-  }
-}
-
-export function isProtocolArtifactRecursive(artifact: ProtocolArtifact): boolean {
-  switch (artifact) {
-    case 'BaseParityArtifact':
-    case 'RootParityArtifact':
-    case 'PrivateBaseRollupArtifact':
-    case 'PublicBaseRollupArtifact':
-    case 'MergeRollupArtifact':
-    case 'BlockRootRollupArtifact':
-    case 'SingleTxBlockRootRollupArtifact':
-    case 'EmptyBlockRootRollupArtifact':
-    case 'BlockMergeRollupArtifact':
-    case 'RootRollupArtifact':
-      return true;
-    default: {
-      if (artifact.startsWith('PrivateKernel')) {
-        // The kernel prover, where these are used, eventually calls `createClientIvcProof`, which is recursive.
-        return true;
-      }
-      throw new Error(`Unknown circuit type: ${artifact}`);
-    }
-  }
-}

package/src/wasm/bb_wasm_private_kernel_prover.ts

@@ -1,55 +0,0 @@
-import { AztecClientBackend } from '@aztec/bb.js';
-import { createLogger } from '@aztec/foundation/log';
-import { Timer } from '@aztec/foundation/timer';
-import type { ArtifactProvider } from '@aztec/noir-protocol-circuits-types/types';
-import type { SimulationProvider } from '@aztec/simulator/client';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
-
-import { serializeWitness } from '@noir-lang/noirc_abi';
-import type { WitnessMap } from '@noir-lang/types';
-import { ungzip } from 'pako';
-
-import { BBPrivateKernelProver } from '../prover/bb_private_kernel_prover.js';
-
-export abstract class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
-  constructor(
-    protected override artifactProvider: ArtifactProvider,
-    protected override simulationProvider: SimulationProvider,
-    private threads: number = 1,
-    protected override log = createLogger('bb-prover:wasm'),
-  ) {
-    super(artifactProvider, simulationProvider, log);
-  }
-
-  public override async createClientIvcProof(acirs: Buffer[], witnessStack: WitnessMap[]): Promise<ClientIvcProof> {
-    const timer = new Timer();
-    this.log.info(`Generating ClientIVC proof...`);
-    const backend = new AztecClientBackend(
-      acirs.map(acir => ungzip(acir)),
-      { threads: this.threads, logger: this.log.verbose, wasmPath: process.env.BB_WASM_PATH },
-    );
-
-    const [proof, vk] = await backend.prove(witnessStack.map(witnessMap => ungzip(serializeWitness(witnessMap))));
-    await backend.destroy();
-    this.log.info(`Generated ClientIVC proof`, {
-      eventName: 'client-ivc-proof-generation',
-      duration: timer.ms(),
-      proofSize: proof.length,
-      vkSize: vk.length,
-    });
-    return new ClientIvcProof(Buffer.from(proof), Buffer.from(vk));
-  }
-
-  public override async computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
-    const backend = new AztecClientBackend([ungzip(_bytecode)], {
-      threads: this.threads,
-      logger: this.log.verbose,
-      wasmPath: process.env.BB_WASM_PATH,
-    });
-
-    const gateCount = await backend.gates();
-    await backend.destroy();
-
-    return gateCount[0];
-  }
-}

package/src/wasm/bundle.ts

@@ -1,11 +0,0 @@
-import { createLogger } from '@aztec/foundation/log';
-import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
-import type { SimulationProvider } from '@aztec/simulator/client';
-
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-
-export class BBWASMBundlePrivateKernelProver extends BBWASMPrivateKernelProver {
-  constructor(simulationProvider: SimulationProvider, threads = 1, log = createLogger('bb-prover:wasm:bundle')) {
-    super(new BundleArtifactProvider(), simulationProvider, threads, log);
-  }
-}

package/src/wasm/lazy.ts

@@ -1,11 +0,0 @@
-import { createLogger } from '@aztec/foundation/log';
-import { LazyArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/lazy';
-import type { SimulationProvider } from '@aztec/simulator/client';
-
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-
-export class BBWASMLazyPrivateKernelProver extends BBWASMPrivateKernelProver {
-  constructor(simulationProvider: SimulationProvider, threads = 1, log = createLogger('bb-prover:wasm:lazy')) {
-    super(new LazyArtifactProvider(), simulationProvider, threads, log);
-  }
-}