Zcash surged this week, briefly trading above $500, after founder Zooko Wilcox-O’Hearn said the privacy-focused cryptocurrency was nearing a formal verification milestone for its shielded transaction system. He said Zcash is “on the verge of producing a mathematical proof” that its latest shielded pools do not contain undetectable counterfeiting bugs.
That matters because Zcash uses zero-knowledge proofs to let users validate transactions without revealing the sender, receiver, or amount. The credibility of that model depends not just on privacy, but on proving hidden balances still add up. Project Tachyon and related work around the proposed Ironwood shielded pool are designed to extend formal verification across the patched Orchard circuit and newer parts of the stack, after a vulnerability in Orchard raised broader questions this year about assurance and auditability.
The broader conversation also included comments from Eli Ben-Sasson, an original Zcash scientist and now CEO of StarkWare, who proposed a 4% annual issuance model instead of Bitcoin’s fixed 21 million cap.
The next checkpoint is whether Zcash can publish the proof and extend that verification work across more of the protocol.