#dusk $DUSK @Dusk
Lee dos veces esta semana la sección de implementación del whitepaper. Primera pasada: me limité a hojear, y me salté la parte sobre las "host functions", asumiendo que era solo una nota técnica sobre cómo se construye la VM. Segunda pasada: esa suposición no resistió.
Había estado tratando "los smart contracts se ejecutan en una VM" y "las operaciones criptográficas se ejecutan en una VM" como si fueran la misma afirmación. No lo son, y la brecha entre ambas es, en realidad, la decisión de diseño interesante.
Piecrust, la VM de Dusk, ejecuta contratos en WebAssembly. Pero no ejecuta la carga criptográfica pesada — hashing, verificación de pruebas ZK, comprobaciones de firmas — dentro de ese entorno aislado de WASM. Eso se extrae y se gestiona de forma nativa por el host, a través de funciones expuestas como verify_plonk y verify_groth16_bn254. El contrato llama a esas funciones, pero las matemáticas costosas nunca tocan el entorno virtualizado.
He aquí por qué esto no es un simple detalle de implementación. La investigación sobre la ejecución de WASM que cita el whitepaper muestra que el código virtualizado puede ejecutarse entre un 45% y un 255% más lento que el código nativo para operaciones complejas — la sobrecarga está incorporada en cómo funcionan la memoria y las instrucciones en el sandbox, no es algo que se optimice fácilmente.
Así que las transacciones confidenciales, que se apoyan en la verificación de pruebas ZK para prácticamente todo, pagarían ese impuesto en cada una de ellas si la verificación se ejecutara dentro de la VM como una llamada normal a un contrato.
Eso es lo que conecta de vuelta con el diseño de la privacidad. La privacidad programable no es solo una elección criptográfica, también es una restricción de rendimiento — si la verificación de pruebas es lenta, "privada y compatible" termina convirtiéndose silenciosamente en "privada y compatible, eventualmente". Extraer la cripto a funciones del host es lo que evita que la privacidad sea un costo adicional sobre cada transacción, en lugar de una propiedad de ella.
¿Alguien ha medido realmente los números en el mundo real de Piecrust aquí, o "evita la sobrecarga de WASM" sigue basándose en la investigación general citada, y no en datos específicos de Dusk?"
Lee dos veces esta semana la sección de implementación del whitepaper. Primera pasada: me limité a hojear, y me salté la parte sobre las "host functions", asumiendo que era solo una nota técnica sobre cómo se construye la VM. Segunda pasada: esa suposición no resistió.
Había estado tratando "los smart contracts se ejecutan en una VM" y "las operaciones criptográficas se ejecutan en una VM" como si fueran la misma afirmación. No lo son, y la brecha entre ambas es, en realidad, la decisión de diseño interesante.
Piecrust, la VM de Dusk, ejecuta contratos en WebAssembly. Pero no ejecuta la carga criptográfica pesada — hashing, verificación de pruebas ZK, comprobaciones de firmas — dentro de ese entorno aislado de WASM. Eso se extrae y se gestiona de forma nativa por el host, a través de funciones expuestas como verify_plonk y verify_groth16_bn254. El contrato llama a esas funciones, pero las matemáticas costosas nunca tocan el entorno virtualizado.
He aquí por qué esto no es un simple detalle de implementación. La investigación sobre la ejecución de WASM que cita el whitepaper muestra que el código virtualizado puede ejecutarse entre un 45% y un 255% más lento que el código nativo para operaciones complejas — la sobrecarga está incorporada en cómo funcionan la memoria y las instrucciones en el sandbox, no es algo que se optimice fácilmente.
Así que las transacciones confidenciales, que se apoyan en la verificación de pruebas ZK para prácticamente todo, pagarían ese impuesto en cada una de ellas si la verificación se ejecutara dentro de la VM como una llamada normal a un contrato.
Eso es lo que conecta de vuelta con el diseño de la privacidad. La privacidad programable no es solo una elección criptográfica, también es una restricción de rendimiento — si la verificación de pruebas es lenta, "privada y compatible" termina convirtiéndose silenciosamente en "privada y compatible, eventualmente". Extraer la cripto a funciones del host es lo que evita que la privacidad sea un costo adicional sobre cada transacción, en lugar de una propiedad de ella.
¿Alguien ha medido realmente los números en el mundo real de Piecrust aquí, o "evita la sobrecarga de WASM" sigue basándose en la investigación general citada, y no en datos específicos de Dusk?"
