The bridge’s verification pipeline checks Merkle proofs

https://mantabridge.net/

The bridge’s verification pipeline checks Merkle proofs and headers to ensure messages originate from final blocks on source chains.