Resumen Técnico: Reacciones en Cadena en MEV de Polygon

Declaración del Problema

El artículo identifica una vulnerabilidad crítica dentro del ecosistema MEV (Valor Extraíble Máximo) de Polygon: la reutilización sistemática de nonces ($k$) en firmas ECDSA. Si bien la seguridad de ECDSA se basa en la suposición de que cada nonce es un secreto fresco e impredecible, las presiones extremas de latencia de las subastas de ofertas selladas (específicamente las subastas FastLane de Polygon que requieren tiempos de respuesta inferiores a 250 ms) han llevado a los buscadores de MEV a adoptar patrones de generación de nonces predecibles.

Este comportamiento crea una vulnerabilidad de "reacción en cadena" donde:

1. Reutilización de Nonces: Los buscadores reutilizan nonces para minimizar la sobrecarga computacional y la latencia.
2. Colisiones entre Billeteras: Múltiples claves privadas distintas (pertenecientes a diferentes buscadores o billeteras) firman transacciones inadvertidamente utilizando el mismo nonce.
3. Fallo Catastrófico: Estas colisiones permiten a atacantes pasivos recuperar claves privadas utilizando álgebra lineal elemental, lo que conduce a pérdidas financieras irreversibles.

Metodología

Los autores emplean un enfoque matemático y empírico para demostrar y validar la vulnerabilidad:

1. Formulación Matemática

El artículo modela la ecuación de firma ECDSA $s \equiv k^{-1}(e + xr) \pmod n$ para derivar relaciones lineales entre firmas. Categorizan la amenaza en tres condiciones escalonadas:

• C1 (Reutilización en una sola billetera): Un firmante reutiliza $k$ para múltiples mensajes. Esto permite el cálculo directo de $k$ y, posteriormente, de la clave privada $x$.
• C2 (Relaciones lineales): Los nonces siguen un patrón lineal predecible ($k_i = \alpha_i k_0 + \beta_i$). Los autores formulan un sistema de ecuaciones lineales para resolver las incógnitas $x$ y $k_0$.
• C3 (Colisiones entre billeteras): Dos claves privadas diferentes ($d_A, d_B$) firman con el mismo nonce $k$. El artículo demuestra que dos colisiones de este tipo proporcionan exactamente suficientes ecuaciones lineales independientes para resolver ambas claves privadas simultáneamente. Esto se formula como un problema de matriz:
  $$\begin{bmatrix} s_{B1}r_1 & -s_{A1}r_1 \\ s_{B2}r_2 & -s_{A2}r_2 \end{bmatrix} \begin{bmatrix} d_A \\ d_B \end{bmatrix} \equiv \begin{bmatrix} s_{A1}e_{B1} - s_{B1}e_{A1} \\ s_{A2}e_{B2} - s_{B2}e_{A2} \end{bmatrix} \pmod n$$

2. Análisis Empírico

Los autores desarrollaron herramientas personalizadas en Python para escanear datos en cadena de los bloques de Polygon. Específicamente, dirigieron su atención a los registros de transacciones asociados con la actividad MEV para detectar:

• Valores constantes de $k$.
• Patrones de reutilización secuencial.
• Colisiones de nonces entre billeteras.

Resultados Clave

• Evidencia de Explotación: El análisis confirmó la existencia de "Colisión 1" y "Colisión 2" en la red de Polygon, donde direcciones de billetera distintas compartieron nonces idénticos.
• Recuperación de Claves: Los autores utilizaron con éxito su formulación de sistemas lineales para recuperar las claves privadas de las billeteras comprometidas a partir de los datos públicos de la blockchain.
• Riesgo en Cascada: El estudio confirma que comprometer una billetera mediante una colisión de nonce expone a todas las demás billeteras que compartieron un nonce con ella, creando una cadena de riesgo a nivel de ecosistema.
• Causa Raíz: La vulnerabilidad se atribuye directamente al compromiso entre la seguridad criptográfica y los requisitos de latencia subsegundo de las subastas de ofertas selladas, lo que lleva a los buscadores a sacrificar entropía por velocidad.

Significado y Afirmaciones

El artículo se posiciona tanto como una advertencia como un kit de herramientas de diagnóstico. Sus contribuciones principales son:

1. Demostración de la "Reacción en Cadena": Destaca cómo un único error de implementación (reutilización de nonce) en un entorno competitivo puede comprometer múltiples cuentas simultáneamente, expandiendo la superficie de ataque más allá del análisis de una sola clave.
2. Kit de Herramientas Matemático: Proporciona una formulación compacta de sistemas lineales que reduce el complejo problema de la recuperación de claves a la resolución de pequeños sistemas de ecuaciones lineales, haciendo el ataque accesible para observadores pasivos.
3. Validación en el Mundo Real: A diferencia de los estudios teóricos, este trabajo presenta evidencia concreta de que estos patrones ocurren en una blockchain de producción (Polygon), demostrando que las presiones de latencia inducidas por el protocolo pueden conducir a fallos criptográficos catastróficos.

Los autores concluyen que, aunque la vulnerabilidad es bien conocida en la literatura criptográfica, persiste en producción debido a errores de implementación impulsados por demandas de rendimiento. Abogan por la generación determinista de nonces (RFC 6979), la supervisión continua de valores $r$ repetidos y un cambio en los estándares de la industria para priorizar la seguridad de los nonces sobre las ganancias de latencia en microsegundos. El artículo declara explícitamente que sus scripts de análisis se harán públicos para facilitar la investigación y las herramientas adicionales.