/**
 * ZK proof verification.
 *
 * Verifies a proof against a circuit verification key, abstracted over
 * proof algorithms so that groth16, PLONK, and future schemes share the
 * same `verifier.verify({ alg, inputs })` interface.
 *
 * Requires `snarkjs` (dynamic import) for `groth16.verify`.
 */
import type { ProofAlgId } from "@lemmaoracle/spec";
/** Algorithm-specific inputs — the shape depends on {@link ProofAlgId}. */
export type VerifyInput = Readonly<{
    alg: ProofAlgId;
    inputs: Readonly<Record<string, unknown>>;
}>;
export type VerifyOutput = Readonly<{
    ok: boolean;
}>;
export declare const verify: (input: VerifyInput) => Promise<VerifyOutput>;
//# sourceMappingURL=verifier.d.ts.map