ark-r1cs-std · arnaucube's git mirror

@@ -22,7 +22,7 @@
 ################################# Dependencies ################################
 
 [dev-dependencies]
-algebra = { path = "../algebra", default-features = false, features = [ "edwards_on_bls12_377" ] }
+algebra = { path = "../algebra", default-features = false, features = [ "ed_on_bls12_377" ] }
 blake2 = { version = "0.8", default-features = false }
 criterion = "0.3.1"
 crypto-primitives = { path = "../crypto-primitives" }

M cp-benches/benches/crypto_primitives/comm.rs → cp-benches/benches/crypto_primitives/comm.rs

@@ -3,7 +3,7 @@
 #[macro_use]
 extern crate criterion;
 
-use algebra::{edwards_on_bls12_377::EdwardsProjective as Edwards, UniformRand};
+use algebra::{ed_on_bls12_377::EdwardsProjective as Edwards, UniformRand};
 use criterion::Criterion;
 use crypto_primitives::commitment::{pedersen::*, CommitmentScheme};

M cp-benches/benches/crypto_primitives/crh.rs → cp-benches/benches/crypto_primitives/crh.rs

@@ -3,7 +3,7 @@
 #[macro_use]
 extern crate criterion;
 
-use algebra::edwards_on_bls12_377::EdwardsProjective as Edwards;
+use algebra::ed_on_bls12_377::EdwardsProjective as Edwards;
 use criterion::Criterion;
 use crypto_primitives::crh::{pedersen::*, FixedLengthCRH};

M cp-benches/benches/crypto_primitives/signature.rs → cp-benches/benches/crypto_primitives/signature.rs

@@ -2,7 +2,7 @@ #[macro_use]
 extern crate criterion;
 
 mod affine {
-    use algebra::edwards_on_bls12_377::EdwardsAffine as Edwards;
+    use algebra::ed_on_bls12_377::EdwardsAffine as Edwards;
     use blake2::Blake2s;
     use criterion::Criterion;
     use crypto_primitives::signature::{schnorr::*, SignatureScheme};
@@ -90,7 +90,7 @@ }
 }
 
 mod projective {
-    use algebra::edwards_on_bls12_377::EdwardsProjective as Edwards;
+    use algebra::ed_on_bls12_377::EdwardsProjective as Edwards;
     use blake2::Blake2s;
     use criterion::Criterion;
     use crypto_primitives::signature::{schnorr::*, SignatureScheme};

M crypto-primitives/Cargo.toml → crypto-primitives/Cargo.toml

@@ -46,6 +46,6 @@ std = ["r1cs", "algebra-core/std", "r1cs-core/std", "r1cs-std/std"]
 parallel = ["std", "rayon", "gm17/parallel", "groth16/parallel", "ff-fft/parallel"]
 
 [dev-dependencies]
-algebra = { path = "../algebra", default-features = false, features = [ "edwards_on_bls12_381", "bls12_377", "mnt4_298", "mnt6_298" ] }
-r1cs-std = { path = "../r1cs-std", default-features = false, features = [ "edwards_on_bls12_381", "bls12_377", "mnt4_298", "mnt6_298" ] }
+algebra = { path = "../algebra", default-features = false, features = [ "ed_on_bls12_381", "bls12_377", "mnt4_298", "mnt6_298" ] }
+r1cs-std = { path = "../r1cs-std", default-features = false, features = [ "ed_on_bls12_381", "bls12_377", "mnt4_298", "mnt6_298" ] }
 rand_xorshift = { version = "0.2" }

M crypto-primitives/src/commitment/blake2s/constraints.rs → crypto-primitives/src/commitment/blake2s/constraints.rs

@@ -143,7 +143,7 @@ Blake2sCommitment,
         },
         *,
     };
