Validate a Remote Chain Header in CosmosSDK

A core technique in IBC is to act as a light client of another chain and be able to verify its headers. The sample code can be found here:

where the key is to call lite.verify in TM

And the part that sends a packet is here:

And receive part: