Regarding the @IBCProtocol Rust implementation:

@informalinc has successfully migrated ibc-rs repository to the Informal Systems GitHub organization for its continued maintenance.