-    use algebra::{edwards_on_bls12_381::Fq as Fr, test_rng};
+    use algebra::{ed_on_bls12_381::Fq as Fr, test_rng};
     use r1cs_core::ConstraintSystem;
     use r1cs_std::{prelude::*, test_constraint_system::TestConstraintSystem};
     use rand::Rng;

M crypto-primitives/src/commitment/pedersen/constraints.rs → crypto-primitives/src/commitment/pedersen/constraints.rs

@@ -200,7 +200,7 @@
 #[cfg(test)]
 mod test {
     use algebra::{
-        edwards_on_bls12_381::{EdwardsProjective as JubJub, Fq, Fr},
+        ed_on_bls12_381::{EdwardsProjective as JubJub, Fq, Fr},
         test_rng, ProjectiveCurve, UniformRand,
     };
 
@@ -215,8 +215,7 @@ crh::pedersen::PedersenWindow,
     };
     use r1cs_core::ConstraintSystem;
     use r1cs_std::{
-        edwards_on_bls12_381::EdwardsGadget, prelude::*,
-        test_constraint_system::TestConstraintSystem,
+        ed_on_bls12_381::EdwardsGadget, prelude::*, test_constraint_system::TestConstraintSystem,
     };
 
     #[test]

M crypto-primitives/src/crh/bowe_hopwood/constraints.rs → crypto-primitives/src/crh/bowe_hopwood/constraints.rs

@@ -145,12 +145,12 @@ pedersen::PedersenWindow,
         FixedLengthCRH, FixedLengthCRHGadget,
     };
     use algebra::{
-        edwards_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr},
+        ed_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr},
         test_rng, ProjectiveCurve,
     };
     use r1cs_core::ConstraintSystem;
     use r1cs_std::{
-        alloc::AllocGadget, edwards_on_bls12_381::EdwardsGadget,
+        alloc::AllocGadget, ed_on_bls12_381::EdwardsGadget,
         test_constraint_system::TestConstraintSystem, uint8::UInt8,
     };

M crypto-primitives/src/crh/bowe_hopwood/mod.rs → crypto-primitives/src/crh/bowe_hopwood/mod.rs

@@ -173,7 +173,7 @@ use crate::{
         crh::{bowe_hopwood::BoweHopwoodPedersenCRH, pedersen::PedersenWindow},
         FixedLengthCRH,
     };
-    use algebra::{edwards_on_bls12_381::EdwardsProjective, test_rng};
+    use algebra::{ed_on_bls12_381::EdwardsProjective, test_rng};
 
     #[test]
     fn test_simple_bh() {

M crypto-primitives/src/crh/pedersen/constraints.rs → crypto-primitives/src/crh/pedersen/constraints.rs

@@ -133,13 +133,12 @@ pedersen::{constraints::PedersenCRHGadget, PedersenCRH, PedersenWindow},
         FixedLengthCRH, FixedLengthCRHGadget,
     };
     use algebra::{
-        edwards_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr},
+        ed_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr},
         test_rng, ProjectiveCurve,
     };
     use r1cs_core::ConstraintSystem;
     use r1cs_std::{
-        edwards_on_bls12_381::EdwardsGadget, prelude::*,
-        test_constraint_system::TestConstraintSystem,
+        ed_on_bls12_381::EdwardsGadget, prelude::*, test_constraint_system::TestConstraintSystem,
     };
     use rand::Rng;

M crypto-primitives/src/merkle_tree/constraints.rs → crypto-primitives/src/merkle_tree/constraints.rs

@@ -207,15 +207,13 @@ FixedLengthCRH, FixedLengthCRHGadget,
         },
         merkle_tree::*,
     };
-    use algebra::edwards_on_bls12_381::{EdwardsAffine as JubJub, Fq};
+    use algebra::ed_on_bls12_381::{EdwardsAffine as JubJub, Fq};
     use r1cs_core::ConstraintSystem;
     use rand::SeedableRng;
     use rand_xorshift::XorShiftRng;
 
     use super::*;
