From 799a27c81361221c996d442551191a4aff940f5e Mon Sep 17 00:00:00 2001 From: mllwchrry Date: Tue, 3 Mar 2026 17:33:57 +0200 Subject: [PATCH] ecdsa_adaptor: Check for infinity in secp256k1_dleq_verify --- src/modules/ecdsa_adaptor/dleq_impl.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/modules/ecdsa_adaptor/dleq_impl.h b/src/modules/ecdsa_adaptor/dleq_impl.h index 60e63a34..1d1548c4 100644 --- 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);