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