From a8530c9012bd5018706e1ec69623e5234bc6aa7c Mon Sep 17 00:00:00 2001
From: collin <collin.chin@berkeley.edu>
Date: Mon, 17 Aug 2020 23:13:54 -0700
Subject: [PATCH] comment out field gadget eq

---
 compiler/src/value/field/field_type.rs        |  2 +-
 .../src/value/group/targets/edwards_bls12.rs  | 48 +++++++++----------
 2 files changed, 25 insertions(+), 25 deletions(-)

diff --git a/compiler/src/value/field/field_type.rs b/compiler/src/value/field/field_type.rs
index 1e06baa65b..88f0283d0d 100644
--- a/compiler/src/value/field/field_type.rs
+++ b/compiler/src/value/field/field_type.rs
@@ -209,7 +209,7 @@ impl<F: Field + PrimeField> PartialOrd for FieldType<F> {
 }
 
 impl<F: Field + PrimeField> EvaluateEqGadget<F> for FieldType<F> {
-    fn evaluate_equal<CS: ConstraintSystem<F>>(&self, mut cs: CS, other: &Self) -> Result<Boolean, SynthesisError> {
+    fn evaluate_equal<CS: ConstraintSystem<F>>(&self, mut _cs: CS, other: &Self) -> Result<Boolean, SynthesisError> {
         match (self, other) {
             (FieldType::Constant(first), FieldType::Constant(second)) => Ok(Boolean::constant(first.eq(second))),
             _ => unimplemented!(),
diff --git a/compiler/src/value/group/targets/edwards_bls12.rs b/compiler/src/value/group/targets/edwards_bls12.rs
index 7f5d713d29..d45e1390c7 100644
--- a/compiler/src/value/group/targets/edwards_bls12.rs
+++ b/compiler/src/value/group/targets/edwards_bls12.rs
@@ -236,32 +236,32 @@ impl PartialEq for EdwardsGroupType {
 
 impl Eq for EdwardsGroupType {}
 
-fn compare_allocated_edwards_bls_gadgets<CS: ConstraintSystem<Fq>>(
-    mut cs: CS,
-    first: &EdwardsBlsGadget,
-    second: &EdwardsBlsGadget,
-) -> Result<Boolean, SynthesisError> {
-    // compare x coordinates
-    let x_first = &first.x;
-    let x_second = &second.x;
-
-    let compare_x = x_first.evaluate_equal(&mut cs.ns(|| format!("compare x")), x_second)?;
-
-    // compare y coordinates
-    let y_first = &first.y;
-    let y_second = &second.y;
-
-    let compare_y = y_first.evaluate_equal(&mut cs.ns(|| format!("compare y")), y_second)?;
-
-    Boolean::and(
-        &mut cs.ns(|| format!("compare x and y results")),
-        &compare_x,
-        &compare_y,
-    )
-}
+// fn compare_allocated_edwards_bls_gadgets<CS: ConstraintSystem<Fq>>(
+//     mut cs: CS,
+//     first: &EdwardsBlsGadget,
+//     second: &EdwardsBlsGadget,
+// ) -> Result<Boolean, SynthesisError> {
+//     // compare x coordinates
+//     let x_first = &first.x;
+//     let x_second = &second.x;
+//
+//     let compare_x = x_first.evaluate_equal(&mut cs.ns(|| format!("compare x")), x_second)?;
+//
+//     // compare y coordinates
+//     let y_first = &first.y;
+//     let y_second = &second.y;
+//
+//     let compare_y = y_first.evaluate_equal(&mut cs.ns(|| format!("compare y")), y_second)?;
+//
+//     Boolean::and(
+//         &mut cs.ns(|| format!("compare x and y results")),
+//         &compare_x,
+//         &compare_y,
+//     )
+// }
 
 impl EvaluateEqGadget<Fq> for EdwardsGroupType {
-    fn evaluate_equal<CS: ConstraintSystem<Fq>>(&self, mut cs: CS, other: &Self) -> Result<Boolean, SynthesisError> {
+    fn evaluate_equal<CS: ConstraintSystem<Fq>>(&self, mut _cs: CS, other: &Self) -> Result<Boolean, SynthesisError> {
         match (self, other) {
             (EdwardsGroupType::Constant(self_value), EdwardsGroupType::Constant(other_value)) => {
                 Ok(Boolean::constant(self_value.eq(other_value)))