From f3fc475e9b75ef5bb85a206f8617a7a67acc96ed Mon Sep 17 00:00:00 2001 From: peinlcy Date: Sun, 19 May 2024 18:24:18 +0800 Subject: [PATCH 1/3] feat: add bn254 prove_and_verify test --- Cargo.toml | 2 ++ src/test.rs | 10 ++++++++++ 2 files changed, 12 insertions(+) diff --git a/Cargo.toml b/Cargo.toml index 68e22fa..13aef2e 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,7 @@ 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-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..79f3624 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); + } +} \ No newline at end of file From 83acaadb6b6b395b7b0bf5d333f7afca0db53efe Mon Sep 17 00:00:00 2001 From: Marti Date: Sun, 14 Jul 2024 09:57:53 +0200 Subject: [PATCH 2/3] Update src/test.rs triggers CI --- src/test.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test.rs b/src/test.rs index 79f3624..4ecf265 100644 --- a/src/test.rs +++ b/src/test.rs @@ -156,4 +156,4 @@ mod bn_254 { fn prove_and_verify() { test_prove_and_verify::(100); } -} \ No newline at end of file +} From af173e6b3d64527ae9d2a62d4b987121b13da77f Mon Sep 17 00:00:00 2001 From: Marti Date: Sun, 14 Jul 2024 10:00:46 +0200 Subject: [PATCH 3/3] patch Cargo.toml with ark-std --- Cargo.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/Cargo.toml b/Cargo.toml index 13aef2e..948101b 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -93,6 +93,7 @@ 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/" }