L'audit del budget Cardano 2026 conferma che 11 proposte hanno raggiunto la soglia di supporto

Intersect ha pubblicato i risultati finali verificati di Hydra Voting per il processo di budget Cardano 2026, confermando che 11 su 69 proposte hanno raggiunto la soglia di supporto richiesta e dovrebbero passare alla fase di governance on chain.

I risultati sottoposti ad audit forniscono un registro verificato di partecipazione, supporto alle proposte e esiti del voto dopo la revisione della scheda di voto Ekklesia Hydra su Cardano mainnet. Il processo ha registrato oltre l'84% di partecipazione della potenza di voto DRep attiva, mentre l'audit ha confermato la catena di evidenze di voto e ha documentato riscontri tecnici e di idoneità limitati.

I risultati del budget Cardano spingono 11 proposte verso la governance on chain

Il processo di budget Cardano 2026 è stato facilitato da Intersect e ha utilizzato Hydra Voting per raccogliere l'input di voto dei DRep su 69 proposte. La finestra di voto è stata dal 26 maggio al 12 giugno 2026, con 113 elettori inclusi nel pacchetto di prove.

Intersect ha affermato che 11 proposte hanno raggiunto il livello di supporto richiesto in base ai risultati finali verificati di Hydra Voting. Tali proposte sono ora posizionate per essere presentate on chain, spostando il processo di budget dalla segnalazione DRep verificata verso l'esecuzione formale della governance Cardano.

L'elenco delle proposte pubblicate include lavori collegati all'infrastruttura core di Cardano, standard tecnici, strumenti open source, coordinamento della governance, pagamenti, manutenzione dei wallet e supporto agli sviluppatori. Tra gli elementi elencati figurano proposte di TxPipe che coprono le librerie Rust core di Cardano, Dolos, UTxO RPC, Oura e Tx3, insieme a lavori sul Mithril Protocol, strumenti core di MLabs per Plutarch e Ply, Hardware Wallet Maintenance 2026, pagamenti nel mondo reale di Wirex e supporto di Intersect alla guida tecnica.

Il risultato fornisce alla fase successiva del processo di budget un insieme definito di proposte piuttosto che un unico pacchetto indifferenziato. Le 11 proposte che hanno raggiunto la soglia di supporto portano ora dati di voto verificati nella fase on chain, mentre il registro completo dei risultati mostra come si sono comportate le restanti proposte durante Hydra Voting.

L'audit di Hydra Voting verifica la catena di evidenze del budget Cardano

L'audit indipendente ha esaminato sia la verifica crittografica della scheda di voto sia la verifica dell'idoneità. Il suo ambito ha incluso la decodifica dei datum on chain, la ricostruzione della radice Merkle della scheda, la verifica dell'hash dei risultati, la verifica del pacchetto di prove, le prove di inclusione per elettore, gli hash dei file di evidenza, i controlli del payload firmato, le catene della storia di voto e il ricalcolo indipendente dello scrutinio.

Secondo l'audit, il contenuto della scheda ha ricostruito la radice Merkle on chain, i risultati pubblicati corrispondevano all'hash dei risultati on chain e il pacchetto di prove corrispondeva alla radice Merkle delle evidenze impegnate. L'audit ha inoltre rilevato che tutte le prove di inclusione degli elettori riconducevano alla radice delle evidenze impegnate, i file di evidenza selezionati corrispondevano ai rispettivi hash di voto impegnati e le catene della storia di voto erano integre e all'interno della finestra di voto.

L'audit interno ha raggiunto la stessa ampia conclusione sull'integrità della scheda. Ha affermato che la catena di evidenze crittografiche era integra e riprodotta in modo indipendente, con impegni on chain, risultati pubblicati, radice Merkle delle evidenze, prove di inclusione per elettore e nuovo scrutinio completo di tutte le 69 domande verificati.

Questa impostazione dell'audit separa il risultato di voto certificato dalle questioni operative riscontrate durante la revisione. I rapporti identificano difetti circoscritti nella rappresentazione della firma, nei metadati di settlement e nell'idoneità degli elettori, pur mantenendo che l'integrità strutturale e la tabulazione della scheda sono state stabilite.

Le risultanze dell'audit definiscono le correzioni per i futuri voti sul budget Cardano

L'audit ha identificato un elettore DRep multisig in cui la firma di un co firmatario non corrispondeva al payload firmato. L'audit interno ha descritto il problema come un difetto del target di firma nel backend, con un firmatario che ha firmato la radice Merkle corretta del payload firmato e l'altro che ha firmato un voteHash interno dell'evidenza derivato dallo stesso contenuto di voto.

Il rapporto interno ha affermato che la discrepanza era rappresentativa piuttosto che sostanziale e che entrambi i firmatari sono stati confermati forensicamente come autori di selezioni identiche. A livello crittografico, tuttavia, il voto non ha soddisfatto la verifica dello script all of two come registrato. L'audit interno ha deferito la decisione di conteggio alla gestione della governance, mentre l'audit indipendente ha descritto l'incongruenza del COSE payload correlata come squalificata dal calcolo finale.

Un secondo problema ha riguardato una mancata corrispondenza dell'identificatore uniforme della scheda. Tutti i 113 elettori hanno firmato un identificatore di scheda, mentre il datum consolidato ha registrato un'impronta diversa. L'audit interno ha descritto il problema come un benigno disallineamento dei metadati di settlement collegato all'Hydra middleware, senza effetti sulla tabulazione o sull'integrità della scheda.

La revisione dell'idoneità ha riscontrato tre questioni relative agli elettori. Una credenziale di stake è stata esclusa perché l'insieme degli elettori autorizzati era limitato alle credenziali DRep. Due credenziali DRep contenevano evidenze firmate valide e catene della storia di voto integre, ma non erano registrate on chain ed è stato assegnato loro potere di voto pari a zero. I loro voti firmati restano parte del registro delle evidenze, ma non influenzano il risultato ponderato.

Le azioni correttive elencate nell'audit si concentrano sul flusso di firma nel backend, sull'Hydra middleware, sui gate di idoneità e sulla strumentazione di audit. Includono la fornitura ai co firmatari della radice Merkle corretta del payload firmato, la verifica delle firme dei witness prima dell'archiviazione, l'applicazione delle regole di soglia degli script nativi, la preservazione degli identificatori della scheda durante il re seeding dell'Hydra head e il rifiuto di tipi di credenziali non DRep nelle schede con ambito DRep.

I risultati finali sottoposti ad audit lasciano il processo di budget Cardano 2026 con due output concreti, un gruppo definito di 11 proposte per la presentazione on chain e un elenco di riparazioni documentato per il sistema di voto prima dei futuri cicli di tesoreria.