ecdsa_adaptor: Check for infinity in secp256k1_dleq_verify

2026-03-03 17:33:57 +02:00
parent 459eab20f2
commit 799a27c813
1 changed files with 4 additions and 0 deletions
--- a/src/modules/ecdsa_adaptor/dleq_impl.h
+++ b/src/modules/ecdsa_adaptor/dleq_impl.h
@@ -145,6 +145,10 @@ static int secp256k1_dleq_verify(const secp256k1_scalar *s, const secp256k1_scal
    secp256k1_ecmult(&rj[1], &gen2j, s, &secp256k1_scalar_zero);
    secp256k1_gej_add_var(&rj[1], &rj[1], &tmpj, NULL);

+    if (secp256k1_gej_is_infinity(&rj[0]) || secp256k1_gej_is_infinity(&rj[1])) {
+        return 0;
+    }
+
    secp256k1_ge_set_all_gej_var(r, rj, 2);

    secp256k1_dleq_challenge(&e_expected, gen2, &r[0], &r[1], p1, p2);