verify_claim

remainder::utils::mle

Function verify_claim 

Source 
pub fn verify_claim<F: Field>(
    mle_unpadded_evaluations: &[F],
    claim: &RawClaim<F>,
)
Expand description

Verifies a claim by evaluating the MLE at the challenge point and checking that the result.