Skip to content

Missing consistency check between jagged_eval and partial_sumcheck_proof.claimed_sum #5

New issue
New issue
Open
#7
Open
Missing consistency check between jagged_eval and partial_sumcheck_proof.claimed_sum#5
#7
@han0110

Description

@han0110
han0110
opened on May 22, 2025

It seems there is a missing consistency check between jagged_eval and partial_sumcheck_proof.claimed_sum here (or I might be missing it).

hypercube-verifier/crates/jagged/src/jagged_eval/sumcheck_eval.rs

Lines 54 to 67 in fc1d1a3

// Calcuate the jagged eval from the branching program eval claims.
let jagged_eval = z_col_partial_lagrange
.iter()
.zip(branching_program_evals.iter())
.map(|(partial_lagrange, branching_program_eval)| {
*partial_lagrange * *branching_program_eval
})
.sum::<EF>();
// Verify the jagged eval proof.
let result = partially_verify_sumcheck_proof(partial_sumcheck_proof, challenger);
if let Err(result) = result {
return Err(JaggedEvalSumcheckError::SumcheckError(result));
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions