BlockSec Phalcon은 입력 검증 누락으로 인해 Hyperbridge HandlerV1 계약에서 취약점을 발견했습니다. VerifyProof() 함수가 leaf_index가 leafCount보다 작은지 확인하지 않아 특정 매개변수 하에서 MMR 계산이 요청된 커밋먼트를 제외할 수 있습니다. 이 결함은 공격자가 증명을 실제 메시지와 분리하여 겉보기에는 유효한 크로스체인 메시지를 위조할 수 있게 합니다.