ZEC Treasury firm Cypherpunk responds to market volatility: All software has vulnerabilities; formal verification will enhance security.

CoinFeed reported on June 6th that Cypherpunk, the ZEC treasury company, responded to the ZEC token market volatility in a statement on the X platform. They stated that all software has vulnerabilities, and historically, Bitcoin has been "overminted" by 184 billion BTC due to errors. However, this does not mean abandoning blockchain technology; rather, security should be enhanced through formal verification and provable correctness. Cypherpunk emphasized that with the development of AI technology, vulnerability detection will be faster and broader, but the key is who can discover problems before malicious actors. Zcash demonstrates this capability in its upcoming update. Previously, the privacy coin ZEC experienced a market sell-off due to a security vulnerability that could lead to unlimited issuance, with its price dropping by over 50% in a single day.