import { Fp12Type } from '../towers/fp12.js';
import { Risc0RawVk, Risc0Vk } from '../api/sp1/types.js';
export interface AuxWitnessWasm {
    c: Fp12Type;
    shift_power: string;
}
export interface Alpha {
    x: string;
    y: string;
}
export interface Beta {
    x_c0: string;
    x_c1: string;
    y_c0: string;
    y_c1: string;
}
export interface AlphaBetaWasm {
    alpha: Alpha;
    beta: Beta;
}
export declare function computeAuxWitness(f12: Fp12Type): AuxWitnessWasm;
export declare function makeAlphaBeta(raw_vk: Risc0RawVk, input: AlphaBetaWasm): Risc0Vk;