saffron::read_proof

Function verify_answer

Source 
pub fn verify_answer(
    srs: &SRS<Curve>,
    query: &Query,
    answer: &Answer,
    proof: &ReadProof,
) -> bool
Expand description

Checks that the provided answer is consistent with the proof Here, we just recompute the commitment TODO: could we just recompute the evaluation ?