CometBFT & IBC engineering