Gemini founders Tyler and Cameron Winklevoss publicly backed formal verification as the way to secure Zcash (ZEC), endorsing a developer’s reading of the privacy coin’s recently patched counterfeiting bug.

Their comments arrived during a steep ZEC selloff and reframed the episode around a long-term security fix rather than the flaw itself.

Tyler Winklevoss agreed with Dragonfly managing partner Haseeb Qureshi, who argued the bug would mostly have harmed shielded holders, not the transparent market.

The Winklevoss twins co-founded Gemini, a regulated US exchange. Their support, therefore, carries weight with the institutions now holding ZEC reserves.

“But while AI found this bug, AI will also deliver the fix for the whole category: formal verification… Formally verified cryptography can’t have implementation bugs by construction,” the Dragonfly executive stated.

Follow us on X to get the latest news as it happens 

Cameron Winklevoss said formal verification would make counterfeit bugs in shielded pools impossible. Zcash developers plan to add the method in the next network upgrade.

According to Qureshi, the upgrade pairs a fresh shielded pool with a new turnstile. The mechanism would migrate funds from the current Orchard pool and prove on-chain that no counterfeit ZEC was minted.

The plan follows the team’s emergency Orchard bug fix, which patched the flaw before any known exploit.

Zcash had also just logged a record shielded supply before the scare hit.

“In the age of AI, formal verification is the way forward for securing software and Zcash is leading the way. Zcash will introduce formal verification in the next network upgrade, making “print money” bugs in shielded pools impossible. Encrypted money with provable correctness is unstoppable,” Cameron Winklevoss added.

The Zcash selloff on Friday erased part of ZEC’s earlier 2026 rally. Qureshi also disclosed that Dragonfly holds ZEC and that he personally invests in a related vehicle.

That context matters when weighing bullish endorsements from large ZEC holders.

The next upgrade will test whether provable correctness can restore trust in private money. Until a new pool confirms the supply, holders are pricing the doubt.

The post Winklevoss Twins Back Zcash After Security Bug Scare  appeared first on BeInCrypto.

Bitcoin price in Telegram @btc_price_every_hour

222 +