Auditoria do Orçamento de Cardano de 2026 confirma que 11 propostas atingiram o limiar de apoio

A Intersect publicou os resultados finais auditados do Hydra Voting para o Processo de Orçamento de Cardano de 2026, confirmando que 11 de 69 propostas atingiram o limiar de apoio exigido e devem avançar para a etapa de governança on chain.

Os resultados auditados fornecem um registro verificado de participação, apoio às propostas e resultados da votação após a revisão da cédula de votação Ekklesia Hydra na Cardano mainnet. O processo registrou mais de 84% de participação pelo poder de voto ativo de DRep, enquanto a auditoria confirmou a cadeia de evidências da votação e documentou constatações técnicas e de elegibilidade limitadas.

Resultados do Orçamento de Cardano levam 11 propostas em direção à governança on chain

O Processo de Orçamento de Cardano de 2026 foi facilitado pela Intersect e usou o Hydra Voting para coletar a contribuição de voto de DRep em 69 propostas. A janela de votação ocorreu de 26 de maio a 12 de junho de 2026, com 113 eleitores incluídos no pacote de provas.

A Intersect afirmou que 11 propostas atingiram o nível de apoio exigido com base nos resultados finais auditados do Hydra Voting. Essas propostas agora estão posicionadas para serem apresentadas on chain, movendo o processo orçamentário de um sinal de DRep auditado para a execução formal da governança de Cardano.

A lista de propostas publicada inclui trabalhos ligados à infraestrutura central de Cardano, padrões técnicos, ferramentas de código aberto, coordenação de governança, pagamentos, manutenção de carteiras e suporte a desenvolvedores. Os itens listados incluem propostas da TxPipe cobrindo bibliotecas centrais de Cardano em Rust, Dolos, UTxO RPC, Oura e Tx3, junto com trabalho no Mithril Protocol, ferramentas centrais da MLabs para Plutarch e Ply, Hardware Wallet Maintenance 2026, pagamentos no mundo real da Wirex e suporte de orientação técnica da Intersect.

O resultado fornece à próxima etapa do processo orçamentário um conjunto definido de propostas em vez de um pacote único e indiferenciado. As 11 propostas que atingiram o limiar de apoio agora levam dados de votação auditados para a fase on chain, enquanto o registro completo do resultado mostra como as demais propostas se saíram durante o Hydra Voting.

Auditoria do Hydra Voting verifica a cadeia de evidências do Orçamento de Cardano

A auditoria independente revisou tanto a verificação criptográfica da cédula quanto a verificação de elegibilidade. Seu escopo incluiu decodificação de datum on chain, reconstrução da raiz Merkle da cédula, verificação do hash dos resultados, verificação do pacote de provas, provas de inclusão por eleitor, hashes de arquivos de evidência, verificações de payload assinado, cadeias de histórico de votos e recomputação independente da contagem.

De acordo com a auditoria, o conteúdo da cédula reconstruiu a raiz Merkle on chain, os resultados publicados corresponderam ao hash dos resultados on chain e o pacote de provas correspondeu à raiz Merkle das evidências comprometidas. A auditoria também constatou que todas as provas de inclusão de eleitores remontavam à raiz de evidências comprometida, que os arquivos de evidência selecionados correspondiam aos seus hashes de voto comprometidos e que as cadeias de histórico de votos estavam íntegras e dentro da janela de votação.

A auditoria interna chegou à mesma conclusão ampla sobre a integridade da cédula. Ela declarou que a cadeia de evidências criptográficas estava íntegra e foi reproduzida de forma independente, com compromissos on chain, resultados publicados, a raiz Merkle das evidências, provas de inclusão por eleitor e o recálculo completo de todas as 69 questões verificados.

Essa moldura da auditoria separa o resultado de votação certificado dos problemas operacionais encontrados durante a revisão. Os relatórios identificam defeitos delimitados na representação de assinatura, nos metadados de liquidação e na elegibilidade de eleitores, ao mesmo tempo que mantêm que a integridade estrutural e a tabulação da cédula foram estabelecidas.

Constatações da auditoria definem correções para futuras votações do Orçamento de Cardano

A auditoria identificou um eleitor DRep multisig em que a assinatura de um co signatário não correspondia ao payload assinado. A auditoria interna descreveu o problema como um defeito no alvo de assinatura do backend, com um signatário assinando a raiz Merkle correta do payload assinado e o outro assinando um voteHash interno de evidência derivado do mesmo conteúdo de voto.

O relatório interno afirmou que a discrepância era representacional e não substantiva, e que ambos os signatários foram confirmados forensicamente como tendo autorizado seleções idênticas. Na camada criptográfica, porém, o voto não atendeu à verificação do script all of two conforme registrado. A auditoria interna encaminhou a decisão de contagem para tratamento pela governança, enquanto a auditoria independente descreveu a divergência correspondente do payload COSE como desclassificada do cálculo final.

Um segundo problema envolveu uma divergência no identificador uniforme da cédula. Todos os 113 eleitores assinaram um identificador de cédula, enquanto o datum liquidado registrou uma impressão digital diferente. A auditoria interna descreveu o problema como uma divergência benigna de metadados de liquidação conectada ao Hydra middleware, sem efeito na tabulação ou na integridade da cédula.

A revisão de elegibilidade encontrou três problemas relacionados a eleitores. Uma credencial de stake foi excluída porque o conjunto de eleitores autorizados era limitado a credenciais de DRep. Duas credenciais de DRep continham evidências assinadas válidas e cadeias de histórico de votos íntegras, mas não estavam registradas on chain e receberam poder de voto zero. Seus votos assinados permanecem parte do registro de evidências, mas não afetam o resultado ponderado.

As ações corretivas listadas na auditoria se concentram no fluxo de assinatura do backend, no Hydra middleware, nos portões de elegibilidade e nas ferramentas de auditoria. Elas incluem fornecer aos co signatários a raiz Merkle correta do payload assinado, verificar assinaturas de testemunhas antes do armazenamento, aplicar regras de limiar de scripts nativos, preservar os identificadores de cédula durante o re seeding da Hydra head e rejeitar tipos de credenciais que não sejam de DRep em cédulas com escopo de DRep.

Os resultados finais auditados deixam o processo orçamentário de Cardano de 2026 com duas entregas concretas, um grupo definido de 11 propostas para submissão on chain e uma lista de reparos documentada para o sistema de votação antes de futuros ciclos do tesouro.