@aztec/bb-prover 0.0.0-test.0 → 0.0.1-commit.24de95ac

package/dest/bb/execute.js

@@ -3,15 +3,12 @@ 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 { CLIENT_IVC_PROOF_FILE_NAME, CLIENT_IVC_VK_FILE_NAME } from '../prover/client_ivc_proof_utils.js';
 export const VK_FILENAME = 'vk';
-export const VK_FIELDS_FILENAME = 'vk_fields.json';
+export const PUBLIC_INPUTS_FILENAME = 'public_inputs';
 export const PROOF_FILENAME = 'proof';
-export const PROOF_FIELDS_FILENAME = 'proof_fields.json';
 export const AVM_INPUTS_FILENAME = 'avm_inputs.bin';
 export const AVM_BYTECODE_FILENAME = 'avm_bytecode.bin';
 export const AVM_PUBLIC_INPUTS_FILENAME = 'avm_public_inputs.bin';
-export const AVM_HINTS_FILENAME = 'avm_hints.bin';
 export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
     BB_RESULT[BB_RESULT["SUCCESS"] = 0] = "SUCCESS";
     BB_RESULT[BB_RESULT["FAILURE"] = 1] = "FAILURE";
@@ -24,13 +21,21 @@ export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
  * @param command - The command to execute
  * @param args - The arguments to pass
  * @param logger - A log function
+ * @param timeout - An optional timeout before killing the BB process
  * @param resultParser - An optional handler for detecting success or failure
  * @returns The completed partial witness outputted from the circuit
