@aztec/bb-prover 3.0.0-nightly.20251115 → 3.0.0-nightly.20251118

package/dest/bb/execute.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"execute.d.ts","sourceRoot":"","sources":["../../src/bb/execute.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAMlF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,eAAO,MAAM,WAAW,OAAO,CAAC;AAChC,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AACtD,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AACpD,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AACxD,eAAO,MAAM,0BAA0B,0BAA0B,CAAC;AAElE,oBAAY,SAAS;IACnB,OAAO,IAAA;IACP,OAAO,IAAA;IACP,eAAe,IAAA;CAChB;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC;IACtD,UAAU,EAAE,MAAM,CAAC;IACnB,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,8BAA8B;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAE7C,KAAK,YAAY,GAAG;IAClB,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B,CAAC;AAEF;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CACvB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,EAAE,KAAK,EACb,WAAW,CAAC,EAAE,MAAM,EACpB,OAAO,CAAC,EAAE,MAAM,EAChB,YAAY,IAAI,MAAM,MAAM,cAAe,GAC1C,OAAO,CAAC,YAAY,CAAC,CAiDvB;AAED,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,KAAK,EACV,OAAO,UAAQ,GACd,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAoDhC;AAmBD;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CACjC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM,EACvB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,eAAe,EACvB,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAoEhC;AAED;;;;;;;;;GASG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,MAAM,EACd,gBAAgB,GAAE,OAAe,GAChC,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAiEhC;AAED;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAC/B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,EAC3B,eAAe,EAAE,eAAe,EAChC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAShC;AAED,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,sBAAsB,EACpC,mBAAmB,EAAE,MAAM,EAC3B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAmBhC;AAED;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,KAAK,EACV,WAAW,SAAI,GACd,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA4BhC;AAqED,wBAAsB,kCAAkC,CACtD,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA8ChC;AAED;;;;;;;;GAQG;AACH,wBAAsB,0BAA0B,CAC9C,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,eAAe,GAAG,WAAW,EACrC,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA0DhC"}
+{"version":3,"file":"execute.d.ts","sourceRoot":"","sources":["../../src/bb/execute.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAOlF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,eAAO,MAAM,WAAW,OAAO,CAAC;AAChC,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AACtD,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AACpD,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AACxD,eAAO,MAAM,0BAA0B,0BAA0B,CAAC;AAElE,oBAAY,SAAS;IACnB,OAAO,IAAA;IACP,OAAO,IAAA;IACP,eAAe,IAAA;CAChB;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC;IACtD,UAAU,EAAE,MAAM,CAAC;IACnB,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,8BAA8B;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAE7C,KAAK,YAAY,GAAG;IAClB,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B,CAAC;AAEF;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CACvB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,EAAE,KAAK,EACb,WAAW,CAAC,EAAE,MAAM,EACpB,OAAO,CAAC,EAAE,MAAM,EAChB,YAAY,IAAI,MAAM,MAAM,cAAe,GAC1C,OAAO,CAAC,YAAY,CAAC,CA6CvB;AAED,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,KAAK,EACV,OAAO,UAAQ,GACd,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAoDhC;AAmBD;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CACjC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM,EACvB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,eAAe,EACvB,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAoEhC;AAED;;;;;;;;;GASG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,MAAM,EACd,gBAAgB,GAAE,OAAe,GAChC,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAiEhC;AAED;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAC/B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,EAC3B,eAAe,EAAE,eAAe,EAChC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAShC;AAED,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,sBAAsB,EACpC,mBAAmB,EAAE,MAAM,EAC3B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAmBhC;AAED;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,KAAK,EACV,WAAW,SAAI,GACd,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA4BhC;AAqED,wBAAsB,kCAAkC,CACtD,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA8ChC;AAED;;;;;;;;GAQG;AACH,wBAAsB,0BAA0B,CAC9C,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,eAAe,GAAG,WAAW,EACrC,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA0DhC"}

package/dest/bb/execute.js

@@ -3,6 +3,7 @@ import { Timer } from '@aztec/foundation/timer';
 import * as proc from 'child_process';
 import { promises as fs } from 'fs';
 import { basename, dirname, join } from 'path';
+import readline from 'readline';
 export const VK_FILENAME = 'vk';
 export const PUBLIC_INPUTS_FILENAME = 'public_inputs';
 export const PROOF_FILENAME = 'proof';
@@ -41,6 +42,11 @@ export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
             command,
             ...args
         ], {
+            stdio: [
+                'ignore',
+                'pipe',
+                'pipe'
+            ],
             env
         });
         let timeoutId;
