深潮 TechFlow 消息,7 月 08 日,据 The Block 报道,Zcash 开发团队表示,正接近完成一项数学证明,以验证新版隐私池不存在无法被察觉的伪造漏洞。该进展与 AI 辅助形式化验证的应用有关,显著缩短了原本可能耗时数年的验证周期。
受此消息影响,ZEC 周二一度上涨超过 12%。
此前,Zcash 的 Orchard 隐私池曾披露关键漏洞,引发代币价格在两日内大幅下跌。
お気に入りに追加
SNSで共有
深潮 TechFlow 消息,7 月 08 日,据 The Block 报道,Zcash 开发团队表示,正接近完成一项数学证明,以验证新版隐私池不存在无法被察觉的伪造漏洞。该进展与 AI 辅助形式化验证的应用有关,显著缩短了原本可能耗时数年的验证周期。
受此消息影响,ZEC 周二一度上涨超过 12%。
此前,Zcash 的 Orchard 隐私池曾披露关键漏洞,引发代币价格在两日内大幅下跌。
The Block によると、Zcash 開発チームは、新版プライバシープールに検出不能な偽造脆弱性が存在しないことを検証するための数学的証明の完成に近づいていると述べました。この進展は AI 支援形式検証の応用に関連しており、本来数年を要する可能性があった検証期間を大幅に短縮しました。