Tyler y Cameron Winklevoss, fundadores de Gemini, respaldaron públicamente la verificación formal como la forma de asegurar Zcash (ZEC), apoyando la interpretación de un desarrollador sobre el reciente error de falsificación que fue reparado en la criptomoneda de privacidad.
Sus comentarios llegaron durante una fuerte venta de ZEC y cambiaron el enfoque del episodio a una solución de seguridad a largo plazo en lugar del error en sí.
¿Por qué el apoyo de los Winklevoss es importante para Zcash? Verificación formal como hoja de ruta
Tyler Winklevoss estuvo de acuerdo con Haseeb Qureshi, socio director de Dragonfly, quien argumentó que el error habría perjudicado principalmente a los holders de monedas protegidas, no al mercado transparente.
Los hermanos Winklevoss cofundaron Gemini, un exchange regulado en Estados Unidos. Por lo tanto, su apoyo tiene peso entre las instituciones que ahora mantienen reservas de ZEC.
“Pero aunque la IA encontró este error, la IA también dará la solución para toda la categoría: verificación formal… La criptografía verificada formalmente no puede tener errores de implementación por construcción”, afirmó el ejecutivo de Dragonfly.
Cameron Winklevoss comentó que la verificación formal haría imposibles los errores de falsificación en los pools protegidos. Los desarrolladores de Zcash planean agregar este método en la próxima actualización de la red.
Según Qureshi, la actualización traerá un nuevo pool protegido junto con un nuevo mecanismo para migrar los fondos desde el pool Orchard actual, y demostrar de manera on-chain que no se crearon ZEC falsos. El plan sigue a la solución de emergencia para el error en Orchard, que reparó el fallo antes de que se aprovechara.
Zcash también había registrado una cifra récord de suministro protegido antes de que surgiera la alarma.
“En la era de la IA, la verificación formal es el camino para asegurar el software y Zcash está liderando el camino. Zcash introducirá la verificación formal en la próxima actualización de red, haciendo imposibles los errores de “imprimir dinero” en los pools protegidos. El dinero cifrado con corrección comprobable es imparable”, añadió Cameron Winklevoss.
La venta masiva de Zcash el viernes borró parte del rally de ZEC de 2026. Qureshi también reveló que Dragonfly posee ZEC y que él personalmente invierte en un vehículo relacionado. Ese contexto es importante al valorar los respaldos alcistas de grandes holders de ZEC.
La próxima actualización pondrá a prueba si la corrección comprobable puede devolver la confianza al dinero privado. Hasta que un nuevo pool confirme el suministro, los holders calculan la duda en el precio.
El post Los gemelos Winklevoss respaldan a Zcash tras bug crítico: Verificación formal como hoja de ruta fue visto por primera vez en BeInCrypto.