import { Circuit, Proof, ProvingKey, Witness } from "./types";
export declare class Groth16Prover {
    private wasmInstance;
    private fieldOps;
    constructor(wasmInstance: any);
    /**
     * Generate a Groth16 proof
     */
    prove(circuit: Circuit, provingKey: ProvingKey, witness: Witness): Promise<Proof>;
    /**
     * Generate proof with automatic witness computation
     */
    proveWithInputs(circuit: Circuit, provingKey: ProvingKey, inputs: Record<string, string>): Promise<Proof>;
    /**
     * Export proof in different formats
     */
    exportProof(proof: Proof, format: 'json' | 'solidity' | 'bytes'): string | Uint8Array;
}
//# sourceMappingURL=prover.d.ts.map