Zcash ZEC sube un 12% mientras la verificación formal de Ironwood se acerca a su finalización.

El token ZEC de Zcash subió alrededor del 12% después de que los desarrolladores detrás de Project Tachyon anunciaran que están cerca de demostrar formalmente que el próximo pool protegido Ironwood de la red no contiene ningún error de falsificación indetectable. El aumento de precio sigue al progreso en el trabajo de verificación formal destinado a descartar un error de solidez en el circuito zk-SNARK de Zcash que podría haber permitido la acuñación oculta de ZEC. La falla de Orchard, descubierta por el investigador Taylor Hornby, era una vulnerabilidad en el circuito que Zcash utiliza para proteger las transacciones, aunque los desarrolladores creen que no ocurrió ninguna explotación. Ironwood está programado para activarse a finales de julio con un mecanismo de torniquete que permite a los usuarios migrar fondos del pool vulnerable de Orchard y ayuda a demostrar que no se produjo falsificación.

La falla de Orchard permitió una posible falsificación oculta

La falla de Orchard era un error de solidez en el circuito zk-SNARK que Zcash utiliza para proteger las transacciones. Un error de solidez permite que un prover deshonesto convenza a la red de una declaración falsa, lo que en este caso podría haber permitido a un atacante acuñar ZEC falsificados sin dejar rastro en la cadena. Debido a que cualquier explotación sería invisible, los desarrolladores podían parchear la falla, pero no podían demostrar que nunca se había utilizado. Taylor Hornby descubrió la vulnerabilidad.

Ironwood introduce verificación formal y mecanismo de torniquete

Ironwood es un nuevo pool protegido basado en Orchard, reconstruido con la falla corregida. El equipo de Tachyon dijo que ha "emprendido principalmente un esfuerzo integral para verificar formalmente Ironwood, descartando errores de falsificación indetectables", y señaló que tales errores "solo pueden existir en la especificación" porque los errores de implementación dejan evidencia detectable en el libro mayor.

Para manejar las monedas ya en el pool vulnerable, Ironwood incluye un torniquete. Las carteras migran fondos de Orchard a Ironwood, y deshabilitar los pagos en el pool antiguo establece un límite superior sobre cuánto ZEC puede estar en circulación, lo que ayuda a demostrar que no ocurrió falsificación. Los desarrolladores dicen que creen que no hubo explotación, y el torniquete está diseñado para convertir esa creencia en algo que la red pueda verificar.

Los desarrolladores dicen que esperan activar Ironwood a finales de julio, y que la verificación formal del nuevo pool es el trabajo que determinará si la falla de falsificación fue alguna vez un riesgo real.

El precio de ZEC se recuperó aproximadamente la mitad de las pérdidas posteriores a la divulgación

ZEC cayó de aproximadamente $600 a unos $300 en los dos días posteriores a la divulgación, luego se recuperó hasta alrededor de $457. El token ha recuperado ahora aproximadamente la mitad de lo que perdió. La ganancia del 12% siguió al anuncio de los desarrolladores de Project Tachyon sobre el progreso de la verificación formal.

Equipos de desarrollo detrás de la actualización de Ironwood

La actualización está siendo construida por un grupo de equipos de Zcash, incluido el Laboratorio de Desarrollo Abierto de Zcash, un spin-off de antiguos ingenieros de Electric Coin Company que recaudó $25 millones este año para financiar el trabajo de privacidad. Taylor Hornby, quien encontró la falla de Orchard, trabaja en Shielded Labs.

Preguntas frecuentes

¿Qué es la falla de Orchard en Zcash?

La falla de Orchard era un error de solidez en el circuito zk-SNARK de Zcash que podría haber permitido a un atacante acuñar ZEC falsificados sin dejar rastro en la cadena. Descubierta por el investigador Taylor Hornby, el error permite que un prover deshonesto convenza a la red de una declaración falsa, aunque los desarrolladores creen que no ocurrió ninguna explotación.

¿Cómo funciona el mecanismo de torniquete de Ironwood?

El torniquete permite a las carteras migrar fondos del pool vulnerable de Orchard al nuevo pool de Ironwood. Deshabilitar los pagos en el pool antiguo establece un límite superior sobre cuánto ZEC puede estar en circulación, lo que ayuda a demostrar que no se produjo falsificación durante el período de vulnerabilidad.

¿Cuándo activará Zcash la actualización de Ironwood?

Los desarrolladores esperan activar Ironwood a finales de julio. La verificación formal del nuevo pool es el trabajo que determinará si la falla de falsificación fue alguna vez un riesgo real.