Zcash's chain hardening category includes privacy improvements, post-quantum cryptography, multi-assumption models, and formal verification