From f1c5064774e419086bc09b8c8148f6fdd03ff0e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?=
 <4142+huitseeker@users.noreply.github.com>
Date: Fri, 5 Jan 2024 10:44:06 -0500
Subject: [PATCH] fix: adapt to arecibo changes (#1019)

* fix: adapt to arecibo changes

* chore: move the arecibo pointer back to dev
---
 src/cli/lurk_proof.rs             | 4 ++--
 src/lem/multiframe.rs             | 4 +---
 src/proof/nova.rs                 | 4 ++--
 src/proof/supernova.rs            | 2 +-
 src/public_parameters/instance.rs | 4 ++--
 src/public_parameters/mod.rs      | 2 +-
 6 files changed, 9 insertions(+), 11 deletions(-)

diff --git a/src/cli/lurk_proof.rs b/src/cli/lurk_proof.rs
index 08bf4552bc..dd290940d1 100644
--- a/src/cli/lurk_proof.rs
+++ b/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};
diff --git a/src/lem/multiframe.rs b/src/lem/multiframe.rs
index f8c4e2640c..34a13577bb 100644
--- a/src/lem/multiframe.rs
+++ b/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()
     }
diff --git a/src/proof/nova.rs b/src/proof/nova.rs
index 74bb4a6728..45eee951f2 100644
--- a/src/proof/nova.rs
+++ b/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>>;
diff --git a/src/proof/supernova.rs b/src/proof/supernova.rs
index 7ad385fc2d..be1e54b15c 100644
--- a/src/proof/supernova.rs
+++ b/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,
     },
diff --git a/src/public_parameters/instance.rs b/src/public_parameters/instance.rs
index 2c5dfa8d55..f30cc3977c 100644
--- a/src/public_parameters/instance.rs
+++ b/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;
diff --git a/src/public_parameters/mod.rs b/src/public_parameters/mod.rs
index 899ec9f919..4d4bd54cab 100644
--- a/src/public_parameters/mod.rs
+++ b/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,