import { FieldElement, Proof, VerifyingKey } from "./types";
export declare class Groth16Verifier {
    private wasmInstance;
    constructor(wasmInstance: any);
    /**
     * Verify a Groth16 proof
     */
    verify(verifyingKey: VerifyingKey, publicInputs: FieldElement[], proof: Proof): boolean;
    /**
     * Batch verify multiple proofs (more efficient)
     */
    batchVerify(verifyingKey: VerifyingKey, proofData: Array<{
        publicInputs: FieldElement[];
        proof: Proof;
    }>): boolean[];
    /**
     * Verify proof from JSON format
     */
    verifyFromJson(verifyingKey: VerifyingKey, publicInputsJson: string, proofJson: string): boolean;
}
//# sourceMappingURL=verifier.d.ts.map