Skip to content

Commit

Permalink
o1vm/pickles: add hint regarding debugging individual constraint
Browse files Browse the repository at this point in the history
  • Loading branch information
dannywillems committed Oct 9, 2024
1 parent 68dda4c commit 3d4a21c
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions o1vm/src/pickles/prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,13 @@ where
};

debug!("Prover: computing the quotient polynomial");
// Hint:
// To debug individual constraint, you can revert the following commits that implement the
// check for individual constraints.
// ```
// git revert 8e87244a98d55b90d175ad389611a3c98bd16b34
// git revert 96d42c127ef025869c91e5fed680e0e383108706
// ```
let quotient_poly: DensePolynomial<G::ScalarField> = {
// Compute ∑ α^i constraint_i as an expression
let combined_expr =
Expand Down

0 comments on commit 3d4a21c

Please sign in to comment.