From 6cc0a2d405fb5cf00db4be82255c4117763dc750 Mon Sep 17 00:00:00 2001
From: Davide Galassi <davxy@datawok.net>
Date: Sun, 10 Nov 2024 12:25:11 +0100
Subject: [PATCH] check constant points values

---
 src/pedersen.rs       | 11 +++++++++++
 src/ring.rs           | 32 ++++++++++++++++++++++++++++++++
 src/suites/testing.rs |  4 ++--
 3 files changed, 45 insertions(+), 2 deletions(-)

diff --git a/src/pedersen.rs b/src/pedersen.rs
index 9e06355..ab8980a 100644
--- a/src/pedersen.rs
+++ b/src/pedersen.rs
@@ -162,6 +162,12 @@ pub(crate) mod testing {
         );
     }
 
+    pub fn blinding_base_check<S: PedersenSuite>() {
+        const BLINDING_BASE_SEED: &[u8] = b"w3f/ring-proof/blinding";
+        let p = S::data_to_point(BLINDING_BASE_SEED).unwrap();
+        assert_eq!(S::BLINDING_BASE, p);
+    }
+
     #[macro_export]
     macro_rules! pedersen_suite_tests {
         ($suite:ident) => {
@@ -169,6 +175,11 @@ pub(crate) mod testing {
             fn pedersen_prove_verify() {
                 $crate::pedersen::testing::prove_verify::<$suite>();
             }
+
+            #[test]
+            fn pedersen_blinding_base_check() {
+                $crate::pedersen::testing::blinding_base_check::<$suite>();
+            }
         };
     }
 
diff --git a/src/ring.rs b/src/ring.rs
index 79f8e59..b280144 100644
--- a/src/ring.rs
+++ b/src/ring.rs
@@ -353,6 +353,28 @@ pub(crate) mod testing {
         assert!(result.is_ok());
     }
 
+    #[allow(unused)]
+    pub fn padding_check<S: RingSuite>()
+    where
+        BaseField<S>: ark_ff::PrimeField,
+        AffinePoint<S>: ring_proof::AffineCondAdd,
+    {
+        const PADDING_SEED: &[u8] = b"w3f/ring-proof/padding";
+        let p = S::data_to_point(PADDING_SEED).unwrap();
+        assert_eq!(S::PADDING, p);
+    }
+
+    #[allow(unused)]
+    pub fn accumulator_base_check<S: RingSuite>()
+    where
+        BaseField<S>: ark_ff::PrimeField,
+        AffinePoint<S>: ring_proof::AffineCondAdd,
+    {
+        const ACCUMULATOR_BASE_SEED: &[u8] = b"w3f/ring-proof/accumulator";
+        let p = S::data_to_point(ACCUMULATOR_BASE_SEED).unwrap();
+        assert_eq!(S::ACCUMULATOR_BASE, p);
+    }
+
     #[macro_export]
     macro_rules! ring_suite_tests {
         ($suite:ident) => {
@@ -360,6 +382,16 @@ pub(crate) mod testing {
             fn ring_prove_verify() {
                 $crate::ring::testing::prove_verify::<$suite>()
             }
+
+            #[test]
+            fn ring_padding_check() {
+                $crate::ring::testing::padding_check::<$suite>()
+            }
+
+            #[test]
+            fn ring_accumulator_base_check() {
+                $crate::ring::testing::accumulator_base_check::<$suite>()
+            }
         };
     }
 
diff --git a/src/suites/testing.rs b/src/suites/testing.rs
index 09410b9..25d6ad6 100644
--- a/src/suites/testing.rs
+++ b/src/suites/testing.rs
@@ -23,9 +23,9 @@ impl Suite for TestSuite {
 impl PedersenSuite for TestSuite {
     const BLINDING_BASE: AffinePoint = {
         const X: BaseField =
-            MontFp!("1181072390894490040170698195029164902368238760122173135634802939739986120753");
+            MontFp!("2842812182132742151291439804105987992770071362848070020835328675429531065386");
         const Y: BaseField = MontFp!(
-            "16819438535150625131748701663066892288775529055803151482550035706857354997714"
+            "51537589290258453714586392305999864217349499404270029291993413345863140891436"
         );
         AffinePoint::new_unchecked(X, Y)
     };