# Actualización de Ingeniería del Cosmos Hub — Septiembre de 2023

\
Es hora de la actualización de septiembre del equipo del Cosmos Hub de Informal Systems. Este mes, la comunidad realizó la actualización a Gaia v12, que incluyó el Módulo de Staking Líquido (LSM). También hemos preparado el lanzamiento de Gaia v13, que ya está en vivo. La verificación criptográfica de la equivocación, originalmente destinada a esta versión, ahora está planificada para su lanzamiento en la v14.

Nuestro trabajo en el Cosmos Hub se centra en posicionarlo como líder en la industria en un entorno de seguridad compartida cada vez más competitivo, y coloca al Hub y su comunidad en una posición estratégica sólida para aprovechar la vibrante comunidad de desarrolladores que coordina en torno al Cosmos Hub.

Actualización a la v12 Durante septiembre, se llevó a cabo la actualización a Gaia v12. Esta actualización se realizó sin problemas, pero hubo alrededor de 25 minutos de tiempo de inactividad. Esto se debió a que la actualización contenía scripts de migración que reformatearon la base de datos para que funcionara con el LSM, lo cual llevó algún tiempo en ejecutarse.

Lanzamiento de la v13 Hemos lanzado la versión Gaia v13, que ya está en funcionamiento. La verificación criptográfica de la equivocación estaba originalmente planeada para esta versión, pero decidimos posponerla a la v14 para tener más tiempo de comunicar a los validadores sobre la nueva forma en que funcionará el proceso de sanción. Puedes obtener más información aquí.

La v13 contiene:

La eliminación completa del módulo Gravity DEX. Actualización de ICS a v2.1.0. Esta actualización agrega una propuesta de gobernanza para permitir a las cadenas consumidoras agregar nuevas denominaciones para pagar recompensas. Esto se agregó para darle a la comunidad más control sobre en cuántas denominaciones se reciben las recompensas, ya que cada denominación adicional aumenta el costo en gas de las reclamaciones. Hasta ahora no ha sido un problema, pero consideramos que sería bueno tener un proceso de gobernanza en torno a la adición de nuevas denominaciones.

Actualización del Gaia SDK 47 Hemos comenzado la actualización del software Gaia al SDK 47. Esto nos permitirá ejecutar versiones más nuevas de IBC, lo que brinda habilidades como un controlador de ICA. El SDK 47 se encuentra en las etapas finales de una auditoría con Oak Security, que queríamos ver antes de implementarlo en el Hub. Esta actualización originalmente estaba planeada para la próxima actualización Gaia v14, pero debido a que el Módulo de Staking Líquido aún no ha sido actualizado, la actualización de Gaia al 47 tendrá que esperar hasta el lanzamiento de la v15.

Actualización del ICS SDK 50 Hemos comenzado a trabajar en la actualización del ICS al SDK 50, lo que trae muchas mejoras en el estilo de código y el rendimiento. Publicaremos guías y mejores prácticas en torno a la actualización del ICS para facilitar la colaboración en este proyecto.

Throttling v2 Hemos finalizado el trabajo en la versión 2 del mecanismo de limitación de paquetes de inactividad del ICS, que evita que las cadenas consumidoras con mal funcionamiento o maliciosas causen problemas en el Hub, almacenando paquetes de inactividad en cola en el consumidor en lugar del proveedor. Esto simplifica el código y permite que una avalancha de paquetes de inactividad de una cadena consumidora con mal funcionamiento o maliciosa se retrase en la cola y luego se detenga por completo al detener la cadena en cuestión.

Investigación y desarrollo de la equivocación criptográfica Hemos trabajado mucho en la investigación de la verificación de la equivocación criptográfica para definir posibles casos límite e implementar el código real. Como se mencionó anteriormente, el nuevo código de equivocación criptográfica no se incluirá en la v13, pero está terminado.

Trabajo de pruebas Hemos completado la refactorización de la suite de pruebas de extremo a extremo (e2e) del ICS para aceptar trazas serializadas en un formato JSON para definir casos de prueba. Este paso nos permitirá conectar la suite de pruebas a una especificación formal del ICS para generar automáticamente una gran cantidad de casos de prueba, lo que aumentará significativamente la cobertura sin tener que escribir pruebas manualmente. También hemos escrito una publicación en el blog explicando CometMock.
