pczt: Document how expected_fvk is used by Spend::verify_nullifier

zcash · Dec 17, 2024 · 762bc40 · 762bc40
1 parent fe389a1
commit 762bc40
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/pczt/verify.rs b/src/pczt/verify.rs
@@ -56,8 +56,10 @@ impl super::Spend {
     /// - `rho`
     /// - `rseed`
     ///
+    /// In addition, at least one of the `fvk` field or `expected_fvk` must be provided.
+    ///
     /// The provided [`FullViewingKey`] is ignored if the spent note is a dummy note.
-    /// Otherwise, it will be checked against the `fvk` field (if set).
+    /// Otherwise, it will be checked against the `fvk` field (if both are set).
     pub fn verify_nullifier(
         &self,
         expected_fvk: Option<&FullViewingKey>,