import { BigNumber } from "ethers";
export declare class Pythia1Verifier {
    static verifyProof(a: BigNumber[], b: BigNumber[][], c: BigNumber[], input: BigNumber[]): Promise<boolean>;
}