import { G2Line } from '../../lines/index.js';
import { G1Affine } from '../../ec/index.js';
import { Fp12 } from '../../towers/index.js';
import { Field } from 'o1js';
declare class KZGPairing {
    g2_lines: Array<G2Line>;
    tau_lines: Array<G2Line>;
    w27: Array<Fp12>;
    constructor(g2_lines: string, tau_lines: string, w27: Fp12);
    multiMillerLoop(A: G1Affine, negB: G1Affine): Fp12;
    proveEqual(A: G1Affine, negB: G1Affine, shift_power: Field, c: Fp12): void;
}
export { KZGPairing };