En relación con la implementación de Rust de @IBCProtocol:

@informalinc ha migrado con éxito el repositorio ibc-rs a la organización de GitHub de Informal Systems para su mantenimiento continuo.