ZK（零知识证明）赛道如今参赛选手众多，可当你真的去仔细研读这些项目的白皮书和技术文档，会发现不少方案其实就是拿现有的以太坊技术栈做个改进升级，算不上什么真正的创新。

Dusk este projeto atrai olhares, não só porque também trabalha com uma cadeia pública de privacidade — esses projetos são muitos. O ponto-chave está na escolha tecnológica deles. Para realmente executar cálculos de privacidade na cadeia, esses desenvolvedores surpreendentemente construíram do zero uma máquina virtual exclusiva — Piecrust. Essa abordagem, só quem entende de tecnologia consegue perceber o quão difícil é.

Essa escolha tem razões práticas por trás. Quando o EVM foi projetado, ele nem considerou espaço para operações de zero-knowledge proof. Sua arquitetura de 256 bits, usada em provas ZK baseadas em curvas elípticas, é extremamente ineficiente. Em vez de tentar compatibilizar de forma forçada, a equipe do Dusk optou por um caminho diferente, construindo a máquina virtual Piecrust baseada em WebAssembly (WASM).

Qual é a parte mais engenhosa? Eles introduziram um mecanismo Zero-Copy na manipulação de memória, usando uma solução chamada rkyv. Como resultado, os contratos inteligentes podem ler dados sem passar pelo processo lento de desserialização tradicional. Os dados ficam disponíveis na memória de forma direta, o que aumenta drasticamente o desempenho na verificação de árvores Merkle de privacidade complexas — uma diferença de escala impressionante.

Olhemos também para o sistema de provas que eles escolheram. O Dusk adotou o algoritmo PLONK, usando uma versão que suporta "Configuração Universal" (Universal Setup). Essa abordagem é mais flexível na engenharia e atende melhor às necessidades de cálculos de privacidade a longo prazo.

No conjunto de toda a stack tecnológica, essas escolhas não foram feitas por impulso, mas por um equilíbrio racional em cenários específicos — otimizando para cálculos de privacidade, mesmo que isso signifique criar soluções do zero. Essa é a parte que realmente vale a pena refletir.