@aztec/aztec 0.0.1-commit.a072138 → 0.0.1-commit.a4600f49

package/dest/cli/cmds/compile.js

@@ -0,0 +1,174 @@
+import { findBbBinary } from '@aztec/bb.js';
+import { getPackageVersion } from '@aztec/stdlib/update-checker';
+import { execFileSync } from 'child_process';
+import { readFile, writeFile } from 'fs/promises';
+import { join } from 'path';
+import { readArtifactFiles } from './utils/artifacts.js';
+import { needsRecompile } from './utils/needs_recompile.js';
+import { run } from './utils/spawn.js';
+import { warnIfAztecVersionMismatch } from './utils/warn_if_aztec_version_mismatch.js';
+/** Returns contract artifacts in the target directory along with whether each has already been postprocessed. */ async function collectContractArtifacts() {
+    let files;
+    try {
+        files = await readArtifactFiles('target');
+    } catch (err) {
+        if (err?.message?.includes('does not exist')) {
+            return [];
+        }
+        throw err;
+    }
+    return files.filter((f)=>Array.isArray(f.content.functions)).map((f)=>({
+            filePath: f.filePath,
+            transpiled: f.content.transpiled === true
+        }));
+}
+/** Stamps the Aztec stack version into the contract artifacts. */ async function stampAztecVersion(artifactPaths) {
+    const version = getPackageVersion();
+    for (const path of artifactPaths){
+        const artifact = JSON.parse(await readFile(path, 'utf-8'));
+        // eslint-disable-next-line camelcase
+        artifact.aztec_version = version;
+        await writeFile(path, JSON.stringify(artifact, null, 2) + '\n');
+    }
+}
+/** Returns the set of package names that are contract crates in the current workspace. */ async function getContractPackageNames() {
+    const contractNames = new Set();
+    let rootToml;
+    try {
+        rootToml = await readFile('Nargo.toml', 'utf-8');
+    } catch  {
+        return contractNames;
+    }
+    const membersMatch = rootToml.match(/members\s*=\s*\[([^\]]*)\]/);
+    if (membersMatch) {
+        const members = membersMatch[1].split(',').map((m)=>m.trim().replace(/^"|"$/g, '')).filter((m)=>m.length > 0);
+        for (const member of members){
+            try {
+                const memberToml = await readFile(join(member, 'Nargo.toml'), 'utf-8');
+                if (/type\s*=\s*"contract"/.test(memberToml)) {
+                    const nameMatch = memberToml.match(/name\s*=\s*"([^"]+)"/);
+                    if (nameMatch) {
+                        contractNames.add(nameMatch[1]);
+                    }
+                }
+            } catch  {
+            // Member directory might not exist or have no Nargo.toml; skip.
+            }
+        }
+    } else {
+        // Single-crate project (no workspace): check if the root Nargo.toml itself is a contract.
+        if (/type\s*=\s*"contract"/.test(rootToml)) {
+            const nameMatch = rootToml.match(/name\s*=\s*"([^"]+)"/);
+            if (nameMatch) {
+                contractNames.add(nameMatch[1]);
+            }
+        }
+    }
+    return contractNames;
+}
+/** Checks that no tests exist in contract crates and fails with a helpful message if they do. */ async function checkNoTestsInContracts(nargo, log) {
+    const contractPackages = await getContractPackageNames();
+    if (contractPackages.size === 0) {
+        return;
+    }
+    let output;
+    try {
+        // We list tests for all the crates in the workspace
+        output = execFileSync(nargo, [
+            'test',
+            '--list-tests',
+            '--silence-warnings'
+        ], {
+            encoding: 'utf-8',
+            stdio: [
+                'pipe',
+                'pipe',
+                'inherit'
+            ]
+        });
+    } catch  {
+        // If listing tests fails (e.g. test crate has compile errors), skip the check.
+        return;
+    }
+    // The output of the `nargo test --list-tests` command is as follows:
+    // ```
+    // crate_name_1 test_name_1
+    // crate_name_2 test_name_2
+    // ...
+    // crate_name_n test_name_n
+    // ```
+    //
+    // We parse the individual lines and then we check if any contract crate appeared in the parsed output.
+    const lines = output.trim().split('\n').filter((line)=>line.length > 0);
+    const testsInContracts = [];
+    for (const line of lines){
+        const spaceIndex = line.indexOf(' ');
+        if (spaceIndex === -1) {
+            continue;
+        }
+        const packageName = line.substring(0, spaceIndex);
+        const testName = line.substring(spaceIndex + 1);
+        if (contractPackages.has(packageName)) {
+            testsInContracts.push({
+                packageName,
+                testName
+            });
+        }
+    }
+    if (testsInContracts.length > 0) {
+        const details = testsInContracts.map((t)=>`  ${t.packageName}::${t.testName}`).join('\n');
+        log(`WARNING: Found tests in contract crate(s):\n${details}\n\n` + `Tests should be in a dedicated test crate, not in the contract crate.\n` + `Learn more: https://docs.aztec.network/errors/1`);
+    }
+}
+/** Compiles Aztec Noir contracts and postprocesses artifacts. */ async function compileAztecContract(nargoArgs, log) {
+    await warnIfAztecVersionMismatch(log);
+    const nargo = process.env.NARGO ?? 'nargo';
+    const bb = process.env.BB ?? findBbBinary() ?? 'bb';
+    const shouldRecompile = await needsRecompile();
+    if (shouldRecompile) {
+        await run(nargo, [
+            'compile',
+            ...nargoArgs
+        ]);
+        // Ensure contract crates contain no tests (tests belong in the test crate).
+        await checkNoTestsInContracts(nargo, log);
+    }
+    // Postprocess any untranspiled artifacts: those just produced by nargo above, and any left behind by a bare
+    // `nargo compile` run outside `aztec compile`.
+    const unprocessed = (await collectContractArtifacts()).filter((a)=>!a.transpiled).map((a)=>a.filePath);
+    if (unprocessed.length > 0) {
+        log('Postprocessing contracts...');
+        const bbArgs = unprocessed.flatMap((a)=>[
+                '-i',
+                a
+            ]);
+        await run(bb, [
+            'aztec_process',
+            ...bbArgs
+        ]);
+        await stampAztecVersion(unprocessed);
+    }
+    if (shouldRecompile || unprocessed.length > 0) {
+        log('Compilation complete!');
+    } else {
+        log('No source changes detected, skipping compilation.');
+    }
+}
+export function injectCompileCommand(program, log) {
+    program.command('compile').argument('[nargo-args...]').passThroughOptions().allowUnknownOption().description('Compile Aztec Noir contracts using nargo and postprocess them to generate transpiled artifacts and verification keys. All options are forwarded to nargo compile.').addHelpText('after', ()=>{
+        // Show nargo's own compile options so users see all available flags in one place.
+        const nargo = process.env.NARGO ?? 'nargo';
+        try {
+            const output = execFileSync(nargo, [
+                'compile',
+                '--help'
+            ], {
+                encoding: 'utf-8'
+            });
+            return `\nUnderlying nargo compile options:\n\n${output}`;
+        } catch  {
+            return '\n(Run "nargo compile --help" to see available nargo options)';
+        }
+    }).action((nargoArgs)=>compileAztecContract(nargoArgs, log));
+    return program;
+}

