pub fn batch_fri<F: AbstractField>( acc: u32, alpha_pows: Vec<u32>, p_at_zs: Vec<u32>, p_at_xs: Vec<u32>, acc_mult: u32, ) -> Instruction<F>