Zcash dev lab CEO: Recent ZEC bug was a rulebook flaw, not a core crypto issue

In response to the recent discovery of an Orchard bug that could have allowed for the infinite minting of Zcash (ZEC), Josh Swihart, CEO of the Zcash development lab, stated that the vulnerability was not a flaw in the underlying cryptographic technology or its proof-generation engine. On his X account, Swihart explained that the Orchard vulnerability was located in a specific rulebook that was "loosely written, which made fake transactions possible." He stressed the importance of preventing such vulnerabilities from recurring, adding that the best solution is "Formal verification." Swihart also noted that multiple teams are currently working to verify Orchard's existing circuits.