Le bilan de Cardano Leios montre de vrais certificats, des travaux sur le mempool et des tests Musashi Dojo

Le développement de Leios chez Cardano est passé en juin à une phase de test plus pratique, l’équipe ayant détaillé des travaux sur l’agrégation de certificats, la structure des blocs de l’ère Dijkstra, les opérations du testnet, les outils pour explorateurs et les tests adversariaux. Leios est la mise à niveau du débit de Cardano conçue pour ajouter des blocs d’endorseur au pipeline de consensus, ce qui permet à davantage de données de transaction de circuler sur le réseau tout en maintenant les exigences de sécurité liées à la validation, au vote et à la certification.

Cardano Leios ajoute de vrais certificats de vote

L’examen de juin a montré des progrès sur le flux de travail de vote et de certification derrière les blocs d’endorseur Leios. Le testnet public actuel exécute déjà un vote de base, tandis que la couche suivante de travaux ajoute de vrais certificats cryptographiques, l’agrégation des votes et la vérification des certificats lors de l’application des blocs.

L’équipe a décrit un certificat Leios à l’intérieur du corps d’un bloc de l’ère Dijkstra, en dépassant le simple comportement factice. Un certificat typique est d’environ 180 octets pour quelque 1 000 votants, avec une signature agrégée utilisant la cryptographie BLS. La démonstration a aussi expliqué un changement quant à ce sur quoi les nœuds votent. Au lieu de voter uniquement sur le bloc d’endorseur, l’implémentation vote désormais sur l’annonce de ce bloc, car le même bloc d’endorseur pourrait sinon être réutilisé dans des contextes de chaîne concurrents.

Cette distinction fait partie du travail de sécurité derrière Leios. Le protocole n’introduit pas seulement des objets de plus grand débit. Il doit aussi définir comment ces objets sont annoncés, validés, soumis au vote, certifiés et attachés à la chaîne. L’équipe a indiqué que le travail sur les certificats devrait atteindre le testnet après une nouvelle itération, car la mise à jour modifie le format des blocs.

Musashi Dojo offre aux développeurs Cardano un testnet Leios en direct

Musashi Dojo est désormais l’environnement public de test pour Leios. La documentation officielle le décrit comme un testnet et un dojo de formation pour Ouroboros Leios, où les participants peuvent exécuter un nœud, enregistrer un pool de staking et commencer à tester l’implémentation alors que le réseau est encore à l’état de prototype.

L’examen a décrit Musashi Dojo comme une cible d’intégration de longue durée pour Leios. Ses phases prévues sont Earth, Water, Fire, Wind et Void. Earth se concentre sur l’intégration, la fonctionnalité de base et la correction. Water est prévue pour l’exploration des paramètres du protocole et l’évaluation des limites. Fire vise une contrainte réseau plus forte, y compris une charge plus élevée et une latence du monde réel depuis des nœuds distribués à l’échelle mondiale. Wind est réservée aux tests adversariaux. Void correspond aux travaux de préparation finale avant une trajectoire ultérieure de hard fork.

Le testnet n’est intentionnellement pas un produit fini. Il utilise du code de préversion, peut être réinitialisé et n’affecte pas le mainnet ni l’ada réel. Cela le rend utile pour les SPOs, les équipes de dApp, les explorateurs, les indexeurs, les portefeuilles et les mainteneurs de SDK qui doivent comprendre comment les changements de l’ère Dijkstra et les blocs d’endorseur Leios affectent leurs systèmes.

Les goulets d’étranglement du mempool et les tests red team façonnent la prochaine phase de Leios

L’examen a aussi mis l’accent sur le mempool comme l’une des principales contraintes d’ingénierie pour un débit plus élevé. L’équipe a indiqué que Leios a besoin d’un mempool plus grand et plus capable pour émettre de gros blocs d’endorseur, tandis que le mempool du nœud Haskell actuel a été conçu pour Praos plutôt que pour les objectifs de débit de Leios.

La discussion a identifié deux points de pression. La soumission des transactions devient plus disputée lorsque de nombreux pairs proposent des transactions en même temps. Dans le même temps, le nœud doit conserver des transactions applicables à la chaîne actuellement sélectionnée alors que la sélection de chaîne et la forge de blocs se poursuivent. L’équipe a évoqué des approches possibles, dont un comportement de mempool moins bloquant, une préparation plus en amont à l’émission de blocs et un mempool secondaire fondé sur l’état du registre attendu pour la production de blocs.

Le programme de test inclut aussi des nœuds adversariaux. La section red team a décrit un logiciel conçu pour se connecter au réseau et tester des cas de défaillance dans des conditions contrôlées. Un premier problème concernait des données invalides de bloc d’endorseur renvoyées vers les relais, ce qui a aidé à exposer et corriger une faiblesse du prototype. L’équipe structure maintenant cet outillage afin que le comportement d’attaque puisse être coordonné sur plusieurs nœuds.

Cela donne à Musashi Dojo un rôle spécifique dans la feuille de route Leios de Cardano. C’est désormais un lieu où le comportement des certificats, la conception du mempool, l’outillage en aval, la visibilité dans les explorateurs, la diversité des nœuds et des conditions adversariales peuvent être testés contre un prototype public en fonctionnement. Le changement pratique est que le développement de Leios n’est plus visible uniquement à travers le langage de feuille de route ou des démonstrations isolées. Il produit désormais des comportements de nœuds, des blocs de testnet, des données d’explorateur et des cas d’échec reproductibles qui peuvent être utilisés avant la préparation du code de production.