Using IBC in polkadot
The advantage of using IBC in polkadot is that sovereign chain to parachain and parachain to parachain communication could use the same interface. I think the basic object capabilities model and channel:port abstractions would be valuable for making parachain to parachain better
Agreed. Over the past year, IBC has evolved to become a set of well-organised abstractions which can be used to instantiate many different topologies with different underlying verification algorithms & trust relations, and sharing common abstractions is helpful for everyone.