@aztec/bb-prover 0.0.1-commit.24de95ac → 0.0.1-commit.2606882

package/dest/prover/client/native/bb_native_private_kernel_prover.js

@@ -1,66 +0,0 @@
-import { runInDirectory } from '@aztec/foundation/fs';
-import { createLogger } from '@aztec/foundation/log';
-import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
-import { serializePrivateExecutionSteps } from '@aztec/stdlib/kernel';
-import { promises as fs } from 'fs';
-import path from 'path';
-import { BB_RESULT, computeGateCountForCircuit, executeBbChonkProof } from '../../../bb/execute.js';
-import { readChonkProofFromOutputDirectory } from '../../proof_utils.js';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-/**
- * This proof creator implementation uses the native bb binary.
- */ export class BBNativePrivateKernelProver extends BBPrivateKernelProver {
-    bbBinaryPath;
-    bbWorkingDirectory;
-    skipCleanup;
-    simulator;
-    log;
-    constructor(bbBinaryPath, bbWorkingDirectory, skipCleanup, simulator, log = createLogger('bb-prover:native')){
-        super(new BundleArtifactProvider(), simulator, log), this.bbBinaryPath = bbBinaryPath, this.bbWorkingDirectory = bbWorkingDirectory, this.skipCleanup = skipCleanup, this.simulator = simulator, this.log = log;
-    }
-    static async new(config, simulator, log) {
-        await fs.mkdir(config.bbWorkingDirectory, {
-            recursive: true
-        });
-        return new BBNativePrivateKernelProver(config.bbBinaryPath, config.bbWorkingDirectory, !!config.bbSkipCleanup, simulator, log);
-    }
-    async _createChonkProof(directory, executionSteps) {
-        const inputsPath = path.join(directory, 'ivc-inputs.msgpack');
-        await fs.writeFile(inputsPath, serializePrivateExecutionSteps(executionSteps));
-        const provingResult = await executeBbChonkProof(this.bbBinaryPath, directory, inputsPath, this.log.info);
-        if (provingResult.status === BB_RESULT.FAILURE) {
-            this.log.error(`Failed to generate chonk proof`);
-            throw new Error(provingResult.reason);
-        }
-        const proof = await readChonkProofFromOutputDirectory(directory);
-        this.log.info(`Generated Chonk proof`, {
-            duration: provingResult.durationMs,
-            eventName: 'circuit-proving'
-        });
-        return proof;
-    }
-    async createChonkProof(executionSteps) {
-        this.log.info(`Generating Chonk proof`);
-        const operation = async (directory)=>{
-            return await this._createChonkProof(directory, executionSteps);
-        };
-        return await this.runInDirectory(operation);
-    }
-    async computeGateCountForCircuit(bytecode, circuitName) {
-        const logFunction = (message)=>{
-            this.log.debug(`$bb gates ${circuitName} - ${message}`);
-        };
-        const result = await computeGateCountForCircuit(this.bbBinaryPath, this.bbWorkingDirectory, circuitName, bytecode, 'mega_honk', logFunction);
-        if (result.status === BB_RESULT.FAILURE) {
-            throw new Error(result.reason);
-        }
-        return result.circuitSize;
-    }
-    runInDirectory(fn) {
-        const log = this.log;
-        return runInDirectory(this.bbWorkingDirectory, (dir)=>fn(dir).catch((err)=>{
-                log.error(`Error running operation at ${dir}: ${err}`);
-                throw err;
-            }), this.skipCleanup, this.log);
-    }
-}

package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.d.ts

@@ -1,15 +0,0 @@
-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 { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-export declare abstract class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
-    protected artifactProvider: ArtifactProvider;
-    protected simulator: CircuitSimulator;
-    private threads;
-    protected log: import("@aztec/foundation/log").Logger;
-    constructor(artifactProvider: ArtifactProvider, simulator: CircuitSimulator, threads?: number, log?: import("@aztec/foundation/log").Logger);
-    createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs>;
-    computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number>;
-}
-//# sourceMappingURL=bb_wasm_private_kernel_prover.d.ts.map

