diff --git a/src/field.h b/src/field.h
index c7a88c4e13b4b..62dc0f3ae04da 100644
--- a/src/field.h
+++ b/src/field.h
@@ -143,4 +143,9 @@ static void secp256k1_fe_get_bounds(secp256k1_fe *r, int m);
 /** Determine whether a is a square (modulo p). */
 static int secp256k1_fe_is_square_var(const secp256k1_fe *a);
 
+#ifdef VERIFY
+/** Check invariants on a field element. */
+static void secp256k1_fe_verify(const secp256k1_fe *a);
+#endif
+
 #endif /* SECP256K1_FIELD_H */