你的 zkKYC 凭证还在有效期内，协议升级后却无法识别，这种情况并不少见。这不是凭证"坏"了，而是验证系统对新格式、新密钥或新规则的识别出了问题。
凭证有效 ≠ 验证端能识别
zk KYC 凭证本质上是发证机构签发的一份加密数据包，包含身份声明和签名。当你向链上协议出示凭证时，协议的验证合约会执行一套规则：校验签名、检查凭证类型、比对版本号、验证公钥等。
升级改了其中某个验证环节，就会导致"凭证对，但验不过"。
升级后可能卡住的几个地方
- 凭证格式变新了，合约不认旧格式：协议升级时如果改变了凭证的数据结构（例如增加新字段、调整字段组织方式），旧版合约无法正确解析新格式凭证，验证就会失败。Galactica Snap 的升级案例很能说明问题：其修复了对新类型 ZK 证书的兼容性，让 Snap 支持从 JSON 内容直接推导字段列表，而不是硬编码只识别固定 KYC 格式。这说明旧版本可能确实不支持某些新类型凭证。
- 验证密钥（Verification Key）被更换：零知识证明的关键设计是，凭证生成时使用"证明密钥"（Prover Key），验证时使用对应的"验证密钥"（Verification Key）。协议升级时如果验证合约更换了新密钥，用旧证明流程生成的凭证就无法通过新密钥的校验。Mina 协议文档也说明，升级 ZkApp 只是更改链上验证密钥，用旧证明函数生成的证明在新密钥下会直接无效，用户必须下载新的证明函数重新生成。
- 凭证的有效期或"nullifier"被提前消耗：链上合规验证中，凭证的"nullifier"（唯一标识）一旦被消耗，凭证即作废，不能重复使用。如果协议升级后对 nullifier 的处理逻辑发生变化——比如验证失败也消耗 nullifier——那么你的凭证虽然未被真正使用，却已被标记为"已消耗"，无法再次提交。Basalt 的审计报告记录过类似问题：合约在 Groth16 验证之前就消耗了 nullifier，若验证因格式错误、无效曲线点等原因失败，用户将无法用同一 nullifier 重试，直到下一个区块才恢复。
实操建议
- 先确认升级内容：前往项目官方文档或公告，确认这次升级改了什么——是验证合约更换，还是支持了新的凭证格式。
- 检查凭证是否兼容新版本：部分协议支持迁移路径，可把旧格式凭证转换为新格式，无需重新走完整 KYC 流程。
- 必要时重新生成证明：如果协议只是更换了验证密钥，你需要使用新版钱包或证明工具重新生成证明。
校验方式
提交验证后，可到区块浏览器查询该笔交易的失败原因（Revert Reason）。如果原因中包含"verification key mismatch"或"invalid proof format"等提示，说明是验证端不兼容；如果是"nullifier already used"，说明凭证的 nullifier 已被消耗，需要联系项目方确认。