@@ -57,14 +63,12 @@ export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
                 });
             }, timeout);
         }
-        bb.stdout.on('data', (data)=>{
-            const message = data.toString('utf-8').replace(/\n$/, '');
-            logger(message);
-        });
-        bb.stderr.on('data', (data)=>{
-            const message = data.toString('utf-8').replace(/\n$/, '');
-            logger(message);
-        });
+        readline.createInterface({
+            input: bb.stdout
+        }).on('line', logger);
+        readline.createInterface({
+            input: bb.stderr
+        }).on('line', logger);
         bb.on('close', (exitCode, signal)=>{
             if (timeoutId) {
                 clearTimeout(timeoutId);

package/dest/prover/client/bb_private_kernel_prover.d.ts

@@ -3,7 +3,7 @@ import type { Abi, WitnessMap } from '@aztec/noir-types';
 import type { CircuitSimulator } from '@aztec/simulator/client';
 import type { PrivateKernelProver } from '@aztec/stdlib/interfaces/client';
 import type { HidingKernelToPublicPrivateInputs, HidingKernelToRollupPrivateInputs, PrivateExecutionStep, PrivateKernelCircuitPublicInputs, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelResetCircuitPrivateInputs, PrivateKernelSimulateOutput, PrivateKernelTailCircuitPrivateInputs, PrivateKernelTailCircuitPublicInputs } from '@aztec/stdlib/kernel';
-import type { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
+import { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
 export declare abstract class BBPrivateKernelProver implements PrivateKernelProver {
     protected artifactProvider: ArtifactProvider;
     protected simulator: CircuitSimulator;
@@ -26,7 +26,7 @@ export declare abstract class BBPrivateKernelProver implements PrivateKernelProv
         toBuffer: () => Buffer;
     }, O extends PrivateKernelCircuitPublicInputs | PrivateKernelTailCircuitPublicInputs>(inputs: I, circuitType: ClientProtocolArtifact, convertInputs: (inputs: I, abi: Abi) => WitnessMap, convertOutputs: (outputs: WitnessMap, abi: Abi) => O): Promise<PrivateKernelSimulateOutput<O>>;
     makeEmptyKernelSimulateOutput<PublicInputsType extends PrivateKernelTailCircuitPublicInputs | PrivateKernelCircuitPublicInputs>(publicInputs: PublicInputsType, circuitType: ClientProtocolArtifact): Promise<PrivateKernelSimulateOutput<PublicInputsType>>;
-    createChonkProof(_executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs>;
+    createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs>;
     computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number>;
 }
 //# sourceMappingURL=bb_private_kernel_prover.d.ts.map

package/dest/prover/client/bb_private_kernel_prover.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bb_private_kernel_prover.d.ts","sourceRoot":"","sources":["../../../src/prover/client/bb_private_kernel_prover.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAE5B,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,KAAK,EACV,iCAAiC,EACjC,iCAAiC,EACjC,oBAAoB,EACpB,gCAAgC,EAChC,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,2BAA2B,EAC3B,qCAAqC,EACrC,oCAAoC,EACrC,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAGvE,8BAAsB,qBAAsB,YAAW,mBAAmB;IAEtE,SAAS,CAAC,gBAAgB,EAAE,gBAAgB;IAC5C,SAAS,CAAC,SAAS,EAAE,gBAAgB;IACrC,SAAS,CAAC,GAAG;gBAFH,gBAAgB,EAAE,gBAAgB,EAClC,SAAS,EAAE,gBAAgB,EAC3B,GAAG,yCAA4B;IAG9B,kBAAkB,CAC7B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,YAAY,CACvB,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,mBAAmB,CAC9B,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,aAAa,CACxB,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,mBAAmB,CAC9B,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAW5D,aAAa,CACxB,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAY5D,kBAAkB,CAC7B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAiBhE,YAAY,CACvB,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAiBhE,4BAA4B,CACvC,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAShE,4BAA4B,CACvC,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAShE,qBAAqB,CAChC,CAAC,SAAS;QAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;KAAE,EACpC,CAAC,SAAS,gCAAgC,GAAG,oCAAoC,EAEjF,MAAM,EAAE,CAAC,EACT,WAAW,EAAE,sBAAsB,EACnC,aAAa,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,UAAU,EAClD,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GACnD,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC;IA4B7B,qBAAqB,CAChC,CAAC,SAAS;QAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;KAAE,EACpC,CAAC,SAAS,gCAAgC,GAAG,oCAAoC,EAEjF,MAAM,EAAE,CAAC,EACT,WAAW,EAAE,sBAAsB,EACnC,aAAa,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,UAAU,EAClD,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GACnD,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC;IA6B7B,6BAA6B,CACxC,gBAAgB,SAAS,oCAAoC,GAAG,gCAAgC,EAChG,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,sBAAsB;IAU9D,gBAAgB,CAAC,eAAe,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;IAI9F,0BAA0B,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;CAG5F"}
+{"version":3,"file":"bb_private_kernel_prover.d.ts","sourceRoot":"","sources":["../../../src/prover/client/bb_private_kernel_prover.ts"],"names":[],"mappings":"AAqBA,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAE5B,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,KAAK,EACV,iCAAiC,EACjC,iCAAiC,EACjC,oBAAoB,EACpB,gCAAgC,EAChC,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,2BAA2B,EAC3B,qCAAqC,EACrC,oCAAoC,EACrC,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAKlE,8BAAsB,qBAAsB,YAAW,mBAAmB;IAEtE,SAAS,CAAC,gBAAgB,EAAE,gBAAgB;IAC5C,SAAS,CAAC,SAAS,EAAE,gBAAgB;IACrC,SAAS,CAAC,GAAG;gBAFH,gBAAgB,EAAE,gBAAgB,EAClC,SAAS,EAAE,gBAAgB,EAC3B,GAAG,yCAA4B;IAG9B,kBAAkB,CAC7B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,YAAY,CACvB,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,mBAAmB,CAC9B,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,aAAa,CACxB,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAS5D,mBAAmB,CAC9B,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAW5D,aAAa,CACxB,MAAM,EAAE,sCAAsC,GAC7C,OAAO,CAAC,2BAA2B,CAAC,gCAAgC,CAAC,CAAC;IAY5D,kBAAkB,CAC7B,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAiBhE,YAAY,CACvB,MAAM,EAAE,qCAAqC,GAC5C,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAiBhE,4BAA4B,CACvC,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAShE,4BAA4B,CACvC,MAAM,EAAE,iCAAiC,GACxC,OAAO,CAAC,2BAA2B,CAAC,oCAAoC,CAAC,CAAC;IAShE,qBAAqB,CAChC,CAAC,SAAS;QAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;KAAE,EACpC,CAAC,SAAS,gCAAgC,GAAG,oCAAoC,EAEjF,MAAM,EAAE,CAAC,EACT,WAAW,EAAE,sBAAsB,EACnC,aAAa,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,UAAU,EAClD,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GACnD,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC;IA4B7B,qBAAqB,CAChC,CAAC,SAAS;QAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;KAAE,EACpC,CAAC,SAAS,gCAAgC,GAAG,oCAAoC,EAEjF,MAAM,EAAE,CAAC,EACT,WAAW,EAAE,sBAAsB,EACnC,aAAa,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,UAAU,EAClD,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GACnD,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC;IA6B7B,6BAA6B,CACxC,gBAAgB,SAAS,oCAAoC,GAAG,gCAAgC,EAChG,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,sBAAsB;IAUxD,gBAAgB,CAAC,cAAc,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;IAoB7F,0BAA0B,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;CAMlG"}

package/dest/prover/client/bb_private_kernel_prover.js

@@ -1,6 +1,11 @@
+import { AztecClientBackend, Barretenberg } from '@aztec/bb.js';
 import { createLogger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
+import { serializeWitness } from '@aztec/noir-noirc_abi';
 import { convertHidingKernelPublicInputsToWitnessMapWithAbi, convertHidingKernelToRollupInputsToWitnessMapWithAbi, convertPrivateKernelInitInputsToWitnessMapWithAbi, convertPrivateKernelInitOutputsFromWitnessMapWithAbi, convertPrivateKernelInnerInputsToWitnessMapWithAbi, convertPrivateKernelInnerOutputsFromWitnessMapWithAbi, convertPrivateKernelResetInputsToWitnessMapWithAbi, convertPrivateKernelResetOutputsFromWitnessMapWithAbi, convertPrivateKernelTailForPublicOutputsFromWitnessMapWithAbi, convertPrivateKernelTailInputsToWitnessMapWithAbi, convertPrivateKernelTailOutputsFromWitnessMapWithAbi, convertPrivateKernelTailToPublicInputsToWitnessMapWithAbi, foreignCallHandler, getPrivateKernelResetArtifactName, updateResetCircuitSampleInputs } from '@aztec/noir-protocol-circuits-types/client';
 import { mapProtocolArtifactNameToCircuitName } from '@aztec/noir-protocol-circuits-types/types';
+import { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
+import { ungzip } from 'pako';
 export class BBPrivateKernelProver {
     artifactProvider;
     simulator;
@@ -103,10 +108,24 @@ export class BBPrivateKernelProver {
         };
         return kernelProofOutput;
     }
-    createChonkProof(_executionSteps) {
-        throw new Error('Not implemented');
-    }
-    computeGateCountForCircuit(_bytecode, _circuitName) {
-        throw new Error('Not implemented');
+    async createChonkProof(executionSteps) {
+        const timer = new Timer();
+        this.log.info(`Generating ClientIVC proof...`);
+        const backend = new AztecClientBackend(executionSteps.map((step)=>ungzip(step.bytecode)), await Barretenberg.initSingleton());
+        const [proof] = await backend.prove(executionSteps.map((step)=>ungzip(serializeWitness(step.witness))), executionSteps.map((step)=>step.vk));
+        this.log.info(`Generated ClientIVC proof`, {
+            eventName: 'client-ivc-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)
+        ], await Barretenberg.initSingleton());
+        const gateCount = await backend.gates();
+        return gateCount[0];
     }
 }

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../../src/prover/client/bundle.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,qBAAa,2BAA4B,SAAQ,qBAAqB;gBACxD,SAAS,EAAE,gBAAgB,EAAE,GAAG,yCAAmC;CAGhF"}

package/dest/prover/client/bundle.js

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../../src/prover/client/lazy.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,qBAAa,yBAA0B,SAAQ,qBAAqB;gBACtD,SAAS,EAAE,gBAAgB,EAAE,GAAG,yCAAiC;CAG9E"}

package/dest/prover/client/lazy.js

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

package/package.json

@@ -1,12 +1,12 @@
 {
   "name": "@aztec/bb-prover",
-  "version": "3.0.0-nightly.20251115",
+  "version": "3.0.0-nightly.20251118",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
-    "./client/wasm/bundle": "./dest/prover/client/wasm/bundle.js",
-    "./client/wasm/lazy": "./dest/prover/client/wasm/lazy.js",
-    "./client/native": "./dest/prover/client/native/bb_native_private_kernel_prover.js",
+    "./client/bundle": "./dest/prover/client/bundle.js",
+    "./client/lazy": "./dest/prover/client/lazy.js",
+    "./client": "./dest/prover/client/bb_private_kernel_prover.js",
     "./verifier": "./dest/verifier/index.js",
     "./test": "./dest/test/index.js",
     "./config": "./dest/config.js"
@@ -69,27 +69,27 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "3.0.0-nightly.20251115",
-    "@aztec/constants": "3.0.0-nightly.20251115",
-    "@aztec/foundation": "3.0.0-nightly.20251115",
-    "@aztec/noir-noirc_abi": "3.0.0-nightly.20251115",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251115",
-    "@aztec/noir-types": "3.0.0-nightly.20251115",
-    "@aztec/simulator": "3.0.0-nightly.20251115",
-    "@aztec/stdlib": "3.0.0-nightly.20251115",
-    "@aztec/telemetry-client": "3.0.0-nightly.20251115",
-    "@aztec/world-state": "3.0.0-nightly.20251115",
+    "@aztec/bb.js": "3.0.0-nightly.20251118",
+    "@aztec/constants": "3.0.0-nightly.20251118",
+    "@aztec/foundation": "3.0.0-nightly.20251118",
+    "@aztec/noir-noirc_abi": "3.0.0-nightly.20251118",
+    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251118",
+    "@aztec/noir-types": "3.0.0-nightly.20251118",
+    "@aztec/simulator": "3.0.0-nightly.20251118",
+    "@aztec/stdlib": "3.0.0-nightly.20251118",
+    "@aztec/telemetry-client": "3.0.0-nightly.20251118",
+    "@aztec/world-state": "3.0.0-nightly.20251118",
     "commander": "^12.1.0",
     "pako": "^2.1.0",
     "source-map-support": "^0.5.21",
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/ethereum": "3.0.0-nightly.20251115",
-    "@aztec/kv-store": "3.0.0-nightly.20251115",
-    "@aztec/noir-contracts.js": "3.0.0-nightly.20251115",
-    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251115",
-    "@aztec/protocol-contracts": "3.0.0-nightly.20251115",
+    "@aztec/ethereum": "3.0.0-nightly.20251118",
+    "@aztec/kv-store": "3.0.0-nightly.20251118",
+    "@aztec/noir-contracts.js": "3.0.0-nightly.20251118",
+    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251118",
+    "@aztec/protocol-contracts": "3.0.0-nightly.20251118",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/node": "^22.15.17",

package/src/bb/execute.ts

@@ -6,6 +6,7 @@ import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm
 import * as proc from 'child_process';
 import { promises as fs } from 'fs';
 import { basename, dirname, join } from 'path';
+import readline from 'readline';
 
 import type { UltraHonkFlavor } from '../honk.js';
 
@@ -85,6 +86,7 @@ export function executeBB(
     logger(`BB concurrency: ${env.HARDWARE_CONCURRENCY}`);
     logger(`Executing BB with: ${pathToBB} ${command} ${args.join(' ')}`);
     const bb = proc.spawn(pathToBB, [command, ...args], {
+      stdio: ['ignore', 'pipe', 'pipe'],
       env,
     });
 
@@ -99,14 +101,9 @@ export function executeBB(
       }, timeout);
     }
 
-    bb.stdout.on('data', data => {
-      const message = data.toString('utf-8').replace(/\n$/, '');
-      logger(message);
-    });
-    bb.stderr.on('data', data => {
-      const message = data.toString('utf-8').replace(/\n$/, '');
-      logger(message);
-    });
+    readline.createInterface({ input: bb.stdout }).on('line', logger);
+    readline.createInterface({ input: bb.stderr }).on('line', logger);
+
     bb.on('close', (exitCode: number, signal?: string) => {
       if (timeoutId) {
         clearTimeout(timeoutId);

package/src/prover/client/bb_private_kernel_prover.ts

@@ -1,4 +1,7 @@
+import { AztecClientBackend, Barretenberg } from '@aztec/bb.js';
 import { createLogger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
+import { serializeWitness } from '@aztec/noir-noirc_abi';
 import {
   convertHidingKernelPublicInputsToWitnessMapWithAbi,
   convertHidingKernelToRollupInputsToWitnessMapWithAbi,
@@ -37,9 +40,11 @@ import type {
   PrivateKernelTailCircuitPublicInputs,
 } from '@aztec/stdlib/kernel';
 import type { NoirCompiledCircuitWithName } from '@aztec/stdlib/noir';
-import type { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
+import { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
 import type { CircuitSimulationStats, CircuitWitnessGenerationStats } from '@aztec/stdlib/stats';
 
+import { ungzip } from 'pako';
+
 export abstract class BBPrivateKernelProver implements PrivateKernelProver {
   constructor(
     protected artifactProvider: ArtifactProvider,
@@ -263,11 +268,30 @@ export abstract class BBPrivateKernelProver implements PrivateKernelProver {
     return kernelProofOutput;
   }
 
-  public createChonkProof(_executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs> {
-    throw new Error('Not implemented');
+  public async createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs> {
+    const timer = new Timer();
+    this.log.info(`Generating ClientIVC proof...`);
+    const backend = new AztecClientBackend(
+      executionSteps.map(step => ungzip(step.bytecode)),
+      await Barretenberg.initSingleton(),
+    );
+
+    const [proof] = await backend.prove(
+      executionSteps.map(step => ungzip(serializeWitness(step.witness))),
+      executionSteps.map(step => step.vk),
+    );
+    this.log.info(`Generated ClientIVC proof`, {
+      eventName: 'client-ivc-proof-generation',
+      duration: timer.ms(),
+      proofSize: proof.length,
+    });
+    return ChonkProofWithPublicInputs.fromBufferArray(proof);
   }
 
-  public computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
-    throw new Error('Not implemented');
+  public 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)], await Barretenberg.initSingleton());
+    const gateCount = await backend.gates();
+    return gateCount[0];
   }
 }

package/src/prover/client/bundle.ts

@@ -0,0 +1,11 @@
+import { createLogger } from '@aztec/foundation/log';
+import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
+import type { CircuitSimulator } from '@aztec/simulator/client';
+
+import { BBPrivateKernelProver } from './bb_private_kernel_prover.js';
+
+export class BBBundlePrivateKernelProver extends BBPrivateKernelProver {
+  constructor(simulator: CircuitSimulator, log = createLogger('bb-prover:bundle')) {
+    super(new BundleArtifactProvider(), simulator, log);
+  }
+}

package/src/prover/client/lazy.ts

@@ -0,0 +1,11 @@
+import { createLogger } from '@aztec/foundation/log';
+import { LazyArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/lazy';
+import type { CircuitSimulator } from '@aztec/simulator/client';
+
+import { BBPrivateKernelProver } from './bb_private_kernel_prover.js';
+
+export class BBLazyPrivateKernelProver extends BBPrivateKernelProver {
+  constructor(simulator: CircuitSimulator, log = createLogger('bb-prover:lazy')) {
+    super(new LazyArtifactProvider(), simulator, log);
+  }
+}

package/dest/prover/client/native/bb_native_private_kernel_prover.d.ts

@@ -1,23 +0,0 @@
-import { type Logger } from '@aztec/foundation/log';
-import type { CircuitSimulator } from '@aztec/simulator/server';
-import { type PrivateExecutionStep } from '@aztec/stdlib/kernel';
-import type { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
-import type { BBConfig } from '../../../config.js';
-import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
-/**
- * This proof creator implementation uses the native bb binary.
- */
-export declare class BBNativePrivateKernelProver extends BBPrivateKernelProver {
-    private bbBinaryPath;
-    private bbWorkingDirectory;
-    private skipCleanup;
-    protected simulator: CircuitSimulator;
-    protected log: Logger;
-    private constructor();
-    static new(config: BBConfig, simulator: CircuitSimulator, log?: Logger): Promise<BBNativePrivateKernelProver>;
-    private _createChonkProof;
-    createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs>;
-    computeGateCountForCircuit(bytecode: Buffer, circuitName: string): Promise<number>;
-    private runInDirectory;
-}
-//# sourceMappingURL=bb_native_private_kernel_prover.d.ts.map

package/dest/prover/client/native/bb_native_private_kernel_prover.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bb_native_private_kernel_prover.d.ts","sourceRoot":"","sources":["../../../../src/prover/client/native/bb_native_private_kernel_prover.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAElE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,KAAK,oBAAoB,EAAkC,MAAM,sBAAsB,CAAC;AACjG,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAMvE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAEvE;;GAEG;AACH,qBAAa,2BAA4B,SAAQ,qBAAqB;IAElE,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,WAAW;cACA,SAAS,EAAE,gBAAgB;cAC3B,GAAG;IALxB,OAAO;WAUa,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,MAAM;YAWrE,iBAAiB;IAuBT,gBAAgB,CAAC,cAAc,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;IAQ7F,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAoBxG,OAAO,CAAC,cAAc;CAavB"}

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);
-    }
-}

package/src/prover/client/native/bb_native_private_kernel_prover.ts

@@ -1,105 +0,0 @@
-import { runInDirectory } from '@aztec/foundation/fs';
-import { type Logger, createLogger } from '@aztec/foundation/log';
-import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
-import type { CircuitSimulator } from '@aztec/simulator/server';
-import { type PrivateExecutionStep, serializePrivateExecutionSteps } from '@aztec/stdlib/kernel';
-import type { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
-
-import { promises as fs } from 'fs';
-import path from 'path';
-
-import { BB_RESULT, computeGateCountForCircuit, executeBbChonkProof } from '../../../bb/execute.js';
-import type { BBConfig } from '../../../config.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 {
-  private constructor(
-    private bbBinaryPath: string,
-    private bbWorkingDirectory: string,
-    private skipCleanup: boolean,
-    protected override simulator: CircuitSimulator,
-    protected override log = createLogger('bb-prover:native'),
-  ) {
-    super(new BundleArtifactProvider(), simulator, log);
-  }
-
-  public static async new(config: BBConfig, simulator: CircuitSimulator, log?: Logger) {
-    await fs.mkdir(config.bbWorkingDirectory, { recursive: true });
-    return new BBNativePrivateKernelProver(
-      config.bbBinaryPath,
-      config.bbWorkingDirectory,
-      !!config.bbSkipCleanup,
-      simulator,
-      log,
-    );
-  }
-
-  private async _createChonkProof(
-    directory: string,
-    executionSteps: PrivateExecutionStep[],
-  ): Promise<ChonkProofWithPublicInputs> {
-    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;
-  }
-
-  public override async createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs> {
-    this.log.info(`Generating Chonk proof`);
-    const operation = async (directory: string) => {
-      return await this._createChonkProof(directory, executionSteps);
-    };
-    return await this.runInDirectory(operation);
-  }
-
-  public override async computeGateCountForCircuit(bytecode: Buffer, circuitName: string): Promise<number> {
-    const logFunction = (message: string) => {
-      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 as number;
-  }
-
-  private runInDirectory<T>(fn: (dir: string) => Promise<T>) {
-    const log = this.log;
-    return runInDirectory(
-      this.bbWorkingDirectory,
-      (dir: string) =>
-        fn(dir).catch(err => {
-          log.error(`Error running operation at ${dir}: ${err}`);
-          throw err;
-        }),
-      this.skipCleanup,
-      this.log,
-    );
-  }
-}

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

@@ -1,58 +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 { ChonkProofWithPublicInputs } 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 createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs> {
-    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);
-  }
-
-  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);
-  }
-}