diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7ae89ad8..2b98c503 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,7 @@ and this project adheres to Rust's notion of
 
 ## [Unreleased]
 ### Added
+- `orchard::Proof::add_to_batch`
 - `orchard::address::Address::diversifier`
 - `orchard::keys::Diversifier::from_bytes`
 - `orchard::note`:
diff --git a/src/circuit.rs b/src/circuit.rs
index b61ccb29..0cb7dae7 100644
--- a/src/circuit.rs
+++ b/src/circuit.rs
@@ -866,11 +866,13 @@ impl Proof {
         plonk::verify_proof(&vk.params, &vk.vk, strategy, &instances, &mut transcript)
     }
 
-    pub(crate) fn add_to_batch(
-        &self,
-        batch: &mut BatchVerifier<vesta::Affine>,
-        instances: Vec<Instance>,
-    ) {
+    /// Adds this proof to the given batch for verification with the given instances.
+    ///
+    /// Use this API if you want more control over how proof batches are processed. If you
+    /// just want to batch-validate Orchard bundles, use [`bundle::BatchValidator`].
+    ///
+    /// [`bundle::BatchValidator`]: crate::bundle::BatchValidator
+    pub fn add_to_batch(&self, batch: &mut BatchVerifier<vesta::Affine>, instances: Vec<Instance>) {
         let instances = instances
             .iter()
             .map(|i| {