import type { HardhatRuntimeEnvironment } from "hardhat/types/hre";
/**
 * Discovers Honk/BB verifier contracts in contracts/verifiers/bfv/honk/
 * (excluding BfvDecryptionVerifier which lives in bfv/ and does not use ZKTranscriptLib).
 * Uses interfold-contracts package root so discovery works when run from consuming projects (e.g. CRISP).
 */
export declare const discoverVerifierContracts: () => string[];
/**
 * Deploys a single verifier contract and saves the deployment record.
 * BB-generated verifiers require ZKTranscriptLib to be linked.
 * Skips deployment if the contract is already deployed on the target chain.
 *
 * Note: The library FQN (fully-qualified name) uses the pattern:
 * "contracts/verifiers/bfv/honk/<ContractName>.sol:ZKTranscriptLib"
 * If you get linking errors, check the contract's compiled artifact for the exact FQN.
 */
export declare const deployAndSaveVerifier: (contractName: string, hre: HardhatRuntimeEnvironment, zkTranscriptLibAddress: string) => Promise<{
    address: string;
}>;
export interface VerifierDeployments {
    [contractName: string]: string;
}
/**
 * Deploys all Honk verifier contracts found in contracts/verifiers/bfv/honk/.
 * Skips any that are already deployed on the target chain.
 *
 * @returns A mapping of contract names to their deployed addresses.
 */
export declare const deployAndSaveAllVerifiers: (hre: HardhatRuntimeEnvironment) => Promise<VerifierDeployments>;
//# sourceMappingURL=verifiers.d.ts.map