pub fn compress_babybear_var_to_bn254( builder: &mut Builder<OuterConfig>, var: [Var<Bn254Fr>; 8], ) -> Var<Bn254Fr>