diff --git a/bls12_377/src/constraints/mod.rs b/bls12_377/src/constraints/mod.rs index a67838f..24b9a58 100644 --- a/bls12_377/src/constraints/mod.rs +++ b/bls12_377/src/constraints/mod.rs @@ -130,17 +130,17 @@ //! let pairing_result_native = Bls12_377::pairing(a_native, b_native); //! //! // Prepare `a` and `b` for pairing. -//! let a_prep = constraints::PairingVar::prepare_g1(&a)?; -//! let b_prep = constraints::PairingVar::prepare_g2(&b)?; -//! let pairing_result = constraints::PairingVar::pairing(a_prep, b_prep)?; +//! let a_prep = Bls12_377::prepare_g1(&a)?; +//! let b_prep = Bls12_377::prepare_g2(&b)?; +//! let pairing_result = Bls12_377::pairing_gadget(a_prep, b_prep)?; //! //! // Check that the value of &a + &b is correct. //! assert_eq!(pairing_result.value()?, pairing_result_native); //! //! // Check that operations on variables and constants are equivalent. -//! let a_prep_const = constraints::PairingVar::prepare_g1(&a_const)?; -//! let b_prep_const = constraints::PairingVar::prepare_g2(&b_const)?; -//! let pairing_result_const = constraints::PairingVar::pairing(a_prep_const, b_prep_const)?; +//! let a_prep_const = Bls12_377::prepare_g1(&a_const)?; +//! let b_prep_const = Bls12_377::prepare_g2(&b_const)?; +//! let pairing_result_const = Bls12_377::pairing_gadget(a_prep_const, b_prep_const)?; //! println!("Done here 3"); //! //! pairing_result.enforce_equal(&pairing_result_const)?; diff --git a/curve-constraint-tests/src/lib.rs b/curve-constraint-tests/src/lib.rs index d819800..797425b 100644 --- a/curve-constraint-tests/src/lib.rs +++ b/curve-constraint-tests/src/lib.rs @@ -277,14 +277,14 @@ pub mod curves { assert_eq!((&a + &zero).value()?, a.value()?); // a - 0 = a assert_eq!((&a - &zero).value()?, a.value()?); - // a - a = 0 - assert_eq!((&a - &a).value()?, zero.value()?); // a + b = b + a let a_b = &a + &b; let b_a = &b + &a; assert_eq!(a_b.value()?, b_a.value()?); a_b.enforce_equal(&b_a)?; assert!(cs.is_satisfied().unwrap()); + // a - a = 0 + assert_eq!((&a - &a).value()?, zero.value()?); // (a + b) + a = a + (b + a) let ab_a = &a_b + &a; @@ -580,15 +580,15 @@ pub mod pairing { let (ans1_g, ans1_n) = { let _ml_constraints = cs.num_constraints(); - let ml_g =
::miller_loop(&[sa_prep_g], &[b_prep_g.clone()])?; + let ml_g = P::miller_loop_gadget(&[sa_prep_g], &[b_prep_g.clone()])?; let _fe_constraints = cs.num_constraints(); - let ans_g =
::final_exponentiation(&ml_g)?; + let ans_g = P::final_exponentiation_gadget(&ml_g)?; let ans_n =
::pairing(sa, b); (ans_g, ans_n) }; let (ans2_g, ans2_n) = { - let ans_g =
::pairing(a_prep_g.clone(), sb_prep_g)?; + let ans_g = P::pairing_gadget(a_prep_g.clone(), sb_prep_g)?; let ans_n =
::pairing(a, sb);
(ans_g, ans_n)
};
@@ -598,7 +598,7 @@ pub mod pairing {
.map(Boolean::constant)
.collect:: ::pairing(a_prep_g, b_prep_g)?;
+ let mut ans_g = P::pairing_gadget(a_prep_g, b_prep_g)?;
let mut ans_n = ::pairing(a, b);
ans_n = ans_n.pow(s.into_repr());
ans_g = ans_g.pow_le(&s_iter)?;
diff --git a/mnt4_298/src/constraints/mod.rs b/mnt4_298/src/constraints/mod.rs
index 4891908..2feb7ac 100644
--- a/mnt4_298/src/constraints/mod.rs
+++ b/mnt4_298/src/constraints/mod.rs
@@ -130,17 +130,17 @@
//! let pairing_result_native = MNT4_298::pairing(a_native, b_native);
//!
//! // Prepare `a` and `b` for pairing.
-//! let a_prep = constraints::PairingVar::prepare_g1(&a)?;
-//! let b_prep = constraints::PairingVar::prepare_g2(&b)?;
-//! let pairing_result = constraints::PairingVar::pairing(a_prep, b_prep)?;
+//! let a_prep = MNT4_298::prepare_g1(&a)?;
+//! let b_prep = MNT4_298::prepare_g2(&b)?;
+//! let pairing_result = MNT4_298::pairing_gadget(a_prep, b_prep)?;
//!
//! // Check that the value of &a + &b is correct.
//! assert_eq!(pairing_result.value()?, pairing_result_native);
//!
//! // Check that operations on variables and constants are equivalent.
-//! let a_prep_const = constraints::PairingVar::prepare_g1(&a_const)?;
-//! let b_prep_const = constraints::PairingVar::prepare_g2(&b_const)?;
-//! let pairing_result_const = constraints::PairingVar::pairing(a_prep_const, b_prep_const)?;
+//! let a_prep_const = MNT4_298::prepare_g1(&a_const)?;
+//! let b_prep_const = MNT4_298::prepare_g2(&b_const)?;
+//! let pairing_result_const = MNT4_298::pairing_gadget(a_prep_const, b_prep_const)?;
//! println!("Done here 3");
//!
//! pairing_result.enforce_equal(&pairing_result_const)?;
diff --git a/mnt4_753/src/constraints/mod.rs b/mnt4_753/src/constraints/mod.rs
index 4744e4c..25a8323 100644
--- a/mnt4_753/src/constraints/mod.rs
+++ b/mnt4_753/src/constraints/mod.rs
@@ -130,17 +130,17 @@
//! let pairing_result_native = MNT4_753::pairing(a_native, b_native);
//!
//! // Prepare `a` and `b` for pairing.
-//! let a_prep = constraints::PairingVar::prepare_g1(&a)?;
-//! let b_prep = constraints::PairingVar::prepare_g2(&b)?;
-//! let pairing_result = constraints::PairingVar::pairing(a_prep, b_prep)?;
+//! let a_prep = MNT4_753::prepare_g1(&a)?;
+//! let b_prep = MNT4_753::prepare_g2(&b)?;
+//! let pairing_result = MNT4_753::pairing_gadget(a_prep, b_prep)?;
//!
//! // Check that the value of &a + &b is correct.
//! assert_eq!(pairing_result.value()?, pairing_result_native);
//!
//! // Check that operations on variables and constants are equivalent.
-//! let a_prep_const = constraints::PairingVar::prepare_g1(&a_const)?;
-//! let b_prep_const = constraints::PairingVar::prepare_g2(&b_const)?;
-//! let pairing_result_const = constraints::PairingVar::pairing(a_prep_const, b_prep_const)?;
+//! let a_prep_const = MNT4_753::prepare_g1(&a_const)?;
+//! let b_prep_const = MNT4_753::prepare_g2(&b_const)?;
+//! let pairing_result_const = MNT4_753::pairing_gadget(a_prep_const, b_prep_const)?;
//! println!("Done here 3");
//!
//! pairing_result.enforce_equal(&pairing_result_const)?;
diff --git a/mnt6_298/src/constraints/mod.rs b/mnt6_298/src/constraints/mod.rs
index 0092567..6221424 100644
--- a/mnt6_298/src/constraints/mod.rs
+++ b/mnt6_298/src/constraints/mod.rs
@@ -130,17 +130,17 @@
//! let pairing_result_native = MNT6_298::pairing(a_native, b_native);
//!
//! // Prepare `a` and `b` for pairing.
-//! let a_prep = constraints::PairingVar::prepare_g1(&a)?;
-//! let b_prep = constraints::PairingVar::prepare_g2(&b)?;
-//! let pairing_result = constraints::PairingVar::pairing(a_prep, b_prep)?;
+//! let a_prep = MNT6_298::prepare_g1(&a)?;
+//! let b_prep = MNT6_298::prepare_g2(&b)?;
+//! let pairing_result = MNT6_298::pairing_gadget(a_prep, b_prep)?;
//!
//! // Check that the value of &a + &b is correct.
//! assert_eq!(pairing_result.value()?, pairing_result_native);
//!
//! // Check that operations on variables and constants are equivalent.
-//! let a_prep_const = constraints::PairingVar::prepare_g1(&a_const)?;
-//! let b_prep_const = constraints::PairingVar::prepare_g2(&b_const)?;
-//! let pairing_result_const = constraints::PairingVar::pairing(a_prep_const, b_prep_const)?;
+//! let a_prep_const = MNT6_298::prepare_g1(&a_const)?;
+//! let b_prep_const = MNT6_298::prepare_g2(&b_const)?;
+//! let pairing_result_const = MNT6_298::pairing_gadget(a_prep_const, b_prep_const)?;
//! println!("Done here 3");
//!
//! pairing_result.enforce_equal(&pairing_result_const)?;
diff --git a/mnt6_753/src/constraints/mod.rs b/mnt6_753/src/constraints/mod.rs
index c540ac7..29f025a 100644
--- a/mnt6_753/src/constraints/mod.rs
+++ b/mnt6_753/src/constraints/mod.rs
@@ -130,17 +130,17 @@
//! let pairing_result_native = MNT6_753::pairing(a_native, b_native);
//!
//! // Prepare `a` and `b` for pairing.
-//! let a_prep = constraints::PairingVar::prepare_g1(&a)?;
-//! let b_prep = constraints::PairingVar::prepare_g2(&b)?;
-//! let pairing_result = constraints::PairingVar::pairing(a_prep, b_prep)?;
+//! let a_prep = MNT6_753::prepare_g1(&a)?;
+//! let b_prep = MNT6_753::prepare_g2(&b)?;
+//! let pairing_result = MNT6_753::pairing_gadget(a_prep, b_prep)?;
//!
//! // Check that the value of &a + &b is correct.
//! assert_eq!(pairing_result.value()?, pairing_result_native);
//!
//! // Check that operations on variables and constants are equivalent.
-//! let a_prep_const = constraints::PairingVar::prepare_g1(&a_const)?;
-//! let b_prep_const = constraints::PairingVar::prepare_g2(&b_const)?;
-//! let pairing_result_const = constraints::PairingVar::pairing(a_prep_const, b_prep_const)?;
+//! let a_prep_const = MNT6_753::prepare_g1(&a_const)?;
+//! let b_prep_const = MNT6_753::prepare_g2(&b_const)?;
+//! let pairing_result_const = MNT6_753::pairing_gadget(a_prep_const, b_prep_const)?;
//! println!("Done here 3");
//!
//! pairing_result.enforce_equal(&pairing_result_const)?;