CypherpunkによるZEC財庫の市場変動への回答：すべてのソフトウェアには脆弱性があり、形式的検証はセキュリティの強化につながる。

ChainCatcherによると、ZEC財庫会社CypherpunkはXプラットフォームでZECトークン市場の変動についてコメントし、全てのソフトウェアには脆弱性が存在すると述べました。歴史的には、Bitcoinが誤って1840億枚BTCを「多く鋳造」した事例もありました。しかし、これはブロックチェーン技術を放棄すべきだという意味ではなく、形式的な検証や証明可能な正確性によって安全性を強化するべきだとしています。