ZEC 财库公司 Cypherpunk 回应市场波动：所有软件都存在漏洞，形式化验证将强化安全

2026-06-05 16:23 来源： x.com 事件类型：安全/黑客

ZEC 财库公司 Cypherpunk在 X 平台发文回应 ZEC 代币市场波动，其表示，所有软件都存在漏洞，历史上比特币曾因错误“多铸”过 1,840 亿枚 BTC。但这并不意味着应放弃区块链技术，而是应通过形式化验证与可证明正确性来增强安全性。

相关项目