BlockSec Phalcon ha identificado una vulnerabilidad en el contrato Hyperbridge HandlerV1 debido a la falta de validación de entradas. La función VerifyProof() no verifica que leaf_index sea menor que leafCount, lo que puede resultar en que el cálculo MMR excluya el compromiso solicitado bajo ciertos parámetros. Esta falla permite a los atacantes falsificar mensajes entre cadenas aparentemente válidos al desacoplar la prueba del mensaje real.