Cardano Peras intègre la gestion des certificats dans le code du protocole

Ouroboros Peras dépasse désormais les spécifications du protocole pour entrer dans les chemins de code qui déterminent comment les nœuds Cardano stockent les certificats, les synchronisent avec des pairs et réservent de l’espace dans les blocs pour les données de consensus. Tweag a présenté ces travaux en même temps que des mises à jour du testnet et une relecture de l’analyse du vote cryptographique. Peras reste prévu pour une phase Dijkstra ultérieure, sans date d’activation sur le mainnet annoncée.

Le stockage des certificats Peras passe dans le code de consensus

Une implémentation initiale de ImmutablePerasCertDB a été soumise via la pull request 2293 dans le dépôt Ouroboros Consensus. La base de données est conçue pour fournir un stockage persistant des certificats Peras et fait actuellement l’objet d’un examen interne.

Peras étend Ouroboros Praos avec un vote fondé sur la mise et une certification des blocs. Ses certificats agrègent des preuves montrant que la mise participante a approuvé un bloc, ce qui fournit aux nœuds des informations supplémentaires lors de l’évaluation de la confiance dans le règlement.

S’il est activé, Peras pourrait permettre aux exchanges, aux bridges et aux portefeuilles d’atteindre une confiance de règlement plus forte pour les transactions ADA après un moindre nombre de blocs. Ces services s’appuieraient sur les garanties de règlement exposées par les nœuds Cardano plutôt que de gérer les certificats Peras comme une fonctionnalité distincte pour l’utilisateur.

L’implémentation ObjectDiffusion a également gagné une terminaison client maîtrisée et une méthode permettant de détecter quand la synchronisation des certificats a rattrapé son retard. Cet état peut être utilisé par la machine à états governor de Cardano lors de la coordination des connexions entre pairs et de la synchronisation du réseau.

L’équipe de conception réseau a par ailleurs démontré que les certificats pertinents pour la sélection de chaîne devraient parvenir à un nœud dans l’ordre croissant des tours Peras lorsque le nœud est connecté à au moins un pair honnête et que les hypothèses standard de qualité de chaîne et de réseau sont satisfaites. Ce résultat sur l’ordonnancement simplifie la distribution prévue des certificats historiques et récents via ObjectDiffusion.

Cardano Ledger teste des paramètres Peras gouvernables

L’équipe Ledger Integration travaille sur les composants Peras restants requis avant que la hard fork à venir n’atteigne le gel du code. Le travail inclut la définition des paramètres du protocole Peras qui pourraient ensuite être modifiés via la gouvernance de Cardano.

Un prototype a été soumis via la pull request 6067 dans le dépôt Cardano Ledger. La finalisation de la liste des paramètres nécessitera également une mise à jour de la Constitution de Cardano afin que le cadre de gouvernance précise quelles valeurs peuvent être modifiées et les limites qui leur sont applicables.

Les travaux sur le ledger préparent Cardano à un futur déploiement de Peras. L’activation reste prévue pour une phase Dijkstra ultérieure et nécessitera des tests séparés, une approbation de la gouvernance et un changement de version de protocole.

Les développeurs ont également terminé une méthode initiale d’estimation de la taille des certificats avant la production des blocs. Un certificat Peras est en concurrence avec les transactions ADA et les actifs natifs pour la capacité à l’intérieur du corps du bloc, si bien que le nœud forgeur doit réserver suffisamment d’espace avant de sélectionner des transactions.

Une pull request associée réduit le nombre de transactions sélectionnées lorsqu’un bloc inclut un certificat Peras. Cet ajustement empêche le nœud de remplir le bloc avant que les données de consensus requises puissent être ajoutées.

Le testnet Peras se prépare à des tests de nœuds intégrés

L’équipe de développement a fusionné les changements suivis sous Peras 67 et Peras 68 après avoir traité les retours de revue. Deux pull requests supplémentaires, Peras 69 et Peras 70, ajoutent des annotations de stricte évaluation et corrigent un bogue de requête qui bloquait les exécutions nocturnes et testnet.

La préparation du testnet inclut un script d’initialisation amélioré, une collecte centralisée des journaux et métriques et une mise à jour de la branche de base vers le dernier code Peras. Ces changements visent à rendre les défaillances plus faciles à retracer lorsque les composants de consensus, de réseau et de ledger fonctionnent ensemble.

Tweag a également relu la version 1.1 de l’analyse du vote Peras produite par des chercheurs de l’équipe Applied Cryptography d’Input Output. Les questions soulevées lors de la revue servent à définir le plan de livraison des composants cryptographiques requis par une future implémentation sur le mainnet.

La mise à jour de testnet prévue combinera quatre capacités auparavant distinctes : stockage persistant des certificats, détection de l’achèvement de la synchronisation des certificats, forge de blocs consciente des certificats et accès du ledger aux paramètres Peras. L’atteinte de cet état opérationnel dépend de l’achèvement des examens internes en cours et du passage de la branche testnet à la dernière implémentation.