Investigador del MIT conecta teoremas de Gödel con pruebas de conocimiento cero

El investigador Rahul Ilango, durante su doctorado en el MIT, ha establecido una conexión revolucionaria entre los teoremas de incompletitud de Gödel y las pruebas de conocimiento cero (ZK) en criptografía. Ilango desarrolló un nuevo tipo de prueba de conocimiento cero cuya confidencialidad se basa en los límites fundamentales de las matemáticas, superando limitaciones que los criptógrafos consideraban insuperables. Este avance conecta dos tipos de indemostrabilidad que se originaron en décadas diferentes y en campos distintos: los teoremas de incompletitud de Gödel (1931), que establecen que ciertos sistemas axiomáticos no pueden probar su propia consistencia, y las pruebas de conocimiento cero inventadas en 1985 por Goldwasser, Micali y Rackoff. Estas pruebas permiten convencer a alguien de que se conoce una solución sin revelar información alguna. Ilango demostró que la imposibilidad de probar ciertos enunciados matemáticos puede aprovecharse como fortaleza criptográfica, abriendo una nueva vía de investigación que combina lógica matemática y criptografía.