From 762bc40f40178baa559f7896bb0cf9cd9974e5b6 Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Tue, 17 Dec 2024 17:37:15 +0000
Subject: [PATCH] pczt: Document how `expected_fvk` is used by
 `Spend::verify_nullifier`

---
 src/pczt/verify.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/pczt/verify.rs b/src/pczt/verify.rs
index 1b16608ee..463125a25 100644
--- 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>,