深潮 TechFlow より、7月8日、The Blockの報道によると、Zcashの開発チームは、新しいプライバシープールに検出不可能な偽造の脆弱性が存在しないことを検証する数学的証明の完了に近づいていると述べた。この進展は、AI支援による形式的検証の応用に関連しており、本来数年かかる可能性があった検証期間を大幅に短縮した。