$DOT Hyperbridge使用Polkadot的BEEFY + Merkle Mountain Range (MMR) 轻客户端证明来验证跨链消息,实现“全节点级安全”。但Ethereum侧的HandlerV1合约存在实现缺陷。