pub fn fri_fold<F: AbstractField>(
z: u32,
alpha: u32,
x: u32,
mat_opening: Vec<u32>,
ps_at_z: Vec<u32>,
alpha_pow_input: Vec<u32>,
ro_input: Vec<u32>,
alpha_pow_output: Vec<u32>,
ro_output: Vec<u32>,
alpha_mults: Vec<u32>,
ro_mults: Vec<u32>,
) -> Instruction<F>