field: Verify field element even after secp256k1_fe_set_b32 fails

BlockstreamResearch · Feb 1, 2023 · d93f62e · d93f62e
1 parent 8ebe5c5
commit d93f62e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/field_10x26_impl.h b/src/field_10x26_impl.h
@@ -372,6 +372,7 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
         secp256k1_fe_verify(r);
     } else {
         r->normalized = 0;
+        secp256k1_fe_verify(r);
     }
 #endif
     return ret;

diff --git a/src/field_5x52_impl.h b/src/field_5x52_impl.h
@@ -347,6 +347,7 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
         secp256k1_fe_verify(r);
     } else {
         r->normalized = 0;
+        secp256k1_fe_verify(r);
     }
 #endif
     return ret;