Ensure that we only create proofs on PCZTs with at least one action

zcash · Dec 10, 2024 · 8643c5c · 8643c5c
1 parent c276fd6
commit 8643c5c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/pczt/prover.rs b/src/pczt/prover.rs
@@ -15,6 +15,13 @@ impl super::Bundle {
         pk: &ProvingKey,
         rng: R,
     ) -> Result<(), ProverError> {
+        // If we have no actions, we don't need a proof (and if we still have no actions
+        // by the time we come to transaction extraction, we will end up with a `None`
+        // bundle that doesn't even hold a proof field).
+        if self.actions.is_empty() {
+            return Ok(());
+        }
+
         let circuits = self
             .actions
             .iter()