-    use r1cs_std::{
-        edwards_on_bls12_381::EdwardsGadget, test_constraint_system::TestConstraintSystem,
-    };
+    use r1cs_std::{ed_on_bls12_381::EdwardsGadget, test_constraint_system::TestConstraintSystem};
 
     #[derive(Clone)]
     pub(super) struct Window4x256;

M crypto-primitives/src/merkle_tree/mod.rs → crypto-primitives/src/merkle_tree/mod.rs

@@ -369,7 +369,7 @@ use crate::{
         crh::{pedersen::*, *},
         merkle_tree::*,
     };
-    use algebra::{edwards_on_bls12_381::EdwardsAffine as JubJub, Zero};
+    use algebra::{ed_on_bls12_381::EdwardsAffine as JubJub, Zero};
     use rand::SeedableRng;
     use rand_xorshift::XorShiftRng;

M crypto-primitives/src/prf/blake2s/constraints.rs → crypto-primitives/src/prf/blake2s/constraints.rs

@@ -537,7 +537,7 @@ }
 
 #[cfg(test)]
 mod test {
-    use algebra::edwards_on_bls12_381::Fq as Fr;
+    use algebra::ed_on_bls12_381::Fq as Fr;
     use rand::{Rng, SeedableRng};
     use rand_xorshift::XorShiftRng;

M crypto-primitives/src/signature/mod.rs → crypto-primitives/src/signature/mod.rs

@@ -54,7 +54,7 @@ #[cfg(test)]
 mod test {
     use crate::{signature::schnorr::SchnorrSignature, SignatureScheme};
     use algebra::{
-        edwards_on_bls12_381::EdwardsAffine as JubJub, groups::Group, test_rng, to_bytes, ToBytes,
+        ed_on_bls12_381::EdwardsAffine as JubJub, groups::Group, test_rng, to_bytes, ToBytes,
         UniformRand,
     };
     use blake2::Blake2s;

M r1cs-std/Cargo.toml → r1cs-std/Cargo.toml

@@ -36,15 +36,15 @@
 [features]
 default = ["std"]
 full = [ 
-  "bls12_377", "edwards_on_bls12_381", "edwards_on_bls12_377", "edwards_on_cp6_782", 
-  "edwards_on_bw6_761", "mnt4_298", "mnt4_753", "mnt6_298", "mnt6_753" 
+  "bls12_377", "ed_on_bls12_381", "ed_on_bls12_377", "ed_on_cp6_782", 
+  "ed_on_bw6_761", "mnt4_298", "mnt4_753", "mnt6_298", "mnt6_753" 
 ]
 
 bls12_377 = [ "algebra/bls12_377" ]
-edwards_on_bls12_381 = [ "algebra/edwards_on_bls12_381" ]
-edwards_on_bls12_377 = [ "algebra/edwards_on_bls12_377" ]
-edwards_on_cp6_782 = [ "algebra/edwards_on_cp6_782" ]
-edwards_on_bw6_761 = [ "algebra/edwards_on_bw6_761", "algebra/edwards_on_cp6_782" ]
+ed_on_bls12_381 = [ "algebra/ed_on_bls12_381" ]
+ed_on_bls12_377 = [ "algebra/ed_on_bls12_377" ]
+ed_on_cp6_782 = [ "algebra/ed_on_cp6_782" ]
+ed_on_bw6_761 = [ "algebra/ed_on_bw6_761", "algebra/ed_on_cp6_782" ]
 mnt4_298 = [ "algebra/mnt4_298" ]
 mnt4_753 = [ "algebra/mnt4_753" ]
 mnt6_298 = [ "algebra/mnt6_298" ]

A r1cs-std/src/instantiated/ed_on_bls12_381/fields.rs

@@ -0,0 +1,8 @@
+use crate::fields::fp::FpGadget;
+
+pub type FqGadget = FpGadget<algebra::ed_on_bls12_381::Fq>;
+
+#[test]
+fn test() {
+    crate::fields::tests::field_test::<_, algebra::ed_on_bls12_381::Fq, FqGadget>();
+}

A r1cs-std/src/instantiated/ed_on_bw6_761/mod.rs

@@ -0,0 +1,1 @@
+pub use crate::instantiated::ed_on_cp6_782::*;

M r1cs-std/src/instantiated/edwards_on_bls12_377/curves.rs → r1cs-std/src/instantiated/ed_on_cp6_782/curves.rs

@@ -1,7 +1,7 @@
 use crate::groups::curves::twisted_edwards::AffineGadget;
-use algebra::edwards_on_bls12_377::*;
+use algebra::ed_on_cp6_782::*;
 
-use crate::edwards_on_bls12_377::FqGadget;
+use crate::instantiated::ed_on_cp6_782::FqGadget;
 
 pub type EdwardsGadget = AffineGadget<EdwardsParameters, Fq, FqGadget>;

M r1cs-std/src/instantiated/edwards_on_bls12_377/fields.rs → r1cs-std/src/instantiated/ed_on_bls12_377/fields.rs

@@ -1,5 +1,5 @@
 use crate::fields::fp::FpGadget;
-use algebra::edwards_on_bls12_377::fq::Fq;
+use algebra::ed_on_bls12_377::fq::Fq;
 
 pub type FqGadget = FpGadget<Fq>;

M r1cs-std/src/instantiated/edwards_on_bls12_377/mod.rs → r1cs-std/src/instantiated/ed_on_bls12_377/mod.rs

M r1cs-std/src/instantiated/edwards_on_bls12_381/curves.rs → r1cs-std/src/instantiated/ed_on_bls12_381/curves.rs

@@ -1,7 +1,7 @@
 use crate::groups::curves::twisted_edwards::AffineGadget;
-use algebra::edwards_on_bls12_381::*;
+use algebra::ed_on_bls12_381::*;
 
-use crate::edwards_on_bls12_381::FqGadget;
+use crate::ed_on_bls12_381::FqGadget;
 
 pub type EdwardsGadget = AffineGadget<EdwardsParameters, Fq, FqGadget>;

D r1cs-std/src/instantiated/edwards_on_bls12_381/fields.rs

@@ -1,8 +0,0 @@
-use crate::fields::fp::FpGadget;
-
-pub type FqGadget = FpGadget<algebra::edwards_on_bls12_381::Fq>;
-
-#[test]
-fn test() {
-    crate::fields::tests::field_test::<_, algebra::edwards_on_bls12_381::Fq, FqGadget>();
-}

M r1cs-std/src/instantiated/edwards_on_bls12_381/mod.rs → r1cs-std/src/instantiated/ed_on_bls12_381/mod.rs

M r1cs-std/src/instantiated/edwards_on_bw6_761/curves.rs → r1cs-std/src/instantiated/ed_on_bls12_377/curves.rs

@@ -1,7 +1,7 @@
 use crate::groups::curves::twisted_edwards::AffineGadget;
-use algebra::edwards_on_cp6_782::*;
+use algebra::ed_on_bls12_377::*;
 
-use crate::edwards_on_cp6_782::FqGadget;
+use crate::ed_on_bls12_377::FqGadget;
 
 pub type EdwardsGadget = AffineGadget<EdwardsParameters, Fq, FqGadget>;

M r1cs-std/src/instantiated/edwards_on_bw6_761/fields.rs → r1cs-std/src/instantiated/ed_on_bw6_761/fields.rs

@@ -1,5 +1,5 @@
 use crate::fields::fp::FpGadget;
-use algebra::edwards_on_cp6_782::fq::Fq;
+use algebra::ed_on_cp6_782::fq::Fq;
 
 pub type FqGadget = FpGadget<Fq>;

D r1cs-std/src/instantiated/edwards_on_bw6_761/mod.rs

@@ -1,1 +0,0 @@
-pub use crate::instantiated::edwards_on_cp6_782::*;

M r1cs-std/src/instantiated/edwards_on_cp6_782/curves.rs → r1cs-std/src/instantiated/ed_on_bw6_761/curves.rs

@@ -1,7 +1,7 @@
 use crate::groups::curves::twisted_edwards::AffineGadget;
-use algebra::edwards_on_cp6_782::*;
+use algebra::ed_on_cp6_782::*;
 
-use crate::instantiated::edwards_on_cp6_782::FqGadget;
+use crate::ed_on_cp6_782::FqGadget;
 
 pub type EdwardsGadget = AffineGadget<EdwardsParameters, Fq, FqGadget>;

M r1cs-std/src/instantiated/edwards_on_cp6_782/fields.rs → r1cs-std/src/instantiated/ed_on_cp6_782/fields.rs

@@ -1,5 +1,5 @@
 use crate::fields::fp::FpGadget;
-use algebra::edwards_on_cp6_782::fq::Fq;
+use algebra::ed_on_cp6_782::fq::Fq;
 
 pub type FqGadget = FpGadget<Fq>;

M r1cs-std/src/instantiated/edwards_on_cp6_782/mod.rs → r1cs-std/src/instantiated/ed_on_cp6_782/mod.rs

M r1cs-std/src/instantiated/mod.rs → r1cs-std/src/instantiated/mod.rs

@@ -1,20 +1,20 @@
 #[cfg(feature = "bls12_377")]
 pub mod bls12_377;
 
-#[cfg(feature = "edwards_on_bls12_377")]
-pub mod edwards_on_bls12_377;
+#[cfg(feature = "ed_on_bls12_377")]
+pub mod ed_on_bls12_377;
 
-#[cfg(feature = "edwards_on_cp6_782")]
-pub mod edwards_on_cp6_782;
+#[cfg(feature = "ed_on_cp6_782")]
+pub mod ed_on_cp6_782;
 
-#[cfg(all(not(feature = "edwards_on_cp6_782"), feature = "edwards_on_bw6_761"))]
-pub(crate) mod edwards_on_cp6_782;
+#[cfg(all(not(feature = "ed_on_cp6_782"), feature = "ed_on_bw6_761"))]
+pub(crate) mod ed_on_cp6_782;
 
-#[cfg(feature = "edwards_on_bw6_761")]
-pub mod edwards_on_bw6_761;
+#[cfg(feature = "ed_on_bw6_761")]
+pub mod ed_on_bw6_761;
 
-#[cfg(feature = "edwards_on_bls12_381")]
-pub mod edwards_on_bls12_381;
+#[cfg(feature = "ed_on_bls12_381")]
+pub mod ed_on_bls12_381;
 
 #[cfg(feature = "mnt4_298")]
 pub mod mnt4_298;

M r1cs-std/src/lib.rs → r1cs-std/src/lib.rs

@@ -48,14 +48,14 @@
 #[cfg(feature = "bls12_377")]
 pub use instantiated::bls12_377;
 
-#[cfg(feature = "edwards_on_bls12_377")]
-pub use instantiated::edwards_on_bls12_377;
+#[cfg(feature = "ed_on_bls12_377")]
+pub use instantiated::ed_on_bls12_377;
 
-#[cfg(feature = "edwards_on_cp6_782")]
-pub use instantiated::edwards_on_cp6_782;
+#[cfg(feature = "ed_on_cp6_782")]
+pub use instantiated::ed_on_cp6_782;
 
-#[cfg(feature = "edwards_on_bls12_381")]
-pub use instantiated::edwards_on_bls12_381;
+#[cfg(feature = "ed_on_bls12_381")]
+pub use instantiated::ed_on_bls12_381;
 
 #[cfg(feature = "mnt4_298")]
 pub use instantiated::mnt4_298;