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>