De Gemini-oprichters Tyler en Cameron Winklevoss spraken zich publiekelijk uit voor formele verificatie als dé manier om Zcash (ZEC) te beveiligen. Ze steunen hiermee de uitleg van een ontwikkelaar over de recent opgeloste vervalsingsbug in de privacy coin.
Hun opmerkingen kwamen tijdens een sterke ZEC-verkoopgolf en richtten de aandacht op een langetermijn beveiligingsoplossing, in plaats van alleen het probleem zelf.
Tyler Winklevoss was het eens met Dragonfly managing partner Haseeb Qureshi, die aangaf dat de bug vooral schade zou doen aan houders van afgeschermde wallets, niet aan de transparante markt.
De Winklevoss-tweeling richtte Gemini op, een gereguleerde Amerikaanse crypto-exchange. Hun steun is dus belangrijk voor de instituties die nu ZEC-reserves aanhouden.
“Maar hoewel AI deze bug heeft gevonden, zal AI ook de oplossing leveren voor de hele categorie: formele verificatie… Formeel geverifieerde cryptografie kan door het ontwerp geen implementatiefouten bevatten,” zei de Dragonfly-directeur.
Volg ons op X voor het laatste nieuws zodra het gebeurt.
Formele verificatie als roadmap
Cameron Winklevoss zei dat formele verificatie vervalsingsbugs in afgeschermde pools onmogelijk zou maken. Zcash-ontwikkelaars zijn van plan deze methode toe te voegen bij de volgende netwerk upgrade.
Volgens Qureshi combineert de upgrade een nieuwe afgeschermde pool met een nieuw turnstile-systeem. Dit mechanisme migreert de fondsen vanuit de huidige Orchard pool en bewijst on-chain dat er geen nep ZEC is gemaakt.
Dit plan volgt na de noodreparatie van de Orchard-bug door het team, waarmee het probleem werd opgelost voordat er sprake was van een bekende exploit.
Zcash bereikte bovendien net een recordhoeveelheid afgeschermde tokens vlak voor het nieuws over de bug.
“In het AI-tijdperk is formele verificatie dé manier om software te beveiligen en Zcash loopt hierin voorop. Zcash voert formele verificatie in bij de volgende netwerk upgrade, waardoor ‘geld printen’-bugs in afgeschermde pools onmogelijk worden. Versleuteld geld waarvan je kunt bewijzen dat het klopt, is niet te stoppen,” voegde Cameron Winklevoss toe.
De Zcash-verkoopgolf op vrijdag schrapte een deel van de oplopende ZEC-koers van eerder in 2026. Qureshi liet ook weten dat Dragonfly ZEC bezit en dat hij er persoonlijk in investeert via een gerelateerd instrument.
Die context is belangrijk bij het wegen van bullish signalen van grote ZEC-houders.
De komende upgrade zal uitwijzen of aantoonbaar bewijs het vertrouwen in privacy-geld kan herstellen. Totdat de nieuwe pool het aanbod bevestigt, gaan houders uit van onzekerheid bij het bepalen van de prijs.