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
