Function o1vm::pickles::lookup_verifier::lookup_verify

source ·

pub fn lookup_verify<G: KimchiCurve, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, EFrSponge: FrSponge<G::ScalarField>>(
    beta_challenge: G::ScalarField,
    gamma_challenge: G::ScalarField,
    constraint: ELookup<G::ScalarField>,
    fq_sponge: EFqSponge,
    domain: EvaluationDomains<G::ScalarField>,
    srs: &<OpeningProof<G> as OpenProof<G>>::SRS,
    proof: &Proof<G>
) -> boolwhere
    G::BaseField: PrimeField,