Add feature-gated partial prove interface

core/Cargo.toml

@@ -46,3 +46,5 @@ parallel = [
 prover_hypernova = ["dep:nexus-nova", "dep:spartan"]
 prover_nova = ["dep:nexus-nova", "dep:spartan"]
 prover_jolt = ["dep:nexus-jolt"]
+
+partial_prove = []

core/src/prover/hypernova/mod.rs

@@ -32,6 +32,31 @@ pub fn init_circuit_trace(trace: Trace) -> Result<SC, ProofError> {
     super::nova::init_circuit_trace(trace).map_err(ProofError::from)
 }
 
+// nb: feature-gated as only relevant for testing
+#[cfg(feature = "partial_prove")]
+pub fn prove_partial_seq(
+    pp: &PP,
+    trace: Trace,
+    start: usize,
+    len: usize,
+) -> Result<IVCProof, ProofError> {
+    let tr = init_circuit_trace(trace)?;
+
+    let end = start + len;
+    if end >= tr.steps() {
+        return Err(ProofError::InvalidIndex(tr.steps()));
+    }
+
+    let z_st = tr.input(start)?;
+    let mut proof = IVCProof::new(&z_st);
+
+    for _ in start..end {
+        proof = prove_seq_step(Some(proof), pp, &tr)?;
+    }
+
+    Ok(proof)
+}
+
 pub fn prove_seq(pp: &PP, trace: Trace) -> Result<IVCProof, ProofError> {
     let tr = init_circuit_trace(trace)?;
 

core/src/prover/nova/mod.rs

@@ -66,6 +66,31 @@ pub fn init_circuit_trace(trace: Trace) -> Result<SC, ProofError> {
     Ok(tr)
 }
 
+// nb: feature-gated as only relevant for testing
+#[cfg(feature = "partial_prove")]
+pub fn prove_partial_seq(
+    pp: &SeqPP,
+    trace: Trace,
+    start: usize,
+    len: usize,
+) -> Result<IVCProof, ProofError> {
+    let tr = init_circuit_trace(trace)?;
+
+    let end = start + len;
+    if end >= tr.steps() {
+        return Err(ProofError::InvalidIndex(tr.steps()));
+    }
+
+    let z_st = tr.input(start)?;
+    let mut proof = IVCProof::new(&z_st);
+
+    for _ in start..end {
+        proof = prove_seq_step(Some(proof), pp, &tr)?;
+    }
+
+    Ok(proof)
+}
+
 pub fn prove_seq(pp: &SeqPP, trace: Trace) -> Result<IVCProof, ProofError> {
     let tr = init_circuit_trace(trace)?;