From c9ae343d352ef6e67bdc643ee2aa9d8ed4ce840c Mon Sep 17 00:00:00 2001
From: KonradStaniec <konrad.staniec@gmail.com>
Date: Wed, 15 Jan 2025 13:37:03 +0100
Subject: [PATCH 1/2] fix R verification
---
crypto/schnorr-adaptor-signature/sign_utils.go | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/crypto/schnorr-adaptor-signature/sign_utils.go b/crypto/schnorr-adaptor-signature/sign_utils.go
index 6ce1d984e..dd9201de2 100644
--- a/crypto/schnorr-adaptor-signature/sign_utils.go
+++ b/crypto/schnorr-adaptor-signature/sign_utils.go
@@ -126,11 +126,9 @@ func encVerify(
expRHat.ToAffine()
- // fail if expected R'.y is odd
- if expRHat.Y.IsOdd() {
- return fmt.Errorf("expected R'.y is odd")
+ if R.Y.IsOdd() {
+ return fmt.Errorf("expected R.y is odd")
}
-
// ensure R' is same as the expected R' = s'*G - e*P
if !expRHat.X.Equals(&RHat.X) {
return fmt.Errorf("expected R' = s'*G - e*P is different from the actual R'")
From 5d9fed2cb9849c9e1319b9062245d2be74e468ee Mon Sep 17 00:00:00 2001
From: KonradStaniec <konrad.staniec@gmail.com>
Date: Wed, 15 Jan 2025 13:56:22 +0100
Subject: [PATCH 2/2] changelog
---
CHANGELOG.md | 2 ++
1 file changed, 2 insertions(+)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index cb7ff0ba7..24b2f8a6d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -48,6 +48,8 @@ check of rewards
0.50.11
- [#404](https://github.com/babylonlabs-io/babylon/pull/404) Improve adaptor
signature nonce generation to match reference implementation
+- [#413](https://github.com/babylonlabs-io/babylon/pull/413) Fix adaptor
+signature R verification
## v1.0.0-rc3