Function chunk_frob_fp12

bitvm/src/chunk/taps_ext_miller.rs:203–232

Assumes (1 + f) is valid Fp12 i.e. f != Fq6::ZERO power is in the range (0, 1, 2)

(
    f: ark_bn254::Fq6,
    power: usize,
)

// Assumes (1 + f) is valid Fp12 i.e. f != Fq6::ZERO
// power is in the range (0, 1, 2)
pub(crate) fn chunk_frob_fp12(
    f: ark_bn254::Fq6,
    power: usize,
) -> (ark_bn254::Fq6, bool, Script, Vec<Hint>) {
    let fp12 = ark_bn254::Fq12::new(ark_bn254::Fq6::ONE, f);
    let (hinted_frob_scr, hints_frobenius_map) = Fq12::hinted_frobenius_map(power, fp12);
    let g = fp12.frobenius_map(power);

    let ops_scr = script! {
        // [f]

        // Validity checks
        { Fq6::check_validity() }
        { Fq6::fromaltstack() }

        {Fq6::push(ark_bn254::Fq6::ONE)}
        {Fq6::copy(6)}
        // [f, (1, f)]
        {hinted_frob_scr}
        // [f, (1, g)]
        {Fq6::roll(6)}
        {Fq6::push(ark_bn254::Fq6::ONE)}
        {Fq6::equalverify()}
        // [f, g]
        {1} // input was valid
    };

    let valid_input = true;
    (g.c1, valid_input, ops_scr, hints_frobenius_map)
}

pub(crate) fn chunk_hash_c(
    hint_in_c: Vec<ark_ff::BigInt<4>>,