Create functions to add spend and output to proving context indendently

zcash_proofs/src/sapling/verifier.rs

@@ -30,6 +30,22 @@ impl SaplingVerificationContextInner {
         }
     }
 
+    pub fn add_spend_to_context_inner(
+        &mut self,
+        cv: &ValueCommitment
+    ) {
+        // Accumulate the value commitment in the context
+        self.cv_sum += cv;
+    }
+
+    pub fn add_output_to_context_inner(
+        &mut self,
+        cv: &ValueCommitment
+    ) {
+        // Accumulate the value commitment in the context
+        self.cv_sum -= cv;
+    }
+
     /// Perform consensus checks on a Sapling SpendDescription, while
     /// accumulating its value commitment inside the context for later use.
     #[allow(clippy::too_many_arguments)]

zcash_proofs/src/sapling/verifier/single.rs

@@ -27,6 +27,22 @@ impl SaplingVerificationContext {
         }
     }
 
+    pub fn add_spend_to_context(
+        &mut self,
+        cv: &ValueCommitment
+    ) {
+        // Accumulate the value commitment in the context
+        self.inner.add_spend_to_context_inner(&cv);
+    }
+
+    pub fn add_output_to_context(
+        &mut self,
+        cv: &ValueCommitment
+    ) {
+        // Accumulate the value commitment in the context
+        self.inner.add_output_to_context_inner(&cv);
+    }
+
     /// Perform consensus checks on a Sapling SpendDescription, while
     /// accumulating its value commitment inside the context for later use.
     #[allow(clippy::too_many_arguments)]