package/dest/cli/cmds/profile.d.ts

@@ -0,0 +1,4 @@
+import type { LogFn } from '@aztec/foundation/log';
+import type { Command } from 'commander';
+export declare function injectProfileCommand(program: Command, log: LogFn): Command;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvZmlsZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NsaS9jbWRzL3Byb2ZpbGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsS0FBSyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFbkQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sV0FBVyxDQUFDO0FBS3pDLHdCQUFnQixvQkFBb0IsQ0FBQyxPQUFPLEVBQUUsT0FBTyxFQUFFLEdBQUcsRUFBRSxLQUFLLEdBQUcsT0FBTyxDQWtCMUUifQ==

package/dest/cli/cmds/profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile.d.ts","sourceRoot":"","sources":["../../../src/cli/cmds/profile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAKzC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,GAAG,OAAO,CAkB1E"}

package/dest/cli/cmds/profile.js

@@ -0,0 +1,8 @@
+import { profileFlamegraph } from './profile_flamegraph.js';
+import { profileGates } from './profile_gates.js';
+export function injectProfileCommand(program, log) {
+    const profile = program.command('profile').description('Profile compiled Aztec artifacts.');
+    profile.command('gates').argument('[target-dir]', 'Path to the compiled artifacts directory', './target').option('--json', 'Output gate counts as JSON instead of a table', false).description('Display gate counts for all compiled Aztec artifacts in a target directory.').action((targetDir, options)=>profileGates(targetDir, options.json, log));
+    profile.command('flamegraph').argument('<contract-artifact>', 'Path to the compiled contract artifact JSON').argument('<function>', 'Name of the contract function to profile').description('Generate a gate count flamegraph SVG for a contract function.').action((artifactPath, functionName)=>profileFlamegraph(artifactPath, functionName, log));
+    return program;
+}

