[ZEC Treasury Company Cypherpunk Responds to Market Volatility: All Software Has Vulnerabilities, Formal Verification Will Strengthen Security] ZEC Treasury Company Cypherpunk posted on the X platform in response to the market volatility of the ZEC token, stating that all software has vulnerabilities. Historically, Bitcoin once mistakenly 'over-minted' 184 billion BTC due to an error. However, this does not mean blockchain technology should be abandoned; instead, security should be enhanced through formal verification and provable correctness. Cypherpunk emphasized that with the development of AI technology, vulnerability detection will become faster and more extensive. The key lies in who can identify issues before malicious actors do. Zcash, through its upcoming update, demonstrates its capability in this regard. Previously, privacy coin ZEC faced market sell-offs after reports of a potential security vulnerability that could lead to unlimited minting, causing its price to plummet by over 50% in a single day.