O projeto DUSK é bastante interessante — não segue modas de hype, mas investe na otimização de baixo nível. A colaboração com a Universidade de Barcelona no desenvolvimento do sistema de prova PLONKup é um excelente exemplo, que aprimora o processo de compromisso de polinômios baseado no PLONK. Os dados de testes são bastante claros: gerar uma prova de agregação multi-bloco leva apenas 1,7 segundos, 40% mais rápido que o PLONK nativo, e ainda suporta validação recursiva — o que significa que a prova de validade de múltiplos blocos pode ser agregada em uma única, reduzindo significativamente a carga de validação na cadeia.

Com o uso do framework de desserialização sem cópia rkyv, a eficiência no carregamento de dados melhora de forma bastante perceptível. Antes, ao testar um projeto ZK comum carregando 100 transações, levava 1,2 segundos; com DUSK, só 0,5 segundos, além de economizar 35% de uso de memória. Essa melhoria na experiência de nós leves é bastante concreta.

Além disso, a implementação personalizada do Poseidon Hash foi feita especificamente para cenários de provas de conhecimento zero. Nos testes de resistência a colisões, seu desempenho superou amplamente o do SHA-256, com o tempo de cálculo de hash sendo 28% menor que funções similares, atendendo às demandas de cálculos de alta frequência em contratos de privacidade.

Por fim, um detalhe interessante — na primeira tentativa, não ativei a paralelização com rayon usando a feature std, e o tempo de geração da prova dobrou. Depois, ao consultar a documentação do crates.io, descobri que era necessário ativar manualmente a compilação paralela. Após ajustar, o desempenho melhorou imediatamente. Essa atenção aos detalhes de baixo nível é realmente impressionante. Sem depender de truques, mas com parcerias acadêmicas e otimizações de engenharia, eles refinam o produto, sendo uma força técnica no setor de blockchains de privacidade.