package/dest/cli/cmds/profile_flamegraph.d.ts

@@ -0,0 +1,4 @@
+import type { LogFn } from '@aztec/foundation/log';
+/** Generates a gate count flamegraph SVG for a single contract function. */
+export declare function profileFlamegraph(artifactPath: string, functionName: string, log: LogFn): Promise<void>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvZmlsZV9mbGFtZWdyYXBoLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY2xpL2NtZHMvcHJvZmlsZV9mbGFtZWdyYXBoLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBU25ELDRFQUE0RTtBQUM1RSx3QkFBc0IsaUJBQWlCLENBQUMsWUFBWSxFQUFFLE1BQU0sRUFBRSxZQUFZLEVBQUUsTUFBTSxFQUFFLEdBQUcsRUFBRSxLQUFLLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQW9EN0cifQ==

package/dest/cli/cmds/profile_flamegraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile_flamegraph.d.ts","sourceRoot":"","sources":["../../../src/cli/cmds/profile_flamegraph.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AASnD,4EAA4E;AAC5E,wBAAsB,iBAAiB,CAAC,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAoD7G"}

package/dest/cli/cmds/profile_flamegraph.js

@@ -0,0 +1,52 @@
+import { findBbBinary } from '@aztec/bb.js';
+import { readFile, rename, rm, writeFile } from 'fs/promises';
+import { basename, dirname, join } from 'path';
+import { makeFunctionArtifact } from './profile_utils.js';
+import { run } from './utils/spawn.js';
+/** Generates a gate count flamegraph SVG for a single contract function. */ export async function profileFlamegraph(artifactPath, functionName, log) {
+    const raw = await readFile(artifactPath, 'utf-8');
+    const artifact = JSON.parse(raw);
+    if (!Array.isArray(artifact.functions)) {
+        throw new Error(`${artifactPath} does not appear to be a contract artifact (no functions array)`);
+    }
+    const func = artifact.functions.find((f)=>f.name === functionName);
+    if (!func) {
+        const available = artifact.functions.map((f)=>f.name).join(', ');
+        throw new Error(`Function "${functionName}" not found in artifact. Available: ${available}`);
+    }
+    if (func.is_unconstrained) {
+        throw new Error(`Function "${functionName}" is unconstrained and cannot be profiled`);
+    }
+    const outputDir = dirname(artifactPath);
+    const contractName = basename(artifactPath, '.json');
+    const functionArtifact = join(outputDir, `${contractName}-${functionName}.json`);
+    try {
+        await writeFile(functionArtifact, makeFunctionArtifact(artifact, func));
+        const profiler = process.env.PROFILER_PATH ?? 'noir-profiler';
+        const bb = process.env.BB ?? findBbBinary() ?? 'bb';
+        await run(profiler, [
+            'gates',
+            '--artifact-path',
+            functionArtifact,
+            '--backend-path',
+            bb,
+            '--backend-gates-command',
+            'gates',
+            '--output',
+            outputDir,
+            '--scheme',
+            'chonk',
+            '--include_gates_per_opcode'
+        ]);
+        // noir-profiler names the SVG using the internal function name which
+        // retains the __aztec_nr_internals__ prefix in the bytecode metadata.
+        const srcSvg = join(outputDir, `__aztec_nr_internals__${functionName}_gates.svg`);
+        const destSvg = join(outputDir, `${contractName}-${functionName}-flamegraph.svg`);
+        await rename(srcSvg, destSvg);
+        log(`Flamegraph written to ${destSvg}`);
+    } finally{
+        await rm(functionArtifact, {
+            force: true
+        });
+    }
+}

