La revisión de Cardano Leios muestra certificados reales, trabajo en el mempool y pruebas de Musashi Dojo

El desarrollo de Leios de Cardano pasó en junio a una fase de pruebas más práctica, con el equipo delineando trabajo en agregación de certificados, estructura de bloques de la era Dijkstra, operaciones de testnet, herramientas de explorador y pruebas adversarias. Leios es la mejora de rendimiento de Cardano diseñada para añadir bloques de endoso al canal de consenso, lo que permite que más datos de transacciones circulen por la red manteniendo los requisitos de seguridad vinculados a la validación, la votación y la certificación.

Cardano Leios añade certificados reales de votación

La revisión de junio mostró avances en el flujo de trabajo de votación y certificación detrás de los bloques de endoso de Leios. La testnet pública actual ya ejecuta votación básica, mientras que la siguiente capa de trabajo añade certificados criptográficos adecuados, agregación de votos y verificación de certificados cuando se aplican los bloques.

El equipo describió un certificado de Leios dentro del cuerpo de un bloque de la era Dijkstra, llevando la implementación más allá de un comportamiento provisional. Un certificado típico se describió como de aproximadamente 180 bytes para cerca de 1.000 votantes, con la firma agregada usando criptografía BLS. La demostración también explicó un cambio en aquello sobre lo que votan los nodos. En lugar de votar solo sobre el bloque de endoso, la implementación ahora vota sobre el anuncio de ese bloque, porque de otro modo el mismo bloque de endoso podría reutilizarse en contextos de cadena en competencia.

Esa distinción es parte del trabajo de seguridad detrás de Leios. El protocolo no solo introduce objetos de mayor rendimiento. También debe definir cómo se anuncian, validan, se votan, se certifican y se adjuntan a la cadena esos objetos. El equipo dijo que se espera que el trabajo de certificados llegue a la testnet tras una nueva iteración, porque la actualización cambia el formato de bloque.

Musashi Dojo ofrece a los constructores de Cardano una testnet activa de Leios

Musashi Dojo es ahora el entorno público de pruebas para Leios. La documentación oficial lo describe como una testnet y sala de entrenamiento para Ouroboros Leios, donde los participantes pueden ejecutar un nodo, registrar un stake pool y comenzar a probar la implementación mientras la red aún está en forma de prototipo.

La revisión describió Musashi Dojo como un objetivo de integración de larga duración para Leios. Sus fases previstas son Earth, Water, Fire, Wind y Void. Earth se centra en la incorporación, la funcionalidad básica y la corrección. Water está pensada para la exploración de parámetros del protocolo y la prueba de límites. Fire está dirigida a un estrés de red más intenso, incluida una carga más alta y latencia del mundo real de nodos distribuidos globalmente. Wind se reserva para pruebas adversarias. Void se enmarca como trabajo de preparación final antes de un camino posterior de hard fork.

La testnet no es intencionalmente un producto terminado. Usa código previo al lanzamiento, puede reiniciarse y no afecta a mainnet ni a ada real. Eso la hace útil para SPOs, equipos de dApp, exploradores, indexadores, carteras y mantenedores de SDK que necesitan entender cómo los cambios de la era Dijkstra y los bloques de endoso de Leios afectan a sus sistemas.

Los cuellos de botella del mempool y las pruebas de red team dan forma a la siguiente fase de Leios

La revisión también se centró en el mempool como una de las principales limitaciones de ingeniería para un mayor rendimiento. El equipo dijo que Leios necesita un mempool más grande y capaz para emitir bloques de endoso grandes, mientras que el mempool del nodo Haskell actual fue diseñado para Praos en lugar de los objetivos de rendimiento de Leios.

La discusión identificó dos puntos de presión. El envío de transacciones se vuelve más disputado cuando muchos pares ofrecen transacciones al mismo tiempo. Al mismo tiempo, el nodo debe mantener transacciones aplicables a la cadena seleccionada actualmente mientras continúan la selección de cadena y la forja de bloques. El equipo debatió posibles enfoques que incluyen un comportamiento del mempool con menos bloqueo, una preparación más temprana para la emisión de bloques y un mempool secundario basado en el estado del libro mayor esperado para la producción de bloques.

El programa de pruebas también incluye nodos adversarios. La sección de red team describió software creado para conectarse a la red y probar casos de fallo bajo condiciones controladas. Un problema temprano involucró que datos inválidos de bloques de endoso se reflejaran de vuelta a los relés, lo que ayudó a exponer y corregir una debilidad en el prototipo. El equipo está estructurando ahora estas herramientas para que el comportamiento de ataque pueda coordinarse en múltiples nodos.

Eso le da a Musashi Dojo un papel específico en la hoja de ruta de Leios de Cardano. Ahora es un lugar donde el comportamiento de certificados, el diseño del mempool, las herramientas aguas abajo, la visibilidad en exploradores, la diversidad de nodos y las condiciones adversarias pueden probarse contra un prototipo público en funcionamiento. El cambio práctico es que el desarrollo de Leios ya no es visible solo por medio del lenguaje de hoja de ruta o demostraciones aisladas. Ahora está produciendo comportamiento de nodos, bloques de testnet, datos de exploradores y casos de fallo reproducibles que pueden utilizarse antes de que se prepare el código de producción.