#dusk $DUSK
Pensé que Piecrust, la máquina virtual virtual de Dusk, estaba ahí solo para ejecutar contratos inteligentes. Mismo trabajo que cualquier VM hace: ejecutar código, mantener el estado y listo. Resulta que quizá es solo la mitad de lo que en realidad hace.
Revisando la documentación, Piecrust expone un conjunto de funciones de host.
operaciones que la VM delega en código nativo en lugar de ejecutarse dentro del entorno WASM aislado.
Hashing, mediante Blake2b y Poseidon.
Verificar pruebas de conocimiento cero PlonK y Groth16.
Validar firmas Schnorr y BLS.
Nada de eso corre como bytecode de contrato normal.
¿Por qué una VM se molestaría en desviar operaciones específicas a su alrededor en lugar de limitarse a ejecutarlo todo de la forma habitual?
Resulta que la ejecución de WASM puede ser 45-255% más lenta que el código nativo para operaciones pesadas; la sobrecarga viene de la gestión de memoria virtualizada y del manejo adicional de instrucciones que introduce un entorno sandbox.
En una cadena donde la verificación de pruebas ZK no es algo ocasional, sino que ocurre prácticamente en cada transacción, ejecutar esa matemática dentro de WASM en vez de hacerlo de forma nativa no es un recargo pequeño.
Se acumula, bloque tras bloque.
Este mismo principio se traslada directamente a DuskEVM, la capa compatible con EVM que acerca a los desarrolladores de Solidity a Dusk.
Hedger, su módulo de ejecución confidencial, se apoya en cifrado homomórfico más pruebas ZK para mantener las transacciones privadas; y nada de eso sería lo suficientemente rápido como para importar si, debajo, no existieran primero las funciones nativas del host haciendo el trabajo pesado.
Así que Piecrust no es solo el lugar donde se ejecutan los contratos. También es un carril rápido para las operaciones criptográficas exactas @Dusk de las que más dependen, deliberadamente mantenidas fuera del camino lento, y ese mismo carril rápido es lo que hace viable la capa de privacidad de DuskEVM, no solo para contratos nativos de Dusk.
Me hace preguntarme: ¿cuántas otras VMs de “propósito general” están comiéndose, en silencio, un impuesto de verificación de pruebas al que nadie se ha molestado en medir?
Pensé que Piecrust, la máquina virtual virtual de Dusk, estaba ahí solo para ejecutar contratos inteligentes. Mismo trabajo que cualquier VM hace: ejecutar código, mantener el estado y listo. Resulta que quizá es solo la mitad de lo que en realidad hace.
Revisando la documentación, Piecrust expone un conjunto de funciones de host.
operaciones que la VM delega en código nativo en lugar de ejecutarse dentro del entorno WASM aislado.
Hashing, mediante Blake2b y Poseidon.
Verificar pruebas de conocimiento cero PlonK y Groth16.
Validar firmas Schnorr y BLS.
Nada de eso corre como bytecode de contrato normal.
¿Por qué una VM se molestaría en desviar operaciones específicas a su alrededor en lugar de limitarse a ejecutarlo todo de la forma habitual?
Resulta que la ejecución de WASM puede ser 45-255% más lenta que el código nativo para operaciones pesadas; la sobrecarga viene de la gestión de memoria virtualizada y del manejo adicional de instrucciones que introduce un entorno sandbox.
En una cadena donde la verificación de pruebas ZK no es algo ocasional, sino que ocurre prácticamente en cada transacción, ejecutar esa matemática dentro de WASM en vez de hacerlo de forma nativa no es un recargo pequeño.
Se acumula, bloque tras bloque.
Este mismo principio se traslada directamente a DuskEVM, la capa compatible con EVM que acerca a los desarrolladores de Solidity a Dusk.
Hedger, su módulo de ejecución confidencial, se apoya en cifrado homomórfico más pruebas ZK para mantener las transacciones privadas; y nada de eso sería lo suficientemente rápido como para importar si, debajo, no existieran primero las funciones nativas del host haciendo el trabajo pesado.
Así que Piecrust no es solo el lugar donde se ejecutan los contratos. También es un carril rápido para las operaciones criptográficas exactas @Dusk de las que más dependen, deliberadamente mantenidas fuera del camino lento, y ese mismo carril rápido es lo que hace viable la capa de privacidad de DuskEVM, no solo para contratos nativos de Dusk.
Me hace preguntarme: ¿cuántas otras VMs de “propósito general” están comiéndose, en silencio, un impuesto de verificación de pruebas al que nadie se ha molestado en medir?
