fix: adapt to arecibo changes (#1019)

* fix: adapt to arecibo changes

* chore: move the arecibo pointer back to dev

src/cli/lurk_proof.rs

@@ -1,6 +1,6 @@
 use ::nova::{
-    supernova::NonUniformCircuit,
-    traits::{circuit_supernova::StepCircuit as SuperStepCircuit, Engine},
+    supernova::{NonUniformCircuit, StepCircuit as SuperStepCircuit},
+    traits::Engine,
 };
 use abomonation::Abomonation;
 use anyhow::{bail, Result};

src/lem/multiframe.rs

@@ -871,9 +871,7 @@ impl<'a, F: LurkField, C: Coprocessor<F>> nova::traits::circuit::StepCircuit<F>
     }
 }
 
-impl<'a, F: LurkField, C: Coprocessor<F>> nova::traits::circuit_supernova::StepCircuit<F>
-    for MultiFrame<'a, F, C>
-{
+impl<'a, F: LurkField, C: Coprocessor<F>> nova::supernova::StepCircuit<F> for MultiFrame<'a, F, C> {
     fn arity(&self) -> usize {
         2 * self.lurk_step.input_params.len()
     }

src/proof/nova.rs

@@ -13,7 +13,7 @@ use nova::{
         snark::RelaxedR1CSSNARKTrait,
         Engine,
     },
-    CircuitShape, CompressedSNARK, ProverKey, RecursiveSNARK, VerifierKey,
+    CompressedSNARK, ProverKey, R1CSWithArity, RecursiveSNARK, VerifierKey,
 };
 use pasta_curves::pallas;
 use serde::{Deserialize, Serialize};
@@ -102,7 +102,7 @@ pub type C1LEM<'a, F, C> = crate::lem::multiframe::MultiFrame<'a, F, C>;
 pub type C2<F> = TrivialCircuit<<E2<F> as Engine>::Scalar>;
 
 /// Type alias for Nova Circuit Parameters with the curve cycle types defined above.
-pub type NovaCircuitShape<F> = CircuitShape<E1<F>>;
+pub type NovaCircuitShape<F> = R1CSWithArity<E1<F>>;
 
 /// Type alias for Nova Public Parameters with the curve cycle types defined above.
 pub type NovaPublicParams<F, C1> = nova::PublicParams<E1<F>, E2<F>, C1, C2<F>>;

src/proof/supernova.rs

@@ -8,9 +8,9 @@ use nova::{
         error::SuperNovaError,
         snark::{CompressedSNARK, ProverKey, VerifierKey},
         AuxParams, CircuitDigests, NonUniformCircuit, RecursiveSNARK,
+        StepCircuit as SuperStepCircuit, TrivialSecondaryCircuit,
     },
     traits::{
-        circuit_supernova::{StepCircuit as SuperStepCircuit, TrivialSecondaryCircuit},
         snark::{BatchedRelaxedR1CSSNARKTrait, RelaxedR1CSSNARKTrait},
         Engine,
     },

src/public_parameters/instance.rs

@@ -44,8 +44,8 @@ use std::{
 
 use ::nova::{
     constants::NUM_HASH_BITS,
-    supernova::NonUniformCircuit,
-    traits::{circuit_supernova::StepCircuit as SuperStepCircuit, Engine},
+    supernova::{NonUniformCircuit, StepCircuit as SuperStepCircuit},
+    traits::Engine,
 };
 use abomonation::Abomonation;
 use camino::Utf8Path;

src/public_parameters/mod.rs

@@ -134,7 +134,7 @@ where
 
 /// Attempts to extract abomonated public parameters.
 use ::nova::supernova::NonUniformCircuit;
-use ::nova::traits::circuit_supernova::StepCircuit as SuperStepCircuit;
+use ::nova::supernova::StepCircuit as SuperStepCircuit;
 use supernova::C2;
 pub fn supernova_public_params<
     'a,