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