Silvio Micali

Silvio Micali (nacido el 13 de octubre de 1954) es un científico informático italiano , profesor del Instituto Tecnológico de Massachusetts (MIT) y fundador de Algorand , un protocolo de criptomoneda blockchain de prueba de participación. La investigación de Micali en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT se centra en la criptografía y la seguridad de la información . ^{[ 4 ] [ 5 ]}

En 2012, él y Shafi Goldwasser recibieron el Premio Turing por su trabajo en criptografía. ^{[ 6 ] [ 1 ]}

Micali se graduó en matemáticas en la Universidad La Sapienza de Roma en 1978 y obtuvo un doctorado en informática en la Universidad de California, Berkeley, en 1982; ^{[ 7 ]} por una investigación supervisada por Manuel Blum . ^{[ 2 ]} Micali ha sido profesor en el Departamento de Ingeniería Eléctrica e Informática del MIT desde 1983. También ha sido profesor en la Universidad de Pensilvania , la Universidad de Toronto y la Universidad de Tsinghua . ^{[ 8 ]} Sus intereses de investigación son la criptografía, el conocimiento cero, la generación pseudoaleatoria, los protocolos seguros y el diseño de mecanismos.

Micali es conocido principalmente por algunos de sus trabajos fundamentales iniciales sobre criptosistemas de clave pública , funciones pseudoaleatorias , firmas digitales , transferencia ciega , computación multipartita segura , y es uno de los coinventores de las pruebas de conocimiento cero . ^{[ 9 ]}

Durante sus estudios de posgrado, Micali colaboró ​​con otro estudiante, Shafi Goldwasser , para introducir el concepto de cifrado probabilístico . En este esquema, un mensaje puede cifrarse aleatoriamente en múltiples textos cifrados diferentes, lo que proporciona seguridad semántica, ya que un par de textos cifrados son indistinguibles incluso cuando un atacante puede elegir de qué mensajes provienen. ^{[ 10 ]} Micali y su asesor Manuel Blum también desarrollaron en ese momento un generador pseudoaleatorio , el algoritmo Blum-Micali . ^{[ 11 ]}

Micali, Goldwasser y Charles Rackoff inventaron las pruebas interactivas en la década de 1980, al mismo tiempo que László Babai y Shlomo Moran . ^{[ 12 ]} En un sistema de prueba interactiva, los participantes desarrollan una prueba respondiendo a una serie de preguntas. ^{[ 10 ]} Posteriormente, en 1985, Micali, Goldwasser y Rackoff introdujeron una clase especial de estas pruebas: las pruebas de conocimiento cero. Definieron un sistema en el que un probador interactúa con un verificador para demostrar algún teorema, sin proporcionar ningún conocimiento adicional al verificador. ^{[ 13 ]}

Entre los antiguos alumnos de doctorado de Micali se encuentran Mihir Bellare , Bonnie Berger , Shai Halevi , Rafail Ostrovsky y Phillip Rogaway . ^{[ 2 ] [ 3 ]}

En 2001, Micali cofundó CoreStreet Ltd, una empresa de software con sede original en Cambridge, Massachusetts, que implementó las patentes de Micali relacionadas con la verificación del estado de los certificados digitales (principalmente aplicables a proyectos de identidad digital y física de grandes empresas y gobiernos). Micali fue científico jefe en CoreStreet. CoreStreet fue adquirida por ActivIdentity en 2009. ^{[ 14 ]}

A principios de la década de 2000, Micali también fundó Peppercoin , un sistema de micropagos que fue adquirido en 2007. En 2017, fundó Algorand . ^{[ 15 ]}