Update src/modules/musig/session_impl.h

jonasnick · robot-dreams · web-flow · commit 5954ea3f824b · 2021-12-15T16:54:40.000Z
Co-authored-by: Elliott Jin &lt;4276679+robot-dreams@users.noreply.github.com&gt;
diff --git a/src/modules/musig/session_impl.h b/src/modules/musig/session_impl.h
@@ -702,7 +702,7 @@ int secp256k1_musig_partial_sig_verify(const secp256k1_context* ctx, const secp2
      *           = d_tweak*d_agg*d[i]*P[i]
      *           = d_tweak*d_agg*|P[i]|
      *
-     * The if condition is below is true whenever d_tweak*d_agg is
+     * The if condition below is true whenever d_tweak*d_agg is
      * negative (again, see the explanation in musig_partial_sign). In
      * this case, the verifier negates e which will have the same end
      * result as negating |P[i]|, since they are multiplied later anyway.

Original file line number	Diff line number	Diff line change
`@@ -702,7 +702,7 @@ int secp256k1_musig_partial_sig_verify(const secp256k1_context* ctx, const secp2`
`702`	`702`	`* = d_tweakd_aggd[i]*P[i]`
`703`	`703`	`* = d_tweakd_agg\|P[i]\|`
`704`	`704`	`*`
`705`		`- * The if condition is below is true whenever d_tweak*d_agg is`
	`705`	`+ * The if condition below is true whenever d_tweak*d_agg is`
`706`	`706`	`* negative (again, see the explanation in musig_partial_sign). In`
`707`	`707`	`* this case, the verifier negates e which will have the same end`
`708`	`708`	`* result as negating \|P[i]\|, since they are multiplied later anyway.`