package/dest/cli/cmds/profile_gates.d.ts

@@ -0,0 +1,4 @@
+import type { LogFn } from '@aztec/foundation/log';
+/** Profiles all compiled artifacts in a target directory and prints gate counts. */
+export declare function profileGates(targetDir: string, json: boolean, log: LogFn): Promise<void>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvZmlsZV9nYXRlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NsaS9jbWRzL3Byb2ZpbGVfZ2F0ZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxLQUFLLEVBQUUsS0FBSyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFnQ25ELG9GQUFvRjtBQUNwRix3QkFBc0IsWUFBWSxDQUFDLFNBQVMsRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE9BQU8sRUFBRSxHQUFHLEVBQUUsS0FBSyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FnRDlGIn0=

package/dest/cli/cmds/profile_gates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile_gates.d.ts","sourceRoot":"","sources":["../../../src/cli/cmds/profile_gates.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAgCnD,oFAAoF;AACpF,wBAAsB,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAgD9F"}

package/dest/cli/cmds/profile_gates.js

@@ -0,0 +1,76 @@
+import { findBbBinary } from '@aztec/bb.js';
+import { asyncPool } from '@aztec/foundation/async-pool';
+import { execFile as execFileCb } from 'child_process';
+import { rm } from 'fs/promises';
+import { promisify } from 'util';
+import { MAX_CONCURRENT, discoverArtifacts } from './profile_utils.js';
+const execFile = promisify(execFileCb);
+/** Parses circuit_size from bb gates JSON output: { "functions": [{ "circuit_size": N }] } */ function parseGateCount(stdout) {
+    const parsed = JSON.parse(stdout);
+    const size = parsed?.functions?.[0]?.circuit_size;
+    if (typeof size !== 'number') {
+        throw new Error('Failed to parse circuit_size from bb gates output');
+    }
+    return size;
+}
+/** Runs bb gates on a single artifact file and returns the gate count. */ async function getGateCount(bb, artifactPath) {
+    const { stdout } = await execFile(bb, [
+        'gates',
+        '--scheme',
+        'chonk',
+        '-b',
+        artifactPath
+    ]);
+    return parseGateCount(stdout);
+}
+/** Profiles all compiled artifacts in a target directory and prints gate counts. */ export async function profileGates(targetDir, json, log) {
+    const bb = process.env.BB ?? findBbBinary() ?? 'bb';
+    const { artifacts, tmpDir } = await discoverArtifacts(targetDir);
+    if (artifacts.length === 0) {
+        if (json) {
+            log('[]');
+        } else {
+            log('No artifacts found in target directory.');
+        }
+        return;
+    }
+    try {
+        const results = await asyncPool(MAX_CONCURRENT, artifacts, async (artifact)=>({
+                name: artifact.name,
+                type: artifact.type,
+                gateCount: await getGateCount(bb, artifact.filePath)
+            }));
+        results.sort((a, b)=>a.name.localeCompare(b.name));
+        if (results.length === 0) {
+            if (json) {
+                log('[]');
+            } else {
+                log('No constrained circuits found.');
+            }
+            return;
+        }
+        if (json) {
+            const entries = results.map((r)=>({
+                    name: r.name,
+                    type: r.type,
+                    gates: r.gateCount
+                }));
+            log(JSON.stringify(entries, null, 2));
+            return;
+        }
+        const maxNameLen = Math.max(...results.map((r)=>r.name.length));
+        log('');
+        log('Gate counts:');
+        log('-'.repeat(maxNameLen + 16));
+        for (const { name, gateCount } of results){
+            log(`${name.padEnd(maxNameLen)}  ${gateCount.toLocaleString().padStart(12)}`);
+        }
+        log('-'.repeat(maxNameLen + 16));
+        log(`Total: ${results.length} circuit(s)`);
+    } finally{
+        await rm(tmpDir, {
+            recursive: true,
+            force: true
+        });
+    }
+}

