Add invariant checking to group elements

bitcoin-core · May 10, 2023 · f202667 · f202667
1 parent a18821d
commit f202667
Show file tree

Hide file tree

Showing 2 changed files with 191 additions and 5 deletions.
diff --git a/src/group.h b/src/group.h
@@ -164,4 +164,12 @@ static void secp256k1_gej_rescale(secp256k1_gej *r, const secp256k1_fe *b);
  */
 static int secp256k1_ge_is_in_correct_subgroup(const secp256k1_ge* ge);
 
+#ifdef VERIFY
+/** Check invariants on an affine group element. */
+static void secp256k1_ge_verify(const secp256k1_ge *a);
+
+/** Check invariants on a Jacobian group element. */
+static void secp256k1_gej_verify(const secp256k1_gej *a);
+#endif
+
 #endif /* SECP256K1_GROUP_H */