pub fn make_transparent<U, F, FS>( builder: &mut ConstraintSystemBuilder<'_, U, F>, name: impl ToString, values: &[FS], ) -> Result<OracleId, Error>where U: PackScalar<F> + PackScalar<FS>, F: TowerField + ExtensionField<FS>, FS: TowerField,