Análisis del ataque al puente entre cadenas de Verus por CertiK

CertiK publicó el análisis del ataque al puente entre cadenas de Ethereum del protocolo Verus ocurrido el 23 de julio. El análisis muestra que este ataque se originó en las diferencias en la interpretación de los datos de notarización entre Verus y Ethereum. Los atacantes insertaron múltiples entradas de raíz de estado maliciosas y repetidas en transacciones de notarización legítimas, y estos datos fueron retransmitidos a Ethereum después de ser firmados normalmente por 11 nodos de notarización de Verus. En el lado de Verus, los datos de raíz de estado serializados se insertaron en una tabla de mapeo, mientras que en el lado de Ethereum, al deserializar, se recorrieron secuencialmente todas las entradas de proofRoots, lo que llevó a que las entradas de raíz de estado maliciosas posteriores sobrescribieran las raíces de estado legítimas, y la raíz de estado manipulada por los atacantes fue finalmente aceptada por Ethereum como un punto de verificación confiable. Los atacantes iniciaron una solicitud de exportación entre cadenas de 0.01 VRSC a través de Bridge.vETH en la cadena de Verus, y luego falsificaron campos clave en la prueba de importación en el lado de Ethereum para que coincidieran con el hash de los activos transferidos. CertiK señala que el contrato del puente entre cadenas de Verus en Ethereum tiene una vulnerabilidad lógica, ya que no verifica si el monto de pago especificado en la solicitud de importación coincide con el monto real de exportación, lo que permitió que la prueba falsificada pasara la verificación y, en última instancia, autorizara retiros que superaban el monto real de salida. Después de que el ataque tuvo éxito, los atacantes intercambiaron los activos robados por 2778.8662 ETH a través de Relay y los transfirieron a Tornado Cash.