package/dest/cli/cmds/profile_utils.d.ts

@@ -0,0 +1,18 @@
+import type { CompiledArtifact, ContractFunction } from './utils/artifacts.js';
+export declare const MAX_CONCURRENT = 4;
+export interface DiscoveredArtifact {
+    name: string;
+    filePath: string;
+    type: 'contract-function' | 'program';
+}
+/**
+ * Reads a target directory and returns a list of discovered artifacts with temp files
+ * created for contract functions. Caller must clean up tmpDir when done.
+ */
+export declare function discoverArtifacts(targetDir: string): Promise<{
+    artifacts: DiscoveredArtifact[];
+    tmpDir: string;
+}>;
+/** Extracts a contract function as a standalone program artifact JSON string. */
+export declare function makeFunctionArtifact(artifact: CompiledArtifact, func: ContractFunction): string;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvZmlsZV91dGlscy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NsaS9jbWRzL3Byb2ZpbGVfdXRpbHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBSUEsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUcvRSxlQUFPLE1BQU0sY0FBYyxJQUFJLENBQUM7QUFFaEMsTUFBTSxXQUFXLGtCQUFrQjtJQUNqQyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2IsUUFBUSxFQUFFLE1BQU0sQ0FBQztJQUNqQixJQUFJLEVBQUUsbUJBQW1CLEdBQUcsU0FBUyxDQUFDO0NBQ3ZDO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQXNCLGlCQUFpQixDQUNyQyxTQUFTLEVBQUUsTUFBTSxHQUNoQixPQUFPLENBQUM7SUFBRSxTQUFTLEVBQUUsa0JBQWtCLEVBQUUsQ0FBQztJQUFDLE1BQU0sRUFBRSxNQUFNLENBQUE7Q0FBRSxDQUFDLENBc0I5RDtBQUVELGlGQUFpRjtBQUNqRix3QkFBZ0Isb0JBQW9CLENBQUMsUUFBUSxFQUFFLGdCQUFnQixFQUFFLElBQUksRUFBRSxnQkFBZ0IsVUFXdEYifQ==

package/dest/cli/cmds/profile_utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile_utils.d.ts","sourceRoot":"","sources":["../../../src/cli/cmds/profile_utils.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAG/E,eAAO,MAAM,cAAc,IAAI,CAAC;AAEhC,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,mBAAmB,GAAG,SAAS,CAAC;CACvC;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC;IAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAsB9D;AAED,iFAAiF;AACjF,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,IAAI,EAAE,gBAAgB,UAWtF"}

package/dest/cli/cmds/profile_utils.js

