HyperBridge의 개발사 PolyTope-labs의 MerkleMountainRange 컨트랙트에 서명 검증 로직 버그가 존재
https://github.com/polytope-labs/solidity-merkle-trees/blob/main/src/MerkleMountainRange.sol
공격자의 TX을 살펴보면 이상한 부분이 있음. Proof와 Root의 값이 동일함
root = 0x466d...3a36
proof = [0x466d...3a36]
leafCount = 1
leaves = [{ index: 1, hash: 0xb870...a99d }]
좀 더 디테일하게 살펴보면 범위 밖의 leaf를 제대로 검증하지 않고 빈 subtree 처럼 처리해버림. 빈 subtree일 경우 proof를 그대도 subtree의 root 값으로 사용하여 검증하는데, leafCount가 1일 때는 proof == root인지 검증해버리는 꼴이 됨.
쉽게 말해 조작된 Proof로 공격자는 원하는 동작을 실행 시킴. 이번 공격에서는 Wrapped DOT의 Admin을 바꾸는 함수를 호출하여 공격자가 Mint 권한을 가져감. 현재 Wrapped DOT (0x8d010bf9c26881788b4e6bf5fd1bdc358c8f90b8)의 민팅 권한이 공격자에게 탈취된 상태