Exchange Ranking
Top Exchanges
24h Volume Ranking
Popularity Ranking
Exchange BTC Balance
Proof of Reserves
Decentralized Exchanges
Funding Rate
Funding Heatmap
Liquidation Data
Max Pain
Long/Short Ratio
Whale L/S Ratio
Binance/Okex/Huobi L/S
Bitfinex Margin L/S
ETF Tracker
Solana ETF
XRP ETF
Hong Kong ETF
Bitcoin Treasuries
Crypto Reversal
Ethereum Reserves
HyperLiquid Wallet Analysis
Hyperliquid Whale Watch
Large Transactions
On-chain Movement
Bitcoin ROI
Stablecoin Market Cap
Options Analysis
News
Articles
Economic Calendar
Features
Wallet
Contract Calculator
Security
Collections
Watchlist
Following
ZEC Zcash ($ZEC) surged by 16% on July 8 after Project Tachyon announced that the network\'s upcoming Ironwood upgrade had made significant progress in security verification-confirming system security through formal verification, which made the token return above $500 for the first time since early June.
Tachyon is verifying what
The core of this rally is specific technical milestones. Tachyon and Valar Group are using formal verification work to confirm the correctness of the zero-knowledge concise non-interactive proof of knowledge (zk-SNARK) circuit in the Orchard protocol, minimizing security vulnerabilities to reliance on the correctness of technical specifications and cryptographic assumptions. Modern tools such as Lean can automatically check the proof after it is written to ensure its mathematical completeness. A human-guided large-language model can shorten the process of generating such machine-assisted certificates to weeks-even in the face of complex cryptographic systems.
Zcash founder Zooko Wilcox said the project is about to complete a mathematical proof that the upcoming Ironwood privacy pool has no undetectable counterfeiting vulnerabilities that can be exploited. This solves the kind of problem exposed by Orchard\'s disclosure last month. The recently discovered undetectable counterfeiting vulnerability in the new version of Orchard is not the first time in Zcash history. Thanks to Ironwood\'s formal verification, the team claims this will be the last time.
Everything started with Orchard\'s vulnerability
The background of the incident deserves attention. The Orchard vulnerability lies in two lines of code on its circuitry-a key cryptographic component that manages Zcash\'s private transactions-allowing malicious actors to forge ZECs within the privacy pool without leaving any signature traces on the chain. If the vulnerability is exploited before it is discovered, it will be completely untraceable. The vulnerability has existed since Orchard was activated in May 2022. It was discovered on May 29 this year by security engineer Taylor Hornby using Anthropic\'s Opus 4.8 AI model and was repaired through an emergency fix on June 1. The disclosure caused $ZEC to plummet more than 38%. The Zcash Foundation confirmed that auditors had located the vulnerability in Orchard, but developers pointed out that there was no evidence that user funds had been affected or that the total ZEC supply had changed.
Ironwood: Community response
Ironwood is the community\'s answer to the above uncertainties. The current Orchard privacy pool will stop accepting new deposits and internal transactions, allowing funds to flow into Ironwood only in one direction through the revolving door mechanism. Since the revolving door mechanism will reject any attempt to transfer out more ZECs than the deposited amount, users will immediately receive trust-free guarantees: ensuring that the number of ZECs in circulation will not exceed the correct total. Ironwood is scheduled to activate at the end of July 2026, depending on comprehensive testing, review and coordination of the Zcash ecosystem. Traders are currently closely watching confirmation of Ironwood\'s activation date as the next key fundamentals catalyst.