package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bb_wasm_private_kernel_prover.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/wasm/bb_wasm_private_kernel_prover.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAClF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAIlE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAEvE,8BAAsB,yBAA0B,SAAQ,qBAAqB;cAEtD,gBAAgB,EAAE,gBAAgB;cAClC,SAAS,EAAE,gBAAgB;IAC9C,OAAO,CAAC,OAAO;cACI,GAAG;gBAHH,gBAAgB,EAAE,gBAAgB,EAClC,SAAS,EAAE,gBAAgB,EACtC,OAAO,GAAE,MAAU,EACR,GAAG,yCAAiC;IAKnC,gBAAgB,CAAC,cAAc,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;IAqB7F,0BAA0B,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;CAa3G"}

package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.js

@@ -1,46 +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 { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
-import { ungzip } from 'pako';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-export class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
-    artifactProvider;
-    simulator;
-    threads;
-    log;
-    constructor(artifactProvider, simulator, threads = 1, log = createLogger('bb-prover:wasm')){
-        super(artifactProvider, simulator, log), this.artifactProvider = artifactProvider, this.simulator = simulator, this.threads = threads, this.log = log;
-    }
-    async createChonkProof(executionSteps) {
-        const timer = new Timer();
-        this.log.info(`Generating Chonk proof...`);
-        const backend = new AztecClientBackend(executionSteps.map((step)=>ungzip(step.bytecode)), {
-            threads: this.threads,
-            logger: this.log.verbose,
-            wasmPath: process.env.BB_WASM_PATH
-        });
-        const [proof] = await backend.prove(executionSteps.map((step)=>ungzip(serializeWitness(step.witness))), executionSteps.map((step)=>step.vk));
-        await backend.destroy();
-        this.log.info(`Generated Chonk proof`, {
-            eventName: 'chonk-proof-generation',
-            duration: timer.ms(),
-            proofSize: proof.length
-        });
-        return ChonkProofWithPublicInputs.fromBufferArray(proof);
-    }
-    async computeGateCountForCircuit(_bytecode, _circuitName) {
-        // 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/dest/prover/client/wasm/bundle.d.ts

@@ -1,6 +0,0 @@
-import type { CircuitSimulator } from '@aztec/simulator/client';
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-export declare class BBWASMBundlePrivateKernelProver extends BBWASMPrivateKernelProver {
-    constructor(simulator: CircuitSimulator, threads?: number, log?: import("@aztec/foundation/log").Logger);
-}
-//# sourceMappingURL=bundle.d.ts.map

package/dest/prover/client/wasm/bundle.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/wasm/bundle.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,qBAAa,+BAAgC,SAAQ,yBAAyB;gBAChE,SAAS,EAAE,gBAAgB,EAAE,OAAO,SAAK,EAAE,GAAG,yCAAwC;CAGnG"}

package/dest/prover/client/wasm/bundle.js

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

package/dest/prover/client/wasm/lazy.d.ts

@@ -1,6 +0,0 @@
-import type { CircuitSimulator } from '@aztec/simulator/client';
-import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
-export declare class BBWASMLazyPrivateKernelProver extends BBWASMPrivateKernelProver {
-    constructor(simulator: CircuitSimulator, threads?: number, log?: import("@aztec/foundation/log").Logger);
-}
-//# sourceMappingURL=lazy.d.ts.map

package/dest/prover/client/wasm/lazy.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/wasm/lazy.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,qBAAa,6BAA8B,SAAQ,yBAAyB;gBAC9D,SAAS,EAAE,gBAAgB,EAAE,OAAO,SAAK,EAAE,GAAG,yCAAsC;CAGjG"}

package/dest/prover/client/wasm/lazy.js

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