fn sample_z_ood<S: IsSubFieldOf<F>>(
        &mut self,
        lde_roots_of_unity_coset: &[FieldElement<S>],
        trace_roots_of_unity: &[FieldElement<S>],
    ) -> FieldElement<F>
    where
        FieldElement<F>: AsBytes,
    {
        loop {
            let value: FieldElement<F> = self.sample_field_element();
            if !lde_roots_of_unity_coset
                .iter()
                .any(|x| x.clone().to_extension() == value)
                && !trace_roots_of_unity
                    .iter()
                    .any(|x| x.clone().to_extension() == value)
            {
                return value;
            }
        }
    }
Returns a field element not contained in `lde_roots_of_unity_coset` or `trace_roots_of_unity`.
crates/crypto/src/fiat_shamir/is_transcript.rs