From 72f1ca6b454f6d30e70c56c988ddf3dc5ea32805 Mon Sep 17 00:00:00 2001
From: therealyingtong <yingtong@z.cash>
Date: Wed, 16 Mar 2022 01:28:13 +0800
Subject: [PATCH] spec.rs: Check that commit_ivk returns a nonzero base.

---
 src/spec.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/spec.rs b/src/spec.rs
index cb751023..9fb169df 100644
--- a/src/spec.rs
+++ b/src/spec.rs
@@ -190,7 +190,7 @@ pub(crate) fn commit_ivk(
         // - sinsemilla::CommitDomain::short_commit calls extract_p_bottom, which replaces
         //   the identity (which has no affine coordinates) with 0. but Sinsemilla is
         //   defined using incomplete addition, and thus will never produce the identity.
-        .map(NonZeroPallasBase::guaranteed)
+        .and_then(NonZeroPallasBase::from_base)
 }
 
 /// Defined in [Zcash Protocol Spec § 5.4.1.6: DiversifyHash^Sapling and DiversifyHash^Orchard Hash Functions][concretediversifyhash].