Skip to content

Commit

Permalink
Clarify comment
Browse files Browse the repository at this point in the history
  • Loading branch information
codygunton committed Sep 11, 2024
1 parent ce5d24f commit 9638d9f
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -127,7 +127,7 @@ FoldingResult<typename DeciderProvingKeys::Flavor> ProtogalaxyProver_<DeciderPro
FoldingResult<Flavor> result{ .accumulator = keys[0], .proof = std::move(transcript->proof_data) };
result.accumulator->is_accumulator = true;

// Compute the next target sum (for its use; must be computed by the verifier)
// Compute the next target sum (for its own use; verifier must compute its own values)
auto [vanishing_polynomial_at_challenge, lagranges] =
Fun::compute_vanishing_polynomial_and_lagranges(combiner_challenge);
result.accumulator->target_sum = perturbator_evaluation * lagranges[0] +
Expand Down

0 comments on commit 9638d9f

Please sign in to comment.