@aztec/bb-prover 0.0.1-fake-ceab37513c → 0.0.6-commit.a2d1860fe9

package/src/prover/client/wasm/bb_wasm_private_kernel_prover.ts

@@ -1,60 +0,0 @@
-import { AztecClientBackend } from '@aztec/bb.js';
-import { createLogger } from '@aztec/foundation/log';
-import { Timer } from '@aztec/foundation/timer';
-import { serializeWitness } from '@aztec/noir-noirc_abi';
-import type { ArtifactProvider } from '@aztec/noir-protocol-circuits-types/types';
-import type { CircuitSimulator } from '@aztec/simulator/client';
-import type { PrivateExecutionStep } from '@aztec/stdlib/kernel';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
-
-import { ungzip } from 'pako';
-
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-
-export abstract class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
-  constructor(
-    protected override artifactProvider: ArtifactProvider,
-    protected override simulator: CircuitSimulator,
-    private threads: number = 1,
-    protected override log = createLogger('bb-prover:wasm'),
-  ) {
-    super(artifactProvider, simulator, log);
-  }
-
-  public override async createClientIvcProof(executionSteps: PrivateExecutionStep[]): Promise<ClientIvcProof> {
-    const timer = new Timer();
-    this.log.info(`Generating ClientIVC proof...`);
-    const backend = new AztecClientBackend(
-      executionSteps.map(step => ungzip(step.bytecode)),
-      { threads: this.threads, logger: this.log.verbose, wasmPath: process.env.BB_WASM_PATH },
-    );
-
-    // TODO(https://github.com/AztecProtocol/barretenberg/issues/1297): the vk is not provided to the network anymore.
-    // Move this sanity check inside the wasm code and remove the vk from the return value.
-    const [proof, _vk] = await backend.prove(
-      executionSteps.map(step => ungzip(serializeWitness(step.witness))),
-      executionSteps.map(step => step.vk),
-    );
-    await backend.destroy();
-    this.log.info(`Generated ClientIVC proof`, {
-      eventName: 'client-ivc-proof-generation',
-      duration: timer.ms(),
-      proofSize: proof.length,
-    });
-    return new ClientIvcProof(Buffer.from(proof));
-  }
-
-  public override async computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
-    // Note we do not pass the vk to the backend. This is unneeded for gate counts.
-    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/prover/client/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 { CircuitSimulator } from '@aztec/simulator/client';
-
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-
-export class BBWASMBundlePrivateKernelProver extends BBWASMPrivateKernelProver {
-  constructor(simulator: CircuitSimulator, threads = 16, log = createLogger('bb-prover:wasm:bundle')) {
-    super(new BundleArtifactProvider(), simulator, threads, log);
-  }
-}

package/src/prover/client/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 { CircuitSimulator } from '@aztec/simulator/client';
-
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-
-export class BBWASMLazyPrivateKernelProver extends BBWASMPrivateKernelProver {
-  constructor(simulator: CircuitSimulator, threads = 16, log = createLogger('bb-prover:wasm:lazy')) {
-    super(new LazyArtifactProvider(), simulator, threads, log);
-  }
-}

package/src/stats.ts

@@ -1,47 +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 'PaddingBlockRootRollupArtifact':
-      return 'padding-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';
-    case 'HidingKernelToRollup':
-      return 'hiding-kernel-to-rollup';
-    case 'HidingKernelToPublic':
-      return 'hiding-kernel-to-public';
-    default: {
-      if (artifact.startsWith('PrivateKernelReset')) {
-        return 'private-kernel-reset';
-      }
-      throw new Error(`Unknown circuit type: ${artifact}`);
-    }
-  }
-}