#dusk $DUSK Al revisar los documentos técnicos de Dusk, presté especial atención al proceso de generación y verificación de pruebas de conocimiento cero (ZKP) en el protocolo Phoenix. El whitepaper describe de manera muy completa el protocolo Plonk, pero lo que realmente me hizo detenerme fue esto: en el documento casi no se proporcionan puntos de referencia (benchmarks) sobre el tiempo de generación de pruebas en el entorno de la red principal.
Y ese es precisamente el cuello de botella clave para materializar las transacciones de privacidad. Phoenix representa los fondos como notas cifradas (encrypted notes); cada vez que se transfiere, se debe generar localmente una prueba: la prueba demuestra que el remitente tiene derecho a consumir la nota, que el monto no es negativo, que la entrada y la salida están equilibradas y que no hay doble gasto. Este proceso de generación de la prueba ocurre en el dispositivo del usuario; no depende de la red, pero sí requiere recursos de cómputo.
La pregunta es: si generar la prueba de una transacción shielded en el teléfono tarda 30 segundos o incluso más, entonces el pago por privacidad no puede convertirse en una experiencia cotidiana. Si la generación de pruebas requiere mucha memoria, los dispositivos de gama baja simplemente no pueden usarlo. Para empeorarlo, Dusk cuenta con dos modelos: Phoenix y Moonlight. Cuando el usuario necesita volver de shielded a public, también debe generar una prueba.
Revisé el repositorio de GitHub de Dusk y las discusiones en la comunidad, y actualmente los datos de rendimiento que más se pueden encontrar provienen de entornos de prueba o de hardware específico. No he visto informes de benchmarks dirigidos a móviles, al navegador o a portátiles comunes. Y las optimizaciones de la generación de pruebas ZKP —desde la elección de algoritmos hasta el diseño del circuito, pasando por la aceleración por hardware— pueden reducir la latencia de niveles de segundos a milisegundos paso a paso, o, al contrario, descontrolarse por el aumento de complejidad.
Otro aspecto que se suele pasar por alto es el costo de verificación. Aunque la generación de la prueba se realice en el lado del usuario, la verificación en la cadena sigue consumiendo Gas. Si el costo de verificación crece linealmente con la complejidad de la transacción, en escenarios de alta carga las transacciones privadas podrían costar varias veces más que las transacciones públicas; en la práctica, esto expulsa a los usuarios de vuelta a Moonlight mediante el precio.@Dusk
Por eso, al evaluar la usabilidad de la privacidad en Dusk, no me fijo en qué sistemas de pruebas admite, sino en la latencia de generación de pruebas en hardware común, en la curva de consumo de Gas para la verificación en la cadena y en si la proporción de transacciones Phoenix dentro del total crece de manera natural. Las matemáticas del whitepaper son el punto de partida; el cronómetro del dispositivo es el final. $DUSK