@@ -0,0 +1,50 @@
+import { mkdtemp, writeFile } from 'fs/promises';
+import { tmpdir } from 'os';
+import { join } from 'path';
+import { readArtifactFiles } from './utils/artifacts.js';
+export const MAX_CONCURRENT = 4;
+/**
+ * Reads a target directory and returns a list of discovered artifacts with temp files
+ * created for contract functions. Caller must clean up tmpDir when done.
+ */ export async function discoverArtifacts(targetDir) {
+    const files = await readArtifactFiles(targetDir);
+    const tmpDir = await mkdtemp(join(tmpdir(), 'aztec-profile-'));
+    const artifacts = [];
+    for (const file of files){
+        if (Array.isArray(file.content.functions)) {
+            for (const func of file.content.functions){
+                if (!func.bytecode || func.is_unconstrained) {
+                    continue;
+                }
+                const name = `${file.name}::${func.name}`;
+                const tmpPath = join(tmpDir, `${file.name}-${func.name}.json`);
+                await writeFile(tmpPath, makeFunctionArtifact(file.content, func));
+                artifacts.push({
+                    name,
+                    filePath: tmpPath,
+                    type: 'contract-function'
+                });
+            }
+        } else if (file.content.bytecode) {
+            artifacts.push({
+                name: file.name,
+                filePath: file.filePath,
+                type: 'program'
+            });
+        }
+    }
+    return {
+        artifacts,
+        tmpDir
+    };
+}
+/** Extracts a contract function as a standalone program artifact JSON string. */ export function makeFunctionArtifact(artifact, func) {
+    /* eslint-disable camelcase */ return JSON.stringify({
+        noir_version: artifact.noir_version,
+        hash: 0,
+        abi: func.abi,
+        bytecode: func.bytecode,
+        debug_symbols: func.debug_symbols,
+        file_map: artifact.file_map
+    });
+/* eslint-enable camelcase */ }

package/dest/cli/cmds/prover.d.ts

@@ -0,0 +1,4 @@
+import type { LogFn } from '@aztec/foundation/log';
+import { type Command } from 'commander';
+export declare function injectProverCommand(program: Command, log: LogFn): Command;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY2xpL2NtZHMvcHJvdmVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBR25ELE9BQU8sRUFBRSxLQUFLLE9BQU8sRUFBd0IsTUFBTSxXQUFXLENBQUM7QUFVL0Qsd0JBQWdCLG1CQUFtQixDQUFDLE9BQU8sRUFBRSxPQUFPLEVBQUUsR0FBRyxFQUFFLEtBQUssR0FBRyxPQUFPLENBMkJ6RSJ9

package/dest/cli/cmds/prover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../../src/cli/cmds/prover.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAGnD,OAAO,EAAE,KAAK,OAAO,EAAwB,MAAM,WAAW,CAAC;AAU/D,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,GAAG,OAAO,CA2BzE"}

package/dest/cli/cmds/prover.js

@@ -0,0 +1,24 @@
+import { jsonStringify } from '@aztec/foundation/json-rpc';
+import { createProverNodeAdminClient } from '@aztec/stdlib/interfaces/server';
+import { InvalidArgumentError } from 'commander';
+function parseEpoch(value) {
+    const parsed = Number(value);
+    if (!Number.isInteger(parsed) || parsed < 0) {
+        throw new InvalidArgumentError('Epoch must be a non-negative integer.');
+    }
+    return parsed;
+}
+export function injectProverCommand(program, log) {
+    const proverCommand = program.command('prover').description('Operate a prover node via its admin JSON-RPC endpoint');
+    proverCommand.command('start-proof').description('Schedules proving for the given epoch').requiredOption('--epoch <n>', 'Epoch number to prove', parseEpoch).requiredOption('--admin-url <url>', 'URL of the prover node admin JSON-RPC endpoint').option('--api-key <key>', 'Admin API key', process.env.AZTEC_ADMIN_API_KEY).action(async (options)=>{
+        const client = createProverNodeAdminClient(options.adminUrl, {}, undefined, options.apiKey);
+        const jobId = await client.startProof(options.epoch);
+        log(`Started proving job ${jobId} for epoch ${options.epoch}`);
+    });
+    proverCommand.command('get-jobs').description('Lists the prover node proving jobs').requiredOption('--admin-url <url>', 'URL of the prover node admin JSON-RPC endpoint').option('--api-key <key>', 'Admin API key', process.env.AZTEC_ADMIN_API_KEY).action(async (options)=>{
+        const client = createProverNodeAdminClient(options.adminUrl, {}, undefined, options.apiKey);
+        const jobs = await client.getJobs();
+        log(jsonStringify(jobs, true));
+    });
+    return program;
+}

