musig: ctimetests: fix _declassify range for generated nonce points

theStack · theStack · commit 57eda3ba300a · 2024-10-20T02:29:35.000+02:00
The area marked as non-secret exceeds the nonce_pts array in the
second iteration of the for loop. Fix that by passing the correct
size to the _declassify call.
diff --git a/src/modules/musig/session_impl.h b/src/modules/musig/session_impl.h
@@ -448,7 +448,7 @@ int secp256k1_musig_nonce_gen_internal(const secp256k1_context* ctx, secp256k1_m
         secp256k1_gej nonce_ptj;
         secp256k1_ecmult_gen(&ctx->ecmult_gen_ctx, &nonce_ptj, &k[i]);
         secp256k1_ge_set_gej(&nonce_pts[i], &nonce_ptj);
-        secp256k1_declassify(ctx, &nonce_pts[i], sizeof(nonce_pts));
+        secp256k1_declassify(ctx, &nonce_pts[i], sizeof(nonce_pts[i]));
         secp256k1_scalar_clear(&k[i]);
     }
     /* None of the nonce_pts will be infinity because k != 0 with overwhelming

Original file line number	Diff line number	Diff line change
`@@ -448,7 +448,7 @@ int secp256k1_musig_nonce_gen_internal(const secp256k1_context* ctx, secp256k1_m`
`448`	`448`	`secp256k1_gej nonce_ptj;`
`449`	`449`	`secp256k1_ecmult_gen(&ctx->ecmult_gen_ctx, &nonce_ptj, &k[i]);`
`450`	`450`	`secp256k1_ge_set_gej(&nonce_pts[i], &nonce_ptj);`
`451`		`- secp256k1_declassify(ctx, &nonce_pts[i], sizeof(nonce_pts));`
	`451`	`+ secp256k1_declassify(ctx, &nonce_pts[i], sizeof(nonce_pts[i]));`
`452`	`452`	`secp256k1_scalar_clear(&k[i]);`
`453`	`453`	`}`
`454`	`454`	`/* None of the nonce_pts will be infinity because k != 0 with overwhelming`