#dusk $DUSK
Eu achava que o Piecrust, a máquina virtual (VM) virtual da Dusk, era só para rodar contratos inteligentes. O mesmo trabalho que qualquer VM faz — executar código, manter estado, pronto. Mas descobri que talvez seja metade do que ela realmente faz.
Ao analisar a documentação, o Piecrust expõe um conjunto de funções de host.
operações que a VM repassa para código nativo em vez de rodar dentro do ambiente WASM isolado.
Hashing, via Blake2b e Poseidon.
Verificação de provas de conhecimento zero PlonK e Groth16.
Validação de assinaturas Schnorr e BLS.
Nada disso é executado como bytecode de contrato comum.
Por que uma VM iria se dar ao trabalho de desviar operações específicas ao redor dela mesma, em vez de simplesmente executar tudo do jeito normal?
Acontece que a execução em WASM pode ser 45–255% mais lenta do que código nativo para operações pesadas de computação; a sobrecarga vem da gerência de memória virtualizada e do tratamento extra de instruções que um ambiente sandboxado adiciona.
Em uma cadeia em que a verificação de provas ZK não é ocasional, mas acontece em basicamente toda transação, rodar essa conta dentro do WASM em vez de nativamente não é uma taxa pequena.
Isso se acumula, bloco após bloco.
Esse mesmo princípio vai direto para o DuskEVM, a camada compatível com EVM que leva desenvolvedores Solidity para a Dusk.
O Hedger, seu módulo de execução confidencial, se apoia em criptografia homomórfica somada a provas ZK para manter transações privadas; nada disso é rápido o suficiente para fazer diferença sem que as funções nativas do host abaixo façam o trabalho pesado primeiro.
Então o Piecrust não é apenas onde os contratos executam. Ele também é uma via rápida para as operações criptográficas exatas @Dusk que mais dependem de — deliberadamente mantidas fora do caminho lento — e a mesma via rápida é o que torna a camada de privacidade do DuskEVM viável de verdade, não apenas contratos nativos da Dusk.
Isso me faz pensar — quantas outras VMs “de propósito geral” estão comendo silenciosamente uma taxa de verificação de provas que ninguém se deu ao trabalho de medir?
Eu achava que o Piecrust, a máquina virtual (VM) virtual da Dusk, era só para rodar contratos inteligentes. O mesmo trabalho que qualquer VM faz — executar código, manter estado, pronto. Mas descobri que talvez seja metade do que ela realmente faz.
Ao analisar a documentação, o Piecrust expõe um conjunto de funções de host.
operações que a VM repassa para código nativo em vez de rodar dentro do ambiente WASM isolado.
Hashing, via Blake2b e Poseidon.
Verificação de provas de conhecimento zero PlonK e Groth16.
Validação de assinaturas Schnorr e BLS.
Nada disso é executado como bytecode de contrato comum.
Por que uma VM iria se dar ao trabalho de desviar operações específicas ao redor dela mesma, em vez de simplesmente executar tudo do jeito normal?
Acontece que a execução em WASM pode ser 45–255% mais lenta do que código nativo para operações pesadas de computação; a sobrecarga vem da gerência de memória virtualizada e do tratamento extra de instruções que um ambiente sandboxado adiciona.
Em uma cadeia em que a verificação de provas ZK não é ocasional, mas acontece em basicamente toda transação, rodar essa conta dentro do WASM em vez de nativamente não é uma taxa pequena.
Isso se acumula, bloco após bloco.
Esse mesmo princípio vai direto para o DuskEVM, a camada compatível com EVM que leva desenvolvedores Solidity para a Dusk.
O Hedger, seu módulo de execução confidencial, se apoia em criptografia homomórfica somada a provas ZK para manter transações privadas; nada disso é rápido o suficiente para fazer diferença sem que as funções nativas do host abaixo façam o trabalho pesado primeiro.
Então o Piecrust não é apenas onde os contratos executam. Ele também é uma via rápida para as operações criptográficas exatas @Dusk que mais dependem de — deliberadamente mantidas fora do caminho lento — e a mesma via rápida é o que torna a camada de privacidade do DuskEVM viável de verdade, não apenas contratos nativos da Dusk.
Isso me faz pensar — quantas outras VMs “de propósito geral” estão comendo silenciosamente uma taxa de verificação de provas que ninguém se deu ao trabalho de medir?