package/dest/cli/cmds/standby.d.ts

@@ -0,0 +1,56 @@
+import type { Fr } from '@aztec/aztec.js/fields';
+import type { GenesisStateConfig } from '@aztec/ethereum/config';
+import { RollupContract } from '@aztec/ethereum/contracts';
+import type { EthAddress } from '@aztec/foundation/eth-address';
+import { type LogFn } from '@aztec/foundation/log';
+/**
+ * Computes the expected genesis archive root from the genesis state config.
+ * Reads test accounts and sponsored FPC addresses as specified, then computes
+ * the genesis values including the archive root and prefilled public data.
+ */
+export declare function computeExpectedGenesisRoot(config: GenesisStateConfig, userLog: LogFn): Promise<{
+    genesisArchiveRoot: Fr;
+    genesis: import("@aztec/stdlib/world-state").GenesisData;
+}>;
+/**
+ * Compares the rollup's on-chain protocol constants (genesis archive root, VK tree root, protocol
+ * contracts hash) against the node's expected local values. Returns a list of human-readable mismatch
+ * descriptions, empty if the rollup is compatible.
+ */
+export declare function checkRollupCompatibility(rollup: RollupContract, expected: {
+    genesisArchiveRoot: Fr;
+    vkTreeRoot: Fr;
+    protocolContractsHash: Fr;
+}): Promise<string[]>;
+/**
+ * Waits until the canonical rollup's genesis archive root, VK tree root, and protocol contracts hash
+ * all match the expected local values. If the rollup is not yet compatible (e.g. during L1 contract upgrades),
+ * enters standby mode: starts a lightweight HTTP server for K8s liveness probes and polls every 60s
+ * until a compatible rollup appears.
+ */
+export declare function waitForCompatibleRollup(config: {
+    l1RpcUrls: string[];
+    l1ChainId: number;
+    registryAddress: EthAddress;
+    rollupVersion?: number;
+}, expected: {
+    genesisArchiveRoot: Fr;
+    vkTreeRoot: Fr;
+    protocolContractsHash: Fr;
+}, port: number | undefined, userLog: LogFn): Promise<void>;
+/**
+ * Polls the canonical rollup's protocol constants every 10 minutes and soft-shuts-down the node once they
+ * diverge from the node's expected local values (i.e. an incompatible rollup has become canonical on L1).
+ * The HTTP health server is left running so K8s probes keep passing on the wound-down pod. This is the
+ * inverse of {@link waitForCompatibleRollup}; it should only be set up for nodes following the canonical
+ * rollup. Reuses the {@link checkRollupCompatibility} diff and the generic VersionChecker poll primitive.
+ */
+export declare function setupAutoShutdown(config: {
+    l1RpcUrls: string[];
+    l1ChainId: number;
+}, registryAddress: EthAddress, rollupVersion: number | 'canonical', expected: {
+    genesisArchiveRoot: Fr;
+    vkTreeRoot: Fr;
+    protocolContractsHash: Fr;
+}, signalHandlers: Array<() => Promise<void>>): Promise<void>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RhbmRieS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NsaS9jbWRzL3N0YW5kYnkudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFHakQsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNqRSxPQUFPLEVBQW9CLGNBQWMsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzdFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRWhFLE9BQU8sRUFBRSxLQUFLLEtBQUssRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQVlqRTs7OztHQUlHO0FBQ0gsd0JBQXNCLDBCQUEwQixDQUFDLE1BQU0sRUFBRSxrQkFBa0IsRUFBRSxPQUFPLEVBQUUsS0FBSzs7O0dBYTFGO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFzQix3QkFBd0IsQ0FDNUMsTUFBTSxFQUFFLGNBQWMsRUFDdEIsUUFBUSxFQUFFO0lBQUUsa0JBQWtCLEVBQUUsRUFBRSxDQUFDO0lBQUMsVUFBVSxFQUFFLEVBQUUsQ0FBQztJQUFDLHFCQUFxQixFQUFFLEVBQUUsQ0FBQTtDQUFFLEdBQzlFLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQWlCbkI7QUFFRDs7Ozs7R0FLRztBQUNILHdCQUFzQix1QkFBdUIsQ0FDM0MsTUFBTSxFQUFFO0lBQ04sU0FBUyxFQUFFLE1BQU0sRUFBRSxDQUFDO0lBQ3BCLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsZUFBZSxFQUFFLFVBQVUsQ0FBQztJQUM1QixhQUFhLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDeEIsRUFDRCxRQUFRLEVBQUU7SUFBRSxrQkFBa0IsRUFBRSxFQUFFLENBQUM7SUFBQyxVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQUMscUJBQXFCLEVBQUUsRUFBRSxDQUFBO0NBQUUsRUFDL0UsSUFBSSxFQUFFLE1BQU0sR0FBRyxTQUFTLEVBQ3hCLE9BQU8sRUFBRSxLQUFLLEdBQ2IsT0FBTyxDQUFDLElBQUksQ0FBQyxDQXdEZjtBQUVEOzs7Ozs7R0FNRztBQUNILHdCQUFzQixpQkFBaUIsQ0FDckMsTUFBTSxFQUFFO0lBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRSxDQUFDO0lBQUMsU0FBUyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEVBQ2xELGVBQWUsRUFBRSxVQUFVLEVBQzNCLGFBQWEsRUFBRSxNQUFNLEdBQUcsV0FBVyxFQUNuQyxRQUFRLEVBQUU7SUFBRSxrQkFBa0IsRUFBRSxFQUFFLENBQUM7SUFBQyxVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQUMscUJBQXFCLEVBQUUsRUFBRSxDQUFBO0NBQUUsRUFDL0UsY0FBYyxFQUFFLEtBQUssQ0FBQyxNQUFNLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUN6QyxPQUFPLENBQUMsSUFBSSxDQUFDLENBNkJmIn0=

