/**
 * Whitepaper §2.4 / §4.8 — Local ZK proof generation.
 *
 * Production uses snarkjs with wasm/zkey resolved from circuit metadata
 * artifact.location. Falls back to SHA-256 hashing when artifacts are unavailable.
 *
 * All Node-only APIs (node:crypto, Buffer, static snarkjs import) are avoided
 * so the module works in both Node.js and browser runtimes.
 */
import type { LemmaClient } from "@lemmaoracle/spec";
export type ProveInput = Readonly<{
    circuitId: string;
    witness: Readonly<Record<string, unknown>>;
}>;
export type ProveOutput = Readonly<{
    proof: string;
    inputs: ReadonlyArray<string>;
}>;
/**
 * Generate a ZK proof using snarkjs with artifacts from circuit metadata,
 * or fall back to SHA-256 hashing when artifacts are unavailable.
 */
export declare const prove: (client: LemmaClient, input: ProveInput) => Promise<ProveOutput>;
//# sourceMappingURL=prover.d.ts.map