- */ export function executeBB(pathToBB, command, args, logger, resultParser = (code)=>code === 0) {
+ */ export function executeBB(pathToBB, command, args, logger, concurrency, timeout, resultParser = (code)=>code === 0) {
     return new Promise((resolve)=>{
         // spawn the bb process
         const { HARDWARE_CONCURRENCY: _, ...envWithoutConcurrency } = process.env;
-        const env = process.env.HARDWARE_CONCURRENCY ? process.env : envWithoutConcurrency;
+        const env = envWithoutConcurrency;
+        // We prioritise the concurrency argument if provided and > 0
+        if (concurrency && concurrency > 0) {
+            env.HARDWARE_CONCURRENCY = concurrency.toString();
+        } else if (process.env.HARDWARE_CONCURRENCY) {
+            env.HARDWARE_CONCURRENCY = process.env.HARDWARE_CONCURRENCY;
+        }
+        logger(`BB concurrency: ${env.HARDWARE_CONCURRENCY}`);
         logger(`Executing BB with: ${pathToBB} ${command} ${args.join(' ')}`);
         const bb = proc.spawn(pathToBB, [
             command,
@@ -38,6 +43,20 @@ export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
         ], {
             env
         });
+        let timeoutId;
+        if (timeout !== undefined) {
+            timeoutId = setTimeout(()=>{
+                logger(`BB execution timed out after ${timeout}ms, killing process`);
+                if (bb.pid) {
+                    bb.kill('SIGKILL');
+                }
+                resolve({
+                    status: 1,
+                    exitCode: -1,
+                    signal: 'TIMEOUT'
+                });
+            }, timeout);
+        }
         bb.stdout.on('data', (data)=>{
             const message = data.toString('utf-8').replace(/\n$/, '');
             logger(message);
@@ -47,6 +66,9 @@ export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
             logger(message);
         });
         bb.on('close', (exitCode, signal)=>{
+            if (timeoutId) {
+                clearTimeout(timeoutId);
+            }
             if (resultParser(exitCode)) {
                 resolve({
                     status: 0,
@@ -67,12 +89,11 @@ export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
             signal: undefined
         }));
 }
-// TODO(#7369) comment this etc (really just take inspiration from this and rewrite it all O:))
-export async function executeBbClientIvcProof(pathToBB, workingDirectory, bytecodeStackPath, witnessStackPath, log) {
+export async function executeBbChonkProof(pathToBB, workingDirectory, inputsPath, log, writeVk = false) {
     // Check that the working directory exists
     try {
         await fs.access(workingDirectory);
-    } catch (error) {
+    } catch  {
         return {
             status: 1,
             reason: `Working directory ${workingDirectory} does not exist`
@@ -89,26 +110,23 @@ export async function executeBbClientIvcProof(pathToBB, workingDirectory, byteco
     }
     try {
         // Write the bytecode to the working directory
-        log(`bytecodePath ${bytecodeStackPath}`);
-        log(`outputPath ${outputPath}`);
+        log(`inputsPath ${inputsPath}`);
+        const timer = new Timer();
+        const logFunction = (message)=>{
+            log(`bb - ${message}`);
+        };
         const args = [
             '-o',
             outputPath,
-            '-b',
-            bytecodeStackPath,
-            '-w',
-            witnessStackPath,
+            '--ivc_inputs_path',
+            inputsPath,
             '-v',
             '--scheme',
-            'client_ivc',
-            '--input_type',
-            'runtime_stack',
-            '--write_vk'
+            'chonk'
         ];
-        const timer = new Timer();
-        const logFunction = (message)=>{
-            log(`bb - ${message}`);
-        };
+        if (writeVk) {
+            args.push('--write_vk');
+        }
         const result = await executeBB(pathToBB, 'prove', args, logFunction);
         const durationMs = timer.ms();
         if (result.status == 0) {
@@ -117,7 +135,7 @@ export async function executeBbClientIvcProof(pathToBB, workingDirectory, byteco
                 durationMs,
                 proofPath: `${outputPath}`,
                 pkPath: undefined,
-                vkPath: `${outputPath}`
+                vkDirectoryPath: `${outputPath}`
             };
         }
         // Not a great error message here but it is difficult to decipher what comes from bb
@@ -153,6 +171,15 @@ function getArgs(flavor) {
                     'keccak'
                 ];
             }
+        case 'ultra_starknet_honk':
+            {
+                return [
+                    '--scheme',
+                    'ultra_honk',
+                    '--oracle_hash',
+                    'starknet'
+                ];
+            }
         case 'ultra_rollup_honk':
             {
                 return [
@@ -175,18 +202,19 @@ function getArgs(flavor) {
  * @param inputWitnessFile - The circuit input witness
  * @param log - A logging function
  * @returns An object containing a result indication, the location of the proof and the duration taken
- */ export async function generateProof(pathToBB, workingDirectory, circuitName, bytecode, recursive, inputWitnessFile, flavor, log) {
+ */ export async function generateProof(pathToBB, workingDirectory, circuitName, bytecode, verificationKey, inputWitnessFile, flavor, log) {
     // Check that the working directory exists
     try {
         await fs.access(workingDirectory);
-    } catch (error) {
+    } catch  {
         return {
             status: 1,
             reason: `Working directory ${workingDirectory} does not exist`
         };
     }
-    // The bytecode is written to e.g. /workingDirectory/BaseParityArtifact-bytecode
+    // The bytecode is written to e.g. /workingDirectory/ParityBaseArtifact-bytecode
     const bytecodePath = `${workingDirectory}/${circuitName}-bytecode`;
+    const vkPath = `${workingDirectory}/${circuitName}-vk`;
     // The proof is written to e.g. /workingDirectory/ultra_honk/proof
     const outputPath = `${workingDirectory}`;
     const binaryPresent = await fs.access(pathToBB, fs.constants.R_OK).then((_)=>true).catch((_)=>false);
@@ -197,26 +225,30 @@ function getArgs(flavor) {
         };
     }
     try {
-        // Write the bytecode to the working directory
-        await fs.writeFile(bytecodePath, bytecode);
+        // Write the bytecode and vk to the working directory
+        await Promise.all([
+            fs.writeFile(bytecodePath, bytecode),
+            fs.writeFile(vkPath, verificationKey)
+        ]);
         const args = getArgs(flavor).concat([
-            '--output_format',
-            'bytes_and_fields',
-            '--write_vk',
+            '--disable_zk',
             '-o',
             outputPath,
             '-b',
             bytecodePath,
+            '-k',
+            vkPath,
             '-w',
             inputWitnessFile,
             '-v'
         ]);
-        if (recursive) {
-            args.push('--init_kzg_accumulator');
+        const loggingArg = log.level === 'debug' || log.level === 'trace' ? '-d' : log.level === 'verbose' ? '-v' : '';
+        if (loggingArg !== '') {
+            args.push(loggingArg);
         }
         const timer = new Timer();
         const logFunction = (message)=>{
-            log(`${circuitName} BB out - ${message}`);
+            log.info(`${circuitName} BB out - ${message}`);
         };
         const result = await executeBB(pathToBB, `prove`, args, logFunction);
         const duration = timer.ms();
@@ -226,80 +258,7 @@ function getArgs(flavor) {
                 durationMs: duration,
                 proofPath: `${outputPath}`,
                 pkPath: undefined,
-                vkPath: `${outputPath}`
-            };
-        }
-        // Not a great error message here but it is difficult to decipher what comes from bb
-        return {
-            status: 1,
-            reason: `Failed to generate proof. Exit code ${result.exitCode}. Signal ${result.signal}.`,
-            retry: !!result.signal
-        };
-    } catch (error) {
-        return {
-            status: 1,
-            reason: `${error}`
-        };
-    }
-}
-/**
- * Used for generating proofs of the tube circuit
- * It is assumed that the working directory is a temporary and/or random directory used solely for generating this proof.
- * @param pathToBB - The full path to the bb binary
- * @param workingDirectory - A working directory for use by bb
- * @param circuitName - An identifier for the circuit
- * @param bytecode - The compiled circuit bytecode
- * @param inputWitnessFile - The circuit input witness
- * @param log - A logging function
- * @returns An object containing a result indication, the location of the proof and the duration taken
- */ export async function generateTubeProof(pathToBB, workingDirectory, log) {
-    // Check that the working directory exists
-    try {
-        await fs.access(workingDirectory);
-    } catch (error) {
-        return {
-            status: 1,
-            reason: `Working directory ${workingDirectory} does not exist`
-        };
-    }
-    // // Paths for the inputs
-    const vkPath = join(workingDirectory, CLIENT_IVC_VK_FILE_NAME);
-    const proofPath = join(workingDirectory, CLIENT_IVC_PROOF_FILE_NAME);
-    // The proof is written to e.g. /workingDirectory/proof
-    const outputPath = workingDirectory;
-    const filePresent = async (file)=>await fs.access(file, fs.constants.R_OK).then((_)=>true).catch((_)=>false);
-    const binaryPresent = await filePresent(pathToBB);
-    if (!binaryPresent) {
-        return {
-            status: 1,
-            reason: `Failed to find bb binary at ${pathToBB}`
-        };
-    }
-    try {
-        if (!await filePresent(vkPath) || !await filePresent(proofPath)) {
-            return {
-                status: 1,
-                reason: `Client IVC input files not present in  ${workingDirectory}`
-            };
-        }
-        const args = [
-            '-o',
-            outputPath,
-            '-v'
-        ];
-        const timer = new Timer();
-        const logFunction = (message)=>{
-            log(`TubeCircuit (prove) BB out - ${message}`);
-        };
-        const result = await executeBB(pathToBB, 'prove_tube', args, logFunction);
-        const durationMs = timer.ms();
-        if (result.status == 0) {
-            return {
-                status: 0,
-                durationMs,
-                proofPath: outputPath,
-                pkPath: undefined,
-                vkPath: outputPath
+                vkDirectoryPath: `${outputPath}`
             };
         }
         // Not a great error message here but it is difficult to decipher what comes from bb
@@ -321,13 +280,14 @@ function getArgs(flavor) {
  * @param pathToBB - The full path to the bb binary
  * @param workingDirectory - A working directory for use by bb
  * @param input - The inputs for the public function to be proven
- * @param log - A logging function
+ * @param logger - A logging function
+ * @param checkCircuitOnly - A boolean to toggle a "check-circuit only" operation instead of proving.
  * @returns An object containing a result indication, the location of the proof and the duration taken
- */ export async function generateAvmProofV2(pathToBB, workingDirectory, input, logger) {
+ */ export async function generateAvmProof(pathToBB, workingDirectory, input, logger, checkCircuitOnly = false) {
     // Check that the working directory exists
     try {
         await fs.access(workingDirectory);
-    } catch (error) {
+    } catch  {
         return {
             status: 1,
             reason: `Working directory ${workingDirectory} does not exist`
@@ -354,7 +314,10 @@ function getArgs(flavor) {
                 reason: `Could not write avm inputs to ${avmInputsPath}`
             };
         }
-        const args = [
+        const args = checkCircuitOnly ? [
+            '--avm-inputs',
+            avmInputsPath
+        ] : [
             '--avm-inputs',
             avmInputsPath,
             '-o',
@@ -365,93 +328,11 @@ function getArgs(flavor) {
             args.push(loggingArg);
         }
         const timer = new Timer();
-        const logFunction = (message)=>{
-            logger.verbose(`AvmCircuit (prove) BB out - ${message}`);
-        };
-        const result = await executeBB(pathToBB, 'avm2_prove', args, logFunction);
-        const duration = timer.ms();
-        if (result.status == 0) {
-            return {
-                status: 0,
-                durationMs: duration,
-                proofPath: join(outputPath, PROOF_FILENAME),
-                pkPath: undefined,
-                vkPath: outputPath
-            };
-        }
-        // Not a great error message here but it is difficult to decipher what comes from bb
-        return {
-            status: 1,
-            reason: `Failed to generate proof. Exit code ${result.exitCode}. Signal ${result.signal}.`,
-            retry: !!result.signal
-        };
-    } catch (error) {
-        return {
-            status: 1,
-            reason: `${error}`
-        };
-    }
-}
-/**
- * Used for generating AVM proofs (or doing check-circuit).
- * It is assumed that the working directory is a temporary and/or random directory used solely for generating this proof.
- * @param pathToBB - The full path to the bb binary
- * @param workingDirectory - A working directory for use by bb
- * @param bytecode - The AVM bytecode for the public function to be proven (expected to be decompressed)
- * @param log - A logging function
- * @returns An object containing a result indication, the location of the proof and the duration taken
- */ export async function generateAvmProof(pathToBB, workingDirectory, _input, logger, checkCircuitOnly = false) {
-    // Check that the working directory exists
-    try {
-        await fs.access(workingDirectory);
-    } catch (error) {
-        return {
-            status: 1,
-            reason: `Working directory ${workingDirectory} does not exist`
-        };
-    }
-    // Paths for the inputs
-    const publicInputsPath = join(workingDirectory, AVM_PUBLIC_INPUTS_FILENAME);
-    const avmHintsPath = join(workingDirectory, AVM_HINTS_FILENAME);
-    // The proof is written to e.g. /workingDirectory/proof
-    const outputPath = workingDirectory;
-    const filePresent = async (file)=>await fs.access(file, fs.constants.R_OK).then((_)=>true).catch((_)=>false);
-    const binaryPresent = await filePresent(pathToBB);
-    if (!binaryPresent) {
-        return {
-            status: 1,
-            reason: `Failed to find bb binary at ${pathToBB}`
-        };
-    }
-    try {
-        // Write the inputs to the working directory.
-        // WARNING: Not writing the inputs since VM1 is disabled!
-        // await fs.writeFile(publicInputsPath, input.publicInputs.toBuffer());
-        // if (!(await filePresent(publicInputsPath))) {
-        //   return { status: BB_RESULT.FAILURE, reason: `Could not write publicInputs at ${publicInputsPath}` };
-        // }
-        // await fs.writeFile(avmHintsPath, input.avmHints.toBuffer());
-        // if (!(await filePresent(avmHintsPath))) {
-        //   return { status: BB_RESULT.FAILURE, reason: `Could not write avmHints at ${avmHintsPath}` };
-        // }
-        const args = [
-            '--avm-public-inputs',
-            publicInputsPath,
-            '--avm-hints',
-            avmHintsPath,
-            '-o',
-            outputPath
-        ];
-        const loggingArg = logger.level === 'debug' || logger.level === 'trace' ? '-d' : logger.level === 'verbose' ? '-v' : '';
-        if (loggingArg !== '') {
-            args.push(loggingArg);
-        }
-        const timer = new Timer();
-        const cmd = checkCircuitOnly ? 'check_circuit' : 'prove';
+        const cmd = checkCircuitOnly ? 'avm_check_circuit' : 'avm_prove';
         const logFunction = (message)=>{
             logger.verbose(`AvmCircuit (${cmd}) BB out - ${message}`);
         };
-        const result = await executeBB(pathToBB, `avm_${cmd}`, args, logFunction);
+        const result = await executeBB(pathToBB, cmd, args, logFunction);
         const duration = timer.ms();
         if (result.status == 0) {
             return {
@@ -459,14 +340,14 @@ function getArgs(flavor) {
                 durationMs: duration,
                 proofPath: join(outputPath, PROOF_FILENAME),
                 pkPath: undefined,
-                vkPath: outputPath
+                vkDirectoryPath: outputPath
             };
         }
         // Not a great error message here but it is difficult to decipher what comes from bb
         return {
             status: 1,
-            reason: `Failed to generate proof. Exit code ${result.exitCode}. Signal ${result.signal}.`,
-            retry: !!result.signal
+            reason: `Failed to generate proof. AVM proof for TX hash ${input.hints.tx.hash}. Exit code ${result.exitCode}. Signal ${result.signal}.`,
+            retry: result.signal === 'SIGKILL'
         };
     } catch (error) {
         return {
@@ -485,17 +366,7 @@ function getArgs(flavor) {
  */ export async function verifyProof(pathToBB, proofFullPath, verificationKeyPath, ultraHonkFlavor, log) {
     return await verifyProofInternal(pathToBB, proofFullPath, verificationKeyPath, `verify`, log, getArgs(ultraHonkFlavor));
 }
-/**
- * Used for verifying proofs of the AVM
- * @param pathToBB - The full path to the bb binary
- * @param proofFullPath - The full path to the proof to be verified
- * @param verificationKeyPath - The full path to the circuit verification key
- * @param log - A logging function
- * @returns An object containing a result indication and duration taken
- */ export async function verifyAvmProof(pathToBB, proofFullPath, verificationKeyPath, logger) {
-    return await verifyProofInternal(pathToBB, proofFullPath, verificationKeyPath, 'avm_verify', logger);
-}
-export async function verifyAvmProofV2(pathToBB, workingDirectory, proofFullPath, publicInputs, verificationKeyPath, logger) {
+export async function verifyAvmProof(pathToBB, workingDirectory, proofFullPath, publicInputs, verificationKeyPath, logger) {
     const inputsBuffer = publicInputs.serializeWithMessagePack();
     // Write the inputs to the working directory.
     const filePresent = async (file)=>await fs.access(file, fs.constants.R_OK).then((_)=>true).catch((_)=>false);
@@ -507,19 +378,20 @@ export async function verifyAvmProofV2(pathToBB, workingDirectory, proofFullPath
             reason: `Could not write avm inputs to ${avmInputsPath}`
         };
     }
-    return await verifyProofInternal(pathToBB, proofFullPath, verificationKeyPath, 'avm2_verify', logger, [
+    return await verifyProofInternal(pathToBB, proofFullPath, verificationKeyPath, 'avm_verify', logger, [
         '--avm-public-inputs',
         avmInputsPath
     ]);
 }
 /**
- * Verifies a ClientIvcProof
+ * Verifies a ChonkProof
  * TODO(#7370) The verification keys should be supplied separately
  * @param pathToBB - The full path to the bb binary
  * @param targetPath - The path to the folder with the proof, accumulator, and verification keys
  * @param log - A logging function
+ * @param concurrency - The number of threads to use for the verification
  * @returns An object containing a result indication and duration taken
- */ export async function verifyClientIvcProof(pathToBB, proofPath, keyPath, log) {
+ */ export async function verifyChonkProof(pathToBB, proofPath, keyPath, log, concurrency = 1) {
     const binaryPresent = await fs.access(pathToBB, fs.constants.R_OK).then((_)=>true).catch((_)=>false);
     if (!binaryPresent) {
         return {
@@ -530,15 +402,16 @@ export async function verifyAvmProofV2(pathToBB, workingDirectory, proofFullPath
     try {
         const args = [
             '--scheme',
-            'client_ivc',
+            'chonk',
             '-p',
             proofPath,
             '-k',
-            keyPath
+            keyPath,
+            '-v'
         ];
         const timer = new Timer();
         const command = 'verify';
-        const result = await executeBB(pathToBB, command, args, log);
+        const result = await executeBB(pathToBB, command, args, log, concurrency);
         const duration = timer.ms();
         if (result.status == 0) {
             return {
@@ -579,13 +452,32 @@ export async function verifyAvmProofV2(pathToBB, workingDirectory, proofFullPath
         logger.verbose(`bb-prover (verify) BB out - ${message}`);
     };
     try {
-        const args = [
-            '-p',
-            proofFullPath,
-            '-k',
-            verificationKeyPath,
-            ...extraArgs
-        ];
+        let args;
+        if (command == 'verify') {
+            // Specify the public inputs path in the case of UH verification.
+            // Take proofFullPath and remove the suffix past the / to get the directory.
+            const proofDir = proofFullPath.substring(0, proofFullPath.lastIndexOf('/'));
+            const publicInputsFullPath = join(proofDir, '/public_inputs');
+            logger.debug(`public inputs path: ${publicInputsFullPath}`);
+            args = [
+                '-p',
+                proofFullPath,
+                '-k',
+                verificationKeyPath,
+                '-i',
+                publicInputsFullPath,
+                '--disable_zk',
+                ...extraArgs
+            ];
+        } else {
+            args = [
+                '-p',
+                proofFullPath,
+                '-k',
+                verificationKeyPath,
+                ...extraArgs
+            ];
+        }
         const loggingArg = logger.level === 'debug' || logger.level === 'trace' ? '-d' : logger.level === 'verbose' ? '-v' : '';
         if (loggingArg !== '') {
             args.push(loggingArg);
@@ -685,13 +577,13 @@ export async function generateContractForVerificationKey(pathToBB, vkFilePath, c
     // Check that the working directory exists
     try {
         await fs.access(workingDirectory);
-    } catch (error) {
+    } catch  {
         return {
             status: 1,
             reason: `Working directory ${workingDirectory} does not exist`
         };
     }
-    // The bytecode is written to e.g. /workingDirectory/BaseParityArtifact-bytecode
+    // The bytecode is written to e.g. /workingDirectory/ParityBaseArtifact-bytecode
     const bytecodePath = `${workingDirectory}/${circuitName}-bytecode`;
     const binaryPresent = await fs.access(pathToBB, fs.constants.R_OK).then((_)=>true).catch((_)=>false);
     if (!binaryPresent) {
@@ -712,7 +604,7 @@ export async function generateContractForVerificationKey(pathToBB, vkFilePath, c
         const timer = new Timer();
         const result = await executeBB(pathToBB, 'gates', [
             '--scheme',
-            flavor === 'mega_honk' ? 'client_ivc' : 'ultra_honk',
+            flavor === 'mega_honk' ? 'chonk' : 'ultra_honk',
             '-b',
             bytecodePath,
             '-v'
@@ -772,7 +664,7 @@ async function fsCache(dir, expectedCacheKey, logger, force, action) {
     }
     try {
         await fs.writeFile(cacheFilePath, expectedCacheKey);
-    } catch (err) {
+    } catch  {
         logger(`Couldn't write cache data to ${cacheFilePath}. Skipping cache...`);
     // ignore
     }

package/dest/config.d.ts

@@ -3,6 +3,8 @@ export interface BBConfig {
     bbWorkingDirectory: string;
     /** Whether to skip tmp dir cleanup for debugging purposes */
     bbSkipCleanup: boolean;
+    numConcurrentIVCVerifiers: number;
+    bbIVCConcurrency: number;
 }
 export interface ACVMConfig {
     /** The path to the ACVM binary */

package/dest/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,QAAQ;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,6DAA6D;IAC7D,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,kCAAkC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,0DAA0D;IAC1D,oBAAoB,EAAE,MAAM,CAAC;CAC9B"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,QAAQ;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,6DAA6D;IAC7D,aAAa,EAAE,OAAO,CAAC;IACvB,yBAAyB,EAAE,MAAM,CAAC;IAClC,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,kCAAkC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,0DAA0D;IAC1D,oBAAoB,EAAE,MAAM,CAAC;CAC9B"}

package/dest/honk.d.ts

@@ -1,7 +1,7 @@
 import type { ServerProtocolArtifact } from '@aztec/noir-protocol-circuits-types/server';
-export type UltraHonkFlavor = 'ultra_honk' | 'ultra_keccak_honk' | 'ultra_rollup_honk';
+export type UltraHonkFlavor = 'ultra_honk' | 'ultra_keccak_honk' | 'ultra_starknet_honk' | 'ultra_rollup_honk';
 declare const UltraKeccakHonkCircuits: ["RootRollupArtifact"];
-declare const UltraHonkCircuits: ["BaseParityArtifact", "RootParityArtifact"];
+declare const UltraHonkCircuits: ["ParityBaseArtifact", "ParityRootArtifact"];
 export type UltraKeccakHonkServerProtocolArtifact = (typeof UltraKeccakHonkCircuits)[number];
 export type UltraHonkServerProtocolArtifact = (typeof UltraHonkCircuits)[number];
 export type UltraRollupHonkServerProtocolArtifact = Exclude<Exclude<ServerProtocolArtifact, UltraKeccakHonkServerProtocolArtifact>, UltraHonkServerProtocolArtifact>;

package/dest/honk.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"honk.d.ts","sourceRoot":"","sources":["../src/honk.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AAEzF,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAEvF,QAAA,MAAM,uBAAuB,wBAAqE,CAAC;AACnG,QAAA,MAAM,iBAAiB,8CAA2F,CAAC;AAEnH,MAAM,MAAM,qCAAqC,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7F,MAAM,MAAM,+BAA+B,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AACjF,MAAM,MAAM,qCAAqC,GAAG,OAAO,CACzD,OAAO,CAAC,sBAAsB,EAAE,qCAAqC,CAAC,EACtE,+BAA+B,CAChC,CAAC;AAEF,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,qCAAqC,GAAG,mBAAmB,CAAC;AACnH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,+BAA+B,GAAG,YAAY,CAAC;AACtG,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,qCAAqC,GAAG,mBAAmB,CAAC;AACnH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,sBAAsB,GAAG,eAAe,CAAC"}
+{"version":3,"file":"honk.d.ts","sourceRoot":"","sources":["../src/honk.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AAEzF,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,mBAAmB,GAAG,qBAAqB,GAAG,mBAAmB,CAAC;AAE/G,QAAA,MAAM,uBAAuB,wBAAqE,CAAC;AACnG,QAAA,MAAM,iBAAiB,8CAA2F,CAAC;AAEnH,MAAM,MAAM,qCAAqC,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7F,MAAM,MAAM,+BAA+B,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AACjF,MAAM,MAAM,qCAAqC,GAAG,OAAO,CACzD,OAAO,CAAC,sBAAsB,EAAE,qCAAqC,CAAC,EACtE,+BAA+B,CAChC,CAAC;AAEF,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,qCAAqC,GAAG,mBAAmB,CAAC;AACnH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,+BAA+B,GAAG,YAAY,CAAC;AACtG,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,qCAAqC,GAAG,mBAAmB,CAAC;AACnH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,sBAAsB,GAAG,eAAe,CAAC"}

package/dest/honk.js

@@ -2,10 +2,11 @@ const UltraKeccakHonkCircuits = [
     'RootRollupArtifact'
 ];
 const UltraHonkCircuits = [
-    'BaseParityArtifact',
-    'RootParityArtifact'
+    'ParityBaseArtifact',
+    'ParityRootArtifact'
 ];
 export function getUltraHonkFlavorForCircuit(artifact) {
+    // STARKNET: how to allow for the distinction between keccak/starknet? ultra_keccak_honk is returned in both cases
     if (isUltraKeccakHonkCircuit(artifact)) {
         return 'ultra_keccak_honk';
     } else if (UltraHonkCircuits.includes(artifact)) {

package/dest/index.d.ts

@@ -4,5 +4,6 @@ export * from './verifier/index.js';
 export * from './config.js';
 export * from './bb/execute.js';
 export * from './honk.js';
+export * from './verification_key/verification_key_data.js';
 export { type ClientProtocolCircuitVerifier } from '@aztec/stdlib/interfaces/server';
 //# sourceMappingURL=index.d.ts.map

package/dest/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC;AAE1B,OAAO,EAAE,KAAK,6BAA6B,EAAE,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC;AAC1B,cAAc,6CAA6C,CAAC;AAE5D,OAAO,EAAE,KAAK,6BAA6B,EAAE,MAAM,iCAAiC,CAAC"}

package/dest/index.js

@@ -4,3 +4,4 @@ export * from './verifier/index.js';
 export * from './config.js';
 export * from './bb/execute.js';
 export * from './honk.js';
+export * from './verification_key/verification_key_data.js';

package/dest/instrumentation.d.ts

@@ -21,7 +21,7 @@ export declare class ProverInstrumentation {
      * @param circuitName - The name of the circuit
      * @param timerOrMS - The duration
      */
-    recordDuration(metric: 'simulationDuration' | 'witGenDuration' | 'provingDuration', circuitName: CircuitName | 'tubeCircuit', timerOrMS: Timer | number): void;
+    recordDuration(metric: 'simulationDuration' | 'witGenDuration' | 'provingDuration', circuitName: CircuitName, timerOrMS: Timer | number): void;
     /**
      * Records the duration of an AVM circuit operation.
      * @param metric - The metric to record
@@ -35,7 +35,7 @@ export declare class ProverInstrumentation {
      * @param circuitName - The name of the circuit
      * @param size - The size
      */
-    recordSize(metric: 'witGenInputSize' | 'witGenOutputSize' | 'proofSize' | 'circuitSize' | 'circuitPublicInputCount', circuitName: CircuitName | 'tubeCircuit', size: number): void;
+    recordSize(metric: 'witGenInputSize' | 'witGenOutputSize' | 'proofSize' | 'circuitSize' | 'circuitPublicInputCount', circuitName: CircuitName, size: number): void;
     /**
      * Records the size of an AVM circuit operation.
      * @param metric - The metric to record

package/dest/instrumentation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"instrumentation.d.ts","sourceRoot":"","sources":["../src/instrumentation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAKL,KAAK,eAAe,EACpB,KAAK,MAAM,EAEZ,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,kBAAkB,CAAY;IACtC,OAAO,CAAC,cAAc,CAAY;IAClC,OAAO,CAAC,eAAe,CAAY;IAEnC,OAAO,CAAC,eAAe,CAAQ;IAC/B,OAAO,CAAC,gBAAgB,CAAQ;IAEhC,OAAO,CAAC,SAAS,CAAQ;IACzB,OAAO,CAAC,WAAW,CAAQ;IAC3B,OAAO,CAAC,uBAAuB,CAAQ;IAEvC,SAAgB,MAAM,EAAE,MAAM,CAAC;gBAEnB,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM;IAmDpD;;;;;OAKG;IACH,cAAc,CACZ,MAAM,EAAE,oBAAoB,GAAG,gBAAgB,GAAG,iBAAiB,EACnE,WAAW,EAAE,WAAW,GAAG,aAAa,EACxC,SAAS,EAAE,KAAK,GAAG,MAAM;IAS3B;;;;;OAKG;IACH,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,GAAG,iBAAiB,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,GAAG,MAAM;IAOjH;;;;;OAKG;IACH,UAAU,CACR,MAAM,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,WAAW,GAAG,aAAa,GAAG,yBAAyB,EACxG,WAAW,EAAE,WAAW,GAAG,aAAa,EACxC,IAAI,EAAE,MAAM;IAQd;;;;;OAKG;IACH,aAAa,CACX,MAAM,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,WAAW,GAAG,aAAa,GAAG,yBAAyB,EACxG,cAAc,EAAE,MAAM,EACtB,IAAI,EAAE,MAAM;CAMf"}
+{"version":3,"file":"instrumentation.d.ts","sourceRoot":"","sources":["../src/instrumentation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAKL,KAAK,eAAe,EACpB,KAAK,MAAM,EAEZ,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,kBAAkB,CAAY;IACtC,OAAO,CAAC,cAAc,CAAY;IAClC,OAAO,CAAC,eAAe,CAAY;IAEnC,OAAO,CAAC,eAAe,CAAQ;IAC/B,OAAO,CAAC,gBAAgB,CAAQ;IAEhC,OAAO,CAAC,SAAS,CAAQ;IACzB,OAAO,CAAC,WAAW,CAAQ;IAC3B,OAAO,CAAC,uBAAuB,CAAQ;IAEvC,SAAgB,MAAM,EAAE,MAAM,CAAC;gBAEnB,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM;IAmDpD;;;;;OAKG;IACH,cAAc,CACZ,MAAM,EAAE,oBAAoB,GAAG,gBAAgB,GAAG,iBAAiB,EACnE,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,KAAK,GAAG,MAAM;IAQ3B;;;;;OAKG;IACH,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,GAAG,iBAAiB,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,GAAG,MAAM;IAOjH;;;;;OAKG;IACH,UAAU,CACR,MAAM,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,WAAW,GAAG,aAAa,GAAG,yBAAyB,EACxG,WAAW,EAAE,WAAW,EACxB,IAAI,EAAE,MAAM;IAOd;;;;;OAKG;IACH,aAAa,CACX,MAAM,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,WAAW,GAAG,aAAa,GAAG,yBAAyB,EACxG,cAAc,EAAE,MAAM,EACtB,IAAI,EAAE,MAAM;CAMf"}