import type { Storage } from '../../storage.js';
import type { GenerateZkProofInput, VerifyZkProofInput, ZkProofBundle, ZkVerifyResult } from '../types.js';
import type { ZkChallenge, ZkChallengeInput, ZkCircuitDefinition } from './types.js';
export declare class PersonaZkpEngine {
    private storage;
    private identityDid;
    private signingSecret;
    private providerMode;
    private noirRunner?;
    private warnedNoirFallback;
    private circuitManifest;
    constructor(storage: Storage, identityDid: string, secret?: string);
    listCircuits(): ZkCircuitDefinition[];
    createChallenge(input: ZkChallengeInput): ZkChallenge;
    generateProof(vaultId: string, input: GenerateZkProofInput): ZkProofBundle;
    verifyProof(input: VerifyZkProofInput): ZkVerifyResult;
    private assertCircuitActive;
    private seedCircuits;
    private tryGenerateWithNoir;
    private tryVerifyWithNoir;
    private runNoirRunner;
    private warnNoirFallback;
    private loadCircuitManifest;
    private assertProductionArtifacts;
}
//# sourceMappingURL=engine.d.ts.map