Что касается реализации @IBCProtocol на Rust:

@informalinc успешно перенес репозиторий ibc-rs в организацию Informal Systems на GitHub для его дальнейшего сопровождения.