El cifrado homomórfico suena como una calculadora universal que opera sobre datos cifrados. Esa fue mi primera reacción al oír el término, pero la lista me dice que no es así. Cuanto más investigaba, menos cuadraba: admite muchos menos tipos de operaciones de lo que imaginaba, tan pocos que se pueden contar. Tan pocos que se pueden enumerar; lo hice, y son dos y media. ¿La capacidad de calcular mientras los datos están cifrados es una capacidad única e indivisible? Al principio pensaba que sí, pero luego descubrí que debería leerse como una lista, y la respuesta está ahí, en la lista.
Primero, hagamos una lista de las operaciones que admiten los materiales oficiales y comprobémoslas una por una. El cifrado homomórfico permite hacer sumas y multiplicaciones por escalares. ¿Y multiplicaciones arbitrarias? Aquí me atasqué. Lo revisé 3 veces y no encontré ninguna operación compatible que correspondiera. Al llegar a este punto de la lista, llevaba 20 minutos y descubrí que el cifrado homomórfico no es un adjetivo, sino una tabla que marca los límites de sus capacidades. Esa es la verdad. Solo se puede calcular lo que aparece en la tabla. @Dusk
Desglosemos estos límites y veamos cómo afectan a las decisiones de diseño. Si quieres hacer algún cálculo sobre datos cifrados, primero tienes que preguntarte si esa operación figura en la tabla. Si figura, puedes hacerla directamente con los datos cifrados. Si no, tendrás que descifrarlos primero o cambiar el diseño del circuito. Ambas opciones tienen un coste: la primera expone los datos y la segunda aumenta la complejidad de la prueba. No hay opciones gratuitas. Es una regla inquebrantable. Antes de elegir un camino, averigua qué tipo de coste pueden aceptar tus datos.
Entre un 45% y un 255% más lento que el código nativo: ese es el intervalo de lentitud de WASM. Verifiqué esta cifra dos veces. El discurso promocional lo presenta como una solución de cálculo cifrado para todo, pero el mecanismo, en la práctica, solo admite un conjunto limitado de operaciones. Cuanto más lo comprobaba, más me chirriaba: la capacidad de calcular sobre datos cifrados no equivale a poder calcularlo todo. La mayoría no se da cuenta de esta diferencia hasta que ve la lista. Al final, lo de «para todo» solo lo encontré en el titular; la verdad se esconde en el titular.
Así que, para evaluar la calidad de una solución de privacidad, no preguntes si tiene cifrado homomórfico; pregunta cuántas operaciones figuran en su tabla de capacidades. Hay quien cree que el cifrado homomórfico permite calcularlo todo; yo no lo veo así. Es algo contraintuitivo, pero la tabla de capacidades es el único criterio. Si alguien saca a relucir el cifrado homomórfico, $DUSK pídele primero que te enseñe la tabla. Si no puede, haz como si no hubieras oído lo de «para todo». Solo se tarda 5 minutos en revisar la lista, y precisamente ahí está lo rentable. #dusk
Primero, hagamos una lista de las operaciones que admiten los materiales oficiales y comprobémoslas una por una. El cifrado homomórfico permite hacer sumas y multiplicaciones por escalares. ¿Y multiplicaciones arbitrarias? Aquí me atasqué. Lo revisé 3 veces y no encontré ninguna operación compatible que correspondiera. Al llegar a este punto de la lista, llevaba 20 minutos y descubrí que el cifrado homomórfico no es un adjetivo, sino una tabla que marca los límites de sus capacidades. Esa es la verdad. Solo se puede calcular lo que aparece en la tabla. @Dusk
Desglosemos estos límites y veamos cómo afectan a las decisiones de diseño. Si quieres hacer algún cálculo sobre datos cifrados, primero tienes que preguntarte si esa operación figura en la tabla. Si figura, puedes hacerla directamente con los datos cifrados. Si no, tendrás que descifrarlos primero o cambiar el diseño del circuito. Ambas opciones tienen un coste: la primera expone los datos y la segunda aumenta la complejidad de la prueba. No hay opciones gratuitas. Es una regla inquebrantable. Antes de elegir un camino, averigua qué tipo de coste pueden aceptar tus datos.
Entre un 45% y un 255% más lento que el código nativo: ese es el intervalo de lentitud de WASM. Verifiqué esta cifra dos veces. El discurso promocional lo presenta como una solución de cálculo cifrado para todo, pero el mecanismo, en la práctica, solo admite un conjunto limitado de operaciones. Cuanto más lo comprobaba, más me chirriaba: la capacidad de calcular sobre datos cifrados no equivale a poder calcularlo todo. La mayoría no se da cuenta de esta diferencia hasta que ve la lista. Al final, lo de «para todo» solo lo encontré en el titular; la verdad se esconde en el titular.
Así que, para evaluar la calidad de una solución de privacidad, no preguntes si tiene cifrado homomórfico; pregunta cuántas operaciones figuran en su tabla de capacidades. Hay quien cree que el cifrado homomórfico permite calcularlo todo; yo no lo veo así. Es algo contraintuitivo, pero la tabla de capacidades es el único criterio. Si alguien saca a relucir el cifrado homomórfico, $DUSK pídele primero que te enseñe la tabla. Si no puede, haz como si no hubieras oído lo de «para todo». Solo se tarda 5 minutos en revisar la lista, y precisamente ahí está lo rentable. #dusk