From 6805e05b5003876e226f6fbe62856686d832b3d3 Mon Sep 17 00:00:00 2001 From: Pratyush Mishra Date: Mon, 16 Aug 2021 18:11:57 -0700 Subject: [PATCH] Format --- bls12_377/src/constraints/curves.rs | 12 ++++-------- curve-constraint-tests/src/lib.rs | 16 +++++++++++----- mnt4_298/src/constraints/curves.rs | 12 ++++-------- mnt4_753/src/constraints/curves.rs | 12 ++++-------- mnt6_298/src/constraints/curves.rs | 12 ++++-------- mnt6_753/src/constraints/curves.rs | 12 ++++-------- 6 files changed, 31 insertions(+), 45 deletions(-) diff --git a/bls12_377/src/constraints/curves.rs b/bls12_377/src/constraints/curves.rs index 547062f..3b4cedb 100644 --- a/bls12_377/src/constraints/curves.rs +++ b/bls12_377/src/constraints/curves.rs @@ -16,12 +16,8 @@ pub type G2PreparedVar = bls12::G2PreparedVar; #[test] fn test() { use ark_ec::models::bls12::Bls12Parameters; - ark_curve_constraint_tests::curves::sw_test::< - ::G1Parameters, - >() - .unwrap(); - ark_curve_constraint_tests::curves::sw_test::< - ::G2Parameters, - >() - .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G1Parameters>() + .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G2Parameters>() + .unwrap(); } diff --git a/curve-constraint-tests/src/lib.rs b/curve-constraint-tests/src/lib.rs index bf97901..d819800 100644 --- a/curve-constraint-tests/src/lib.rs +++ b/curve-constraint-tests/src/lib.rs @@ -231,7 +231,11 @@ pub mod fields { } pub mod curves { - use ark_ec::{ModelParameters, ProjectiveCurve, short_weierstrass_jacobian::GroupProjective as SWProjective, twisted_edwards_extended::GroupProjective as TEProjective}; + use ark_ec::{ + short_weierstrass_jacobian::GroupProjective as SWProjective, + twisted_edwards_extended::GroupProjective as TEProjective, ModelParameters, + ProjectiveCurve, + }; use ark_ff::{BitIteratorLE, Field, FpParameters, One, PrimeField}; use ark_relations::r1cs::{ConstraintSystem, SynthesisError}; use ark_std::{test_rng, vec::Vec, UniformRand}; @@ -257,10 +261,12 @@ pub mod curves { let mut rng = test_rng(); let a_native = C::rand(&mut rng); let b_native = C::rand(&mut rng); - let a = C::Var::new_variable(ark_relations::ns!(cs, "generate_a"), || Ok(a_native), mode) - .unwrap(); - let b = C::Var::new_variable(ark_relations::ns!(cs, "generate_b"), || Ok(b_native), mode) - .unwrap(); + let a = + C::Var::new_variable(ark_relations::ns!(cs, "generate_a"), || Ok(a_native), mode) + .unwrap(); + let b = + C::Var::new_variable(ark_relations::ns!(cs, "generate_b"), || Ok(b_native), mode) + .unwrap(); let zero = C::Var::zero(); assert_eq!(zero.value()?, zero.value()?); diff --git a/mnt4_298/src/constraints/curves.rs b/mnt4_298/src/constraints/curves.rs index 1ad71f1..6a49f0d 100644 --- a/mnt4_298/src/constraints/curves.rs +++ b/mnt4_298/src/constraints/curves.rs @@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt4::G2PreparedVar; #[test] fn test() { use ark_ec::models::mnt4::MNT4Parameters; - ark_curve_constraint_tests::curves::sw_test::< - ::G1Parameters, - >() - .unwrap(); - ark_curve_constraint_tests::curves::sw_test::< - ::G2Parameters, - >() - .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G1Parameters>() + .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G2Parameters>() + .unwrap(); } diff --git a/mnt4_753/src/constraints/curves.rs b/mnt4_753/src/constraints/curves.rs index 62ad4bd..1ceba87 100644 --- a/mnt4_753/src/constraints/curves.rs +++ b/mnt4_753/src/constraints/curves.rs @@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt4::G2PreparedVar; #[test] fn test() { use ark_ec::models::mnt4::MNT4Parameters; - ark_curve_constraint_tests::curves::sw_test::< - ::G1Parameters, - >() - .unwrap(); - ark_curve_constraint_tests::curves::sw_test::< - ::G2Parameters, - >() - .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G1Parameters>() + .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G2Parameters>() + .unwrap(); } diff --git a/mnt6_298/src/constraints/curves.rs b/mnt6_298/src/constraints/curves.rs index 2b8e626..9c35417 100644 --- a/mnt6_298/src/constraints/curves.rs +++ b/mnt6_298/src/constraints/curves.rs @@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt6::G2PreparedVar; #[test] fn test() { use ark_ec::models::mnt6::MNT6Parameters; - ark_curve_constraint_tests::curves::sw_test::< - ::G1Parameters, - >() - .unwrap(); - ark_curve_constraint_tests::curves::sw_test::< - ::G2Parameters, - >() - .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G1Parameters>() + .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G2Parameters>() + .unwrap(); } diff --git a/mnt6_753/src/constraints/curves.rs b/mnt6_753/src/constraints/curves.rs index e8afda1..c7126d6 100644 --- a/mnt6_753/src/constraints/curves.rs +++ b/mnt6_753/src/constraints/curves.rs @@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt6::G2PreparedVar; #[test] fn test() { use ark_ec::models::mnt6::MNT6Parameters; - ark_curve_constraint_tests::curves::sw_test::< - ::G1Parameters, - >() - .unwrap(); - ark_curve_constraint_tests::curves::sw_test::< - ::G2Parameters, - >() - .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G1Parameters>() + .unwrap(); + ark_curve_constraint_tests::curves::sw_test::<::G2Parameters>() + .unwrap(); }