BlockSec Phalconは、入力検証の欠如によりHyperbridge HandlerV1契約に脆弱性を特定しました。VerifyProof()関数はleaf_indexがleafCount未満であることを検証しないため、特定のパラメータ下でMMR計算が要求されたコミットメントを除外する可能性があります。この欠陥により、攻撃者は証明を実際のメッセージから切り離して、一見有効なクロスチェーンメッセージを偽造することが可能になります。