#dusk $DUSK @Dusk Pasé parte de la tarde mirando la curva real que Dusk usa dentro de sus pruebas de transacciones privadas, y la elección resultó importar más de lo que pensaba.
Una transferencia privada todavía tiene que demostrar que es válida sin mostrar los importes ni quiénes están involucrados. Esa prueba se construye con PLONK, así que cada firma, cada paso clave y cada operación de cifrado que ocurre en la ruta privada tiene que encajar de forma limpia en restricciones aritméticas que el circuito pueda comprobar sin dispararse en complejidad. La mayoría de las curvas ordinarias se vuelven caras o enredadas cuando las fuerzas en ese entorno.
JubJub es la incorporada que eligieron. Es una curva de Edwards elíptica trenzada cuyo campo base coincide exactamente con el campo escalar de BLS12-381. Eso significa que la misma aritmética de campo que se usa para la curva externa también puede manejar el trabajo de la curva elíptica interna.
Cuando revisé los repositorios, los resultados prácticos fueron claros. Las firmas Schnorr con Poseidon se ejecutan directamente sobre JubJub. El cifrado ElGamal se apoya en la misma curva, así que los textos cifrados pueden tratarse dentro del circuito. La propia curva se trata como una biblioteca adecuada, no como algo añadido después.
La ruta privada no necesita una segunda capa criptográfica situada junto al sistema de pruebas. Los mismos objetos hacen ambos trabajos. Si esa capa falla, las afirmaciones de confidencialidad se rompen con ella.
Si la gente realmente usa la ruta privada es otra pregunta. La curva es solo la pieza que tiene que ser sólida para que cualquiera de esas afirmaciones signifique algo.
Una transferencia privada todavía tiene que demostrar que es válida sin mostrar los importes ni quiénes están involucrados. Esa prueba se construye con PLONK, así que cada firma, cada paso clave y cada operación de cifrado que ocurre en la ruta privada tiene que encajar de forma limpia en restricciones aritméticas que el circuito pueda comprobar sin dispararse en complejidad. La mayoría de las curvas ordinarias se vuelven caras o enredadas cuando las fuerzas en ese entorno.
JubJub es la incorporada que eligieron. Es una curva de Edwards elíptica trenzada cuyo campo base coincide exactamente con el campo escalar de BLS12-381. Eso significa que la misma aritmética de campo que se usa para la curva externa también puede manejar el trabajo de la curva elíptica interna.
Cuando revisé los repositorios, los resultados prácticos fueron claros. Las firmas Schnorr con Poseidon se ejecutan directamente sobre JubJub. El cifrado ElGamal se apoya en la misma curva, así que los textos cifrados pueden tratarse dentro del circuito. La propia curva se trata como una biblioteca adecuada, no como algo añadido después.
La ruta privada no necesita una segunda capa criptográfica situada junto al sistema de pruebas. Los mismos objetos hacen ambos trabajos. Si esa capa falla, las afirmaciones de confidencialidad se rompen con ella.
Si la gente realmente usa la ruta privada es otra pregunta. La curva es solo la pieza que tiene que ser sólida para que cualquiera de esas afirmaciones signifique algo.
