ZEC 財庫公司 Cypherpunk 回應市場波動：所有軟件都存在漏洞，形式化驗證將強化安全

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

ZEC 財庫公司 Cypherpunk在 X 平臺發文回應 ZEC 代幣市場波動，其表示，所有軟件都存在漏洞，歷史上比特幣曾因錯誤“多鑄”過 1,840 億枚 BTC。但這並不意味着應放棄區塊鏈技術，而是應通過形式化驗證與可證明正確性來增強安全性。

相關專案