zcash

Updates the bundled Zcash lightwallet checkpoint files under Sources/ZcashLightClientKit/Resources/checkpoints (mainnet + testnet). Use this whenever the user asks to update, refresh, regenerate, bump, or add new checkpoints, "run checkmate", or prepare checkpoints for a release — even if they don't name the exact directory. Downloads new GetTreeState checkpoints from the last stored checkpoint up to the chain tip for both networks, keeps only interval-aligned files, verifies them, adds a CHANGELOG entry, and commits.

Writing, tightening, and auditing Lean doc comments in the ironwood soundness stack (issue