pub fn make_scalars_env_checked<F: FieldWitness>(
params: MakeScalarsEnvParams<'_, F>,
w: &mut Witness<F>,
) -> ScalarsEnv<F>
pub fn make_scalars_env_checked<F: FieldWitness>(
params: MakeScalarsEnvParams<'_, F>,
w: &mut Witness<F>,
) -> ScalarsEnv<F>