Um fato desconfortável é mais útil do que um fato confortável; então aqui vai um fato desconfortável sobre a Dusk Network: uma auditoria interna concluída no início de 2026 encontrou 39 problemas em seu código de produção, sete deles críticos, mais de um ano depois que o mainnet já estava processando valor real.
As quatro causas raiz por trás dessas descobertas críticas valem ser nomeadas de forma direta, em vez de suavizar. Duas vieram de uma gestão de memória insustentável no Piecrust, o sandbox de máquina virtual, que poderia permitir que dois nós honestos executassem um código idêntico e calculassem resultados diferentes, uma categoria de defeito pior do que um crash porque pode permanecer invisível. Uma veio de um caminho de deserialização do lado do host que confiava em bytes controlados por contrato sem validá-los antes, transformando um bug no nível de contrato em um problema de integridade do nó. Outra estava em como o Phoenix, o modelo de transação blindada, vinculava sua lógica de taxa e reembolso — uma lacuna que, por si só, abriu caminhos simultâneos para inflação de oferta, interrupções da cadeia e redirecionamento de reembolsos. A última foi uma fraqueza de construção criptográfica no esquema de assinaturas BLS que fica sob a própria autenticação de consenso. Investigar explorações anteriores significou examinar logs e evidências no nível do host em toda a pilha, não apenas checar um padrão único de bug no histórico de transações.
A Dusk diz que sua própria investigação não encontrou evidências de que qualquer um dos sete tenha sido explorado antes de a correção ser disponibilizada como um hard fork em março de 2026, seu maior lançamento desde o início. Não tenho como confirmar isso de forma independente, e ninguém que lê isto também tem, embora com a NPEX planejando sozinha mover mais de 300 milhões de euros para esta base de código, as apostas por acertar nunca foram baixas. O que eu tiro disso, porém, é mais misto do que pura tranquilidade: identificar isso antes da exploração é, de fato, um bom trabalho, mas também significa que um código tão consequente ficou em produção por mais de um ano com falhas que ninguém havia encontrado ainda. Uma auditoria bem feita é um marco. Não é a mesma coisa que uma garantia contínua.
@Dusk $DUSK #dusk
As quatro causas raiz por trás dessas descobertas críticas valem ser nomeadas de forma direta, em vez de suavizar. Duas vieram de uma gestão de memória insustentável no Piecrust, o sandbox de máquina virtual, que poderia permitir que dois nós honestos executassem um código idêntico e calculassem resultados diferentes, uma categoria de defeito pior do que um crash porque pode permanecer invisível. Uma veio de um caminho de deserialização do lado do host que confiava em bytes controlados por contrato sem validá-los antes, transformando um bug no nível de contrato em um problema de integridade do nó. Outra estava em como o Phoenix, o modelo de transação blindada, vinculava sua lógica de taxa e reembolso — uma lacuna que, por si só, abriu caminhos simultâneos para inflação de oferta, interrupções da cadeia e redirecionamento de reembolsos. A última foi uma fraqueza de construção criptográfica no esquema de assinaturas BLS que fica sob a própria autenticação de consenso. Investigar explorações anteriores significou examinar logs e evidências no nível do host em toda a pilha, não apenas checar um padrão único de bug no histórico de transações.
A Dusk diz que sua própria investigação não encontrou evidências de que qualquer um dos sete tenha sido explorado antes de a correção ser disponibilizada como um hard fork em março de 2026, seu maior lançamento desde o início. Não tenho como confirmar isso de forma independente, e ninguém que lê isto também tem, embora com a NPEX planejando sozinha mover mais de 300 milhões de euros para esta base de código, as apostas por acertar nunca foram baixas. O que eu tiro disso, porém, é mais misto do que pura tranquilidade: identificar isso antes da exploração é, de fato, um bom trabalho, mas também significa que um código tão consequente ficou em produção por mais de um ano com falhas que ninguém havia encontrado ainda. Uma auditoria bem feita é um marco. Não é a mesma coisa que uma garantia contínua.
@Dusk $DUSK #dusk
