Resultados de investigación
Dario Fiore, Anaïs Querol y Matteo Campanelli, investigadores del Instituto IMDEA Software, han hablado sobre el nuevo marco de trabajo, llamado LegoSNARK, cuya publicación se presentó en la Conferencia ACM en Computación and Comunicaciones y Seguridad.
Dario Fiore, profesor e investigador asociado, comienza diciendo que: “en nuestra sociedad, normalmente experimentamos una tensión entre la privacidad de nuestros datos y la utilidad de su uso. Por ejemplo, supongamos que quieres alquilar una casa y el propietario te pide demostrar que tu ingreso mensual supera la tarifa del alquiler. Ahora bien, preferirías no revelar cuánto ganas exactamente porque podrías inducir al casero a incrementar su precio en un futuro. Así que, ¿cómo puedes probar esto sin revelar demasiada información? Las pruebas de conocimiento cero son una herramienta criptográfica que mágicamente permiten demostrar propiedades de datos privados sin revelar más información que el mero hecho de que dicha propiedad se cumple”.
La investigadora pre-doctoral, Anaïs Querol mostró un ejemplo físico de cómo es posible convencer al propietario de que puedes permitirte el alquiler. “Supón que la renta cuesta 4 monedas y que ganamos 10 monedas. Introducimos nuestro ingreso en este dispensador opaco de monedas, y por su forma podemos ver que al menos tengo 3 monedas. Entonces, ¿cómo podemos mostrarle al casero que al menos hay una moneda más? Simplemente, retiramos ésta y ahora se ve que tengo 1, 2, 3 y 4 monedas. De este modo el casero sabrá que podemos pagar el apartamento, sin tener ni idea de cuánto dinero nos sobra”. A su juicio, este procedimiento puede parecer bastante simple, pero en una transacción digital cuando tienes que convencer a alguien del otro lado del mundo, geniales técnicas matemáticas entran en juego, ¡y lo hacen posible!
Matteo Campanelli, investigador post-doctoral, añade que ahora las tecnologías emergentes como las blockchains o las criptomonedas salen a la luz para llevan estos sistemas a la práctica. “Recientemente en IMDEA hemos abordado dos de los principales retos de este campo, siendo éstos que el análogo digital del dispensador opaco físico es muy complejo y lento. Para solucionar estos problemas, diseñamos un marco llamado LegoSNARK. Básicamente, diseñamos técnicas que permiten construir estos sistemas, no de forma monolítica, sino modularmente. Es decir, no como una única pieza de arcilla, sino como ladrillos de clopñ0´‘9o´onstrucción que juntamos entre sí, de ahí su nombre LegoSNARK. Lo interesante de este enfoque es que en general, ofrece pruebas de conocimiento cero más eficientes”.
