Zcash implementará correcciones después del descubrimiento de una vulnerabilidad de falsificación en el protocolo Orchard

Los desarrolladores de Zcash están evaluando un nuevo grupo protegido después de corregir una falla de falsificación en Orchard. Shielded Labs dijo que está explorando una actualización de la red para fortalecer la verificación del suministro. Mientras tanto, la propuesta espera la revisión de la comunidad mientras continúa la volatilidad de los precios de la ZEC. Shielded Labs dijo que está evaluando una actualización de la red que introduciría un nuevo grupo blindado. El grupo explicó que el plan aplicaría la contabilidad de torniquete a las monedas que salgan de Orchard. Como resultado, los usuarios podrían verificar los fondos que salen del fondo común con reglas contables más claras. Sin embargo, la organización dijo que publicará compensaciones detalladas la próxima semana. Josh Swihart, fundador de Zcash Open Development Lab, abordó la propuesta en X. Dijo que un segundo grupo de Orchard podría alinearse con la actualización NU7 planificada para finales de julio. Sin embargo, afirmó que no tiene una posición fija sobre la adopción del cambio. Enfatizó que la discusión comunitaria guiará la dirección final. https://t.co/Q6Y7JjQzb3 — Josh Swihart 🛡 (@jswihart) 5 de junio de 2026 La discusión sigue a una actualización de emergencia que solucionó una vulnerabilidad en Orchard. Shielded Labs dijo que la falla podría haber permitido falsificaciones ilimitadas de ZEC dentro del grupo. Sin embargo, el equipo cree que una explotación previa sigue siendo poco probable. Aún así, reconoció que la criptografía no puede confirmar si la explotación ocurrió antes del parche. Anteriormente, los desarrolladores suspendieron las transacciones de Orchard después de identificar el problema. Restauraron la funcionalidad mediante una actualización de emergencia de la red. En consecuencia, la red reanudó sus operaciones normales después de la reparación. El equipo reveló públicamente la vulnerabilidad el viernes. Tras la divulgación, ZEC cayó casi un 50% en cuestión de horas. El token cayó de 550,30 dólares a 264,80 dólares, según datos de CoinGecko. Posteriormente, se recuperó hasta los 308,07 dólares, aunque se mantuvo muy por debajo. La vulnerabilidad revivió el debate sobre la verificación formal en Zcash. Los desarrolladores discutieron si las pruebas matemáticas podrían evitar errores de circuito similares. Sean Bowe dijo que los protocolos blindados se basan en suposiciones criptográficas para preservar la integridad del suministro. Sostuvo que la verificación formal ofrece una solución a largo plazo. Swihart también abordó la falla del circuito en sus comentarios. Dijo que el error se debió a reglas de circuito escritas a mano, no a una criptografía rota. Explicó que la verificación formal podría convertir esas reglas en especificaciones concisas. Luego, las computadoras podrían confirmar si las implementaciones coinciden con los diseños previstos. Wei Dai, socio de investigación de 1kx, comentó públicamente sobre la falla. Dijo que el error parecía obvio en retrospectiva, pero escapó a la revisión de los expertos. Añadió que ampliar la cobertura de la verificación formal es “probablemente la única solución a largo plazo”. Sus comentarios se hicieron eco de los llamados a exigir estándares de verificación más estrictos. Durante la caída del mercado, algunas figuras defendieron al equipo de desarrollo. Justin Bons de CyberCapital dijo que el mercado reaccionó exageradamente porque “los buenos se dieron cuenta primero”. Cameron Winklevoss afirmó que encontrar errores refleja una investigación de seguridad activa. Sostuvo que la cuestión clave radica en descubrir y corregir fallas antes de que los atacantes las exploten. Descubra acciones de alto rendimiento en inteligencia artificial, criptomonedas y tecnología con análisis de expertos.