import { Fp12, FrC } from '../towers/index.js';
import { AuXWitness } from './aux_witness.js';
import { KZGPairing } from './mm_loop/multi_miller.js';
import { PlonkVerifierPIOP } from './piop/piop.js';
import { Sp1PlonkProof } from './proof.js';
import { Sp1PlonkVk } from './vk.js';
declare class Sp1PlonkVerifier {
    piopV: PlonkVerifierPIOP;
    kzgP: KZGPairing;
    constructor(VK: Sp1PlonkVk, g2_lines: string, tau_lines: string);
    verify(proof: Sp1PlonkProof, pi0: FrC, pi1: FrC, auxWitness: AuXWitness): void;
    computeMlo(proof: Sp1PlonkProof, pi0: FrC, pi1: FrC): Fp12;
}
export { Sp1PlonkVerifier };