In 2026, Zcash developers completed a formal verification sprint mathematically proving the elimination of undetectable counterfeiting vulnerabilities in the shielded pool