RecodeX 重构消息,ZEC财库公司回应市场波动,承认软件漏洞普遍存在,并强调形式化验证可提升安全性以防范风险。