Motivation Recently, some bridges are attacked, resulting in significant losses: On Feb. 2, 2022, Wormhole was attacked with $320M loss; On Mar. 29, 2022, Ronin was attacked with $600+M loss. These losses raise a long-term question about the security level of heterogenous-chain interoperability and especially how we are able to mitigate…