Sendo atormentado pelo modelo de memória da máquina virtual Piecrust por uma semana, vamos falar sobre a ambição técnica da Dusk
Recentemente, para entender a máquina virtual Piecrust da Dusk, eu li a documentação do Rust até a exaustão. Para ser sincero, essa arquitetura baseada em WASM é realmente algo diferente no atual cenário da ZK. Veja, as atuais blockchains públicas de privacidade, seja Iron Fish ou Aleo, estão todas criando suas próprias linguagens específicas, sacrificando a versatilidade dos desenvolvedores em nome da eficiência. Mas a jogada da Dusk é bastante arriscada, pois quer permitir que códigos gerais tenham propriedades de privacidade. Eu executei seu modelo de memória sem cópias no meu ambiente local, e a serialização rkyv realmente é absurdamente rápida, completamente diferente da lógica da Ethereum, onde mudar um estado requer uma luta constante com slots de armazenamento.
Isso traz um grande problema: é quase impossível migrar contratos Solidity existentes para cá, os desenvolvedores precisam se adaptar a essa nova lógica de acesso ao estado. É como se uma pessoa acostumada a dirigir um carro automático fosse de repente colocada em um carro de F1; embora o potencial seja alto, a curva de aprendizado é tão íngreme que dá vontade de socar o teclado. Ontem, ao debugar um contrato, algumas simples gerações de provas de estado acabaram estourando minha memória, o que indica que ainda há um caminho a percorrer até a verdadeira concretização da engenharia.
Comparado ao tipo de solução de rollup de privacidade no L2 da Aztec, a ambição da Dusk de integrar ZK diretamente no L1 é claramente maior. Eles apostam que o futuro do DeFi não se trata apenas de trocas simples de tokens, mas de transações em dark pools que envolvem lógicas comerciais complexas. Se o Piecrust realmente conseguir resolver o gargalo de desempenho na geração e verificação de provas, o que ele constrói não será apenas um livro-razão de privacidade, mas uma camada de computação em caixa preta capaz de rodar lógicas complexas. Mas as armadilhas no meio do caminho provavelmente levarão alguns anos para serem resolvidas. Embora a ecologia agora esteja desolada como realmente é, a tecnologia muitas vezes precisa se esconder em tempos de indiferença.