fix: allow(non_snake_case) for functions using EC notation.

Author: mmaker

tests/relations/mod.rs

@@ -321,6 +321,7 @@ pub fn bbs_blind_commitment<G: PrimeGroup, R: RngCore>(
 }
 
 /// LinearMap for the user's specific relation: A * 1 + gen__disj1_x_r * B
+#[allow(non_snake_case)]
 pub fn weird_linear_combination<G: PrimeGroup, R: RngCore>(
     rng: &mut R,
 ) -> (CanonicalLinearRelation<G>, Vec<G::Scalar>) {
@@ -349,6 +350,7 @@ pub fn weird_linear_combination<G: PrimeGroup, R: RngCore>(
     (instance, witness)
 }
 
+#[allow(non_snake_case)]
 pub fn simple_subtractions<G: PrimeGroup, R: RngCore>(
     mut rng: &mut R,
 ) -> (CanonicalLinearRelation<G>, Vec<G::Scalar>) {
@@ -368,6 +370,7 @@ pub fn simple_subtractions<G: PrimeGroup, R: RngCore>(
     (instance, witness)
 }
 
+#[allow(non_snake_case)]
 pub fn subtractions_with_shift<G: PrimeGroup, R: RngCore>(
     rng: &mut R,
 ) -> (CanonicalLinearRelation<G>, Vec<G::Scalar>) {
@@ -433,6 +436,7 @@ pub fn cmz_wallet_spend_relation<G: PrimeGroup, R: RngCore>(
     (instance, witness)
 }
 
+#[allow(non_snake_case)]
 pub fn nested_affine_relation<G: PrimeGroup, R: RngCore>(
     mut rng: &mut R,
 ) -> (CanonicalLinearRelation<G>, Vec<G::Scalar>) {
@@ -457,6 +461,7 @@ pub fn nested_affine_relation<G: PrimeGroup, R: RngCore>(
     (instance, witness)
 }
 
+#[allow(non_snake_case)]
 pub fn pedersen_commitment_equality<G: PrimeGroup, R: RngCore>(
     rng: &mut R,
 ) -> (CanonicalLinearRelation<G>, Vec<G::Scalar>) {
@@ -480,6 +485,7 @@ pub fn pedersen_commitment_equality<G: PrimeGroup, R: RngCore>(
     (instance.canonical().unwrap(), witness)
 }
 
+#[allow(non_snake_case)]
 pub fn elgamal_subtraction<G: PrimeGroup, R: RngCore>(
     rng: &mut R,
 ) -> (CanonicalLinearRelation<G>, Vec<G::Scalar>) {

tests/test_relations.rs

@@ -8,6 +8,7 @@ mod relations;
 use relations::*;
 
 #[test]
+#[allow(non_snake_case)]
 fn test_cmz_wallet_with_fee() {
     use group::Group;
     type G = bls12_381::G1Projective;

tests/test_validation_criteria.rs

@@ -32,6 +32,7 @@ mod instance_validation {
     }
 
     #[test]
+    #[allow(non_snake_case)]
     fn test_zero_image() {
         // Create a linear relation with zero elements in the image
         // 0 = x * G (which is invalid)
@@ -108,6 +109,7 @@ mod instance_validation {
     }
 
     #[test]
+    #[allow(non_snake_case)]
     fn test_empty_string() {
         let rng = &mut rand::thread_rng();
         let relation = LinearRelation::<G>::new();
@@ -123,6 +125,7 @@ mod instance_validation {
     }
 
     #[test]
+    #[allow(non_snake_case)]
     fn test_statement_without_witness() {
         let pub_scalar = Scalar::from(42);
         let A = G::generator();
@@ -185,6 +188,7 @@ mod instance_validation {
     }
 
     #[test]
+    #[allow(non_snake_case)]
     fn test_statement_with_trivial_image() {
         let mut rng = rand::thread_rng();
         let mut linear_relation = LinearRelation::new();
@@ -385,6 +389,7 @@ mod proof_validation {
     }
 
     #[test]
+    #[allow(non_snake_case)]
     fn test_or_relation() {
         // This test reproduces the issue from sigma_compiler's simple_or test
         // where an OR relation fails verification when using the wrong branch