From 56d554cb6b986af53a93c31c157c93a5fd806988 Mon Sep 17 00:00:00 2001
From: Davide Galassi <davxy@datawok.net>
Date: Sat, 2 Nov 2024 18:34:27 +0100
Subject: [PATCH] Assumptions check

---
 src/suites/bandersnatch.rs | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/src/suites/bandersnatch.rs b/src/suites/bandersnatch.rs
index af3272b..3faec0b 100644
--- a/src/suites/bandersnatch.rs
+++ b/src/suites/bandersnatch.rs
@@ -214,6 +214,14 @@ pub mod edwards {
                 AffinePoint::new_unchecked(X, Y)
             };
         }
+
+        #[test]
+        fn check_assumptions() {
+            use crate::ring::RingSuite;
+            check_point(BandersnatchSha512Ell2::BLINDING_BASE);
+            check_point(BandersnatchSha512Ell2::ACCUMULATOR_BASE);
+            check_point(BandersnatchSha512Ell2::PADDING);
+        }
     }
     #[cfg(feature = "ring")]
     pub use ring_defs::*;
@@ -224,11 +232,15 @@ pub mod edwards {
     #[cfg(test)]
     suite_tests!(BandersnatchSha512Ell2);
 
+    fn check_point(p: AffinePoint) {
+        assert!(p.is_on_curve());
+        assert!(p.is_in_correct_subgroup_assuming_on_curve());
+    }
+
     #[test]
     fn elligator2_hash_to_curve() {
-        let point = BandersnatchSha512Ell2::data_to_point(b"foo").unwrap();
-        assert!(point.is_on_curve());
-        assert!(point.is_in_correct_subgroup_assuming_on_curve());
+        let p = BandersnatchSha512Ell2::data_to_point(b"foo").unwrap();
+        check_point(p);
     }
 }