Zcashの開発者たちは、新しいバージョンのプライバシープールが検出不可能な偽造の脆弱性を持たないことを保証する数学的証明の最終段階に近づいています。この進展は、AI支援の形式的検証を活用しており、検証期間を数年からはるかに短い期間に大幅に短縮しました。この開発は、Zcashのプライバシー機能のセキュリティと信頼性を強化する上で重要な一歩となります。