arnaucube/ark-curves-cherry-picked
1
0
Fork 0
mirror of https://github.com/arnaucube/ark-curves-cherry-picked.git synced 2026-01-09 07:21:30 +01:00
Code Issues Projects Releases Wiki Activity

Format

Browse Source
This commit is contained in:
Pratyush Mishra
2021-08-16 18:11:57 -07:00
parent ac58f8f92d
commit 6805e05b50
6 changed files with 31 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
bls12_377/src/constraints/curves.rs
View File

@@ -16,12 +16,8 @@ pub type G2PreparedVar = bls12::G2PreparedVar<Parameters>;
#[test] #[test]
fn test() { fn test() {
use ark_ec::models::bls12::Bls12Parameters; use ark_ec::models::bls12::Bls12Parameters;
ark_curve_constraint_tests::curves::sw_test::< ark_curve_constraint_tests::curves::sw_test::<<Parameters as Bls12Parameters>::G1Parameters>()
<Parameters as Bls12Parameters>::G1Parameters, .unwrap();
>() ark_curve_constraint_tests::curves::sw_test::<<Parameters as Bls12Parameters>::G2Parameters>()
.unwrap(); .unwrap();
ark_curve_constraint_tests::curves::sw_test::<
<Parameters as Bls12Parameters>::G2Parameters,
>()
.unwrap();
} }

16
curve-constraint-tests/src/lib.rs
View File

@@ -231,7 +231,11 @@ pub mod fields {
} }
pub mod curves { 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_ff::{BitIteratorLE, Field, FpParameters, One, PrimeField};
use ark_relations::r1cs::{ConstraintSystem, SynthesisError}; use ark_relations::r1cs::{ConstraintSystem, SynthesisError};
use ark_std::{test_rng, vec::Vec, UniformRand}; use ark_std::{test_rng, vec::Vec, UniformRand};
@@ -257,10 +261,12 @@ pub mod curves {
let mut rng = test_rng(); let mut rng = test_rng();
let a_native = C::rand(&mut rng); let a_native = C::rand(&mut rng);
let b_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) let a =
.unwrap(); C::Var::new_variable(ark_relations::ns!(cs, "generate_a"), || Ok(a_native), mode)
let b = C::Var::new_variable(ark_relations::ns!(cs, "generate_b"), || Ok(b_native), mode) .unwrap();
.unwrap(); let b =
C::Var::new_variable(ark_relations::ns!(cs, "generate_b"), || Ok(b_native), mode)
.unwrap();
let zero = C::Var::zero(); let zero = C::Var::zero();
assert_eq!(zero.value()?, zero.value()?); assert_eq!(zero.value()?, zero.value()?);

12
mnt4_298/src/constraints/curves.rs
View File

@@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt4::G2PreparedVar<Parameters>;
#[test] #[test]
fn test() { fn test() {
use ark_ec::models::mnt4::MNT4Parameters; use ark_ec::models::mnt4::MNT4Parameters;
ark_curve_constraint_tests::curves::sw_test::< ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT4Parameters>::G1Parameters>()
<Parameters as MNT4Parameters>::G1Parameters, .unwrap();
>() ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT4Parameters>::G2Parameters>()
.unwrap(); .unwrap();
ark_curve_constraint_tests::curves::sw_test::<
<Parameters as MNT4Parameters>::G2Parameters,
>()
.unwrap();
} }

12
mnt4_753/src/constraints/curves.rs
View File

@@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt4::G2PreparedVar<Parameters>;
#[test] #[test]
fn test() { fn test() {
use ark_ec::models::mnt4::MNT4Parameters; use ark_ec::models::mnt4::MNT4Parameters;
ark_curve_constraint_tests::curves::sw_test::< ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT4Parameters>::G1Parameters>()
<Parameters as MNT4Parameters>::G1Parameters, .unwrap();
>() ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT4Parameters>::G2Parameters>()
.unwrap(); .unwrap();
ark_curve_constraint_tests::curves::sw_test::<
<Parameters as MNT4Parameters>::G2Parameters,
>()
.unwrap();
} }

12
mnt6_298/src/constraints/curves.rs
View File

@@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt6::G2PreparedVar<Parameters>;
#[test] #[test]
fn test() { fn test() {
use ark_ec::models::mnt6::MNT6Parameters; use ark_ec::models::mnt6::MNT6Parameters;
ark_curve_constraint_tests::curves::sw_test::< ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT6Parameters>::G1Parameters>()
<Parameters as MNT6Parameters>::G1Parameters, .unwrap();
>() ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT6Parameters>::G2Parameters>()
.unwrap(); .unwrap();
ark_curve_constraint_tests::curves::sw_test::<
<Parameters as MNT6Parameters>::G2Parameters,
>()
.unwrap();
} }

12
mnt6_753/src/constraints/curves.rs
View File

@@ -16,12 +16,8 @@ pub type G2PreparedVar = mnt6::G2PreparedVar<Parameters>;
#[test] #[test]
fn test() { fn test() {
use ark_ec::models::mnt6::MNT6Parameters; use ark_ec::models::mnt6::MNT6Parameters;
ark_curve_constraint_tests::curves::sw_test::< ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT6Parameters>::G1Parameters>()
<Parameters as MNT6Parameters>::G1Parameters, .unwrap();
>() ark_curve_constraint_tests::curves::sw_test::<<Parameters as MNT6Parameters>::G2Parameters>()
.unwrap(); .unwrap();
ark_curve_constraint_tests::curves::sw_test::<
<Parameters as MNT6Parameters>::G2Parameters,
>()
.unwrap();
} }