tests: add tests for random g1 and g2

Author: prajwolrg

Cargo.lock

@@ -26,3 +26,4 @@ hex.workspace = true
 zkaleido.workspace = true
 serde_json = "1.0.140"
 bincode.workspace = true
+rand = "0.8.3"

adapters/sp1/groth16-verifier/Cargo.toml

@@ -131,7 +131,8 @@ impl SP1Groth16Verifier {
 
 #[cfg(test)]
 mod tests {
-    use bn::{AffineG1, AffineG2, Fq, Fq2, G1, G2};
+    use bn::{AffineG1, AffineG2, Fq, Fq2, Group, G1, G2};
+    use rand::thread_rng;
     use sp1_verifier::GROTH16_VK_BYTES;
     use zkaleido::ProofReceipt;
 
@@ -163,7 +164,9 @@ mod tests {
         let vk_alpha = verifier.vk.g1.alpha.0;
         let alpha_x = vk_alpha.x();
         let alpha_y = vk_alpha.y();
-        let invalid_alpha_x = alpha_x + Fq::one();
+
+        let mut rng = thread_rng();
+        let invalid_alpha_x = alpha_x + Fq::random(&mut rng);
 
         let res = AffineG1::new(alpha_x, alpha_y);
         assert!(res.is_ok());
@@ -180,6 +183,14 @@ mod tests {
             receipt.public_values().as_bytes(),
         );
         assert!(res.is_err());
+
+        let random_alpha = AffineG1::from_jacobian(G1::random(&mut rng)).unwrap();
+        verifier.vk.g1.alpha.0 = random_alpha;
+        let res = verifier.verify(
+            receipt.proof().as_bytes(),
+            receipt.public_values().as_bytes(),
+        );
+        assert!(res.is_err());
     }
 
     #[test]
@@ -205,5 +216,14 @@ mod tests {
             receipt.public_values().as_bytes(),
         );
         assert!(res.is_err());
+
+        let mut rng = thread_rng();
+        let random_gamma = AffineG2::from_jacobian(G2::random(&mut rng)).unwrap();
+        verifier.vk.g2.gamma.0 = random_gamma;
+        let res = verifier.verify(
+            receipt.proof().as_bytes(),
+            receipt.public_values().as_bytes(),
+        );
+        assert!(res.is_err());
     }
 }