A BlockSec Phalcon identificou uma vulnerabilidade no contrato Hyperbridge HandlerV1 devido à falta de validação de entrada. A função VerifyProof() não verifica se leaf_index é menor que leafCount, o que pode resultar na exclusão do compromisso solicitado no cálculo do MMR sob certos parâmetros. Essa falha permite que atacantes forjem mensagens cross-chain aparentemente válidas ao desvincular a prova da mensagem real.