Un hecho incómodo es más útil que uno cómodo, así que aquí va un hecho incómodo sobre Dusk Network: una auditoría interna completada a principios de 2026 encontró 39 incidencias en su base de código de producción, siete de ellas críticas, más de un año después de que la mainnet ya estuviera procesando valor real.
Las cuatro causas raíz detrás de esos hallazgos críticos merecen nombrarse sin suavizar. Dos surgieron de una gestión de memoria no sólida en Piecrust, el sandbox de la máquina virtual, que podría permitir que dos nodos honestos ejecutaran el mismo código y calcularan silenciosamente resultados distintos; una categoría de defecto peor que un fallo, porque puede permanecer invisible. Una provino de una ruta de deserialización del lado del host que confiaba en bytes controlados por el contrato sin validarlos primero, convirtiendo un fallo a nivel de contrato en un problema de integridad del nodo. Otra estaba en cómo Phoenix, el modelo de transacciones protegidas, vinculaba su lógica de comisiones y reembolsos, una brecha que por sí sola abrió caminos hacia inflación de la oferta, paradas de la cadena y redirección de reembolsos al mismo tiempo. La última fue una debilidad de construcción criptográfica en el esquema de firmas BLS que se encuentra bajo la autenticación del consenso. Investigar explotaciones previas implicó revisar registros y evidencias a nivel de host en toda la pila, no solo comprobar un patrón de error en un historial de transacciones.
Dusk afirma que su propia investigación no encontró evidencia de que las siete fueran explotadas antes de que el arreglo se enviara como una bifurcación dura en marzo de 2026, su mayor lanzamiento desde el inicio. No tengo forma de confirmar independientemente esa afirmación, y nadie que lea esto tampoco, aunque con NPEX, por sí solo, planeando mover más de 300 millones de euros a este código, las apuestas para hacerlo bien nunca fueron pequeñas. Lo que sí puedo sacar de ello es algo más mezclado que una simple tranquilidad: detectarlo antes de la explotación fue un buen trabajo, pero también significa que un código tan determinante estuvo en producción durante más de un año con fallas que nadie había encontrado todavía. Una auditoría limpia es un hito. No es lo mismo que una garantía continua.
@Dusk $DUSK #dusk
Las cuatro causas raíz detrás de esos hallazgos críticos merecen nombrarse sin suavizar. Dos surgieron de una gestión de memoria no sólida en Piecrust, el sandbox de la máquina virtual, que podría permitir que dos nodos honestos ejecutaran el mismo código y calcularan silenciosamente resultados distintos; una categoría de defecto peor que un fallo, porque puede permanecer invisible. Una provino de una ruta de deserialización del lado del host que confiaba en bytes controlados por el contrato sin validarlos primero, convirtiendo un fallo a nivel de contrato en un problema de integridad del nodo. Otra estaba en cómo Phoenix, el modelo de transacciones protegidas, vinculaba su lógica de comisiones y reembolsos, una brecha que por sí sola abrió caminos hacia inflación de la oferta, paradas de la cadena y redirección de reembolsos al mismo tiempo. La última fue una debilidad de construcción criptográfica en el esquema de firmas BLS que se encuentra bajo la autenticación del consenso. Investigar explotaciones previas implicó revisar registros y evidencias a nivel de host en toda la pila, no solo comprobar un patrón de error en un historial de transacciones.
Dusk afirma que su propia investigación no encontró evidencia de que las siete fueran explotadas antes de que el arreglo se enviara como una bifurcación dura en marzo de 2026, su mayor lanzamiento desde el inicio. No tengo forma de confirmar independientemente esa afirmación, y nadie que lea esto tampoco, aunque con NPEX, por sí solo, planeando mover más de 300 millones de euros a este código, las apuestas para hacerlo bien nunca fueron pequeñas. Lo que sí puedo sacar de ello es algo más mezclado que una simple tranquilidad: detectarlo antes de la explotación fue un buen trabajo, pero también significa que un código tan determinante estuvo en producción durante más de un año con fallas que nadie había encontrado todavía. Una auditoría limpia es un hito. No es lo mismo que una garantía continua.
@Dusk $DUSK #dusk
