He estado observando con más detenimiento la arquitectura de privacidad de Dusk y hay una cosa a la que sigo volviendo: cuánto depende de que las piezas funcionen en conjunto, en lugar de depender de cualquier primitiva criptográfica única. Al principio, ver juntos BLS12-381, JubJub, Schnorr, Poseidon y PLONK me pareció demasiado para digerir. Pero una vez que miré qué está haciendo realmente cada uno, la estructura se volvió más fácil de entender.
BLS12-381 se encuentra debajo de gran parte de la infraestructura de firmas y ZK, mientras que JubJub se usa en la capa de privacidad de Phoenix porque su diseño funciona bien con sistemas basados en SNARK. Schnorr se encarga de la autenticación y las firmas, y Poseidon se encarga del hashing dentro de circuitos ZK, donde el hashing convencional puede volverse relativamente costoso. Los Árboles Merkle dispersos luego ayudan con pruebas de estado y pertenencia, mientras que PLONK proporciona el marco de prueba y verificación. La agregación BLS agrega otra capa práctica al combinar múltiples firmas de comité y reducir la sobrecarga de verificación.
Aun así, no creo que la lista de primitivas me diga lo suficiente por sí sola. La implementación es donde yo empezaría a prestar más atención. La serialización, las comprobaciones de subgrupo, la vinculación del transcript y la separación de dominios pueden volverse detalles sensibles a nivel de seguridad.
Así que mi pregunta principal ahora es simple: ¿qué tan bien se sostiene esta pila cuidadosamente diseñada cuando el uso real, las demandas de rendimiento y las condiciones adversarias empiezan a ejercer presión sobre ella?
$PORTAL
$GPS
$DUSK
@Dusk_Foundation #dusk
BLS12-381 se encuentra debajo de gran parte de la infraestructura de firmas y ZK, mientras que JubJub se usa en la capa de privacidad de Phoenix porque su diseño funciona bien con sistemas basados en SNARK. Schnorr se encarga de la autenticación y las firmas, y Poseidon se encarga del hashing dentro de circuitos ZK, donde el hashing convencional puede volverse relativamente costoso. Los Árboles Merkle dispersos luego ayudan con pruebas de estado y pertenencia, mientras que PLONK proporciona el marco de prueba y verificación. La agregación BLS agrega otra capa práctica al combinar múltiples firmas de comité y reducir la sobrecarga de verificación.
Aun así, no creo que la lista de primitivas me diga lo suficiente por sí sola. La implementación es donde yo empezaría a prestar más atención. La serialización, las comprobaciones de subgrupo, la vinculación del transcript y la separación de dominios pueden volverse detalles sensibles a nivel de seguridad.
Así que mi pregunta principal ahora es simple: ¿qué tan bien se sostiene esta pila cuidadosamente diseñada cuando el uso real, las demandas de rendimiento y las condiciones adversarias empiezan a ejercer presión sobre ella?
$PORTAL
$GPS
$DUSK
@Dusk_Foundation #dusk