Function lookup_verify 

pub fn lookup_verify<const FULL_ROUNDS: usize, G, EFqSponge, EFrSponge>(
    beta_challenge: G::ScalarField,
    gamma_challenge: G::ScalarField,
    constraint: ELookup<G::ScalarField>,
    fq_sponge: EFqSponge,
    domain: EvaluationDomains<G::ScalarField>,
    srs: &<OpeningProof<G, FULL_ROUNDS> as OpenProof<G, FULL_ROUNDS>>::SRS,
    proof: &Proof<FULL_ROUNDS, G>,
) -> bool
where
    G: KimchiCurve<FULL_ROUNDS>,
    EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField, FULL_ROUNDS>,
    EFrSponge: FrSponge<G::ScalarField> + From<&'static ArithmeticSpongeParams<G::ScalarField, FULL_ROUNDS>>,
    G::BaseField: PrimeField,