Skip to content

Commit

Permalink
Fix Minor Typo in Comment Update SpartanVerifier.sol (#516)
Browse files Browse the repository at this point in the history
  • Loading branch information
mdqst authored Dec 3, 2024
1 parent 0a34e4a commit abb0f07
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion jolt-evm-verifier/src/subprotocols/SpartanVerifier.sol
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ contract SpartanVerifier is HyperKZG {
Fr claim_inner_join =
claim_Az + r_inner_sumcheck_RLC * claim_Bz + r_inner_sumcheck_RLC * r_inner_sumcheck_RLC * claim_Cz;

// Validate the the inner sumcheck
// Validate the inner sumcheck
(Fr claim_inner, Fr[] memory r_y) =
SumcheckVerifier.verify_sumcheck(transcript, proof.inner, claim_inner_join, log_cols, 2);
// The n prefix is key.uniform_r1cs.num_vars.next_power_of_two().log_2() + 1; and in our system it's initialized to 8
Expand Down

0 comments on commit abb0f07

Please sign in to comment.