Fix call to supernova::RecursiveSNARK::verify (#951)

* fix call to `supernova::RecursiveSNARK::verify` * revert Cargo.toml change
argumentcomputer · Dec 13, 2023 · 09bcd8a · 09bcd8a · github-actions · Dec 13, 2023
1 parent dc209b1
commit 09bcd8a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/proof/supernova.rs b/src/proof/supernova.rs
@@ -231,14 +231,14 @@ where
         pp: &Self::PublicParams,
         z0: &[F],
         zi: &[F],
-        last_circuit_idx: usize,
+        _last_circuit_idx: usize,
     ) -> Result<bool, Self::ErrorType> {
         let (z0_primary, zi_primary) = (z0, zi);
         let z0_secondary = Self::z0_secondary();
         let zi_secondary = &z0_secondary;
 
         let (zi_primary_verified, zi_secondary_verified) = match self {
-            Self::Recursive(p) => p.verify(&pp.pp, last_circuit_idx, z0_primary, &z0_secondary)?,
+            Self::Recursive(p) => p.verify(&pp.pp, z0_primary, &z0_secondary)?,
             Self::Compressed(_) => unimplemented!(),
         };