Light clients support

How are light clients implemented in Cosmos?

the light client used in the cosmos-sdk is the one from tendermint. We recently redid the light client, you can find info here: https://github.com/tendermint/spec/tree/master/spec/consensus/light-client. We are still working on improving it as well.