Remove bellperson and verify_sequential_css.

Cargo.toml

@@ -18,7 +18,6 @@ base64 = { workspace = true }
 base-x = "0.2.11"
 bellpepper = { workspace = true }
 bellpepper-core = { workspace = true }
-bellperson = { workspace = true }
 bincode = { workspace = true }
 blstrs = { workspace = true }
 camino = { workspace = true }
@@ -87,8 +86,8 @@ rustyline = { version = "11.0", features = ["derive"], default-features = false
 
 [features]
 default = []
-opencl = ["neptune/opencl", "bellperson/opencl", "nova/opencl"]
-cuda = ["neptune/cuda", "bellperson/cuda", "nova/cuda"]
+opencl = ["neptune/opencl", "nova/opencl"]
+cuda = ["neptune/cuda", "nova/cuda"]
 # compile without ISA extensions
 portable = ["blstrs/portable", "pasta-msm/portable", "nova/portable"]
 flamegraph = ["pprof/flamegraph", "pprof/criterion"]
@@ -124,7 +123,6 @@ anyhow = "1.0.72"
 base64 = "0.13.1"
 bellpepper = { git = "https://github.com/lurk-lab/bellpepper", branch = "dev" }
 bellpepper-core = { git = "https://github.com/lurk-lab/bellpepper", branch = "dev" }
-bellperson = { git = "https://github.com/lurk-lab/bellperson", branch = "dev" }
 bincode = "1.3.3"
 blstrs = { git = "https://github.com/lurk-lab/blstrs", branch = "dev" }
 clap = "4.3.17"

src/proof/mod.rs

@@ -181,39 +181,6 @@ pub trait Provable<F: LurkField> {
     fn reduction_count(&self) -> usize;
 }
 
-/// Verifies a sequence of constraint systems (CSs) for sequentiality & validity.
-pub fn verify_sequential_css<
-    'a,
-    F: LurkField + Copy,
-    C: Coprocessor<F> + 'a,
-    M: MultiFrameTrait<'a, F, C>,
->(
-    css: &SequentialCS<F, M>,
-) -> Result<bool, SynthesisError> {
-    let mut previous_frame: Option<&M> = None;
-
-    for (i, (multiframe, cs)) in css.iter().enumerate() {
-        if let Some(prev) = previous_frame {
-            if !prev.precedes(multiframe) {
-                tracing::debug!("frame {}: not preceeding frame", i);
-                return Ok(false);
-            }
-        }
-        if !cs.is_satisfied() {
-            tracing::debug!("frame {}: cs not satisfied", i);
-            return Ok(false);
-        }
-
-        let public_inputs = multiframe.public_inputs();
-        if !cs.verify(&public_inputs) {
-            tracing::debug!("frame {}: cs not verified", i);
-            return Ok(false);
-        }
-        previous_frame = Some(multiframe);
-    }
-    Ok(true)
-}
-
 /// A trait for a prover that works with a field `F`.
 pub trait Prover<'a, F: LurkField, C: Coprocessor<F> + 'a, M: MultiFrameTrait<'a, F, C>> {
     /// The associated public parameters type for the prover.