feat: add bn254 prove_and_verify test (#57)

* feat: add bn254 prove_and_verify test * Update src/test.rs triggers CI * patch Cargo.toml with ark-std --------- Co-authored-by: Marti <[email protected]>
arkworks-rs · Jul 14, 2024 · 202feaa · 202feaa
1 parent 8e5c347
commit 202feaa
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -33,6 +33,7 @@ rayon = { version = "1", optional = true }
 csv = { version = "1" }
 ark-bls12-381 = { version = "0.4.0", default-features = false, features = ["curve"] }
 ark-bls12-377 = { version = "0.4.0", default-features = false, features = ["curve"] }
+ark-bn254 = { version = "0.4.0", default-features = false, features = ["curve"] }
 ark-bw6-761 = { version = "0.4.0", default-features = false }
 ark-mnt4-298 = { version = "0.4.0", default-features = false, features = ["r1cs", "curve"] }
 ark-mnt6-298 = { version = "0.4.0", default-features = false, features = ["r1cs"] }
@@ -91,6 +92,8 @@ ark-mnt4-753 = { git = "https://github.com/arkworks-rs/algebra/" }
 ark-mnt6-753 = { git = "https://github.com/arkworks-rs/algebra/" }
 ark-bls12-377 = { git = "https://github.com/arkworks-rs/algebra/" }
 ark-bw6-761 = { git = "https://github.com/arkworks-rs/algebra/" }
+ark-bn254 = { git = "https://github.com/arkworks-rs/algebra/" }
+ark-std = { git = "https://github.com/arkworks-rs/std/" }
 
 ark-r1cs-std = { git = "https://github.com/arkworks-rs/r1cs-std/" }
 ark-crypto-primitives = { git = "https://github.com/arkworks-rs/crypto-primitives/" }

diff --git a/src/test.rs b/src/test.rs
@@ -147,3 +147,13 @@ mod bw6_761 {
         test_rerandomize::<BW6_761>();
     }
 }
+
+mod bn_254 {
+    use super::test_prove_and_verify;
+    use ark_bn254::Bn254;
+
+    #[test]
+    fn prove_and_verify() {
+        test_prove_and_verify::<Bn254>(100);
+    }
+}