diff --git a/Cargo.toml b/Cargo.toml index 68e22fa..948101b 100644 --- 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 index 9ce5280..4ecf265 100644 --- a/src/test.rs +++ b/src/test.rs @@ -147,3 +147,13 @@ mod bw6_761 { test_rerandomize::(); } } + +mod bn_254 { + use super::test_prove_and_verify; + use ark_bn254::Bn254; + + #[test] + fn prove_and_verify() { + test_prove_and_verify::(100); + } +}