cargo check passes

microsoft · Mar 5, 2025 · 5ff2431 · 5ff2431
1 parent 96a0fbf
commit 5ff2431
Show file tree

Hide file tree

Showing 4 changed files with 78 additions and 298 deletions.
diff --git a/src/gadgets/ecc.rs b/src/gadgets/ecc.rs
@@ -789,18 +789,6 @@ impl<E: Engine> AllocatedNonnativePoint<E> {
     Ok(Self { x, y, is_infinity })
   }
 
-  pub fn from_xy(
-    x: &BigNat<E::Scalar>,
-    y: &BigNat<E::Scalar>,
-    is_infinity: &AllocatedNum<E::Scalar>,
-  ) -> Result<Self, SynthesisError> {
-    Ok(Self {
-      x: x.clone(),
-      y: y.clone(),
-      is_infinity: is_infinity.clone(),
-    })
-  }
-
   /// Allocates a default point on the curve, set to the point at infinity.
   pub fn default<CS>(mut cs: CS) -> Result<Self, SynthesisError>
   where

diff --git a/src/lib.rs b/src/lib.rs
@@ -1,7 +1,7 @@
 //! This library implements Nova, a high-speed recursive SNARK.
 #![deny(
-  //warnings,
-  //unused,
+  warnings,
+  unused,
   future_incompatible,
   nonstandard_style,
   rust_2018_idioms,