ZEC财库公司回应漏洞风波：比特币曾多铸1840亿枚，正推动形式化验证升级

ZEC财库公司Cypherpunk在X平台发文，直接回应ZEC代币因安全漏洞传闻引发的剧烈波动。他们强调，任何软件都难免存在漏洞，历史上比特币就曾因一个错误“多铸”了1,840亿枚BTC。这并不意味着区块链技术应当被抛弃，反而凸显了通过形式化验证和可证明正确性来加固系统安全的必要性。

Cypherpunk进一步指出，随着人工智能技术的发展，漏洞检测将变得更快、更广泛，但最关键的是谁能在恶意行为者之前发现并修复问题。Zcash将通过即将发布的更新展示其抢先修复的能力。此前，隐私币ZEC因被曝出可能导致无限增发的安全漏洞，市场一度恐慌，币价单日暴跌逾50%。