package/dest/cli/cmds/standby.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"standby.d.ts","sourceRoot":"","sources":["../../../src/cli/cmds/standby.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAGjD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAoB,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC7E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,EAAE,KAAK,KAAK,EAAgB,MAAM,uBAAuB,CAAC;AAYjE;;;;GAIG;AACH,wBAAsB,0BAA0B,CAAC,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK;;;GAa1F;AAED;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE;IAAE,kBAAkB,EAAE,EAAE,CAAC;IAAC,UAAU,EAAE,EAAE,CAAC;IAAC,qBAAqB,EAAE,EAAE,CAAA;CAAE,GAC9E,OAAO,CAAC,MAAM,EAAE,CAAC,CAiBnB;AAED;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE;IACN,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,UAAU,CAAC;IAC5B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,EACD,QAAQ,EAAE;IAAE,kBAAkB,EAAE,EAAE,CAAC;IAAC,UAAU,EAAE,EAAE,CAAC;IAAC,qBAAqB,EAAE,EAAE,CAAA;CAAE,EAC/E,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,OAAO,EAAE,KAAK,GACb,OAAO,CAAC,IAAI,CAAC,CAwDf;AAED;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CACrC,MAAM,EAAE;IAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EAClD,eAAe,EAAE,UAAU,EAC3B,aAAa,EAAE,MAAM,GAAG,WAAW,EACnC,QAAQ,EAAE;IAAE,kBAAkB,EAAE,EAAE,CAAC;IAAC,UAAU,EAAE,EAAE,CAAC;IAAC,qBAAqB,EAAE,EAAE,CAAA;CAAE,EAC/E,cAAc,EAAE,KAAK,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,GACzC,OAAO,CAAC,IAAI,CAAC,CA6Bf"}