L’audit du budget 2026 de Cardano confirme que 11 propositions ont atteint le seuil de soutien

Intersect a publié les résultats finaux audités de Hydra Voting pour le processus budgétaire 2026 de Cardano, confirmant que 11 des 69 propositions ont atteint le seuil de soutien requis et devraient passer à l’étape de gouvernance sur chaîne.

Les résultats audités fournissent un enregistrement vérifié de la participation, du soutien aux propositions et des résultats du vote après examen du bulletin de vote Ekklesia Hydra sur le mainnet Cardano. Le processus a enregistré plus de 84 % de participation par la puissance de vote DRep active, tandis que l’audit a confirmé la chaîne de preuves du vote et a documenté des constats techniques et d’éligibilité limités.

Les résultats budgétaires de Cardano font avancer 11 propositions vers la gouvernance sur chaîne

Le processus budgétaire 2026 de Cardano a été facilité par Intersect et a utilisé Hydra Voting pour recueillir les votes des DRep sur 69 propositions. La fenêtre de vote s’est déroulée du 26 mai au 12 juin 2026, avec 113 électeurs inclus dans le paquet de preuves.

Intersect a indiqué que 11 propositions ont atteint le niveau de soutien requis sur la base des résultats finaux audités de Hydra Voting. Ces propositions sont désormais en position d’être soumises sur chaîne, faisant passer le processus budgétaire du signalement DRep audité à l’exécution formelle de la gouvernance de Cardano.

La liste des propositions publiées comprend des travaux liés à l’infrastructure cœur de Cardano, aux normes techniques, aux outils open source, à la coordination de la gouvernance, aux paiements, à la maintenance de portefeuilles et au soutien aux développeurs. Les éléments répertoriés incluent des propositions TxPipe couvrant les bibliothèques Rust du cœur de Cardano, Dolos, UTxO RPC, Oura et Tx3, ainsi que des travaux sur Mithril Protocol, les outils cœur MLabs pour Plutarch et Ply, Hardware Wallet Maintenance 2026, les paiements du monde réel Wirex et le soutien au pilotage technique d’Intersect.

Le résultat donne à la prochaine étape du processus budgétaire un ensemble de propositions défini plutôt qu’un unique paquet non différencié. Les 11 propositions qui ont atteint le seuil de soutien portent désormais des données de vote auditées vers la phase sur chaîne, tandis que l’enregistrement complet des résultats montre comment les autres propositions se sont comportées pendant Hydra Voting.

L’audit de Hydra Voting vérifie la chaîne de preuves du budget Cardano

L’audit indépendant a examiné à la fois la vérification cryptographique du bulletin et la vérification de l’éligibilité. Son périmètre incluait le décodage des données sur chaîne, la reconstruction de la racine Merkle du bulletin, la vérification du hachage des résultats, la vérification du paquet de preuves, les preuves d’inclusion par électeur, les hachages des fichiers de preuves, les contrôles du payload signé, les chaînes d’historique de vote et le recomptage indépendant.

Selon l’audit, le contenu du bulletin a reconstruit la racine Merkle sur chaîne, les résultats publiés correspondaient au hachage des résultats sur chaîne et le paquet de preuves correspondait à la racine Merkle des preuves engagées. L’audit a également constaté que toutes les preuves d’inclusion des électeurs remontaient à la racine des preuves engagées, que les fichiers de preuves sélectionnés correspondaient à leurs hachages de vote engagés et que les chaînes d’historique de vote étaient intactes et à l’intérieur de la fenêtre de vote.

L’audit interne est parvenu à la même conclusion générale quant à l’intégrité du bulletin. Il a indiqué que la chaîne de preuves cryptographiques était intacte et reproduite de manière indépendante, avec des engagements sur chaîne, les résultats publiés, la racine Merkle des preuves, les preuves d’inclusion par électeur et le recomptage complet des 69 questions, tous vérifiés.

Ce cadrage d’audit sépare le résultat de vote certifié des problèmes opérationnels relevés lors de l’examen. Les rapports identifient des défauts circonscrits dans la représentation de signature, les métadonnées de règlement et l’éligibilité des électeurs, tout en affirmant que l’intégrité structurelle et la tabulation du bulletin étaient établies.

Les conclusions de l’audit définissent des correctifs pour de futurs votes budgétaires de Cardano

L’audit a identifié un électeur DRep multisig où la signature d’un cosignataire ne correspondait pas au payload signé. L’audit interne a décrit le problème comme un défaut de cible de signature côté backend, un signataire signant la racine Merkle du payload signé correcte et l’autre signant un voteHash de preuve interne dérivé du même contenu de vote.

Le rapport interne a indiqué que l’écart était représentationnel plutôt que substantiel, et que les deux signataires avaient été confirmés par analyse forensique comme ayant autorisé des sélections identiques. Au niveau cryptographique toutefois, le vote ne satisfaisait pas la vérification du script all of two telle qu’enregistrée. L’audit interne a renvoyé la décision de comptage au traitement par la gouvernance, tandis que l’audit indépendant a décrit l’inadéquation du payload COSE connexe comme disqualifiée du calcul final.

Un deuxième problème concernait une discordance de l’identifiant uniforme du bulletin. Les 113 électeurs ont signé un identifiant de bulletin, tandis que la donnée finalisée enregistrait une empreinte différente. L’audit interne a décrit le problème comme une discordance bénigne des métadonnées de règlement liée au middleware Hydra, sans effet sur la tabulation ni sur l’intégrité du bulletin.

L’examen de l’éligibilité a identifié trois problèmes liés aux électeurs. Un identifiant de stake a été exclu parce que l’ensemble des électeurs autorisés était limité aux identifiants DRep. Deux identifiants DRep portaient des preuves signées valides et des chaînes d’historique de vote intactes, mais n’étaient pas enregistrés sur chaîne et se sont vu attribuer une puissance de vote nulle. Leurs votes signés restent partie du dossier de preuves, mais n’affectent pas le résultat pondéré.

Les actions correctives répertoriées dans l’audit se concentrent sur le flux de signature côté backend, le middleware Hydra, les garde fous d’éligibilité et les outils d’audit. Elles incluent fournir aux cosignataires la racine Merkle correcte du payload signé, vérifier les signatures des témoins avant le stockage, appliquer les règles de seuil des scripts natifs, préserver les identifiants de bulletin lors du réamorçage de la tête Hydra et rejeter les types d’identifiants non DRep dans les bulletins à périmètre DRep.

Les résultats finaux audités laissent le processus budgétaire 2026 de Cardano avec deux résultats concrets, un groupe défini de 11 propositions pour une soumission sur chaîne et une liste de correctifs documentée pour le système de vote avant de futurs cycles du trésor.