BlockSec Phalcon выявила уязвимость в контракте Hyperbridge HandlerV1 из-за отсутствия проверки входных данных. Функция VerifyProof() не проверяет, что leaf_index меньше leafCount, что может привести к исключению запрашиваемого обязательства из расчёта MMR при определённых параметрах. Эта ошибка позволяет злоумышленникам подделывать, казалось бы, действительные межцепочечные сообщения, отделяя доказательство от самого сообщения.