Zcash adopta verificación formal para la actualización Ironwood

2 min de lectura

Los desarrolladores de Zcash pasaron a la verificación formal para la red Ironwood después de una falla contable recién divulgada en la pools blindada Orchard, que reveló límites de las auditorías convencionales. La falla, encontrada por el investigador de Shielded Labs, Taylor Hornby, fue parcheada antes de que fuera explotada. El equipo afirma que las falsificaciones indetectables provienen de fallas en la especificación o en supuestos criptográficos, no de errores de implementación, y está enfocando pruebas en la especificación criptográfica de Ironwood usando el verificador de teoremas Lean con colaboradores de zkSecurity y el Zcash Open Development Lab. Ironwood cerrará la pool blindada antigua, lanzará una sustitución corregida y usará una migración de compuerta para demostrar la integridad de suministro cuando se active en julio de 2026.

Ironwood verificará formalmente las especificaciones para prevenir tiradas de contrafacciones indetectables.